Quantor

Ein Quantor ist ein logischer Operator der Prädikatenlogik. Neben den Junktoren sind die Quantoren Grundzeichen der Logik.

Die Informationen wurden von Wikipedia übernommen, einer offenen Enzyklopädie in welche Freiwillige ihre Beiträge beisteuern.

Die Texte sind unter den Bedingungen der GNU Free Documentation License zugänglich.

Enzyklopädie - Quantor