6 relações: Átomo básico, Jacques Herbrand, Lógica, Lógica de primeira ordem, Skolemização, Universo de Herbrand.
Átomo básico
Considere uma cláusula (disjunção de literais) obtida de uma fórmula sentencial do cálculo de predicados de primeira ordem \Phi na forma skolemizada: \forall x_...
Novo!!: Base de Herbrand e Átomo básico · Veja mais »
Jacques Herbrand
Jacques Herbrand (Paris, — Oisans) foi um matemático francês.
Novo!!: Base de Herbrand e Jacques Herbrand · Veja mais »
Lógica
Lógica (do grego λογική logos) tem dois significados principais: discute o uso de raciocínio em alguma atividade e é o estudo normativo, filosófico do raciocínio válido.
Novo!!: Base de Herbrand e Lógica · Veja mais »
Lógica de primeira ordem
A lógica de primeira ordem (LPO), conhecida também como cálculo de predicados de primeira ordem (CPPO), é um sistema lógico que estende a lógica proposicional (lógica sentencial) e que é estendida pela lógica de segunda ordem.
Novo!!: Base de Herbrand e Lógica de primeira ordem · Veja mais »
Skolemização
Uma fórmula da lógica de primeira ordem está na forma normal de Skolem (nome devido à Thoralf Skolem), se sua forma normal prenex contiver somente quantificadores universais.
Novo!!: Base de Herbrand e Skolemização · Veja mais »
Universo de Herbrand
Na lógica matemática, dada uma linguagem formal com um conjunto de símbolos (símbolos de constantes e símbolos funcionais), o universo de Herbrand define recursivamente o conjunto de todos os termos que podem ser compostos aplicando uma composição funcional a partir de símbolos básicos.
Novo!!: Base de Herbrand e Universo de Herbrand · Veja mais »