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