Semântica formal para a Lógica Proposicional Clássica
Jump to navigation
Jump to search
- 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]
Para reflexão
Veja também
- Poder expressivo dos operadores clássicos
- Acarretamento (consequência semântica, entailment)
- Correção e completude
- Exercícios de semântica formal para a Lógica Proposicional Clássica
