Difference between revisions of "Semântica formal para a Lógica Proposicional Clássica"

From Logic Wiki
Jump to navigation Jump to search
m
Tag: 2017 source edit
m
Tag: 2017 source edit
Line 1: Line 1:
* Interpretações boolianas para a Lógica Proposicional Clássica
+
* Interpretações boolianas para a Lógica Proposicional Clássica<!--
[VIDEO]
+
--><p>[VIDEO]</p>
* Semântica de valorações para a Lógica Proposicional Clássica
+
* Semântica de valorações para a Lógica Proposicional Clássica<!--
[VIDEO]
+
--><p>[VIDEO]</p>
* O algoritmo das tabelas de verdade
+
* O algoritmo das tabelas de verdade<!--
[VIDEO]
+
--><p>[VIDEO]</p>
* Consequência semântica para a Lógica Proposicional Clássica
+
* Consequência semântica para a Lógica Proposicional Clássica<!--
[VIDEO]
+
--><p>[VIDEO]</p>
* Congruencialidade: Teorema de Substitutividade de Equivalentes ("replacement")
+
* Congruencialidade: Teorema de Substitutividade de Equivalentes ("replacement"), pela via semântica<!--
[VIDEO]
+
--><p>[VIDEO]</p>
  
 
== Para reflexão ==
 
== Para reflexão ==
  
* Como comprovar que a relação de consequência associada à semântica da Lógica Clássica é invariante por substituição?  
+
* Como comprovar que a relação de acarretamento associada à semântica da Lógica Clássica é invariante por substituição?  
  
 
== Veja também ==
 
== Veja também ==

Revision as of 20:58, 3 September 2020

  • Interpretações boolianas para a Lógica Proposicional Clássica

    [VIDEO]

  • Semântica de valorações para a Lógica Proposicional Clássica

    [VIDEO]

  • O algoritmo das tabelas de verdade

    [VIDEO]

  • Consequência semântica para a Lógica Proposicional Clássica

    [VIDEO]

  • Congruencialidade: Teorema de Substitutividade de Equivalentes ("replacement"), pela via semântica

    [VIDEO]

Para reflexão

  • Como comprovar que a relação de acarretamento associada à semântica da Lógica Clássica é invariante por substituição?

Veja também

Links externos