Cláusula básica

Considere uma cláusula (disjunção de literais) obtida de uma fórmula sentencial do cálculo de predicados de primeira ordem na forma skolemizada:

         

então uma cláusula obtida a partir de substituindo todas variáveis por elementos do universo de Herbrand de é chamada de cláusula básica.

ReferênciasEditar

  • Sakharov, Alex. «Ground clause» (em inglês). MathWorld. Consultado em 1º de junho de 2010 

Ver tambémEditar