* 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 ==
*