525
edits
Changes
Semântica formal para a Lógica Proposicional Clássica (view source)
Revision as of 00:48, 1 September 2020
, 00:48, 1 September 2020no edit summary
[VIDEO]
* O algoritmo das tabelas de verdade
[VIDEO]
* Consequência semântica para a Lógica Proposicional Clássica
[VIDEO]
* [[Acarretamento]] (consequência semântica, entailment)
* [[Expressibilidade dos operadores clássicos]]
== Links externos ==
* [https://pt.wikipedia.org/wiki/%C3%81lgebra_booliana Álgebra de Boole]
* [https://en.wikipedia.org/wiki/Post%27s_lattice Reticulado de Post]