Átomo básico
Considere uma cláusula (disjunção de literais) obtida de uma fórmula sentencial do cálculo de predicados de primeira ordem na forma skolemizada:
então uma expressão atômica obtida a partir de substituindo todas as variáveis por elementos do Universo de Herbrand de é chamada de átomo básico. O conjunto de todos os átomos que podem ser formados a partir de símbolos predicados de e termos a partir de é chamado de base de Herbrand.
Referências
- Sakharov, Alex. «Ground atom» (em inglês). MathWorld. Consultado em 1º de junho de 2010
Ver também
- Cláusula básica
- Literal básico
- Forma normal clausal
Portal da matemática