WikiDer > Prenex Normalform

EIN mathematische Formel von dem Prädikatskalkül ist in der prenexNormalform wenn es als Serie geschrieben ist Quantoren, gefolgt von einem Quantor, der Matrix namens.

Jede Formel in der klassischen Logik entspricht einer Formel in Pränex-Normalform. Wenn zum Beispiel φ(ja), ψ(z) und ρ(X) sind quantorenlose Formeln mit freien Variablen, dann ist

${displaystyle forall xexists yexists z(phi lor (psi ightarrow ho))}$

in Pränex-Normalform mit Matrix ${displaystyle phi lor (psi ightarrow ho)}$, während

${displaystyle forall x((exists yphi )lor ((forall zpsi )ightarrow ho ))}$

ist logisch äquivalent dazu, jedoch nicht in der pränex-Normalform.