Changes

279 bytes added , 20:19, 15 October 2020

~~(This entry is~~ * [[Semântica formal para a ~~stub.)~~lógica proposicional]]* [[Semântica formal para a lógica de primeira ordem]]

== Para reflexão ==

== Veja também ==

* [[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

Modelos (lógica) (view source)