Open main menu

Changes

128 bytes added ,  20:19, 15 October 2020
* [[Acarretamento]] (consequência semântica / EN: ''entailment'')
* [[Introdução Computacional à Lógica Matemática]]
== Links externos ==
*[http://pt.wikipedia.org/wiki/Acarretamento Acarretamento (Wikipédia)]