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 código-fonte]

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.