Du musst im Grunde nur erstmal entscheiden, ob es All- oder Existenzaussagen sind.
z.B. die erste : Es existieren unendlich viele, die dazwischen liegen.
ist die eigentliche Aussage. Und immer wenn es um je zwei oder so was , oder jede oder so geht,
ist das eine Allaussage. Also Für alle Paare rationaler Zahlen gibt unendliche viele die
dazwischen liegen. Dann Variablen einführen und du hast
Für alle Paare (x;y) aus Q^2 gibt es unendlich viele c mit x<z<y oder x<z<y
und da siehst du schon: Die je zwei müssen verschiedene sein, also
Für alle Paare (x;y) aus Q^2 mit x≠y gibt es unendlich viele z mit x<z<y oder x<z<y.