• Beitrags-Autor:
  • Beitrag zuletzt geändert am:29.03.2020
  • Beitrags-Kategorie:Mathematik

Quantoren sind Operatoren in der Prädikatenlogik und werden dazu verwendet, mathematische Aussagen noch kürzer und prägnanter zu formulieren. Für die Formulierungen »für alle. . .« und »es existiert. . .« werden zwei neue Symbole eingeführt, die Quantoren.