was die umgekehrte Subsumtion der vorhin bewiesenen ist. Damit ist also nunmehr die Gleichung gerechtfertigt, welche uns zu beweisen oblag.
D 58. a0 ; b = b + a00 ; b, d. h. die a-Kette eines Relativs b setzt sich zusammen aus diesem Relativ selbst und seiner a-Bildkette.
Beweis. Die fortan einfacher als a00 ; ba ; b zu schreibende Sub- sumtion D 46 zieht sich mit der D 45 zusammen zu: b + a00 ; ba0 ; b.
Sonach bleibt nur noch die rückwärtige Subsumtion darzuthun. Zu dem Ende mögen wir die vorletzte Subsumtion des vorhin bei D 57 ge- gebnen Beweises jetzt kürzer schreiben als: a ; (a00 ; b + b) a00 ; b, was seinerseits a00 ; b + b, und mögen sie mit der selbstverständlichen ba00 ; b + b zusammenziehen zu: a ; (a00 ; b + b) + ba00 ; b + b, was nach dem Schema des D 47, worin nur c durch die rechte Seite ver- treten erscheint, die Konklusion liefert: a0 ; ba00 ; b + b, deren Nachweis allein noch zu erbringen gewesen, q. e. d.
Aufgrund dieses Satzes D 58 könnte jetzt, wie S. 361 unter 0) gezeigt, die Zusammensetzungsweise der Namen a0 ; b und a00 ; b nach- träglich gerechtfertigt, es könnten a0 und a00 selbst als Relative er- klärt werden -- freilich in Gestalt von unendlichen Reihen, deren Bil- dungsgesetz nur mittelst Schlusses von n auf n + 1 gerechtfertigt werden kann, welcher Schluss ja aber nun das volle Bürgerrecht in unsrer Disziplin erlangt hat. Damit hätte unser "Hinweg" im Wesentlichen sein Ende erreicht.
Interessant ist es aber noch, zu sehen, wie sich auch bevor man noch das mit dem Namen "a0 ; b" provisorisch (oder vorgreifend) bezeichnete Relativ als ein relatives Produkt aus a0 in b erkannt und nachgewiesen hat, die beiden Sätze D 61 und 62 nach Dedekind doch aus dessen Theorie beweisen lassen.
Zu D 61. a0 ; (b + c + ...) = a0 ; b + a0 ; c + ... hat man: a ; (a0 ; b + a0 ; c + ...) + (b + c + ...) a0 ; b + a0 ; c + ... -- als Zusammenfassung der in D 46 und 45 enthaltenen auf b, c, ... (statt b) angewandten Einzelsätze, wobei sich für die Einordnung des ersten Gliedes linkerhand auch D 42 anziehen lässt. Und nach dem Schema von D 47 folgt daraus der Schluss: a0 ; (b + c + ...) a0 ; b + a0 ; c + ....
Andrerseits ist wegen bb + c + ..., cb + c + ..., ... gemäss dem in D 52, 53 a fortiori mitenthaltnen Schema D 54:
§ 23. Hinweg durch Dedekind’s Kettentheorie.
was die umgekehrte Subsumtion der vorhin bewiesenen ist. Damit ist also nunmehr die Gleichung gerechtfertigt, welche uns zu beweisen oblag.
D 58. a0 ; b = b + a00 ; b, d. h. die a-Kette eines Relativs b setzt sich zusammen aus diesem Relativ selbst und seiner a-Bildkette.
Beweis. Die fortan einfacher als a00 ; b ⋹ a ; b zu schreibende Sub- sumtion D 46 zieht sich mit der D 45 zusammen zu: b + a00 ; b ⋹ a0 ; b.
Sonach bleibt nur noch die rückwärtige Subsumtion darzuthun. Zu dem Ende mögen wir die vorletzte Subsumtion des vorhin bei D 57 ge- gebnen Beweises jetzt kürzer schreiben als: a ; (a00 ; b + b) ⋹ a00 ; b, was seinerseits ⋹ a00 ; b + b, und mögen sie mit der selbstverständlichen b ⋹ a00 ; b + b zusammenziehen zu: a ; (a00 ; b + b) + b ⋹ a00 ; b + b, was nach dem Schema des D 47, worin nur c durch die rechte Seite ver- treten erscheint, die Konklusion liefert: a0 ; b ⋹ a00 ; b + b, deren Nachweis allein noch zu erbringen gewesen, q. e. d.
Aufgrund dieses Satzes D 58 könnte jetzt, wie S. 361 unter 0) gezeigt, die Zusammensetzungsweise der Namen a0 ; b und a00 ; b nach- träglich gerechtfertigt, es könnten a0 und a00 selbst als Relative er- klärt werden — freilich in Gestalt von unendlichen Reihen, deren Bil- dungsgesetz nur mittelst Schlusses von n auf n + 1 gerechtfertigt werden kann, welcher Schluss ja aber nun das volle Bürgerrecht in unsrer Disziplin erlangt hat. Damit hätte unser „Hinweg“ im Wesentlichen sein Ende erreicht.
Interessant ist es aber noch, zu sehen, wie sich auch bevor man noch das mit dem Namen „a0 ; b“ provisorisch (oder vorgreifend) bezeichnete Relativ als ein relatives Produkt aus a0 in b erkannt und nachgewiesen hat, die beiden Sätze D 61 und 62 nach Dedekind doch aus dessen Theorie beweisen lassen.
Zu D 61. a0 ; (b + c + …) = a0 ; b + a0 ; c + … hat man: a ; (a0 ; b + a0 ; c + …) + (b + c + …) ⋹ a0 ; b + a0 ; c + … — als Zusammenfassung der in D 46 und 45 enthaltenen auf b, c, … (statt b) angewandten Einzelsätze, wobei sich für die Einordnung des ersten Gliedes linkerhand auch D 42 anziehen lässt. Und nach dem Schema von D 47 folgt daraus der Schluss: a0 ; (b + c + …) ⋹ a0 ; b + a0 ; c + ….
Andrerseits ist wegen b ⋹ b + c + …, c ⋹ b + c + …, … gemäss dem in D 52, 53 a fortiori mitenthaltnen Schema D 54:
<TEI><text><body><divn="1"><divn="2"><p><pbfacs="#f0389"n="375"/><fwplace="top"type="header">§ 23. Hinweg durch <hirendition="#g">Dedekind’</hi>s Kettentheorie.</fw><lb/>
was die umgekehrte Subsumtion der vorhin bewiesenen ist. Damit ist also<lb/>
nunmehr die Gleichung gerechtfertigt, welche uns zu beweisen oblag.</p><lb/><p><hirendition="#fr">D</hi> 58. <hirendition="#et"><hirendition="#i">a</hi><hirendition="#sub">0</hi> ; <hirendition="#i">b</hi> = <hirendition="#i">b</hi> + <hirendition="#i">a</hi><hirendition="#sub">00</hi> ; <hirendition="#i">b</hi>,</hi><lb/>
d. h. <hirendition="#i">die a-Kette eines Relativs b setzt sich zusammen aus diesem Relativ<lb/>
selbst und seiner a-Bildkette</hi>.</p><lb/><p><hirendition="#g">Beweis</hi>. Die fortan einfacher als <hirendition="#i">a</hi><hirendition="#sub">00</hi> ; <hirendition="#i">b</hi>⋹<hirendition="#i">a</hi> ; <hirendition="#i">b</hi> zu schreibende Sub-<lb/>
sumtion <hirendition="#fr">D</hi> 46 zieht sich mit der <hirendition="#fr">D</hi> 45 zusammen zu:<lb/><hirendition="#c"><hirendition="#i">b</hi> + <hirendition="#i">a</hi><hirendition="#sub">00</hi> ; <hirendition="#i">b</hi>⋹<hirendition="#i">a</hi><hirendition="#sub">0</hi> ; <hirendition="#i">b</hi>.</hi></p><lb/><p>Sonach bleibt nur noch die rückwärtige Subsumtion darzuthun. Zu<lb/>
dem Ende mögen wir die vorletzte Subsumtion des vorhin bei <hirendition="#fr">D</hi> 57 ge-<lb/>
gebnen Beweises jetzt kürzer schreiben als:<lb/><hirendition="#c"><hirendition="#i">a</hi> ; (<hirendition="#i">a</hi><hirendition="#sub">00</hi> ; <hirendition="#i">b</hi> + <hirendition="#i">b</hi>) ⋹<hirendition="#i">a</hi><hirendition="#sub">00</hi> ; <hirendition="#i">b</hi>, was seinerseits ⋹<hirendition="#i">a</hi><hirendition="#sub">00</hi> ; <hirendition="#i">b</hi> + <hirendition="#i">b</hi>,</hi><lb/>
und mögen sie mit der selbstverständlichen <hirendition="#i">b</hi>⋹<hirendition="#i">a</hi><hirendition="#sub">00</hi> ; <hirendition="#i">b</hi> + <hirendition="#i">b</hi> zusammenziehen zu:<lb/><hirendition="#c"><hirendition="#i">a</hi> ; (<hirendition="#i">a</hi><hirendition="#sub">00</hi> ; <hirendition="#i">b</hi> + <hirendition="#i">b</hi>) + <hirendition="#i">b</hi>⋹<hirendition="#i">a</hi><hirendition="#sub">00</hi> ; <hirendition="#i">b</hi> + <hirendition="#i">b</hi>,</hi><lb/>
was nach dem Schema des <hirendition="#fr">D</hi> 47, worin nur <hirendition="#i">c</hi> durch die rechte Seite ver-<lb/>
treten erscheint, die Konklusion liefert:<lb/><hirendition="#c"><hirendition="#i">a</hi><hirendition="#sub">0</hi> ; <hirendition="#i">b</hi>⋹<hirendition="#i">a</hi><hirendition="#sub">00</hi> ; <hirendition="#i">b</hi> + <hirendition="#i">b</hi>,</hi><lb/>
deren Nachweis allein noch zu erbringen gewesen, q. e. d.</p><lb/><p>Aufgrund dieses Satzes <hirendition="#fr">D</hi> 58 könnte jetzt, wie S. 361 unter 0)<lb/>
gezeigt, die Zusammensetzungsweise der Namen <hirendition="#i">a</hi><hirendition="#sub">0</hi> ; <hirendition="#i">b</hi> und <hirendition="#i">a</hi><hirendition="#sub">00</hi> ; <hirendition="#i">b</hi> nach-<lb/>
träglich gerechtfertigt, es könnten <hirendition="#i">a</hi><hirendition="#sub">0</hi> und <hirendition="#i">a</hi><hirendition="#sub">00</hi> selbst als Relative er-<lb/>
klärt werden — freilich in Gestalt von unendlichen Reihen, deren Bil-<lb/>
dungsgesetz nur mittelst Schlusses von <hirendition="#i">n</hi> auf <hirendition="#i">n</hi> + 1 gerechtfertigt werden<lb/>
kann, welcher Schluss ja aber nun das volle Bürgerrecht in unsrer<lb/>
Disziplin erlangt hat. Damit hätte unser „Hinweg“ im Wesentlichen<lb/>
sein Ende erreicht.</p><lb/><p>Interessant ist es aber noch, zu sehen, wie sich auch <hirendition="#i">bevor</hi> man noch<lb/>
das mit dem Namen „<hirendition="#i">a</hi><hirendition="#sub">0</hi> ; <hirendition="#i">b</hi>“ provisorisch (oder vorgreifend) bezeichnete<lb/>
Relativ als ein relatives Produkt aus <hirendition="#i">a</hi><hirendition="#sub">0</hi> in <hirendition="#i">b</hi> erkannt und nachgewiesen<lb/>
hat, die beiden Sätze <hirendition="#fr">D</hi> 61 und 62 nach <hirendition="#g">Dedekind</hi> doch aus dessen<lb/>
Theorie beweisen lassen.</p><lb/><p>Zu <hirendition="#fr">D</hi> 61. <hirendition="#i">a</hi><hirendition="#sub">0</hi> ; (<hirendition="#i">b</hi> + <hirendition="#i">c</hi> + …) = <hirendition="#i">a</hi><hirendition="#sub">0</hi> ; <hirendition="#i">b</hi> + <hirendition="#i">a</hi><hirendition="#sub">0</hi> ; <hirendition="#i">c</hi> + … hat man:<lb/><hirendition="#c"><hirendition="#i">a</hi> ; (<hirendition="#i">a</hi><hirendition="#sub">0</hi> ; <hirendition="#i">b</hi> + <hirendition="#i">a</hi><hirendition="#sub">0</hi> ; <hirendition="#i">c</hi> + …) + (<hirendition="#i">b</hi> + <hirendition="#i">c</hi> + …) ⋹<hirendition="#i">a</hi><hirendition="#sub">0</hi> ; <hirendition="#i">b</hi> + <hirendition="#i">a</hi><hirendition="#sub">0</hi> ; <hirendition="#i">c</hi> + …</hi><lb/>— als Zusammenfassung der in <hirendition="#fr">D</hi> 46 und 45 enthaltenen auf <hirendition="#i">b</hi>, <hirendition="#i">c</hi>, …<lb/>
(statt <hirendition="#i">b</hi>) angewandten Einzelsätze, wobei sich für die Einordnung des ersten<lb/>
Gliedes linkerhand auch <hirendition="#fr">D</hi> 42 anziehen lässt. Und nach dem Schema von<lb/><hirendition="#fr">D</hi> 47 folgt daraus der Schluss:<lb/><hirendition="#c"><hirendition="#i">a</hi><hirendition="#sub">0</hi> ; (<hirendition="#i">b</hi> + <hirendition="#i">c</hi> + …) ⋹<hirendition="#i">a</hi><hirendition="#sub">0</hi> ; <hirendition="#i">b</hi> + <hirendition="#i">a</hi><hirendition="#sub">0</hi> ; <hirendition="#i">c</hi> + ….</hi></p><lb/><p>Andrerseits ist wegen <hirendition="#i">b</hi>⋹<hirendition="#i">b</hi> + <hirendition="#i">c</hi> + …, <hirendition="#i">c</hi>⋹<hirendition="#i">b</hi> + <hirendition="#i">c</hi> + …, … gemäss<lb/>
dem in <hirendition="#fr">D</hi> 52, 53 a fortiori mitenthaltnen Schema <hirendition="#fr">D</hi> 54:<lb/></p></div></div></body></text></TEI>
[375/0389]
§ 23. Hinweg durch Dedekind’s Kettentheorie.
was die umgekehrte Subsumtion der vorhin bewiesenen ist. Damit ist also
nunmehr die Gleichung gerechtfertigt, welche uns zu beweisen oblag.
D 58. a0 ; b = b + a00 ; b,
d. h. die a-Kette eines Relativs b setzt sich zusammen aus diesem Relativ
selbst und seiner a-Bildkette.
Beweis. Die fortan einfacher als a00 ; b ⋹ a ; b zu schreibende Sub-
sumtion D 46 zieht sich mit der D 45 zusammen zu:
b + a00 ; b ⋹ a0 ; b.
Sonach bleibt nur noch die rückwärtige Subsumtion darzuthun. Zu
dem Ende mögen wir die vorletzte Subsumtion des vorhin bei D 57 ge-
gebnen Beweises jetzt kürzer schreiben als:
a ; (a00 ; b + b) ⋹ a00 ; b, was seinerseits ⋹ a00 ; b + b,
und mögen sie mit der selbstverständlichen b ⋹ a00 ; b + b zusammenziehen zu:
a ; (a00 ; b + b) + b ⋹ a00 ; b + b,
was nach dem Schema des D 47, worin nur c durch die rechte Seite ver-
treten erscheint, die Konklusion liefert:
a0 ; b ⋹ a00 ; b + b,
deren Nachweis allein noch zu erbringen gewesen, q. e. d.
Aufgrund dieses Satzes D 58 könnte jetzt, wie S. 361 unter 0)
gezeigt, die Zusammensetzungsweise der Namen a0 ; b und a00 ; b nach-
träglich gerechtfertigt, es könnten a0 und a00 selbst als Relative er-
klärt werden — freilich in Gestalt von unendlichen Reihen, deren Bil-
dungsgesetz nur mittelst Schlusses von n auf n + 1 gerechtfertigt werden
kann, welcher Schluss ja aber nun das volle Bürgerrecht in unsrer
Disziplin erlangt hat. Damit hätte unser „Hinweg“ im Wesentlichen
sein Ende erreicht.
Interessant ist es aber noch, zu sehen, wie sich auch bevor man noch
das mit dem Namen „a0 ; b“ provisorisch (oder vorgreifend) bezeichnete
Relativ als ein relatives Produkt aus a0 in b erkannt und nachgewiesen
hat, die beiden Sätze D 61 und 62 nach Dedekind doch aus dessen
Theorie beweisen lassen.
Zu D 61. a0 ; (b + c + …) = a0 ; b + a0 ; c + … hat man:
a ; (a0 ; b + a0 ; c + …) + (b + c + …) ⋹ a0 ; b + a0 ; c + …
— als Zusammenfassung der in D 46 und 45 enthaltenen auf b, c, …
(statt b) angewandten Einzelsätze, wobei sich für die Einordnung des ersten
Gliedes linkerhand auch D 42 anziehen lässt. Und nach dem Schema von
D 47 folgt daraus der Schluss:
a0 ; (b + c + …) ⋹ a0 ; b + a0 ; c + ….
Andrerseits ist wegen b ⋹ b + c + …, c ⋹ b + c + …, … gemäss
dem in D 52, 53 a fortiori mitenthaltnen Schema D 54:
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. 375. In: Deutsches Textarchiv <https://www.deutschestextarchiv.de/schroeder_logik03_1895/389>, 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/.
