Changes

Jump to navigation Jump to search

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 ==
*
Retrieved from "http://carol.dimap.ufrn.br/logicwiki/index.php/Special:MobileDiff/1325"

Navigation menu