Changes

Modelos (lógica) (view source)

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)]

111

edits