Man kann den Satz D 59 -- ihn zunächst lediglich als ein Theorem über binäre Relative in's Auge fassend -- auch in Worte kleiden wie folgt:
Um zu beweisen, dass die a-Kette eines Relativs b ganz in einem dritten Relativ c enthalten ist, braucht man blos zweierlei darzuthun, nämlich genügt es zu zeigen:
erstens, dass b selber in c enthalten ist,
zweitens, dass von jedem der a-Kette von b angehörigen Elemente- paar, welches in c enthalten ist, auch das a-Bild in c enthalten sein muss.
M. a. W. a0 ; b muss Teil von c sein, sobald b Teil von c und auch das a-Bild jedes gemeinsamen Elementepaars von a0 ; b und c Teil von c ist.
[Das a-Bild der Summe aller im identischen Produkte (a0 ; b)c ent- haltnen Elementepaare, welche letztern ebendieses Relativ additiv zusammen- setzen -- mithin a ; (a0 ; b)c -- ist ja einerlei mit der Summe der a-Bilder von allen diesen Elementepaaren.]
Soferne b und c uns späterhin "Systeme" vorstellen, wird man im vorigen Texte das Wort "Elementepaar" auch durch "Element" zu er- setzen berechtigt sein.
Nunmehr wollen wir an Stelle von D 60 versuchen, dem Leser in Kürze einleuchtend zu machen, wieso der SatzD 59 oder 16) in der That "die wissenschaftliche Grundlage für die unter dem Namen der voll- ständigen Induktion (des Schlusses von n auf n + 1) bekannte Beweisart" bildet.
Hiezu ist blos erforderlich, dem Denkbereich 1 und den Buch- stabenrelativen a, b, c in dem Satze die folgenden Bedeutungen bei- zulegen.
Der Denkbereich 11 bestehe aus den Individuen 1, 2, 3, 4, ... der unbegrenzten Zahlenreihe, deren erstes, oder die Zahl Eins, wir ad hoc durch den Tupfen in Gestalt von 1 von dem Modul 1 unsrer Theorie unterscheiden.
Im Denkbereiche 12 oder 1 wird ein jedes Element dieser Zahlenreihe sich als ein Relativ darstellen, welches die jenem entsprechende Zeile zur Vollzeile und alle übrigen Zeilen zu Leerzeilen hat, und jedes System von Zahlen wird als das Relativ erscheinen, dessen Matrix die seinen Elementen entsprechenden Zeilen zu Vollzeilen, die übrigen zu Leerzeilen hat. Dies sei zunächst in Erinnerung gebracht, obwol es im Folgenden gerade keine wesentliche Rolle spielt.
Die Zahlenreihe ist als eine wohlgeordnete eingeführt zu denken vermittelst eines Zuordnungs- oder Abbildungsprinzips, welches von einer jeden zur nächstfolgenden hinüberleitet und damit alle Zahlen mittelbar
§ 23. Der Satz der vollständigen Induktion.
Man kann den Satz D 59 — ihn zunächst lediglich als ein Theorem über binäre Relative in’s Auge fassend — auch in Worte kleiden wie folgt:
Um zu beweisen, dass die a-Kette eines Relativs b ganz in einem dritten Relativ c enthalten ist, braucht man blos zweierlei darzuthun, nämlich genügt es zu zeigen:
erstens, dass b selber in c enthalten ist,
zweitens, dass von jedem der a-Kette von b angehörigen Elemente- paar, welches in c enthalten ist, auch das a-Bild in c enthalten sein muss.
M. a. W. a0 ; b muss Teil von c sein, sobald b Teil von c und auch das a-Bild jedes gemeinsamen Elementepaars von a0 ; b und c Teil von c ist.
[Das a-Bild der Summe aller im identischen Produkte (a0 ; b)c ent- haltnen Elementepaare, welche letztern ebendieses Relativ additiv zusammen- setzen — mithin a ; (a0 ; b)c — ist ja einerlei mit der Summe der a-Bilder von allen diesen Elementepaaren.]
Soferne b und c uns späterhin „Systeme“ vorstellen, wird man im vorigen Texte das Wort „Elementepaar“ auch durch „Element“ zu er- setzen berechtigt sein.
Nunmehr wollen wir an Stelle von D 60 versuchen, dem Leser in Kürze einleuchtend zu machen, wieso der SatzD 59 oder 16) in der That »die wissenschaftliche Grundlage für die unter dem Namen der voll- ständigen Induktion (des Schlusses von n auf n + 1) bekannte Beweisart« bildet.
Hiezu ist blos erforderlich, dem Denkbereich 1 und den Buch- stabenrelativen a, b, c in dem Satze die folgenden Bedeutungen bei- zulegen.
Der Denkbereich 11 bestehe aus den Individuen 1̇, 2, 3, 4, … der unbegrenzten Zahlenreihe, deren erstes, oder die Zahl Eins, wir ad hoc durch den Tupfen in Gestalt von 1̇ von dem Modul 1 unsrer Theorie unterscheiden.
Im Denkbereiche 12 oder 1 wird ein jedes Element dieser Zahlenreihe sich als ein Relativ darstellen, welches die jenem entsprechende Zeile zur Vollzeile und alle übrigen Zeilen zu Leerzeilen hat, und jedes System von Zahlen wird als das Relativ erscheinen, dessen Matrix die seinen Elementen entsprechenden Zeilen zu Vollzeilen, die übrigen zu Leerzeilen hat. Dies sei zunächst in Erinnerung gebracht, obwol es im Folgenden gerade keine wesentliche Rolle spielt.
Die Zahlenreihe ist als eine wohlgeordnete eingeführt zu denken vermittelst eines Zuordnungs- oder Abbildungsprinzips, welches von einer jeden zur nächstfolgenden hinüberleitet und damit alle Zahlen mittelbar
<TEI><text><body><divn="1"><divn="2"><pbfacs="#f0381"n="367"/><fwplace="top"type="header">§ 23. Der Satz der vollständigen Induktion.</fw><lb/><p>Man kann den Satz <hirendition="#fr">D</hi> 59 — ihn zunächst lediglich als ein Theorem<lb/>
über binäre Relative in’s Auge fassend — auch in Worte kleiden<lb/>
wie folgt:</p><lb/><p><hirendition="#i">Um zu beweisen</hi>, <hirendition="#i">dass die a-Kette eines Relativs b ganz in einem<lb/>
dritten Relativ c enthalten ist</hi>, <hirendition="#i">braucht man blos</hi> zweierlei darzuthun,<lb/>
nämlich genügt es <hirendition="#i">zu zeigen:</hi></p><lb/><p>erstens, <hirendition="#i">dass b selber in c enthalten ist</hi>,</p><lb/><p>zweitens, <hirendition="#i">dass von jedem der a-Kette von b angehörigen Elemente-<lb/>
paar</hi>, <hirendition="#i">welches in c enthalten ist</hi>, <hirendition="#i">auch das a-Bild in c enthalten sein muss</hi>.</p><lb/><p>M. a. W. <hirendition="#i">a</hi><hirendition="#sub">0</hi> ; <hirendition="#i">b</hi> muss Teil von <hirendition="#i">c</hi> sein, sobald <hirendition="#i">b</hi> Teil von <hirendition="#i">c</hi> und auch<lb/>
das <hirendition="#i">a</hi>-Bild jedes gemeinsamen Elementepaars von <hirendition="#i">a</hi><hirendition="#sub">0</hi> ; <hirendition="#i">b</hi> und <hirendition="#i">c</hi> Teil<lb/>
von <hirendition="#i">c</hi> ist.</p><lb/><p>[Das <hirendition="#i">a</hi>-Bild der Summe aller im identischen Produkte (<hirendition="#i">a</hi><hirendition="#sub">0</hi> ; <hirendition="#i">b</hi>)<hirendition="#i">c</hi> ent-<lb/>
haltnen Elementepaare, welche letztern ebendieses Relativ additiv zusammen-<lb/>
setzen — mithin <hirendition="#i">a</hi> ; (<hirendition="#i">a</hi><hirendition="#sub">0</hi> ; <hirendition="#i">b</hi>)<hirendition="#i">c</hi>— ist ja einerlei mit der Summe der <hirendition="#i">a</hi>-Bilder<lb/>
von allen diesen Elementepaaren.]</p><lb/><p>Soferne <hirendition="#i">b</hi> und <hirendition="#i">c</hi> uns späterhin „Systeme“ vorstellen, wird man im<lb/>
vorigen Texte das Wort „Elementepaar“ auch durch „<hirendition="#i">Element</hi>“ zu er-<lb/>
setzen berechtigt sein.</p><lb/><p>Nunmehr wollen wir an Stelle von <hirendition="#fr">D</hi> 60 versuchen, dem Leser<lb/>
in Kürze einleuchtend zu machen, <hirendition="#i">wieso</hi> der <hirendition="#i">Satz</hi><hirendition="#fr">D</hi> 59 oder 16) in der<lb/>
That »<hirendition="#i">die wissenschaftliche Grundlage für die unter dem Namen der voll-<lb/>
ständigen Induktion</hi> (<hirendition="#i">des Schlusses von n auf n</hi> + 1) <hirendition="#i">bekannte Beweisart</hi>«<lb/><hirendition="#i">bildet</hi>.</p><lb/><p>Hiezu ist blos erforderlich, dem Denkbereich 1 und den Buch-<lb/>
stabenrelativen <hirendition="#i">a</hi>, <hirendition="#i">b</hi>, <hirendition="#i">c</hi> in dem Satze die folgenden <hirendition="#i">Bedeutungen</hi> bei-<lb/>
zulegen.</p><lb/><p>Der Denkbereich 1<hirendition="#sup">1</hi> bestehe aus den Individuen 1̇, 2, 3, 4, … der<lb/>
unbegrenzten <hirendition="#i">Zahlenreihe</hi>, deren erstes, oder die <hirendition="#i">Zahl Eins</hi>, wir ad hoc<lb/>
durch den Tupfen in Gestalt von 1̇ von dem Modul 1 unsrer Theorie<lb/>
unterscheiden.</p><lb/><p>Im Denkbereiche 1<hirendition="#sup">2</hi> oder 1 wird ein jedes <hirendition="#i">Element</hi> dieser Zahlenreihe<lb/>
sich als ein Relativ darstellen, welches die jenem entsprechende Zeile zur<lb/>
Vollzeile und alle übrigen Zeilen zu Leerzeilen hat, und jedes <hirendition="#i">System</hi> von<lb/>
Zahlen wird als das Relativ erscheinen, dessen Matrix die seinen Elementen<lb/>
entsprechenden Zeilen zu Vollzeilen, die übrigen zu Leerzeilen hat. Dies<lb/>
sei zunächst in Erinnerung gebracht, obwol es im Folgenden gerade keine<lb/>
wesentliche Rolle spielt.</p><lb/><p>Die Zahlenreihe ist als eine wohlgeordnete eingeführt zu denken<lb/>
vermittelst eines <hirendition="#i">Zuordnungs</hi>- oder <hirendition="#i">Abbildungsprinzips</hi>, welches von einer<lb/>
jeden zur nächstfolgenden hinüberleitet und damit alle Zahlen mittelbar<lb/></p></div></div></body></text></TEI>
[367/0381]
§ 23. Der Satz der vollständigen Induktion.
Man kann den Satz D 59 — ihn zunächst lediglich als ein Theorem
über binäre Relative in’s Auge fassend — auch in Worte kleiden
wie folgt:
Um zu beweisen, dass die a-Kette eines Relativs b ganz in einem
dritten Relativ c enthalten ist, braucht man blos zweierlei darzuthun,
nämlich genügt es zu zeigen:
erstens, dass b selber in c enthalten ist,
zweitens, dass von jedem der a-Kette von b angehörigen Elemente-
paar, welches in c enthalten ist, auch das a-Bild in c enthalten sein muss.
M. a. W. a0 ; b muss Teil von c sein, sobald b Teil von c und auch
das a-Bild jedes gemeinsamen Elementepaars von a0 ; b und c Teil
von c ist.
[Das a-Bild der Summe aller im identischen Produkte (a0 ; b)c ent-
haltnen Elementepaare, welche letztern ebendieses Relativ additiv zusammen-
setzen — mithin a ; (a0 ; b)c — ist ja einerlei mit der Summe der a-Bilder
von allen diesen Elementepaaren.]
Soferne b und c uns späterhin „Systeme“ vorstellen, wird man im
vorigen Texte das Wort „Elementepaar“ auch durch „Element“ zu er-
setzen berechtigt sein.
Nunmehr wollen wir an Stelle von D 60 versuchen, dem Leser
in Kürze einleuchtend zu machen, wieso der Satz D 59 oder 16) in der
That »die wissenschaftliche Grundlage für die unter dem Namen der voll-
ständigen Induktion (des Schlusses von n auf n + 1) bekannte Beweisart«
bildet.
Hiezu ist blos erforderlich, dem Denkbereich 1 und den Buch-
stabenrelativen a, b, c in dem Satze die folgenden Bedeutungen bei-
zulegen.
Der Denkbereich 11 bestehe aus den Individuen 1̇, 2, 3, 4, … der
unbegrenzten Zahlenreihe, deren erstes, oder die Zahl Eins, wir ad hoc
durch den Tupfen in Gestalt von 1̇ von dem Modul 1 unsrer Theorie
unterscheiden.
Im Denkbereiche 12 oder 1 wird ein jedes Element dieser Zahlenreihe
sich als ein Relativ darstellen, welches die jenem entsprechende Zeile zur
Vollzeile und alle übrigen Zeilen zu Leerzeilen hat, und jedes System von
Zahlen wird als das Relativ erscheinen, dessen Matrix die seinen Elementen
entsprechenden Zeilen zu Vollzeilen, die übrigen zu Leerzeilen hat. Dies
sei zunächst in Erinnerung gebracht, obwol es im Folgenden gerade keine
wesentliche Rolle spielt.
Die Zahlenreihe ist als eine wohlgeordnete eingeführt zu denken
vermittelst eines Zuordnungs- oder Abbildungsprinzips, welches von einer
jeden zur nächstfolgenden hinüberleitet und damit alle Zahlen mittelbar
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. 367. In: Deutsches Textarchiv <https://www.deutschestextarchiv.de/schroeder_logik03_1895/381>, 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/.
