Allquantor
… ∀ meint für alle ↗
Basiswissen
Ein Symbol, das angibt, dass etwas für alle Elemente mit einer bestimmten Eigenschaft gilt: ∀x: x+x=2x - diese Schreibweise heißt ausformuliert: Für alle x gilt, dass x plus x denselben Zahlenwert hat wie 2 mal x.
Beispiele
- ∀x: x²=x·x
- Meint: für alle x gilt: x² ist dasselbe wie x mal x
- Man benutzt ihn für die knappe Formulierung einer Allaussage ↗
Schreibweisen
- ∀x
- Λx