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 z. B. statt „p∨q“ „p|q.|.p|q“ und statt „~p“ „p|p“ (p|q = weder p, noch q), so wird der innere Zusammenhang offenbar. (Dass man aus (x).fx auf fa schließen kann, das zeigt, dass die Allgemeinheit auch im Symbol „(x).fx“ vorhanden ist.)