∀! ergibt keinen Sinn.Wenn eine Aussage für alle gilt, dann gilt sie genau für alle und nicht nur für für ein bisschen weniger oder ein bisschen mehr als alle.
¬∀ heißt lediglich, dass eine Aussage nicht für alle gilt:
Alle Raben sind schwarz: ∀x (Rabe(x) ⇒ Schwarz(x))
Nicht Alle Raben sind schwarz: ¬∀x (Rabe(x) ⇒ Schwarz(x)) Gilt dann wenn es einen Raben gibt, der nicht schwaz ist: ∃x (¬(Rabe(x) ⇒ Schwarz(x))).