Semântica formal para a lógica proposicional
Jump to navigation
Jump to search
- Da validade de sequentes e da correção de regras
- Da validade de fórmulas
Para reflexão
Veja também
- Semântica formal para a Lógica Proposicional Clássica
- Semântica formal para a Lógica Proposicional Intuicionista [AGUARDE!]
- Acarretamento
- Correção e completude
- Introdução Computacional à Lógica Matemática
