Semântica formal para a lógica proposicional

• Da validade de sequentes e da correção de regras

• Da validade de fórmulas

Veja também

• Semântica formal para a Lógica Proposicional Clássica
• Semântica formal para a Lógica Proposicional Intuicionista
• Acarretamento
• Correção e completude
• Introdução Computacional à Lógica Matemática

Links externos

• Função booleana (Wikipédia)
• Função de verdade (Wikipédia)
• Valor de verdade (Wikipédia)
• Valoração (Wikipédia)
• Validade (Wikipédia)
• Completude funcional (Wikipédia)
• Completude (Wikipédia)
• Correção (Wikipédia)