Semântica formal para a Lógica Proposicional Clássica

From Logic Wiki
Revision as of 23:54, 20 September 2020 by Jmarcos (talk | contribs) (acrescentando video)
Jump to navigation Jump to search

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: Meta-teorema de Substitutividade de Equivalentes (EN: replacement theorem), pela via semântica

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