Frage Aussagenlogik Negation

Question

Geben Sie die Negation der Aussage „Wenn die Sonne scheint, dann badet Kurt im See.“ an

Answer 1

Es ist nicht der Fall, dass Kurt im See badet, wenn die Sonne scheint. = Kurt badet nicht im See, wenn die Sonne scheint.

Comments

Die Aussage links vom Gleichheitszeichen wird dem Aufgabensteller als Antwort vielleicht zu trivial erscheinen, die Aussage rechts vom Gleichheitszeichen ist als Antwort falsch.

Zusätzliche Anmerkung :
Was ist der Unterschied der drei Aussagen
  -   „Wenn die Sonne scheint, dann badet Kurt im See.“
  -   „Immer wenn die Sonne scheint, dann badet Kurt im See.“ 
  -   „Nur wenn die Sonne scheint, dann badet Kurt im See.“

Answer 2

¬ ( s → b )  ⇔   ¬ ( b ∨ ¬s)   ⇔  ¬b ∧ s

Die kürzesten verbalen Formulierungen der gesuchten Negation lauten also:

"Kurt badet nicht im See und die Sonne scheint"   

"Die Sonne scheint  und  Kurt badet nicht im See"  

Gruß Wolfgang