6,094
edits
No edit summary |
No edit summary |
||
Line 1,252: | Line 1,252: | ||
{{ParTB|7. 3. 15.}} | {{ParTB|7. 3. 15.}} | ||
Wie ~ξ, ~ξ ∨ ~ξ etc. dieselbe Funktion ist, so ist auch ~η ∨ η, η ⊃ η, etc. dieselbe – nämlich die tautologische – Funktion. Wie die anderen, so kann auch sie – und vielleicht mit Vorteil – untersucht werden. | Wie ~''ξ'', ~''ξ'' ∨ ~''ξ'' etc. dieselbe Funktion ist, so ist auch ~''η'' ∨ ''η'', ''η'' ⊃ ''η'', etc. dieselbe – nämlich die tautologische – Funktion. Wie die anderen, so kann auch sie – und vielleicht mit Vorteil – untersucht werden. | ||
Line 1,885: | Line 1,885: | ||
''Ganze Sätze'' verschwinden! | ''Ganze Sätze'' verschwinden! | ||
Schon das, daß "p.q ∨ ~q" von "q" unabhängig ist, obwohl es das Schriftzeichen "q" offenbar enthält, zeigt uns, wie Zeichen von der Form η ∨ ~η scheinbar, aber doch nur ''scheinbar'' existieren können. | Schon das, daß "p.q ∨ ~q" von "q" unabhängig ist, obwohl es das Schriftzeichen "q" offenbar enthält, zeigt uns, wie Zeichen von der Form ''η'' ∨ ~''η'' scheinbar, aber doch nur ''scheinbar'' existieren können. | ||
Dies kommt natürlich daher, daß diese Zusammenstellung "p ∨ ~p" zwar äußerlich möglich ist, aber nicht den Bedingungen genügt unter welchen ein solcher Komplex ''etwas sagt'', also ein Satz ist. | Dies kommt natürlich daher, daß diese Zusammenstellung "p ∨ ~p" zwar äußerlich möglich ist, aber nicht den Bedingungen genügt unter welchen ein solcher Komplex ''etwas sagt'', also ein Satz ist. | ||
Line 2,277: | Line 2,277: | ||
Es gibt eben auch Operationen mit zwei Basen. Und die "|"-Operation ist von dieser Art. | Es gibt eben auch Operationen mit zwei Basen. Und die "|"-Operation ist von dieser Art. | ||
| (ξ, η) ... ist ein beliebiges Glied der Reihe der Operationsresultate. | | (''ξ'', ''η'') ... ist ein beliebiges Glied der Reihe der Operationsresultate. | ||
(∃x).''φ''x | (∃x).''φ''x |