Prenex-Normalform

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Eine syntaktische Normalisierung von Aussagen der Prädikatenlogik erster Ordnung, bei der alle Quantoren nach vorne gezogen werden, sodass eine äquivalente Formel mit einem Quantorenpräfix und einer quantorenfreien Matrix entsteht.