525
edits
Changes
m
* [[DN para Lógica Proposicional Intuicionista]]
* [[DN para Lógica Proposicional Clássica]]
* [[DN para Lógica de Primeira Ordem Clássica]]
no edit summary
* Definição formal de consequência dedutiva a partir de um sistema de DN
[VIDEO]
== Para reflexão ==
== Veja também ==
* [[DN para Lógica Proposicional Intuicionista]]* [[DN para Lógica Proposicional Clássica]]* [[DN para Lógica de Primeira Ordem Clássica]]
== Links externos ==
*