Anmelden (DTAQ) DWDS     dlexDB     CLARIN-D

Schröder, Ernst: Vorlesungen über die Algebra der Logik. Bd. 3, Abt. 1. Leipzig, 1895.

Bild:
<< vorherige Seite
nächste Seite >>

Neunte Vorlesung.
aus welchem er für b = a0, c = 1' hervorginge, wo dann, weil die
Prämisse gilt, auch die Konklusion gelten muss. Umgekehrt folgt aus
ihm leicht D 53 mit: (b a0 ; c) (a0 ; b a0 ; a0 ; c = a0 ; c).

Behufs Beweises des letztern 6) verfügen wir bereits über: a ; a0 a0
und a0 ; a a0.

[Jenes war 23)b und dieses folgt etwa für b = a0 wegen 7) aus dem
zweiten Satze links in 27) rückwärts.]

Darnach haben wir auch
a ; (a ; a0) a ; a0, (a0 ; a) ; a a0 ; a.

Nach den Schemata links in 27) schreibt nun dies sich äquivalent um in:
a0 ; (a ; a0) = a ; a0, (a0 ; a) ; a0 = a0 ; a,
wonach wegen der Übereinstimmung der linkseitigen Ausdrücke (mit-
einander und mit a0 ; a ; a0) auch die rechten Seiten einander gleich sein
müssen, q. e. d.

Hiermit ist nun auch der Satz:
5)+ a00 ; a00 a00,
den ich als den Angelpunkt der ganzen Kettentheorie bezeichnen möchte,
ohne Benutzung von Reihenentwicklungen beweisbar wie folgt:
a00 ; a00 = a ; a0 ; a0 ; a = a ; a0 ; a a0 ; a = a00.

Wer endlich Gewicht darauf legt, von unserm einfachern Ausgangs-
punkte 21) aus auch noch die allgemeinere Erklärung D 44 nun als Theorem
zu gewinnen, wird am besten den unter 11) des § 24 folgenden Überlegungen
sich zuwenden, d. h. er braucht blos die von uns für die Proposition
a ; x + b x gegebne allgemeine Lösung als solche zu verifiziren (was
wiederum ohne Reihenbenutzung aufgrund schon etablirter Sätze angängig
-- siehe dort) und von ihr das Produkt P zu nehmen.

Von jetzt an aber mögen die aus 28) fliessenden Reihenentwickelungen:
29) a0 = 1' + a + a2 + a3 + ..., a00 = a + a2 + a3 + ...
flott benutzt werden.

Es mögen schliesslich die Begriffe der a-Kette und der a-Bildkette
von b noch durch ein paar Figuren veranschaulicht werden.

Schon im Hinblick auf Bemerkungen, wie die von Hoppe1 p. 30:
"Im Gegenteil würde man die*) gegebnen leeren Rahmen, um doch etwas
dabei zu denken, kaum anders auszufüllen wissen als durch die bekannten
Zahlen" dürfe solches nicht ganz überflüssig erscheinen.

