Das was in „~p” verneint ist nicht das „~” vor dem „p” sondern dasjenige was allen Zeichen die in dieser Notation mit „~p” gleichbedeutend sind gemeinsam ist; also das Gemeinsame von
    ~p
~~~p
~p ⌵ ~p
~p ∙ ~p
etc. etc.
(Ƒ) und dasselbe gilt für die Allgemeinheitsbezeichnung etc..