Aha ok, zuerst einmal danke! Das heißt, wenn ich jetzt zum Beispiel ∀x, x + 1 > x hätte, dann wäre es ∃x: x + 1 ≤ x .
Weil was ich gelesen habe wäre dann bei < oder > immer das Gegenteil ≥ oder ≤ einzusetzen, stimmt das? Und muss ich immer bei der Verneinung aus das "für alle gilt" auf "es existiert mindestens 1" ersetzen?