Ein Quantor oder Quantifikator, die Re-Latinisierung des von C. S. Peirce eingeführten Ausdrucks „quantifier“, ist ein Operator der Prädikatenlogik. Neben den Junktoren sind die Quantoren Grundzeichen der Prädikatenlogik. Allen Quantoren gemeinsam ist, dass sie Variablen binden. Die beiden gebräuchlichsten Quantoren sind der Existenzquanto...
Gefunden auf
https://de.wikipedia.org/wiki/Quantor
eine logische Partikel, Prädikatenlogik.
Gefunden auf
https://www.wissen.de//lexikon/quantor
Keine exakte Übereinkunft gefunden.
