Skolem normal form

'Skolem normal form' can also refer to...


More Like This

Show all results sharing this subject:

  • Philosophy


Show Summary Details

Quick Reference

A formula is in Skolem normal form if it is in prenex normal form, and all the existential quantifiers come first. There is an effective procedure producing, for any formula, one in Skolem normal form that is valid if and only if the original is valid.

Subjects: Philosophy.

Reference entries

Users without a subscription are not able to see the full content. Please, subscribe or login to access all content.