prenex normalform
preneʹx normalform (senlat. praenexus [prɛ:ʹ-] ’hopknuten eller hopbunden framtill’), den form som en predikatlogisk sats har när alla dess kvantifikatorer står först i satsen.
Jämför predikatlogik.
Information om artikeln
Källangivelse