§ 22. Zweite Sektion der nächsten 12 erlei Subsumtionsprobleme.
Bevor wir zur dritten Unterabteilung -- die aus 4) entspringt, und deren Probleme von schwierigerer Art sind -- übergehn, wollen wir über Herleitung und Begründung des Bisherigen das Nötige sagen.
Wo verschiedene Formen der Problemstellung einander äquivalent ge- setzt sind, wird der Leser diese leicht -- durch Transponiren des einen oder andern Terms, eventuell in Verbindung mit beiderseitigem Konvertiren oder auch Kontraposition -- auf einander zurückführen.
Für die Probleme, in denen x isolirt als Subjekt steht, ist stets x = 0, für die, wo es als Prädikat steht, ist x = 1 als eine partikulare Lösung angebbar, und deshalb kann keines der bisherigen Probleme eine Resul- tante involviren.
Die Herleitung oder Entdeckung sämtlicher angegebnen Lösungen ist durch mein Theorem 1) des § 13 nahe gelegt, ja gegeben, weil x bald als Subjekt, bald als Prädikat, zuweilen auch (in den verschiednen Formen einunddesselben Problems) in beiden Eigenschaften von vornherein isolirt oder isolirbar erscheint, was dann auch zu verschiednen Lösungsformen führte.
Wir brauchen darnach die Probe 2 überhaupt nicht mehr zu machen, und die Probe 1 vorweg da nicht, wo die Lösung ausdrücklich als ein finfinity(u) sich angegeben findet.
Immerhin wollen wir diese Probe 1, sintemal ein Luxus auch nicht vom Übel, hier wenigstens für die zweite Aufgabe links in 5), das ist das "Kettenproblem"katexochen: a ; xx, mit beiden Lösungsformen desselben erhärten.
Die erste Lösungsform desselben lautet: x = a0 ; u = (1' + a + a2 + a3 + ...) ; u = u + a ; u + a ; a ; u + a ; a ; a ; u + ... -- sintemal 1' ; u = u ist -- und ist zu zeigen, dass a ; xx sein müsse bei ganz beliebigem u. In der That wird a ; x = a ; a0 ; u = a ; u + a ; a ; u + a ; a ; a ; u + ... sich als die Summe der Glieder unsrer x-Reihe vom Anfangsgliede ab darstellen.
Statt dieses Nachweises konnte man sich auch einfacher schon mit dem des (in nächster Vorlesung noch eingehend ventilirten) Satzes: a ; a0a0 begnügen, aus welchem die Behauptung der Probe 1 mittelst beiderseitig relativen Nachmultiplizirens mit u hervorgeht.
Die zweite Lösungsform des Kettenproblems lautet: x = an1 j u = 0'an(an j an)(an j an j an) ... j u = u(an j u)(an j an j u)(an j an j an j u) ... -- sintemal 0' j u = u ist. Um zu sehn, dass a ; xx sein muss, be- merken wir, dass in der That a ; x = a ; u (an j u)(an j an j u) ... (a ; u){a ; (an j u)}[a ; (an j an j u)] ... (a ; an j u)(a ; an j an j u) ... (0' j u)(0' j an j u)(0' j an j an j u) ... = = u (an j u)(an j an j u) ... = x
§ 22. Zweite Sektion der nächsten 12 erlei Subsumtionsprobleme.
Bevor wir zur dritten Unterabteilung — die aus 4) entspringt, und deren Probleme von schwierigerer Art sind — übergehn, wollen wir über Herleitung und Begründung des Bisherigen das Nötige sagen.
Wo verschiedene Formen der Problemstellung einander äquivalent ge- setzt sind, wird der Leser diese leicht — durch Transponiren des einen oder andern Terms, eventuell in Verbindung mit beiderseitigem Konvertiren oder auch Kontraposition — auf einander zurückführen.
Für die Probleme, in denen x isolirt als Subjekt steht, ist stets x = 0, für die, wo es als Prädikat steht, ist x = 1 als eine partikulare Lösung angebbar, und deshalb kann keines der bisherigen Probleme eine Resul- tante involviren.
Die Herleitung oder Entdeckung sämtlicher angegebnen Lösungen ist durch mein Theorem 1) des § 13 nahe gelegt, ja gegeben, weil x bald als Subjekt, bald als Prädikat, zuweilen auch (in den verschiednen Formen einunddesselben Problems) in beiden Eigenschaften von vornherein isolirt oder isolirbar erscheint, was dann auch zu verschiednen Lösungsformen führte.
Wir brauchen darnach die Probe 2 überhaupt nicht mehr zu machen, und die Probe 1 vorweg da nicht, wo die Lösung ausdrücklich als ein f∞(u) sich angegeben findet.
Immerhin wollen wir diese Probe 1, sintemal ein Luxus auch nicht vom Übel, hier wenigstens für die zweite Aufgabe links in 5), das ist das „Kettenproblem“katexochen: a ; x ⋹ x, mit beiden Lösungsformen desselben erhärten.
Die erste Lösungsform desselben lautet: x = a0 ; u = (1' + a + a2 + a3 + …) ; u = u + a ; u + a ; a ; u + a ; a ; a ; u + … — sintemal 1' ; u = u ist — und ist zu zeigen, dass a ; x ⋹ x sein müsse bei ganz beliebigem u. In der That wird a ; x = a ; a0 ; u = a ; u + a ; a ; u + a ; a ; a ; u + … sich als die Summe der Glieder unsrer x-Reihe vom Anfangsgliede ab darstellen.
Statt dieses Nachweises konnte man sich auch einfacher schon mit dem des (in nächster Vorlesung noch eingehend ventilirten) Satzes: a ; a0 ⋹ a0 begnügen, aus welchem die Behauptung der Probe 1 mittelst beiderseitig relativen Nachmultiplizirens mit u hervorgeht.
Die zweite Lösungsform des Kettenproblems lautet: x = ā̆1 ɟ u = 0'ā̆(ā̆ ɟ ā̆)(ā̆ ɟ ā̆ ɟ ā̆) … ɟ u = u(ā̆ ɟ u)(ā̆ ɟ ā̆ ɟ u)(ā̆ ɟ ā̆ ɟ ā̆ ɟ u) … — sintemal 0' ɟ u = u ist. Um zu sehn, dass a ; x ⋹ x sein muss, be- merken wir, dass in der That a ; x = a ; u (ā̆ ɟ u)(ā̆ ɟ ā̆ ɟ u) … ⋹ (a ; u){a ; (ā̆ ɟ u)}[a ; (ā̆ ɟ ā̆ ɟ u)] … ⋹ ⋹ (a ; ā̆ ɟ u)(a ; ā̆ ɟ ā̆ ɟ u) … ⋹ (0' ɟ u)(0' ɟ ā̆ ɟ u)(0' ɟ ā̆ ɟ ā̆ ɟ u) … = = u (ā̆ ɟ u)(ā̆ ɟ ā̆ ɟ u) … = x
<TEI><text><body><divn="1"><divn="2"><pbfacs="#f0345"n="331"/><fwplace="top"type="header">§ 22. Zweite Sektion der nächsten 12 erlei Subsumtionsprobleme.</fw><lb/><p>Bevor wir zur dritten Unterabteilung — die aus 4) entspringt,<lb/>
und deren Probleme von schwierigerer Art sind — übergehn, wollen<lb/>
wir über Herleitung und<lb/><hirendition="#c"><hirendition="#g">Begründung</hi></hi><lb/>
des Bisherigen das Nötige sagen.</p><lb/><p>Wo verschiedene Formen der Problemstellung einander äquivalent ge-<lb/>
setzt sind, wird der Leser diese leicht — durch Transponiren des einen<lb/>
oder andern Terms, eventuell in Verbindung mit beiderseitigem Konvertiren<lb/>
oder auch Kontraposition — auf einander zurückführen.</p><lb/><p>Für die Probleme, in denen <hirendition="#i">x</hi> isolirt als Subjekt steht, ist stets <hirendition="#i">x</hi> = 0,<lb/>
für die, wo es als Prädikat steht, ist <hirendition="#i">x</hi> = 1 als eine partikulare Lösung<lb/>
angebbar, und deshalb kann keines der bisherigen Probleme eine Resul-<lb/>
tante involviren.</p><lb/><p>Die <hirendition="#i">Herleitung</hi> oder Entdeckung sämtlicher angegebnen Lösungen ist<lb/>
durch mein Theorem 1) des § 13 nahe gelegt, ja gegeben, weil <hirendition="#i">x</hi> bald als<lb/>
Subjekt, bald als Prädikat, zuweilen auch (in den verschiednen Formen<lb/>
einunddesselben Problems) in beiden Eigenschaften von vornherein isolirt<lb/>
oder isolirbar erscheint, was dann auch zu verschiednen Lösungsformen führte.</p><lb/><p>Wir brauchen darnach die Probe 2 überhaupt nicht mehr zu machen,<lb/>
und die Probe 1 vorweg da nicht, wo die Lösung ausdrücklich als ein <hirendition="#i">f</hi>∞(<hirendition="#i">u</hi>)<lb/>
sich angegeben findet.</p><lb/><p>Immerhin wollen wir diese Probe 1, sintemal ein Luxus auch nicht<lb/>
vom Übel, hier wenigstens für die zweite Aufgabe links in 5), das ist das<lb/>„Kettenproblem“katexochen: <hirendition="#i">a</hi> ; <hirendition="#i">x</hi>⋹<hirendition="#i">x</hi>, mit beiden Lösungsformen desselben<lb/>
erhärten.</p><lb/><p>Die erste Lösungsform desselben lautet:<lb/><hirendition="#c"><hirendition="#i">x</hi> = <hirendition="#i">a</hi><hirendition="#sub">0</hi> ; <hirendition="#i">u</hi> = (1' + <hirendition="#i">a</hi> + <hirendition="#i">a</hi><hirendition="#sup">2</hi> + <hirendition="#i">a</hi><hirendition="#sup">3</hi> + …) ; <hirendition="#i">u</hi> = <hirendition="#i">u</hi> + <hirendition="#i">a</hi> ; <hirendition="#i">u</hi> + <hirendition="#i">a</hi> ; <hirendition="#i">a</hi> ; <hirendition="#i">u</hi> + <hirendition="#i">a</hi> ; <hirendition="#i">a</hi> ; <hirendition="#i">a</hi> ; <hirendition="#i">u</hi> + …</hi><lb/>— sintemal 1' ; <hirendition="#i">u</hi> = <hirendition="#i">u</hi> ist — und ist zu zeigen, dass <hirendition="#i">a</hi> ; <hirendition="#i">x</hi>⋹<hirendition="#i">x</hi> sein müsse<lb/>
bei ganz beliebigem <hirendition="#i">u</hi>. In der That wird<lb/><hirendition="#c"><hirendition="#i">a</hi> ; <hirendition="#i">x</hi> = <hirendition="#i">a</hi> ; <hirendition="#i">a</hi><hirendition="#sub">0</hi> ; <hirendition="#i">u</hi> = <hirendition="#i">a</hi> ; <hirendition="#i">u</hi> + <hirendition="#i">a</hi> ; <hirendition="#i">a</hi> ; <hirendition="#i">u</hi> + <hirendition="#i">a</hi> ; <hirendition="#i">a</hi> ; <hirendition="#i">a</hi> ; <hirendition="#i">u</hi> + …</hi><lb/>
sich als die Summe der Glieder unsrer <hirendition="#i">x</hi>-Reihe vom Anfangsgliede ab<lb/>
darstellen.</p><lb/><p>Statt dieses Nachweises konnte man sich auch einfacher schon mit<lb/>
dem des (in nächster Vorlesung noch eingehend ventilirten) Satzes: <hirendition="#i">a</hi> ; <hirendition="#i">a</hi><hirendition="#sub">0</hi>⋹<hirendition="#i">a</hi><hirendition="#sub">0</hi><lb/>
begnügen, aus welchem die Behauptung der Probe 1 mittelst beiderseitig<lb/>
relativen Nachmultiplizirens mit <hirendition="#i">u</hi> hervorgeht.</p><lb/><p>Die zweite Lösungsform des Kettenproblems lautet:<lb/><hirendition="#i">x</hi> = <hirendition="#i">ā̆</hi><hirendition="#sub">1</hi>ɟ<hirendition="#i">u</hi> = 0'<hirendition="#i">ā̆</hi>(<hirendition="#i">ā̆</hi>ɟ<hirendition="#i">ā̆</hi>)(<hirendition="#i">ā̆</hi>ɟ<hirendition="#i">ā̆</hi>ɟ<hirendition="#i">ā̆</hi>) …ɟ<hirendition="#i">u</hi> = <hirendition="#i">u</hi>(<hirendition="#i">ā̆</hi>ɟ<hirendition="#i">u</hi>)(<hirendition="#i">ā̆</hi>ɟ<hirendition="#i">ā̆</hi>ɟ<hirendition="#i">u</hi>)(<hirendition="#i">ā̆</hi>ɟ<hirendition="#i">ā̆</hi>ɟ<hirendition="#i">ā̆</hi>ɟ<hirendition="#i">u</hi>) …<lb/>— sintemal 0' ɟ<hirendition="#i">u</hi> = <hirendition="#i">u</hi> ist. Um zu sehn, dass <hirendition="#i">a</hi> ; <hirendition="#i">x</hi>⋹<hirendition="#i">x</hi> sein muss, be-<lb/>
merken wir, dass in der That<lb/><hirendition="#i">a</hi> ; <hirendition="#i">x</hi> = <hirendition="#i">a</hi> ; <hirendition="#i">u</hi> (<hirendition="#i">ā̆</hi>ɟ<hirendition="#i">u</hi>)(<hirendition="#i">ā̆</hi>ɟ<hirendition="#i">ā̆</hi>ɟ<hirendition="#i">u</hi>) …⋹ (<hirendition="#i">a</hi> ; <hirendition="#i">u</hi>){<hirendition="#i">a</hi> ; (<hirendition="#i">ā̆</hi>ɟ<hirendition="#i">u</hi>)}[<hirendition="#i">a</hi> ; (<hirendition="#i">ā̆</hi>ɟ<hirendition="#i">ā̆</hi>ɟ<hirendition="#i">u</hi>)] …⋹<lb/><hirendition="#et">⋹ (<hirendition="#i">a</hi> ; <hirendition="#i">ā̆</hi>ɟ<hirendition="#i">u</hi>)(<hirendition="#i">a</hi> ; <hirendition="#i">ā̆</hi>ɟ<hirendition="#i">ā̆</hi>ɟ<hirendition="#i">u</hi>) …⋹ (0' ɟ<hirendition="#i">u</hi>)(0' ɟ<hirendition="#i">ā̆</hi>ɟ<hirendition="#i">u</hi>)(0' ɟ<hirendition="#i">ā̆</hi>ɟ<hirendition="#i">ā̆</hi>ɟ<hirendition="#i">u</hi>) … =<lb/>
= <hirendition="#i">u</hi> (<hirendition="#i">ā̆</hi>ɟ<hirendition="#i">u</hi>)(<hirendition="#i">ā̆</hi>ɟ<hirendition="#i">ā̆</hi>ɟ<hirendition="#i">u</hi>) … = <hirendition="#i">x</hi></hi><lb/></p></div></div></body></text></TEI>
[331/0345]
§ 22. Zweite Sektion der nächsten 12 erlei Subsumtionsprobleme.
Bevor wir zur dritten Unterabteilung — die aus 4) entspringt,
und deren Probleme von schwierigerer Art sind — übergehn, wollen
wir über Herleitung und
Begründung
des Bisherigen das Nötige sagen.
Wo verschiedene Formen der Problemstellung einander äquivalent ge-
setzt sind, wird der Leser diese leicht — durch Transponiren des einen
oder andern Terms, eventuell in Verbindung mit beiderseitigem Konvertiren
oder auch Kontraposition — auf einander zurückführen.
Für die Probleme, in denen x isolirt als Subjekt steht, ist stets x = 0,
für die, wo es als Prädikat steht, ist x = 1 als eine partikulare Lösung
angebbar, und deshalb kann keines der bisherigen Probleme eine Resul-
tante involviren.
Die Herleitung oder Entdeckung sämtlicher angegebnen Lösungen ist
durch mein Theorem 1) des § 13 nahe gelegt, ja gegeben, weil x bald als
Subjekt, bald als Prädikat, zuweilen auch (in den verschiednen Formen
einunddesselben Problems) in beiden Eigenschaften von vornherein isolirt
oder isolirbar erscheint, was dann auch zu verschiednen Lösungsformen führte.
Wir brauchen darnach die Probe 2 überhaupt nicht mehr zu machen,
und die Probe 1 vorweg da nicht, wo die Lösung ausdrücklich als ein f∞(u)
sich angegeben findet.
Immerhin wollen wir diese Probe 1, sintemal ein Luxus auch nicht
vom Übel, hier wenigstens für die zweite Aufgabe links in 5), das ist das
„Kettenproblem“katexochen: a ; x ⋹ x, mit beiden Lösungsformen desselben
erhärten.
Die erste Lösungsform desselben lautet:
x = a0 ; u = (1' + a + a2 + a3 + …) ; u = u + a ; u + a ; a ; u + a ; a ; a ; u + …
— sintemal 1' ; u = u ist — und ist zu zeigen, dass a ; x ⋹ x sein müsse
bei ganz beliebigem u. In der That wird
a ; x = a ; a0 ; u = a ; u + a ; a ; u + a ; a ; a ; u + …
sich als die Summe der Glieder unsrer x-Reihe vom Anfangsgliede ab
darstellen.
Statt dieses Nachweises konnte man sich auch einfacher schon mit
dem des (in nächster Vorlesung noch eingehend ventilirten) Satzes: a ; a0 ⋹ a0
begnügen, aus welchem die Behauptung der Probe 1 mittelst beiderseitig
relativen Nachmultiplizirens mit u hervorgeht.
Die zweite Lösungsform des Kettenproblems lautet:
x = ā̆1 ɟ u = 0'ā̆(ā̆ ɟ ā̆)(ā̆ ɟ ā̆ ɟ ā̆) … ɟ u = u(ā̆ ɟ u)(ā̆ ɟ ā̆ ɟ u)(ā̆ ɟ ā̆ ɟ ā̆ ɟ u) …
— sintemal 0' ɟ u = u ist. Um zu sehn, dass a ; x ⋹ x sein muss, be-
merken wir, dass in der That
a ; x = a ; u (ā̆ ɟ u)(ā̆ ɟ ā̆ ɟ u) … ⋹ (a ; u){a ; (ā̆ ɟ u)}[a ; (ā̆ ɟ ā̆ ɟ u)] … ⋹
⋹ (a ; ā̆ ɟ u)(a ; ā̆ ɟ ā̆ ɟ u) … ⋹ (0' ɟ u)(0' ɟ ā̆ ɟ u)(0' ɟ ā̆ ɟ ā̆ ɟ u) … =
= u (ā̆ ɟ u)(ā̆ ɟ ā̆ ɟ u) … = x
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. 331. In: Deutsches Textarchiv <https://www.deutschestextarchiv.de/schroeder_logik03_1895/345>, 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/.
