Discussão:Skolemização
 | Este artigo foi avaliado automaticamente com qualidade 2 e faz parte do âmbito de um WikiProjeto: Lógica. | |
|---|---|---|
 |  | Para o WikiProjeto:Lógica este artigo possui importância ainda não avaliada. Se você se interessa pelo assunto, visite o projeto para conhecer as tarefas e discussões em curso. |
| Se não tiver suas questões respondidas nesta página de discussão procure o(s) wikiprojeto(s) acima. | ||
 | Este artigo foi desenvolvido e/ou revisto no âmbito de uma atividade educacional em dezembro de 2006. Estão disponíveis mais detalhes. |
Erro editar
Existe uma contradição na forma como o algoritmo é aplicado no exemplo 1 e 2. São aplicados algoritmos diferentes! No exemplo 1) são contados os quantificadores universais à esquerda e no 2) são contados os quantificadores à direita.