* [[Semântica formal para a lógica proposicional]]
* [[Semântica formal para a Lógica lógica de Primeira Ordemprimeira ordem]]
== Para reflexão ==
* [[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)]