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