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
Nationalencyklopedin, prenex normalform. https://www.ne.se/uppslagsverk/encyklopedi/lång/prenex-normalform (hämtad 2025-04-01), NE Nationalencyklopedin AB