111
edits
Changes
→Links externos
* [[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 ==
* [httpshttp://pt.wikipedia.org/wiki/%C3%81lgebra_booliana Álgebra de Boole]* [https://en.wikipedia.org/wiki/Heyting_algebra Álgebra de HeytingAcarretamento Acarretamento (Wikipédia)]