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?

1 Antwort

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