Changes

Jump to navigation Jump to search

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

Navigation menu