Cláusula básica
Origem: Wikipédia, a enciclopédia livre.
Atenção: Este artigo ou secção não cita as suas fontes ou referências.
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 S substituindo todas variáveis por elementos do Universo de Herbrand H de S é chamado de cláusula básica.