Changes

Formalismos dedutivos (view source)

16 bytes added , 16:12, 28 August 2020

m

no edit summary

* Estilosde formalismo dedutivo

[VIDEO]

~~:* [[Dedução Natural]]~~

~~:* [[Cálculo de Sequentes]]~~

~~:* [[Tableaux]]~~

~~:* [[Método da Resolução]]~~

== Para reflexão ==

== Veja também ==

* [[Dedução Natural]]* [[Cálculo de Sequentes]]* [[Tableaux]]* [[Método da Resolução]]

== Links externos ==

*

525

edits