Quantor
prädikatenlogischer Operator / aus Wikipedia, der freien encyclopedia
Liebe Wikiwand-AI, fassen wir uns kurz, indem wir einfach diese Schlüsselfragen beantworten:
Können Sie die wichtigsten Fakten und Statistiken dazu auflisten Quantor?
Fass diesen Artikel für einen 10-Jährigen zusammen
Ein Quantor oder Quantifikator, die Re-Latinisierung des von C. S. Peirce eingeführten Ausdrucks „quantifier“,[1] 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 Existenzquantor (in natürlicher Sprache zum Beispiel als „mindestens ein“ ausgedrückt) und der Allquantor (in natürlicher Sprache zum Beispiel als „alle“ oder „jede/r/s“ ausgedrückt). Andere Arten von Quantoren sind Anzahlquantoren wie „ein“ oder „zwei“, die sich auf Existenz- beziehungsweise Allquantor zurückführen lassen, und Quantoren wie „manche“, „einige“ oder „viele“, die auf Grund ihrer Unbestimmtheit, im Gegensatz etwa zu „alle“ oder „kein(e)“,[2] in der klassischen Logik nicht verwendet werden.