Man darf die üblichen mathematischen Symbole (≤, <, =, etc.) sowie die Prädikate teilt(x, y) und prim(x) verwenden. Mir geht es nur, um die Position von prim(x), denn hierbei handelt es sich um eine weitere Bedingung und ich weiß nicht, ob mein Ansatz

∀x∈ℕ : prim(x) → ((x = 2) ∨ ungerade(x))

hinsichtlich der Aufgabe richtig ist.