Es genugt nicht darauf hinzuweisen daß ~p außerhalb p liegt! nur dann wird man
alle [e|E]igenschaften von „~p ableiten können bis wenn „~p” wesentlich als das Negativ von p eingeführt wird!!
 Aber wie das tun!??