Für jede natürliche Zahl x, die eine Primzahl ist, gilt x = 2 oder x ist ungerade. Formalisieren Sie die obige Aussage mit Hilfe der Prädikatenlogik?
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.
Schule,
Mathematik,
Informatik,
Logik