indem offenbar
[Formel 1]
sein muss, als den Faktor a0 ; 0 (= 0) auf- weisend.
Damit sind wir nun erst den im § 23 so genannten "Rückweg" völlig zu Ende gegangen.
Sehn wir vorgreifend auch die drei andern Lösungsformen 8, 9, 10) als schon erwiesen an und wenden, um es sogleich abzumachen, auch auf sie den eben neu gerechtfertigten Satz D 44 an, so wird das zum Teil recht lehrreich, und findet der Satz auch dadurch seine Bestätigung.
Anwendung von D 44 auf Lösungsform 8) liefert das neue Ergebniss: 12)
[Formel 2]
dessen drei letzte Thesen als Sonderfälle mit den Annahmen b = a, 1', a0 aus der ersten fliessen.
Diese ist von ziemlich verwickelter Natur, und werden wir erst im § 29 in den Stand gelangen, sie auch ohne Vermittelung von D 44 direkt zu beweisen. Um nicht nochmals darauf zurückkommen zu müssen, sei wiederum vorgreifend bemerkt, dass in der That nach Auswertung des P gemäss dem zweiten Schema 110) des § 29 der erste Satz 13) sich in der Form bewahrheiten wird: a0 ; b = (a0 j an1)(a0 ; a0) ; b, indem man nur das a, b, c, d, e jenes Schema's durch resp. a0, 1, a0 ; a0, an1, b zu ersetzen hat. Dass aber dieses richtig, sieht man so. Nach einer gleich nachher begründeten Formel 14) wird der erste relative Faktor rechts sich zu a0(a0 ; a0) vereinfachen, und da wegen 1' a0 auch a0 = a0 ; 1' a0 ; a0 ist, so muss derselbe in der That a0 selbst sein. --
Zur Lösungsform 9) wird:
[Formel 3]
, weil der für u = 0 sich ergebende Faktor des P in allen andern enthalten ist. Wogegen die Lösungsform 10) den Satz D 44 nur einfach bestätigt: indem das P des letzten Gliedes von x, als den auch einmal Nullwert an- nehmenden Faktor u enthaltend, verschwinden muss. Nach jenem Resultat jedoch wird das Gespann gelten müssen: 13)
[Formel 4]
mithin auch: an1 j b = a0 ; (an1 j b) = a0 ; an1 j b.
Der dritte Ausdruck folgt aus dem zweiten so hinzu, dass man die erste Gleichung für b = 1' in Anspruch nimmt, wo sie zusammen mit der konjugirten liefert: 14)
[Formel 5]
§ 24. Nebenstudien zur Kettentheorie.
indem offenbar
[Formel 1]
sein muss, als den Faktor a0 ; 0 (= 0) auf- weisend.
Damit sind wir nun erst den im § 23 so genannten „Rückweg“ völlig zu Ende gegangen.
Sehn wir vorgreifend auch die drei andern Lösungsformen 8, 9, 10) als schon erwiesen an und wenden, um es sogleich abzumachen, auch auf sie den eben neu gerechtfertigten Satz D 44 an, so wird das zum Teil recht lehrreich, und findet der Satz auch dadurch seine Bestätigung.
Anwendung von D 44 auf Lösungsform 8) liefert das neue Ergebniss: 12)
[Formel 2]
dessen drei letzte Thesen als Sonderfälle mit den Annahmen b = a, 1', a0 aus der ersten fliessen.
Diese ist von ziemlich verwickelter Natur, und werden wir erst im § 29 in den Stand gelangen, sie auch ohne Vermittelung von D 44 direkt zu beweisen. Um nicht nochmals darauf zurückkommen zu müssen, sei wiederum vorgreifend bemerkt, dass in der That nach Auswertung des Π gemäss dem zweiten Schema 110) des § 29 der erste Satz 13) sich in der Form bewahrheiten wird: a0 ; b = (a0 ɟ ā̆1)(a0 ; ă0) ; b, indem man nur das a, b, c, d, e jenes Schema’s durch resp. ă0, 1, a0 ; ă0, ā1, b zu ersetzen hat. Dass aber dieses richtig, sieht man so. Nach einer gleich nachher begründeten Formel 14) wird der erste relative Faktor rechts sich zu a0(a0 ; ă0) vereinfachen, und da wegen 1' ⋹ ă0 auch a0 = a0 ; 1' ⋹ a0 ; ă0 ist, so muss derselbe in der That a0 selbst sein. —
Zur Lösungsform 9) wird:
[Formel 3]
, weil der für u = 0 sich ergebende Faktor des Π in allen andern enthalten ist. Wogegen die Lösungsform 10) den Satz D 44 nur einfach bestätigt: indem das Π des letzten Gliedes von x, als den auch einmal Nullwert an- nehmenden Faktor u enthaltend, verschwinden muss. Nach jenem Resultat jedoch wird das Gespann gelten müssen: 13)
[Formel 4]
mithin auch: ā̆1 ɟ b = a0 ; (ā̆1 ɟ b) = a0 ; ā̆1 ɟ b.
Der dritte Ausdruck folgt aus dem zweiten so hinzu, dass man die erste Gleichung für b = 1' in Anspruch nimmt, wo sie zusammen mit der konjugirten liefert: 14)
[Formel 5]
<TEI><text><body><divn="1"><divn="2"><p><pbfacs="#f0405"n="391"/><fwplace="top"type="header">§ 24. Nebenstudien zur Kettentheorie.</fw><lb/>
indem offenbar <formula/> sein muss, als den Faktor <hirendition="#i">a</hi><hirendition="#sub">0</hi> ; 0 (= 0) auf-<lb/>
weisend.</p><lb/><p>Damit sind wir nun erst den im § 23 so genannten „Rückweg“<lb/>
völlig zu Ende gegangen.</p><lb/><p>Sehn wir vorgreifend auch die drei andern Lösungsformen 8, 9, 10)<lb/>
als schon erwiesen an und wenden, um es sogleich abzumachen, auch auf<lb/>
sie den eben neu gerechtfertigten Satz <hirendition="#fr">D</hi> 44 an, so wird das zum Teil<lb/>
recht lehrreich, und findet der Satz auch dadurch seine Bestätigung.</p><lb/><p>Anwendung von <hirendition="#fr">D</hi> 44 auf Lösungsform 8) liefert das neue Ergebniss:<lb/>
12) <formula/><lb/>
dessen drei letzte Thesen als Sonderfälle mit den Annahmen <hirendition="#i">b</hi> = <hirendition="#i">a</hi>, 1', <hirendition="#i">a</hi><hirendition="#sub">0</hi><lb/>
aus der ersten fliessen.</p><lb/><p>Diese ist von ziemlich verwickelter Natur, und werden wir erst im<lb/>
§ 29 in den Stand gelangen, sie auch ohne Vermittelung von <hirendition="#fr">D</hi> 44 direkt<lb/>
zu beweisen. Um nicht nochmals darauf zurückkommen zu müssen, sei<lb/>
wiederum vorgreifend bemerkt, dass in der That nach Auswertung des <hirendition="#i">Π</hi><lb/>
gemäss dem zweiten Schema 110) des § 29 der erste Satz 13) sich in der<lb/>
Form bewahrheiten wird:<lb/><hirendition="#c"><hirendition="#i">a</hi><hirendition="#sub">0</hi> ; <hirendition="#i">b</hi> = (<hirendition="#i">a</hi><hirendition="#sub">0</hi>ɟ<hirendition="#i">ā̆</hi><hirendition="#sub">1</hi>)(<hirendition="#i">a</hi><hirendition="#sub">0</hi> ; <hirendition="#i">ă</hi><hirendition="#sub">0</hi>) ; <hirendition="#i">b</hi>,</hi><lb/>
indem man nur das <hirendition="#i">a</hi>, <hirendition="#i">b</hi>, <hirendition="#i">c</hi>, <hirendition="#i">d</hi>, <hirendition="#i">e</hi> jenes Schema’s durch resp. <hirendition="#i">ă</hi><hirendition="#sub">0</hi>, 1, <hirendition="#i">a</hi><hirendition="#sub">0</hi> ; <hirendition="#i">ă</hi><hirendition="#sub">0</hi>,<lb/><hirendition="#i">ā</hi><hirendition="#sub">1</hi>, <hirendition="#i">b</hi> zu ersetzen hat. Dass aber dieses richtig, sieht man so. Nach einer<lb/>
gleich nachher begründeten Formel 14) wird der erste relative Faktor rechts<lb/>
sich zu <hirendition="#i">a</hi><hirendition="#sub">0</hi>(<hirendition="#i">a</hi><hirendition="#sub">0</hi> ; <hirendition="#i">ă</hi><hirendition="#sub">0</hi>) vereinfachen, und da wegen 1' ⋹<hirendition="#i">ă</hi><hirendition="#sub">0</hi> auch <hirendition="#i">a</hi><hirendition="#sub">0</hi> = <hirendition="#i">a</hi><hirendition="#sub">0</hi> ; 1' ⋹<hirendition="#i">a</hi><hirendition="#sub">0</hi> ; <hirendition="#i">ă</hi><hirendition="#sub">0</hi><lb/>
ist, so muss derselbe in der That <hirendition="#i">a</hi><hirendition="#sub">0</hi> selbst sein. —</p><lb/><p>Zur Lösungsform 9) wird:<lb/><hirendition="#c"><formula/>,</hi><lb/>
weil der für <hirendition="#i">u</hi> = 0 sich ergebende Faktor des <hirendition="#i">Π</hi> in allen andern enthalten<lb/>
ist. Wogegen die Lösungsform 10) den Satz <hirendition="#fr">D</hi> 44 nur einfach bestätigt:<lb/>
indem das <hirendition="#i">Π</hi> des letzten Gliedes von <hirendition="#i">x</hi>, als den auch einmal Nullwert an-<lb/>
nehmenden Faktor <hirendition="#i">u</hi> enthaltend, verschwinden muss. Nach <hirendition="#i">jenem</hi> Resultat<lb/>
jedoch wird das Gespann gelten müssen:<lb/>
13) <formula/><lb/>
mithin auch: <hirendition="#i">ā̆</hi><hirendition="#sub">1</hi>ɟ<hirendition="#i">b</hi> = <hirendition="#i">a</hi><hirendition="#sub">0</hi> ; (<hirendition="#i">ā̆</hi><hirendition="#sub">1</hi>ɟ<hirendition="#i">b</hi>) = <hirendition="#i">a</hi><hirendition="#sub">0</hi> ; <hirendition="#i">ā̆</hi><hirendition="#sub">1</hi>ɟ<hirendition="#i">b</hi>.</p><lb/><p>Der dritte Ausdruck folgt aus dem zweiten so hinzu, dass man die<lb/>
erste Gleichung für <hirendition="#i">b</hi> = 1' in Anspruch nimmt, wo sie zusammen mit der<lb/>
konjugirten liefert:<lb/>
14) <formula/><lb/></p></div></div></body></text></TEI>
[391/0405]
§ 24. Nebenstudien zur Kettentheorie.
indem offenbar [FORMEL] sein muss, als den Faktor a0 ; 0 (= 0) auf-
weisend.
Damit sind wir nun erst den im § 23 so genannten „Rückweg“
völlig zu Ende gegangen.
Sehn wir vorgreifend auch die drei andern Lösungsformen 8, 9, 10)
als schon erwiesen an und wenden, um es sogleich abzumachen, auch auf
sie den eben neu gerechtfertigten Satz D 44 an, so wird das zum Teil
recht lehrreich, und findet der Satz auch dadurch seine Bestätigung.
Anwendung von D 44 auf Lösungsform 8) liefert das neue Ergebniss:
12) [FORMEL]
dessen drei letzte Thesen als Sonderfälle mit den Annahmen b = a, 1', a0
aus der ersten fliessen.
Diese ist von ziemlich verwickelter Natur, und werden wir erst im
§ 29 in den Stand gelangen, sie auch ohne Vermittelung von D 44 direkt
zu beweisen. Um nicht nochmals darauf zurückkommen zu müssen, sei
wiederum vorgreifend bemerkt, dass in der That nach Auswertung des Π
gemäss dem zweiten Schema 110) des § 29 der erste Satz 13) sich in der
Form bewahrheiten wird:
a0 ; b = (a0 ɟ ā̆1)(a0 ; ă0) ; b,
indem man nur das a, b, c, d, e jenes Schema’s durch resp. ă0, 1, a0 ; ă0,
ā1, b zu ersetzen hat. Dass aber dieses richtig, sieht man so. Nach einer
gleich nachher begründeten Formel 14) wird der erste relative Faktor rechts
sich zu a0(a0 ; ă0) vereinfachen, und da wegen 1' ⋹ ă0 auch a0 = a0 ; 1' ⋹ a0 ; ă0
ist, so muss derselbe in der That a0 selbst sein. —
Zur Lösungsform 9) wird:
[FORMEL],
weil der für u = 0 sich ergebende Faktor des Π in allen andern enthalten
ist. Wogegen die Lösungsform 10) den Satz D 44 nur einfach bestätigt:
indem das Π des letzten Gliedes von x, als den auch einmal Nullwert an-
nehmenden Faktor u enthaltend, verschwinden muss. Nach jenem Resultat
jedoch wird das Gespann gelten müssen:
13) [FORMEL]
mithin auch: ā̆1 ɟ b = a0 ; (ā̆1 ɟ b) = a0 ; ā̆1 ɟ b.
Der dritte Ausdruck folgt aus dem zweiten so hinzu, dass man die
erste Gleichung für b = 1' in Anspruch nimmt, wo sie zusammen mit der
konjugirten liefert:
14) [FORMEL]
Informationen zur CAB-Ansicht
Diese Ansicht bietet Ihnen die Darstellung des Textes in normalisierter Orthographie.
Diese Textvariante wird vollautomatisch erstellt und kann aufgrund dessen auch Fehler enthalten.
Alle veränderten Wortformen sind grau hinterlegt. Als fremdsprachliches Material erkannte
Textteile sind ausgegraut dargestellt.
Schröder, Ernst: Vorlesungen über die Algebra der Logik. Bd. 3, Abt. 1. Leipzig, 1895, S. 391. In: Deutsches Textarchiv <https://www.deutschestextarchiv.de/schroeder_logik03_1895/405>, abgerufen am 01.09.2024.
Alle Inhalte dieser Seite unterstehen, soweit nicht anders gekennzeichnet, einer
Creative-Commons-Lizenz.
Die Rechte an den angezeigten Bilddigitalisaten, soweit nicht anders gekennzeichnet, liegen bei den besitzenden Bibliotheken.
Weitere Informationen finden Sie in den DTA-Nutzungsbedingungen.
Insbesondere im Hinblick auf die §§ 86a StGB und 130 StGB wird festgestellt, dass die auf
diesen Seiten abgebildeten Inhalte weder in irgendeiner Form propagandistischen Zwecken
dienen, oder Werbung für verbotene Organisationen oder Vereinigungen darstellen, oder
nationalsozialistische Verbrechen leugnen oder verharmlosen, noch zum Zwecke der
Herabwürdigung der Menschenwürde gezeigt werden.
Die auf diesen Seiten abgebildeten Inhalte (in Wort und Bild) dienen im Sinne des
§ 86 StGB Abs. 3 ausschließlich historischen, sozial- oder kulturwissenschaftlichen
Forschungszwecken. Ihre Veröffentlichung erfolgt in der Absicht, Wissen zur Anregung
der intellektuellen Selbstständigkeit und Verantwortungsbereitschaft des Staatsbürgers zu
vermitteln und damit der Förderung seiner Mündigkeit zu dienen.
Zitierempfehlung: Deutsches Textarchiv. Grundlage für ein Referenzkorpus der neuhochdeutschen Sprache. Herausgegeben von der Berlin-Brandenburgischen Akademie der Wissenschaften, Berlin 2024. URL: https://www.deutschestextarchiv.de/.