Universelle Formel

Einfache Sprache

Def. Universelle Formel

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