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 $\mathrm{\Phi }$ na forma skolemizada:

         $\mathrm{\forall }{x}_1...\mathrm{\forall }{x}_{n}S,$

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

Referências

• Predefinição:Citar web

Ver também

• Átomo básico
• Literal básico
• Forma normal clausal