Átomo básico: diferenças entre revisões

então uma [[Expressão atômica|expressão atômica]] obtida a partir de <math>S</math> substituindo todas as variáveis por elementos do [[Universo de Herbrand]] <math>H</math> de <math>S</math> é chamada de '''átomo básico'''. O conjunto de todos os átomos que podem ser formados a partir de símbolos predicados de <math>S</math> e termos a partir de <math>H</math> é chamado de ''[[base de Herbrand]]''.

== Referências ==

== {{Ver também}} ==

* [[Cláusula básica]]

* [[Literal básico]]

* [[Forma normal clausal]]