Changes

Acarretamento (view source)

Revision as of 00:41, 1 September 2020

67 bytes added , 00:41, 1 September 2020

m

no edit summary

* [[Relação de consequência]]

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

* [[Semântica formal 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/1067"