Changes

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

Revision as of 21:53, 3 September 2020

30 bytes added , 21:53, 3 September 2020

m

no edit summary

== Veja também ==

* [[Correção e completude]]

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

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

525

edits

Retrieved from "http://carol.dimap.ufrn.br/logicwiki/index.php/Special:MobileDiff/1124"