Sintaxe da lógica de primeira ordem

• Assinatura de primeira ordem
• Termos de primeira ordem
• Fórmulas de primeira ordem

Veja também

• Formalismos dedutivos
• Semântica formal para a lógica de primeira ordem
• Sintaxe da lógica proposicional
• Introdução Computacional à Lógica Matemática

Links externos

• Para as definições recursivas de variáveis livres e ligadas em uma dada fórmula, substituição de variáveis por termos (em um termo e em uma fórmula) e para a noção fundamental de termo livre para variável em fórmula, consulte as páginas 7 a 13 do capítulo 3 do livro DGM, disponível neste link.
• Sintaxe (lógica)