Ich hatte aber diese Figuren 22 und 23 schon anfertigen lassen, als
ich mich noch der Dedekind'schen Bezeichnungsweisen bediente, und muss
demgemäss bitten, die Buchstaben darin etwas abgeändert zu denken, näm-
lich die kleinen a, a', b, b', c, c' durch gleichnamige grosse: A, A', B, B',
C, C' ersetzt zu erachten, für die Zeichen A, A', A'', A''' und B der

+ Aus Früherem wiederholt.
*) In Dedekind's Schrift1.

Neunte Vorlesung.
aus welchem er für b = a0, c = 1' hervorginge, wo dann, weil die
Prämisse gilt, auch die Konklusion gelten muss. Umgekehrt folgt aus
ihm leicht D 53 mit: (b ⋹ a0 ; c) ⋹ (a0 ; b ⋹ a0 ; a0 ; c = a0 ; c).

Behufs Beweises des letztern 6) verfügen wir bereits über: a ; a0 ⋹ a0
und a0 ; a ⋹ a0.

[Jenes war 23)β und dieses folgt etwa für b = a0 wegen 7) aus dem
zweiten Satze links in 27) rückwärts.]

Darnach haben wir auch
a ; (a ; a0) ⋹ a ; a0, (a0 ; a) ; a ⋹ a0 ; a.

Nach den Schemata links in 27) schreibt nun dies sich äquivalent um in:
a0 ; (a ; a0) = a ; a0, (a0 ; a) ; a0 = a0 ; a,
wonach wegen der Übereinstimmung der linkseitigen Ausdrücke (mit-
einander und mit a0 ; a ; a0) auch die rechten Seiten einander gleich sein
müssen, q. e. d.

Hiermit ist nun auch der Satz:
5)† a00 ; a00 ⋹ a00,
den ich als den Angelpunkt der ganzen Kettentheorie bezeichnen möchte,
ohne Benutzung von Reihenentwicklungen beweisbar wie folgt:
a00 ; a00 = a ; a0 ; a0 ; a = a ; a0 ; a ⋹ a0 ; a = a00.

Wer endlich Gewicht darauf legt, von unserm einfachern Ausgangs-
punkte 21) aus auch noch die allgemeinere Erklärung D 44 nun als Theorem
zu gewinnen, wird am besten den unter 11) des § 24 folgenden Überlegungen
sich zuwenden, d. h. er braucht blos die von uns für die Proposition
a ; x + b ⋹ x gegebne allgemeine Lösung als solche zu verifiziren (was
wiederum ohne Reihenbenutzung aufgrund schon etablirter Sätze angängig
— siehe dort) und von ihr das Produkt Π zu nehmen.

Von jetzt an aber mögen die aus 28) fliessenden Reihenentwickelungen:
29) a0 = 1' + a + a2 + a3 + …, a00 = a + a2 + a3 + …
flott benutzt werden.

Es mögen schliesslich die Begriffe der a-Kette und der a-Bildkette
von b noch durch ein paar Figuren veranschaulicht werden.

Schon im Hinblick auf Bemerkungen, wie die von Hoppe1 p. 30:
„Im Gegenteil würde man die*) gegebnen leeren Rahmen, um doch etwas
dabei zu denken, kaum anders auszufüllen wissen als durch die bekannten
Zahlen“ dürfe solches nicht ganz überflüssig erscheinen.

Ich hatte aber diese Figuren 22 und 23 schon anfertigen lassen, als
ich mich noch der Dedekind’schen Bezeichnungsweisen bediente, und muss
demgemäss bitten, die Buchstaben darin etwas abgeändert zu denken, näm-
lich die kleinen a, a', b, b', c, c' durch gleichnamige grosse: A, A', B, B',
C, C' ersetzt zu erachten, für die Zeichen A, A', A'', A''' und B der

† Aus Früherem wiederholt.
*) In Dedekind’s Schrift1.
<TEI>
  <text>
    <body>
      <div n="1">
        <div n="2">
          <p><pb facs="#f0398" n="384"/><fw place="top" type="header">Neunte Vorlesung.</fw><lb/>
aus welchem er für <hi rendition="#i">b</hi> = <hi rendition="#i">a</hi><hi rendition="#sub">0</hi>, <hi rendition="#i">c</hi> = 1' hervorginge, wo dann, weil die<lb/>
Prämisse gilt, auch die Konklusion gelten muss. Umgekehrt folgt aus<lb/>
ihm leicht <hi rendition="#fr">D</hi> 53 mit: (<hi rendition="#i">b</hi> &#x22F9; <hi rendition="#i">a</hi><hi rendition="#sub">0</hi> ; <hi rendition="#i">c</hi>) &#x22F9; (<hi rendition="#i">a</hi><hi rendition="#sub">0</hi> ; <hi rendition="#i">b</hi> &#x22F9; <hi rendition="#i">a</hi><hi rendition="#sub">0</hi> ; <hi rendition="#i">a</hi><hi rendition="#sub">0</hi> ; <hi rendition="#i">c</hi> = <hi rendition="#i">a</hi><hi rendition="#sub">0</hi> ; <hi rendition="#i">c</hi>).</p><lb/>
          <p>Behufs <hi rendition="#g">Beweises</hi> des letztern 6) verfügen wir bereits über: <hi rendition="#i">a</hi> ; <hi rendition="#i">a</hi><hi rendition="#sub">0</hi> &#x22F9; <hi rendition="#i">a</hi><hi rendition="#sub">0</hi><lb/>
