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