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.
1 Antwort
Von gutefrage auf Grund seines Wissens auf einem Fachgebiet ausgezeichneter Nutzer
Mathematik
Naja, kann man so machen, denn wenn prim(x) falsch ist, ist die Implikation immer wahr.
Ich hätte eher x e P: x=2 oder 2 teilt nicht x, wobei es für „teilt“ und „teilt nicht“ eigene Symbole gibt