und <hi rendition="#i">a</hi><hi rendition="#sub">0</hi> ; <hi rendition="#i">a</hi> &#x22F9; <hi rendition="#i">a</hi><hi rendition="#sub">0</hi>.</p><lb/>
          <p>[Jenes war 23)<hi rendition="#i"><hi rendition="#sub">&#x03B2;</hi></hi> und dieses folgt etwa für <hi rendition="#i">b</hi> = <hi rendition="#i">a</hi><hi rendition="#sub">0</hi> wegen 7) aus dem<lb/>
zweiten Satze links in 27) rückwärts.]</p><lb/>
          <p>Darnach haben wir auch<lb/><hi rendition="#c"><hi rendition="#i">a</hi> ; (<hi rendition="#i">a</hi> ; <hi rendition="#i">a</hi><hi rendition="#sub">0</hi>) &#x22F9; <hi rendition="#i">a</hi> ; <hi rendition="#i">a</hi><hi rendition="#sub">0</hi>, (<hi rendition="#i">a</hi><hi rendition="#sub">0</hi> ; <hi rendition="#i">a</hi>) ; <hi rendition="#i">a</hi> &#x22F9; <hi rendition="#i">a</hi><hi rendition="#sub">0</hi> ; <hi rendition="#i">a</hi>.</hi></p><lb/>
          <p>Nach den Schemata links in 27) schreibt nun dies sich äquivalent um in:<lb/><hi rendition="#c"><hi rendition="#i">a</hi><hi rendition="#sub">0</hi> ; (<hi rendition="#i">a</hi> ; <hi rendition="#i">a</hi><hi rendition="#sub">0</hi>) = <hi rendition="#i">a</hi> ; <hi rendition="#i">a</hi><hi rendition="#sub">0</hi>, (<hi rendition="#i">a</hi><hi rendition="#sub">0</hi> ; <hi rendition="#i">a</hi>) ; <hi rendition="#i">a</hi><hi rendition="#sub">0</hi> = <hi rendition="#i">a</hi><hi rendition="#sub">0</hi> ; <hi rendition="#i">a</hi>,</hi><lb/>
wonach wegen der Übereinstimmung der linkseitigen Ausdrücke (mit-<lb/>
einander und mit <hi rendition="#i">a</hi><hi rendition="#sub">0</hi> ; <hi rendition="#i">a</hi> ; <hi rendition="#i">a</hi><hi rendition="#sub">0</hi>) auch die rechten Seiten einander gleich sein<lb/>
müssen, q. e. d.</p><lb/>
          <p>Hiermit ist nun auch der Satz:<lb/>
5)<note place="foot" n="&#x2020;">Aus Früherem wiederholt.</note> <hi rendition="#et"><hi rendition="#i">a</hi><hi rendition="#sub">00</hi> ; <hi rendition="#i">a</hi><hi rendition="#sub">00</hi> &#x22F9; <hi rendition="#i">a</hi><hi rendition="#sub">00</hi>,</hi><lb/>
den ich als den <hi rendition="#i">Angelpunkt</hi> der ganzen Kettentheorie bezeichnen möchte,<lb/><hi rendition="#i">ohne</hi> Benutzung von Reihenentwicklungen <hi rendition="#g">beweisbar</hi> wie folgt:<lb/><hi rendition="#c"><hi rendition="#i">a</hi><hi rendition="#sub">00</hi> ; <hi rendition="#i">a</hi><hi rendition="#sub">00</hi> = <hi rendition="#i">a</hi> ; <hi rendition="#i">a</hi><hi rendition="#sub">0</hi> ; <hi rendition="#i">a</hi><hi rendition="#sub">0</hi> ; <hi rendition="#i">a</hi> = <hi rendition="#i">a</hi> ; <hi rendition="#i">a</hi><hi rendition="#sub">0</hi> ; <hi rendition="#i">a</hi> &#x22F9; <hi rendition="#i">a</hi><hi rendition="#sub">0</hi> ; <hi rendition="#i">a</hi> = <hi rendition="#i">a</hi><hi rendition="#sub">00</hi>.</hi></p><lb/>
          <p>Wer endlich Gewicht darauf legt, von unserm einfachern Ausgangs-<lb/>
