Changes

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

Revision as of 20:20, 3 September 2020

32 bytes added , 20:20, 3 September 2020

m

no edit summary

* [[Dedução Natural]]

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

* * [[Correção e completude]]

== Links externos ==

*

525

edits

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