Es genügt nicht darauf hinzuweisen daß ~p außerhalb p liegt! Nur dann wird man
alle Eigenschaften von „~p ableiten können wenn „~p” wesentlich als das Negativ von p eingeführt wird!!
     Aber wie das tun!?? –