Denken wir an die Verneinung als an eine Umkehrung || Wird uns die Verneinung als Umkehrung erklärt, dann ist || erscheint uns der Satz ~(~p) = p unvermeidlich. (Halbe Drehung || Drehung um 180˚) (Ich glaube die Form des Zeichens ~ stammt daher.)