Changes

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

Revision as of 14:35, 28 August 2020

63 bytes added , 14:35, 28 August 2020

m

no edit summary

* [[Introdução Computacional à Lógica Matemática]]

* [[Dedução Natural]]

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

== Links externos ==

*

525

edits

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