Átomo básico: diferenças entre revisões
Conteúdo apagado Conteúdo adicionado
← feito redirecionamento para Átomo básico (lógica) |
|||
Linha 1:
Considere uma [[Cláusula (lógica)|cláusula]] ([[Disjunção lógica|disjunção]] de [[Literal (lógica)|literais]]) obtida de uma fórmula sentencial do [[Lógica de primeira ordem|cálculo de predicados de primeira ordem]] <math>\Phi</math> na [[Skolemização|forma skolemizada]]:
<math>\forall x_{1} ... \forall x_{n} S,</math>
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==
*[http://mathworld.wolfram.com/GroundAtom.html Ground atom (MathWorld)] {{en}}
=={{Veja Também}} ==
*[[Cláusula básica]]
*[[Literal básico]]
*[[Forma normal clausal]]
[[Categoria:Lógica matemática]]
| |||