525
edits
Changes
Semântica formal para a Lógica Proposicional Clássica (view source)
Revision as of 20:58, 3 September 2020
, 20:58, 3 September 2020no edit summary
* Interpretações boolianas para a Lógica Proposicional Clássica<!----><p>[VIDEO]</p>* Semântica de valorações para a Lógica Proposicional Clássica<!----><p>[VIDEO]</p>* O algoritmo das tabelas de verdade<!----><p>[VIDEO]</p>* Consequência semântica para a Lógica Proposicional Clássica<!----><p>[VIDEO]</p>* Congruencialidade: Teorema de Substitutividade de Equivalentes ("replacement"), pela via semântica<!----><p>[VIDEO]</p>
== Para reflexão ==
* Como comprovar que a relação de consequência acarretamento associada à semântica da Lógica Clássica é invariante por substituição?
== Veja também ==