§ 23. Die Kettentheorie auf dem Rückweg durchgegangen.
aus 3) sozusagen von selber; durch beiderseitiges relatives Multipliziren mit b folgt ja: 1' ; ba0 ; b also ba0 ; b, q. e. d.
Ebenso haben wir mit Rücksicht auf 6) und 4): (ba0 ; c) (a ; ba ; a0 ; c = a00 ; ca0 ; c) und damit D 55 bewiesen, oder den Satz: 10)
[Formel 1]
d. h. das a-Bild eines Teils b der a-Kette von c ist ebenfalls Teil von dieser.
Endlich der Satz D 47 gehört dem Gespanne an: 11)
[Formel 2]
und zerfällt dessen Prämisse in: (a ; cc)(bc).
Derselbe besagt deshalb: Ist b Teil einer Kette c inbezug auf a, so ist auch die a-Kette von b Teil dieser Kette c. Behufs Beweises ziehn wir aus der zweiten Prämisse, in stetem Hinblick auf die erste, die un- begrenzte Reihe von Schlüssen:
bc, a ; ba ; c, also a ; bc*), a ; a ; ba ; c, " a ; a ; bc, a ; a ; a ; ba ; c, " a ; a ; a ; bc, und so weiter . . . . . . . . . . . . .
Überschiebendes Addiren der linker- hand stehenden Folgerungen lie- fert dann -- mit Rücksicht auf b = 1' ; b -- die Konklusion: a0 ; bc.
Man sieht, dass bei diesem "und so weiter" der "Schluss von n auf n + 1" gemacht worden und in der That unentbehrlich ist.
Um ihn auf das schärfste als solchen hervortreten zu lassen, brauchen wir blos -- was für n = 1 und 2 schon zutrifft -- für ein bestimmtes n als erwiesen anzunehmen, dass aufgrund der Voraussetzungen unsres Satzes bereits an ; bc erwiesen sei, und darnach mittelst der Schlüsse: a ; an ; ba ; cc darzuthun, dass alsdann auch an + 1 ; bc gelten muss. Daraufhin ist nun die Folgerung an ; bc als eine für jede Zahl n gültige hinzustellen, indem, wenn sie für eine bestimmte Zahl gilt, sie immer auch für die nächst höhere gelten muss, und sie für n = 1 ja gilt (folglich auch für
*) Dieser Schluss ist die Wiederholung des bei D 40 gemachten, braucht aber für jetzt nicht gerade als ein Satz formulirt zu sein.
§ 23. Die Kettentheorie auf dem Rückweg durchgegangen.
aus 3) sozusagen von selber; durch beiderseitiges relatives Multipliziren mit b folgt ja: 1' ; b ⋹ a0 ; b also b ⋹ a0 ; b, q. e. d.
Ebenso haben wir mit Rücksicht auf 6) und 4): (b ⋹ a0 ; c) ⋹ (a ; b ⋹ a ; a0 ; c = a00 ; c ⋹ a0 ; c) und damit D 55 bewiesen, oder den Satz: 10)
[Formel 1]
d. h. das a-Bild eines Teils b der a-Kette von c ist ebenfalls Teil von dieser.
Endlich der Satz D 47 gehört dem Gespanne an: 11)
[Formel 2]
und zerfällt dessen Prämisse in: (a ; c ⋹ c)(b ⋹ c).
Derselbe besagt deshalb: Ist b Teil einer Kette c inbezug auf a, so ist auch die a-Kette von b Teil dieser Kette c. Behufs Beweises ziehn wir aus der zweiten Prämisse, in stetem Hinblick auf die erste, die un- begrenzte Reihe von Schlüssen:
b⋹c, a ; b ⋹ a ; c, also a ; b ⋹ c*), a ; a ; b ⋹ a ; c, „ a ; a ; b ⋹ c, a ; a ; a ; b ⋹ a ; c, „ a ; a ; a ; b ⋹ c, und so weiter . . . . . . . . . . . . .
Überschiebendes Addiren der linker- hand stehenden Folgerungen lie- fert dann — mit Rücksicht auf b = 1' ; b — die Konklusion: a0 ; b ⋹ c.
Man sieht, dass bei diesem „und so weiter“ der „Schluss von n auf n + 1“ gemacht worden und in der That unentbehrlich ist.
Um ihn auf das schärfste als solchen hervortreten zu lassen, brauchen wir blos — was für n = 1 und 2 schon zutrifft — für ein bestimmtes n als erwiesen anzunehmen, dass aufgrund der Voraussetzungen unsres Satzes bereits an ; b ⋹ c erwiesen sei, und darnach mittelst der Schlüsse: a ; an ; b ⋹ a ; c ⋹ c darzuthun, dass alsdann auch an + 1 ; b ⋹ c gelten muss. Daraufhin ist nun die Folgerung an ; b ⋹ c als eine für jede Zahl n gültige hinzustellen, indem, wenn sie für eine bestimmte Zahl gilt, sie immer auch für die nächst höhere gelten muss, und sie für n = 1 ja gilt (folglich auch für
*) Dieser Schluss ist die Wiederholung des bei D 40 gemachten, braucht aber für jetzt nicht gerade als ein Satz formulirt zu sein.
<TEI><text><body><divn="1"><divn="2"><p><pbfacs="#f0377"n="363"/><fwplace="top"type="header">§ 23. Die Kettentheorie auf dem Rückweg durchgegangen.</fw><lb/>
aus 3) sozusagen von selber; durch beiderseitiges relatives Multipliziren<lb/>
mit <hirendition="#i">b</hi> folgt ja:<lb/><hirendition="#c">1' ; <hirendition="#i">b</hi>⋹<hirendition="#i">a</hi><hirendition="#sub">0</hi> ; <hirendition="#i">b</hi> also <hirendition="#i">b</hi>⋹<hirendition="#i">a</hi><hirendition="#sub">0</hi> ; <hirendition="#i">b</hi>, q. e. d.</hi></p><lb/><p>Ebenso haben wir mit Rücksicht auf 6) und 4):<lb/><hirendition="#c">(<hirendition="#i">b</hi>⋹<hirendition="#i">a</hi><hirendition="#sub">0</hi> ; <hirendition="#i">c</hi>) ⋹ (<hirendition="#i">a</hi> ; <hirendition="#i">b</hi>⋹<hirendition="#i">a</hi> ; <hirendition="#i">a</hi><hirendition="#sub">0</hi> ; <hirendition="#i">c</hi> = <hirendition="#i">a</hi><hirendition="#sub">00</hi> ; <hirendition="#i">c</hi>⋹<hirendition="#i">a</hi><hirendition="#sub">0</hi> ; <hirendition="#i">c</hi>)</hi><lb/>
und damit <hirendition="#fr">D</hi> 55 bewiesen, oder den Satz:<lb/>
10) <formula/><lb/>
d. h. <hirendition="#i">das a-Bild eines Teils b der a-Kette von c ist ebenfalls Teil von<lb/>
dieser</hi>.</p><lb/><p>Endlich der Satz <hirendition="#fr">D</hi> 47 gehört dem Gespanne an:<lb/>
11) <formula/><lb/>
und zerfällt dessen Prämisse in:<lb/><hirendition="#c">(<hirendition="#i">a</hi> ; <hirendition="#i">c</hi>⋹<hirendition="#i">c</hi>)(<hirendition="#i">b</hi>⋹<hirendition="#i">c</hi>).</hi></p><lb/><p>Derselbe besagt deshalb: <hirendition="#i">Ist b Teil einer Kette c inbezug auf a</hi>,<lb/><hirendition="#i">so ist auch die a-Kette von b Teil dieser Kette c</hi>. Behufs <hirendition="#i">Beweises</hi> ziehn<lb/>
wir aus der zweiten Prämisse, in stetem Hinblick auf die erste, die un-<lb/>
begrenzte Reihe von Schlüssen:<lb/><table><row><cell><hirendition="#i">b</hi>⋹<hirendition="#i">c</hi>, <hirendition="#i">a</hi> ; <hirendition="#i">b</hi>⋹<hirendition="#i">a</hi> ; <hirendition="#i">c</hi>, also<lb/><hirendition="#i">a</hi> ; <hirendition="#i">b</hi>⋹<hirendition="#i">c</hi><noteplace="foot"n="*)">Dieser Schluss ist die Wiederholung des bei <hirendition="#fr">D</hi> 40 gemachten, braucht<lb/>
aber für jetzt nicht gerade als ein Satz formulirt zu sein.</note>, <hirendition="#i">a</hi> ; <hirendition="#i">a</hi> ; <hirendition="#i">b</hi>⋹<hirendition="#i">a</hi> ; <hirendition="#i">c</hi>, „<lb/><hirendition="#i">a</hi> ; <hirendition="#i">a</hi> ; <hirendition="#i">b</hi>⋹<hirendition="#i">c</hi>, <hirendition="#i">a</hi> ; <hirendition="#i">a</hi> ; <hirendition="#i">a</hi> ; <hirendition="#i">b</hi>⋹<hirendition="#i">a</hi> ; <hirendition="#i">c</hi>, „<lb/><hirendition="#i">a</hi> ; <hirendition="#i">a</hi> ; <hirendition="#i">a</hi> ; <hirendition="#i">b</hi>⋹<hirendition="#i">c</hi>, und so weiter<lb/>
. . . . . . . . . . . . .</cell><cell>Überschiebendes Addiren der linker-<lb/>
hand stehenden Folgerungen lie-<lb/>
fert dann — mit Rücksicht auf<lb/><hirendition="#i">b</hi> = 1' ; <hirendition="#i">b</hi>— die Konklusion:<lb/><hirendition="#i">a</hi><hirendition="#sub">0</hi> ; <hirendition="#i">b</hi>⋹<hirendition="#i">c</hi>.</cell></row><lb/></table></p><p>Man sieht, dass bei diesem „<hirendition="#i">und so weiter</hi>“ der „<hirendition="#i">Schluss von n auf<lb/>
n</hi> + 1“ gemacht worden und in der That <hirendition="#i">unentbehrlich</hi> ist.</p><lb/><p>Um ihn auf das schärfste als solchen hervortreten zu lassen, brauchen<lb/>
wir blos — was für <hirendition="#i">n</hi> = 1 und 2 schon zutrifft — für ein bestimmtes <hirendition="#i">n</hi><lb/>
als erwiesen anzunehmen, dass aufgrund der Voraussetzungen unsres Satzes<lb/>
bereits <hirendition="#i">a<hirendition="#sup">n</hi></hi> ; <hirendition="#i">b</hi>⋹<hirendition="#i">c</hi> erwiesen sei, und darnach mittelst der Schlüsse:<lb/><hirendition="#c"><hirendition="#i">a</hi> ; <hirendition="#i">a<hirendition="#sup">n</hi></hi> ; <hirendition="#i">b</hi>⋹<hirendition="#i">a</hi> ; <hirendition="#i">c</hi>⋹<hirendition="#i">c</hi></hi><lb/>
darzuthun, dass alsdann auch <hirendition="#i">a</hi><hirendition="#sup"><hirendition="#i">n</hi> + 1</hi> ; <hirendition="#i">b</hi>⋹<hirendition="#i">c</hi> gelten muss. Daraufhin ist nun<lb/>
die Folgerung <hirendition="#i">a<hirendition="#sup">n</hi></hi> ; <hirendition="#i">b</hi>⋹<hirendition="#i">c</hi> als eine <hirendition="#i">für jede</hi> Zahl <hirendition="#i">n</hi> gültige hinzustellen,<lb/>
indem, wenn sie für eine bestimmte Zahl gilt, sie immer auch für die<lb/><hirendition="#i">nächst höhere</hi> gelten muss, und sie für <hirendition="#i">n</hi> = 1 ja gilt (folglich auch für<lb/></p></div></div></body></text></TEI>
[363/0377]
§ 23. Die Kettentheorie auf dem Rückweg durchgegangen.
aus 3) sozusagen von selber; durch beiderseitiges relatives Multipliziren
mit b folgt ja:
1' ; b ⋹ a0 ; b also b ⋹ a0 ; b, q. e. d.
Ebenso haben wir mit Rücksicht auf 6) und 4):
(b ⋹ a0 ; c) ⋹ (a ; b ⋹ a ; a0 ; c = a00 ; c ⋹ a0 ; c)
und damit D 55 bewiesen, oder den Satz:
10) [FORMEL]
d. h. das a-Bild eines Teils b der a-Kette von c ist ebenfalls Teil von
dieser.
Endlich der Satz D 47 gehört dem Gespanne an:
11) [FORMEL]
und zerfällt dessen Prämisse in:
(a ; c ⋹ c)(b ⋹ c).
Derselbe besagt deshalb: Ist b Teil einer Kette c inbezug auf a,
so ist auch die a-Kette von b Teil dieser Kette c. Behufs Beweises ziehn
wir aus der zweiten Prämisse, in stetem Hinblick auf die erste, die un-
begrenzte Reihe von Schlüssen:
b⋹c, a ; b ⋹ a ; c, also
a ; b ⋹ c *), a ; a ; b ⋹ a ; c, „
a ; a ; b ⋹ c, a ; a ; a ; b ⋹ a ; c, „
a ; a ; a ; b ⋹ c, und so weiter
. . . . . . . . . . . . . Überschiebendes Addiren der linker-
hand stehenden Folgerungen lie-
fert dann — mit Rücksicht auf
b = 1' ; b — die Konklusion:
a0 ; b ⋹ c.
Man sieht, dass bei diesem „und so weiter“ der „Schluss von n auf
n + 1“ gemacht worden und in der That unentbehrlich ist.
Um ihn auf das schärfste als solchen hervortreten zu lassen, brauchen
wir blos — was für n = 1 und 2 schon zutrifft — für ein bestimmtes n
als erwiesen anzunehmen, dass aufgrund der Voraussetzungen unsres Satzes
bereits an ; b ⋹ c erwiesen sei, und darnach mittelst der Schlüsse:
a ; an ; b ⋹ a ; c ⋹ c
darzuthun, dass alsdann auch an + 1 ; b ⋹ c gelten muss. Daraufhin ist nun
die Folgerung an ; b ⋹ c als eine für jede Zahl n gültige hinzustellen,
indem, wenn sie für eine bestimmte Zahl gilt, sie immer auch für die
nächst höhere gelten muss, und sie für n = 1 ja gilt (folglich auch für
*) Dieser Schluss ist die Wiederholung des bei D 40 gemachten, braucht
aber für jetzt nicht gerade als ein Satz formulirt zu sein.
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. 363. In: Deutsches Textarchiv <https://www.deutschestextarchiv.de/schroeder_logik03_1895/377>, abgerufen am 23.11.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/.
