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 12: Line 12:
 
* '''Consequência semântica''' para a Lógica Proposicional Clássica<!--
 
* '''Consequência semântica''' para a Lógica Proposicional Clássica<!--
 
--><p>[VIDEO]</p>
 
--><p>[VIDEO]</p>
* '''Congruencialidade''': Teorema de Substitutividade de Equivalentes ("replacement"), pela via semântica<!--
+
* '''Congruencialidade''': Teorema de Substitutividade de Equivalentes (''replacement''), pela via semântica<!--
 
--><p>[VIDEO]</p>
 
--><p>[VIDEO]</p>
  

Revision as of 21:29, 3 September 2020

Interpretações

  • 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]

Noção de acarretamento associada

  • 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