Átomo básico: diferenças entre revisões
Conteúdo apagado Conteúdo adicionado
Linha 6:
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> é chamado 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> são chamados de [[Base de Herbrand]].
==
*[[Cláusula básica]]
*[[Literal básico]]
[[Categoria:Lógica matemática]]
{{seminterwiki}}
|