punkte 21) aus auch noch die allgemeinere Erklärung <hi rendition="#fr">D</hi> 44 nun als Theorem<lb/>
zu gewinnen, wird am besten den unter 11) des § 24 folgenden Überlegungen<lb/>
sich zuwenden, d. h. er braucht blos die von uns für die Proposition<lb/><hi rendition="#i">a</hi> ; <hi rendition="#i">x</hi> + <hi rendition="#i">b</hi> &#x22F9; <hi rendition="#i">x</hi> gegebne allgemeine Lösung als solche zu verifiziren (was<lb/>
wiederum ohne Reihenbenutzung aufgrund schon etablirter Sätze angängig<lb/>
&#x2014; siehe dort) und von ihr das Produkt <hi rendition="#i">&#x03A0;</hi> zu nehmen.</p><lb/>
          <p>Von jetzt an aber mögen die aus 28) fliessenden Reihenentwickelungen:<lb/>
29) <hi rendition="#et"><hi rendition="#i">a</hi><hi rendition="#sub">0</hi> = 1' + <hi rendition="#i">a</hi> + <hi rendition="#i">a</hi><hi rendition="#sup">2</hi> + <hi rendition="#i">a</hi><hi rendition="#sup">3</hi> + &#x2026;, <hi rendition="#i">a</hi><hi rendition="#sub">00</hi> = <hi rendition="#i">a</hi> + <hi rendition="#i">a</hi><hi rendition="#sup">2</hi> + <hi rendition="#i">a</hi><hi rendition="#sup">3</hi> + &#x2026;</hi><lb/>
flott benutzt werden.</p><lb/>
          <p>Es mögen schliesslich die Begriffe der <hi rendition="#i">a</hi>-Kette und der <hi rendition="#i">a</hi>-Bildkette<lb/>
von <hi rendition="#i">b</hi> noch durch ein paar Figuren veranschaulicht werden.</p><lb/>
          <p>Schon im Hinblick auf Bemerkungen, wie die von <hi rendition="#g">Hoppe</hi><hi rendition="#sup">1</hi> p. 30:<lb/>
&#x201E;Im Gegenteil würde man die<note place="foot" n="*)">In <hi rendition="#g">Dedekind&#x2019;</hi>s Schrift<hi rendition="#sup">1</hi>.</note> gegebnen leeren Rahmen, um doch etwas<lb/>
dabei zu denken, kaum anders auszufüllen wissen als durch die bekannten<lb/>
Zahlen&#x201C; dürfe solches nicht ganz überflüssig erscheinen.</p><lb/>
          <p>Ich hatte aber diese Figuren 22 und 23 schon anfertigen lassen, als<lb/>
ich mich noch der <hi rendition="#g">Dedekind&#x2019;</hi>schen Bezeichnungsweisen bediente, und muss<lb/>
demgemäss bitten, die Buchstaben darin etwas abgeändert zu denken, näm-<lb/>
lich die kleinen <hi rendition="#i">a</hi>, <hi rendition="#i">a</hi>', <hi rendition="#i">b</hi>, <hi rendition="#i">b</hi>', <hi rendition="#i">c</hi>, <hi rendition="#i">c</hi>' durch gleichnamige grosse: <hi rendition="#i">A</hi>, <hi rendition="#i">A</hi>', <hi rendition="#i">B</hi>, <hi rendition="#i">B</hi>',<lb/><hi rendition="#i">C</hi>, <hi rendition="#i">C</hi>' ersetzt zu erachten, für die Zeichen <hi rendition="#i">A</hi>, <hi rendition="#i">A</hi>', <hi rendition="#i">A</hi>'', <hi rendition="#i">A</hi>''' und <hi rendition="#i">B</hi> der<lb/></p>
        </div>
      </div>
    </body>
  </text>
