Ein Quantor ist ein
logischer Operator der
Prädikatenlogik. Neben den
Junktoren sind die Quantoren Grundzeichen der
Logik.Allen Quantoren gemeinsam ist, dass sie
Variablen binden.Die beiden gebräuchlichsten Quantoren sind der Existenzquantor (auch „Einsquantor“, „Existenzialquantifikator“, „Partikularisator“ oder „Manchquantor“) und der Allquantor (auch „Universalquantor“, „Universalquantifikator“ oder „Generalisator“).
Mehr unter Wikipedia.org...
Free Download Now!
