/  
Mit der Zeichenklasse des Satzes „p” ist bereits die Klasse „~p” etc etc gegeben. Wie es auch sein muß.