Grundlagen: Mathematik

Was bedeutet der Allquantor \forall?

xM:P(x)\forall x\in M: P(x) bedeutet: Für jedes Element xx aus MM gilt die Aussage P(x)P(x).

Zum Widerlegen genügt ein Gegenbeispiel.