</TEI>
[384/0398] Neunte Vorlesung. aus welchem er für b = a0, c = 1' hervorginge, wo dann, weil die Prämisse gilt, auch die Konklusion gelten muss. Umgekehrt folgt aus ihm leicht D 53 mit: (b ⋹ a0 ; c) ⋹ (a0 ; b ⋹ a0 ; a0 ; c = a0 ; c). Behufs Beweises des letztern 6) verfügen wir bereits über: a ; a0 ⋹ a0 und a0 ; a ⋹ a0. [Jenes war 23)β und dieses folgt etwa für b = a0 wegen 7) aus dem zweiten Satze links in 27) rückwärts.] Darnach haben wir auch a ; (a ; a0) ⋹ a ; a0, (a0 ; a) ; a ⋹ a0 ; a. Nach den Schemata links in 27) schreibt nun dies sich äquivalent um in: a0 ; (a ; a0) = a ; a0, (a0 ; a) ; a0 = a0 ; a, wonach wegen der Übereinstimmung der linkseitigen Ausdrücke (mit- einander und mit a0 ; a ; a0) auch die rechten Seiten einander gleich sein müssen, q. e. d. Hiermit ist nun auch der Satz: 5) † a00 ; a00 ⋹ a00, den ich als den Angelpunkt der ganzen Kettentheorie bezeichnen möchte, ohne Benutzung von Reihenentwicklungen beweisbar wie folgt: a00 ; a00 = a ; a0 ; a0 ; a = a ; a0 ; a ⋹ a0 ; a = a00. Wer endlich Gewicht darauf legt, von unserm einfachern Ausgangs- punkte 21) aus auch noch die allgemeinere Erklärung D 44 nun als Theorem zu gewinnen, wird am besten den unter 11) des § 24 folgenden Überlegungen sich zuwenden, d. h. er braucht blos die von uns für die Proposition a ; x + b ⋹ x gegebne allgemeine Lösung als solche zu verifiziren (was wiederum ohne Reihenbenutzung aufgrund schon etablirter Sätze angängig — siehe dort) und von ihr das Produkt Π zu nehmen. Von jetzt an aber mögen die aus 28) fliessenden Reihenentwickelungen: 29) a0 = 1' + a + a2 + a3 + …, a00 = a + a2 + a3 + … flott benutzt werden. Es mögen schliesslich die Begriffe der a-Kette und der a-Bildkette von b noch durch ein paar Figuren veranschaulicht werden. Schon im Hinblick auf Bemerkungen, wie die von Hoppe1 p. 30: „Im Gegenteil würde man die *) gegebnen leeren Rahmen, um doch etwas dabei zu denken, kaum anders auszufüllen wissen als durch die bekannten Zahlen“ dürfe solches nicht ganz überflüssig erscheinen. Ich hatte aber diese Figuren 22 und 23 schon anfertigen lassen, als ich mich noch der Dedekind’schen Bezeichnungsweisen bediente, und muss demgemäss bitten, die Buchstaben darin etwas abgeändert zu denken, näm- lich die kleinen a, a', b, b', c, c' durch gleichnamige grosse: A, A', B, B', C, C' ersetzt zu erachten, für die Zeichen A, A', A'', A''' und B der † Aus Früherem wiederholt. *) In Dedekind’s Schrift1.

Suche im Werk

Hilfe

Informationen zum Werk

Download dieses Werks

XML (TEI P5) · HTML · Text
TCF (text annotation layer)
TCF (tokenisiert, serialisiert, lemmatisiert, normalisiert)
XML (TEI P5 inkl. att.linguistic)

Metadaten zum Werk

TEI-Header · CMDI · Dublin Core

Ansichten dieser Seite

Voyant Tools ?

Language Resource Switchboard?

Feedback

Sie haben einen Fehler gefunden? Dann können Sie diesen über unsere Qualitätssicherungsplattform DTAQ melden.

Kommentar zur DTA-Ausgabe

Dieses Werk wurde gemäß den DTA-Transkriptionsrichtlinien im Double-Keying-Verfahren von Nicht-Muttersprachlern erfasst und in XML/TEI P5 nach DTA-Basisformat kodiert.




Ansicht auf Standard zurückstellen

URL zu diesem Werk: https://www.deutschestextarchiv.de/schroeder_logik03_1895
URL zu dieser Seite: https://www.deutschestextarchiv.de/schroeder_logik03_1895/398
Zitationshilfe: Schröder, Ernst: Vorlesungen über die Algebra der Logik. Bd. 3, Abt. 1. Leipzig, 1895, S. 384. In: Deutsches Textarchiv <https://www.deutschestextarchiv.de/schroeder_logik03_1895/398>, abgerufen am 14.05.2024.