Semântica formal para a lógica de primeira ordem
- Da verdade e da falsidade de fórmulas em uma estrutura de interpretação específica
- Da validade global de um sequente, e da validade de um sequente em uma estrutura de interpretação específica
Para reflexão
Veja também
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)
- Interpretação (lógica) (Wikipédia)
- Interpretação pretendida (Wikipédia)
- Lista de teorias de primeira ordem (Wikipédia)
- Teoria semântica da verdade (Wikipédia)
- Completude (Wikipédia)
- Correção (Wikipédia)