Sintaxe da lógica de primeira ordem
Jump to navigation
Jump to search
- Assinatura de primeira ordem
- Termos de primeira ordem
- Fórmulas de primeira ordem
- Substituição de variáveis por termos [AGUARDE!]
Para reflexão
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
