Aufgabe:
Negation von "Wenn es regnet, dann sind alle Straßen nass" ohne Verwendung von "¬" bilden.
Problem/Ansatz:
Komme hier nicht weiter.
Meine Lösung wäre nur: es regnet ∧ ¬ alle Straßen sind nass.
Du darfst NICHT nicht benutzen.
Es gibt es Straße S, für die gilt: Es regnet und S bleibt tröcken
Versuche das zu formalsieren.
Ja, die Idee hatte ich auch..., aber das kam mir zu einfach vor, wenn ich das "nass" einfach durch "trocken" ersetzen würde.
