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.
Källangivelse
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.
Källangivelse
Objektiv och pålitlig kunskap.
Prova det, du kommer att gilla det!
Marknadsledare i Sverige.