Overview

Skolem normal form


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.