Prenex Normal Form

A Predicate Formula of interest.

Definition

A Predicate Formula is in PNF Form $⟺$ it has form:

• $Q_1{x}_1{Q}_2{x}_2\dots Q_k{x}_{k}E$ Where:
• $k\ge 0$
• Each Quantifier $Q_i$ is either $\exists ,\forall$
• Each $x_i$ is a variable
• $E$ is quantifier Free Predicate Variable

Intuition

It is a formula where all quantifiers are in the front, and there is one formula.