Changes

76 bytes added , 13:22, 6 October 2020

no edit summary

~~[VIDEO]~~{{#ev:youtube|0ZYp82eQ-HM}}

== Para reflexão ==

* [[Dedução Natural para a Lógica Proposicional Clássica]]

* [[Semântica formal para a Lógica Proposicional Clássica]]

* [[Introdução Computacional à Lógica Matemática]]

== Links externos ==

*

525

edits

Correção e completude para a Lógica Proposicional Clássica (view source)