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.)