Hallo :)

 Wir sollen für folgende Aussage das logische Gegenteil formulieren:
"Wenn am Wochenende gutes Wetter ist, gehe ich Wandern oder surfe."

A sei: gutes Wetter
B sei (um es zu vereinfachen): ich gehe Wandern oder surfe (bestehend nochmal aus C ∨ D, C: ich gehe Wandern, D: ich surfe)

Dann müsste die formale Schreibweise lauten: A⇒ B bzw. A⇒  (C ∨ D)


Als nächsten Schritt habe ich die gesamte Aussage negiert, d. h. ¬ (A⇒ B)

Ich dachte, das müsste dann lauten: A ⇒  ¬ B
Laut dem Prof ist aber richtig: A ∧  ¬   B

Kann mir jemand erklären, warum das so ist? Warum wird aus der Implikation ein "und"?

Freue mich über jede Hilfe!