5˙04112
Wenn wir von p ⌵ q und ~p auf q schließen, so ist hier durch die Bezeichnungsweise die Beziehung der Satzformen von „p ⌵ q” und „~p” verhüllt. Schreiben wir aber statt „p ⌵ q” „p ∣ q ∙ ∣ ∙ p ∣ q” und statt „~p” „p ∣ p” (p ∣ q = weder p noch q) so wird der innere Zusammenhang offenbar.