Negation bilden ohne "¬"

Question

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.

Comments

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.