5.1311
Wenn wir von p v q und /p auf q schließen, so ist hier durch die Bezeichnungsweise die Beziehung der Satzformen von „p v q” und „/p” verhüllt. Schreiben wir aber statt „p v q” „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 fx schließen kann, das zeigt, daß die Allgemeinheit auch im Symbol „(x).fx” vorhanden ist.)