5.1311
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” „pq..pq” und statt „~p” „pp” (pq = weder p noch q), so wird der innere Zusammenhang offenbar.
(Daß man aus (x).fx auf fx schließen kann, das zeigt, daß die Allgemeinheit auch im Symbol „(x).fx” vorhanden ist.)