Formalisieren Sie mit Hilfe von p, q folgende Formeln

Question

Aufgabe:

Nehmen wir an in, einer Sprache gelten folgende Formeln:

p bedeutet: „x ist eine Primzahl“,
q bedeutet: „x ist ungerade“.

Formalisieren Sie mit Hilfe von p, q folgende Sätze:

(i) „x ist eine Primzahl echt größer zwei ist eine hinreichende Bedingung dafür, dass x ungerade ist“.

ii) „x ist ungerade ist eine notwendige Bedingung dafür, dass x eine Primzahl echt größer 2 ist“.

Problem/Ansatz:

Wie sollte man hier angehen?

Answer 1

(i)  p  ∧  (x>2)   =>  q

(ii)  p ∧  (x>2)  =>  q

Answer 2

x ist eine Primzahl echt größer zwei formal: p ∧ x>2

(i) q⇐(p ∧ x>2)

(ii) (p ∧ x>2)⇒q

Comments

zu (ii)  "notwendig" heißt doch nur:

         aus " x ist eine Primzahl echt größer 2 “.

folgt q     ???

Also, wenn q erfüllt ist muss nicht unbedingt gelten

" x ist eine Primzahl echt größer 2 “.

---

mathef, du hast ja recht, hab's korrigiert.