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

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

Veja também

• Acarretamento (consequência semântica, entailment)
• Expressibilidade dos operadores clássicos
• Correção e completude

Links externos

• Álgebra de Boole
• Reticulado de Post