Base de Herbrand
Origem: Wikipédia, a enciclopédia livre.
Na lógica matemática, dada uma linguagem com um conjunto do universo de Herbrand, a base de Herbrand é o conjunto de todos os átomos basicos que podem ser formados a partir símbolos predicados de uma clausula na forma Skolemizada S e termos do universo Herbrand H de S.
Uma base de Herbrand para uma linguagem de primeira ordem L pode ser construída a partir do universo de Herbrand de L, aplicando algum predicado de L a cada elemento deste universo. Ela consiste portanto do conjunto de todos os átomos básicos que podem ser construídos usando símbolos de L.
Foi assim denominada em homenagem a Jacques Herbrand.
[editar] Exemplo
Seja 
. O universo de Herbrand para 
é dado pelo seguinte conjunto:
Portanto, a base de Herbrand de é descrita pela seguinte tabela
. . .
. . .
. . .
onde e são substituídos em todas as combinações possíveis pelos termos em 
, com cada variável sendo substituídas em todas suas ocorrências pelo mesmo termo.
[editar] Veja Também
[editar] Referências
- Bedregal, B.R.C, and Acióly, B.M. Lógica para a Ciência da Computação. Versão preliminar, 2002.
- Herbrand Base (MathWorld)
