„Wie aus den Beispielen hervorgeht, werden in der Prädikatenlogik zur formalen Wissensbeschreibung Objekte, Prädikate und die Operatoren & (und), | (oder), ¬ ( nicht ),  (Implikation) und die ''Quantoren''  (Allquantor) und  (Existenzquantor) benutzt.“<ref>Peter Rechenberg: ''Was ist Informatik?'', München: Hanser 1991, S. 249</ref>
{{K|Prädikatenlogik}} Operator, der die Erfüllung eines Kriteriums oder mehrerer Kriterien von bestimmten Objekten ausdrückt