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
- Semântica formal para a lógica proposicional
- Semântica formal para a Lógica de Primeira Ordem Clássica
- Semântica formal para a Lógica de Primeira Ordem 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)
- 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)
