Mathematica MathWorld Wolfram Science More »

HOME

TOPICS

LATEST

Skolemization

The process of removing all the existential quantifiers from a formula is known as Skolemization. The result is a formula in Skolem normal form that is equivalent in computational complexity to the original. This Demonstration shows the rewriting process of a Skolemization step by step for all general cases up to three quantifier alternations and seven variables or constants.

Contributed by: Hector Zenil

Show Initialization Code

(41 lines omitted)

Skolem Normal Form (Wolfram MathWorld)

"Skolemization" from The Wolfram Demonstrations Project
http://demonstrations.wolfram.com/Skolemization/

Contributed by: Hector Zenil

Report an issue »

Interact with Demonstrations using the latest version of the free Mathematica Player—Download Now

Browse all topics

	Source page:
	Email	Name (optional)
	Occupation (optional)	Organization (optional)
	I use Mathematica often occasionally never
	Country (optional) Remember me
	Note: Please do not include anything you consider confidential or proprietary. Your message and contact information may be shared with the author of any specific Demonstration for which you give feedback, but will not otherwise be published or distributed. Privacy Policy »

Wolfram Research

Site Index

RSS

Atom