∀x∈M:P(x)\forall x\in M: P(x)∀x∈M:P(x) bedeutet: Für jedes Element xxx aus MMM gilt die Aussage P(x)P(x)P(x).
Zum Widerlegen genügt ein Gegenbeispiel.