Changes

Correção e completude (view source)

Revision as of 22:03, 5 October 2020

73 bytes added , 22:03, 5 October 2020

m

no edit summary

* [[Acarretamento]]

* [[Correção e completude para a Lógica Proposicional Clássica]]

* [[Correção e completude para a Lógica de Primeira Ordem Clássica]]

== Links externos ==

*

525

edits

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