Discussão:Forma normal clausal
Origem: Wikipédia, a enciclopédia livre.
Coisas para alterar
- No item 3:
3) Remova os quantificadores universais
- No item 5 - mudar a redação para:
5) Coloque na forma de cláusula, substituindo por {C1,...,Cn}.
- No exemplo 1:
Passo 5) Colocar na forma de cláusulas:
Remover o passo 6
- Mudar o exemplo 2:
Exemplo 2:
Passo 1) Colocar a fórmula na forma normal da negação:
Passo 2) Skolemizar a fórmula:
Substituindo [y1: = f(x),z: = g(x)]
Passo 3) Remover os quantificadores universais e :
Passo 4) A fórmula já está na forma normal conjuntiva.
Passo 5) Colocar na fórma de cláusulas: