Template:Individual-TLP-paragraph-de-5.1311
5.1311 Wenn wir von p ∨ q und ∼p auf q schliessen, 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 schliessen kann, das zeigt, dass die Allgemeinheit auch im Symbol „(x) . fx“ vorhanden ist.)