alternative Definition von exists und forall

Weil ich mir gerade nicht ganz sicher bin, ob meine Version so gewünscht
war

Tim