Quantifizierungen sind oft unbefriedigend und pauschal, Standards werden unterschiedlich definiert. (Quelle: Forschungsbericht Uni Leipzig)
Dazu gehört z.B. die Reichweite von Quantifizierungen und der Negation, vgl. "Jens hat zweimal ein Examen gemacht und "Jens hat ein Examen zweimal gemacht. (Quelle: Schneider: Lexikon Informatik)
Die Klassen der elementaren Prädikate und der primitiv-rekursiven (primitive Rekursion) Prädikate sind abgeschlossen gegen beschränkte Quantifizierungen. Kennwert der Wahrscheinlichkeitsverteilung einer reellwertigen Zufallsvariablen. (Quelle: Schneider: Lexikon Informatik)