Sintaxe da lógica de primeira ordem
Para reflexão
Veja também
Links externos
- Para as definições recursivas de substituição de variáveis por termos (em um termo e em uma fórmula) e para a noção 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)