Estrutura de Herbrand

Origem: Wikipédia, a enciclopédia livre.
Ir para: navegação, pesquisa

Em matemática, para uma linguagem , define o Universo de Herbrand para o conjunto de condições básicas de .

Uma estrutura de é a Estrutura de Herbrand se o domínio de é o universo de Herbrand de e a interpretação de é a Interpretação de Herbrand. Isso corrige o domínio de , e de modo que cada Estrutura de Herbrand possa ser identificada com sua interpretação.

Um Modelo de Herbrand de uma teoria é a estrutura de Herbrand que é um modelo de .

Veja também[editar | editar código-fonte]