1.) Prädikatenlogik: Operator, der die Erfüllung eines Kriteriums oder mehrerer Kriterien von bestimmten Objekten ausdrückt
Beispielsätze mit QUANTOR
1.) „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.“