Talk:Clausal normal form

From Wikipedia, the free encyclopedia

The first rule under "Skolemize" is not correct. The quantifer on the rewritten form should still be a universal quantifier. Otherwise the skolem function created by the second rule could always be a skolem constant by eliminating the universal quantifier with the first rule.

68.41.169.151 (talk) 14:22, 1 June 2008 (UTC)

I went ahead and edited the page to correct the skolemization error mentioned above.

(I can't sign with my new account name, because Wikipedia somehow timed out my registration email.)

68.41.169.151 (talk) 14:43, 1 June 2008 (UTC)

Shouldn't this page be merged with Conjunctive Normal Form? 169.232.78.24 (talk)