* [[Semântica formal para a Lógica Proposicionallógica proposicional]]* [[Semântica formal para a Lógica lógica de Primeira Ordemprimeira 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)]