Mithilfe der Aussagenlogik schreiben. Wenn es Winter oder Sommer ist, und es nicht Sommer ist, dann…

Question

- wie würdet ihr das schreiben?

Aufgabe: Spezifizieren Sie folgende Aussagen mithilfe der Aussagenlogik.

1) Wenn es Winter oder Sommer ist, und es nicht Sommer ist, dann ist es Winter.

Mein Ansatz:

(W v S) -(gibt kein ,,Nicht" zeichen) S ---> W

2)Dass ein schwarzer Schwan entweder rote oder weiße Augen hat, ist gleichwertig damit, dass ein schwarzer Schwan mit weißen Augen keine roten Augen hat.

Sr v (entweder oder) Sw -----> Sw -(nicht) Sr

Tut mir Leid, falls meine Schreibweise euch Kopfschmerzen bereitet, aber ich bin Erstsemestler und dies sind die ersten Aufgaben, welche wir bekommen haben.. :D

Answer 1

(W∨S) ∧¬S →W

(R∨W) ∧ ¬(R∧W) ↔ (W → ¬R)

"entweder ... oder" hebt explizit hervor, dass eine Auswahl zu treffen ist und nicht beide Möglichkeiten gleichzeitig eintreten können.

gibt kein ,,Nicht" zeichen

Ich habe noch ein paar übrig: ¬¬¬¬¬¬¬¬¬¬¬¬¬¬¬¬¬¬¬¬¬¬¬¬¬¬¬

Nimm dir so viele du brauchst, gib den Rest aber bitte zurück.

Answer 2

Zu 1) ((W∨S)∧¬S)→W

Zu 2) (R >-< W) ↔ (W→¬R) (Zweifel)