/  
Es hat den Anschein, als könnte man aus der Bedeutung der Negation schließen, daß ~~p p heißt.