525
edits
Changes
Semântica formal para a Lógica Proposicional Clássica (view source)
Revision as of 20:30, 30 August 2020
, 20:30, 30 August 2020Created page with "* == Para reflexão == * == Veja também == * Acarretamento (consequência semântica, entailment) == Links externos == * [https://pt.wikipedia.org/wiki/%C3%81lgeb..."
*
== Para reflexão ==
*
== Veja também ==
* [[Acarretamento]] (consequência semântica, entailment)
== Links externos ==
* [https://pt.wikipedia.org/wiki/%C3%81lgebra_booliana Álgebra de Boole]
== Para reflexão ==
*
== Veja também ==
* [[Acarretamento]] (consequência semântica, entailment)
== Links externos ==
* [https://pt.wikipedia.org/wiki/%C3%81lgebra_booliana Álgebra de Boole]