Changes

Relação de consequência (view source)

Revision as of 13:16, 6 October 2020

4 bytes added , 13:16, 6 October 2020

no edit summary

== Veja também ==

* [[~~Dedução Natural~~Formalismos dedutivos]]

* [[Acarretamento]] (consequência semântica, ''entailment'')

* [[Correção e completude]]

525

edits

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