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

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)
• 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)