Folgt die Wahrheit eines Satzes aus der Wahrheit anderer, so drückt
sich dies durch Beziehungen aus, in welchen die Formen jener Sätze
zu einander stehen; und zwar brauchen wir sie nicht erst in jene
Beziehungen zu setzen, indem wir sie in einem Satze miteinander
verbinden, sondern diese Beziehungen sind intern und bestehen,
sobald, und dadurch daß, jene Sätze bestehen.
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 „pvq” und „~p”
verhüllt. Schreiben wir aber z.B. statt „pvq”
„p | q . | . p | q” und statt „~p” „p | p” (p | p = weder p, noch q), so wird
der innere Zusammenhang offenbar.
(Daß man aus (x) . fx auf fa schließen kann, das zeigt, daß die
Allgemeinheit auch im Symbol „(x).fx” vorhanden ist.)