4.12.14.
Sehen wir uns z.B. die Gleichung ~ ~p = p an: diese bestimmt mit anderen das Zeichen für p da sie besagt daß es etwas sei was „p” & „~~p” gemein haben. Dadurch erhält jenes Zeichen Eigenschaften die wiederspiegeln daß die doppelte Verneinung eine Bejahung ist.