Quantor

Einfache Sprache

Quantoren sind Symbole in der Prädikatenlogik, die es erlauben Eigenschaften über alle oder eine Element einer Menge zu definieren. Es gibt Allquantor und Existenzquantor.

Def. Quantor