5.1311
Wenn wir von pq und ~p auf q schließen, so ist hier durch die Bezeichnungsweise die Beziehung der Satzformen von „pq” und „~p” verhüllt. Schreiben wir aber z.B. statt „pq” „pq..pq” und statt „~p” „pp” (pq = weder p, noch q), so wird der innere Zusammenhang offenbar.
(Daß man aus (x).fx auf fx || a schließen kann, das zeigt, daß die Allgemeinheit auch im Symbol „(x).fx” vorhanden ist.)