Existenzielle Formel

Einfache Sprache

Def. Existenzielle Formel

Eine Prädikatenlogische Formel heißt existenzielle Formel wenn, sie in PNF ist, keine freien (ungebundenen) Variablen hat und keinen Allquantor enthält.