Nimmt man dies für v statt x in Anspruch und setzt dessen der letzten Subsumtion in 21) auf allgemeinste Weise genügenden Wert in die vorletzte ein, so ergeben sich zwei Lösungsformen unsrer Aufgabe 3, und zwar kommt man mit der ersten Lösungsform 27) durch die kleine Reduktion: a0 ; b + u + (an1 j bn) · a0 ; u = u + a0 ; b + a0 ; u = a0 ; (b + u) -- weil ua0 ; u, auf die schon früher gefundene Lösungsform 7) zurück. Mit der zweiten Lösungsform 27) aber ergibt sich unmittelbar die letzte Lösungsform 10), die wir noch heuristisch abzuleiten schuldig gewesen. --
Den Aufgaben 27) reiht sich ferner noch an: 28)
[Formel 2]
, indem die erste Äquivalenz wieder die Aufgabe auf das Schema 25) zu- rückführt. Um sie, die als rückwärtige Aussagensubsumtion evident ist, auch als vorwärtige einzusehen, hat man gemäss 26) nur den Satz zu beachten: 29)
[Formel 3]
der sich nach bekannten Sätzen aus 16) versteht.
Bei den zweiten Lösungsformen 28) ist sodann blos noch eine Re- duktion vonnöten mit Berücksichtigung der Sätze 5 und 24) des § 18 und von 9) S. 362. -- Sobald also b "Systemkonvers" ist (cf. § 27), vermögen wir die Aufgabe 4 wenigstens in halbgeschlossner Form zu lösen.
Bemerkenswert ist, dass bei diesen 28) gleichwie bei den Aufgaben 27) die Funktion f(u) der allgemeinen Lösungen 23) gleichwol nicht invariant ist (es müsste ja sonst auch a ; u an Stelle von a0 ; u im ersten Wurzel- ausdruck stehen und an j etc. an Stelle von an1 j etc. im zweiten!).
Ähnlich wie in diesen beiden Partikularfällen derselben auch für die allgemeine Aufgabe 4 eine Lösung in halbgeschlossener Form zu ermitteln, ist mir nicht gelungen.
[Ich hatte, nebenbei bemerkt, je die ersten Resultate 25, 27, 28) auf einem ganz andern und viel mühsameren Wege gefunden, indem ich näm- lich der Koeffizientenbedingung bei der allgemeinen Aufgabe 4 symmetrisch allgemein zu genügen suchte; auch dies Verfahren -- weil vielleicht noch nicht hinlänglich vervollkommnet -- liefert(e) nur die partikularen Er- gebnisse.]
Zum vorstehenden Problemcyklus scheint auch noch zu gehören die
§ 24. Nebenstudien zur Kettentheorie.
27)
[Formel 1]
.
Nimmt man dies für v statt x in Anspruch und setzt dessen der letzten Subsumtion in 21) auf allgemeinste Weise genügenden Wert in die vorletzte ein, so ergeben sich zwei Lösungsformen unsrer Aufgabe 3, und zwar kommt man mit der ersten Lösungsform 27) durch die kleine Reduktion: a0 ; b + u + (ā1 ɟ b̄) · a0 ; u = u + a0 ; b + a0 ; u = a0 ; (b + u) — weil u ⋹ a0 ; u, auf die schon früher gefundene Lösungsform 7) zurück. Mit der zweiten Lösungsform 27) aber ergibt sich unmittelbar die letzte Lösungsform 10), die wir noch heuristisch abzuleiten schuldig gewesen. —
Den Aufgaben 27) reiht sich ferner noch an: 28)
[Formel 2]
, indem die erste Äquivalenz wieder die Aufgabe auf das Schema 25) zu- rückführt. Um sie, die als rückwärtige Aussagensubsumtion evident ist, auch als vorwärtige einzusehen, hat man gemäss 26) nur den Satz zu beachten: 29)
[Formel 3]
der sich nach bekannten Sätzen aus 16) versteht.
Bei den zweiten Lösungsformen 28) ist sodann blos noch eine Re- duktion vonnöten mit Berücksichtigung der Sätze 5 und 24) des § 18 und von 9) S. 362. — Sobald also b „Systemkonvers“ ist (cf. § 27), vermögen wir die Aufgabe 4 wenigstens in halbgeschlossner Form zu lösen.
Bemerkenswert ist, dass bei diesen 28) gleichwie bei den Aufgaben 27) die Funktion f(u) der allgemeinen Lösungen 23) gleichwol nicht invariant ist (es müsste ja sonst auch a ; u an Stelle von a0 ; u im ersten Wurzel- ausdruck stehen und ā̆ ɟ etc. an Stelle von ā̆1 ɟ etc. im zweiten!).
Ähnlich wie in diesen beiden Partikularfällen derselben auch für die allgemeine Aufgabe 4 eine Lösung in halbgeschlossener Form zu ermitteln, ist mir nicht gelungen.
[Ich hatte, nebenbei bemerkt, je die ersten Resultate 25, 27, 28) auf einem ganz andern und viel mühsameren Wege gefunden, indem ich näm- lich der Koeffizientenbedingung bei der allgemeinen Aufgabe 4 symmetrisch allgemein zu genügen suchte; auch dies Verfahren — weil vielleicht noch nicht hinlänglich vervollkommnet — liefert(e) nur die partikularen Er- gebnisse.]
Zum vorstehenden Problemcyklus scheint auch noch zu gehören die
<TEI><text><body><divn="1"><divn="2"><p><pbfacs="#f0413"n="399"/><fwplace="top"type="header">§ 24. Nebenstudien zur Kettentheorie.</fw><lb/>
27) <formula/>.</p><lb/><p>Nimmt man dies für <hirendition="#i">v</hi> statt <hirendition="#i">x</hi> in Anspruch und setzt dessen der<lb/>
letzten Subsumtion in 21) auf allgemeinste Weise genügenden Wert in die<lb/>
vorletzte ein, so ergeben sich zwei Lösungsformen unsrer Aufgabe 3, und<lb/>
zwar kommt man mit der ersten Lösungsform 27) durch die kleine Reduktion:<lb/><hirendition="#i">a</hi><hirendition="#sub">0</hi> ; <hirendition="#i">b</hi> + <hirendition="#i">u</hi> + (<hirendition="#i">ā</hi><hirendition="#sub">1</hi>ɟ<hirendition="#i">b̄</hi>) · <hirendition="#i">a</hi><hirendition="#sub">0</hi> ; <hirendition="#i">u</hi> = <hirendition="#i">u</hi> + <hirendition="#i">a</hi><hirendition="#sub">0</hi> ; <hirendition="#i">b</hi> + <hirendition="#i">a</hi><hirendition="#sub">0</hi> ; <hirendition="#i">u</hi> = <hirendition="#i">a</hi><hirendition="#sub">0</hi> ; (<hirendition="#i">b</hi> + <hirendition="#i">u</hi>) — weil <hirendition="#i">u</hi>⋹<hirendition="#i">a</hi><hirendition="#sub">0</hi> ; <hirendition="#i">u</hi>,<lb/>
auf die schon früher gefundene Lösungsform 7) zurück. Mit der zweiten<lb/>
Lösungsform 27) aber ergibt sich unmittelbar die letzte Lösungsform 10),<lb/>
die wir noch heuristisch abzuleiten schuldig gewesen. —</p><lb/><p>Den Aufgaben 27) reiht sich ferner noch an:<lb/>
28) <formula/>,<lb/>
indem die erste Äquivalenz wieder die Aufgabe auf das Schema 25) zu-<lb/>
rückführt. Um sie, die als rückwärtige Aussagensubsumtion evident ist,<lb/>
auch als vorwärtige einzusehen, hat man gemäss 26) nur den <hirendition="#g">Satz</hi> zu<lb/>
beachten:<lb/>
29) <formula/><lb/>
der sich nach bekannten Sätzen aus 16) versteht.</p><lb/><p>Bei den zweiten Lösungsformen 28) ist sodann blos noch eine Re-<lb/>
duktion vonnöten mit Berücksichtigung der Sätze 5 und 24) des § 18 und<lb/>
von 9) S. 362. — Sobald also <hirendition="#i">b</hi>„Systemkonvers“ ist (cf. § 27), vermögen<lb/>
wir die Aufgabe 4 wenigstens in halbgeschlossner Form zu lösen.</p><lb/><p>Bemerkenswert ist, dass bei diesen 28) gleichwie bei den Aufgaben 27)<lb/>
die Funktion <hirendition="#i">f</hi>(<hirendition="#i">u</hi>) der allgemeinen Lösungen 23) gleichwol nicht invariant<lb/>
ist (es müsste ja sonst auch <hirendition="#i">a</hi> ; <hirendition="#i">u</hi> an Stelle von <hirendition="#i">a</hi><hirendition="#sub">0</hi> ; <hirendition="#i">u</hi> im ersten Wurzel-<lb/>
ausdruck stehen und <hirendition="#i">ā̆</hi>ɟ etc. an Stelle von <hirendition="#i">ā̆</hi><hirendition="#sub">1</hi>ɟ etc. im zweiten!).</p><lb/><p>Ähnlich wie in diesen beiden Partikularfällen derselben auch für die<lb/>
allgemeine Aufgabe 4 eine Lösung in <hirendition="#i">halbgeschlossener</hi> Form zu ermitteln,<lb/>
ist mir nicht gelungen.</p><lb/><p>[Ich hatte, nebenbei bemerkt, je die ersten Resultate 25, 27, 28) auf<lb/>
einem ganz andern und viel mühsameren Wege gefunden, indem ich näm-<lb/>
lich der Koeffizientenbedingung bei der allgemeinen Aufgabe 4 symmetrisch<lb/>
allgemein zu genügen suchte; auch dies Verfahren — weil vielleicht noch<lb/>
nicht hinlänglich vervollkommnet — liefert(e) nur die partikularen Er-<lb/>
gebnisse.]</p><lb/><p>Zum vorstehenden Problemcyklus scheint auch noch zu gehören die</p><lb/></div></div></body></text></TEI>
[399/0413]
§ 24. Nebenstudien zur Kettentheorie.
27) [FORMEL].
Nimmt man dies für v statt x in Anspruch und setzt dessen der
letzten Subsumtion in 21) auf allgemeinste Weise genügenden Wert in die
vorletzte ein, so ergeben sich zwei Lösungsformen unsrer Aufgabe 3, und
zwar kommt man mit der ersten Lösungsform 27) durch die kleine Reduktion:
a0 ; b + u + (ā1 ɟ b̄) · a0 ; u = u + a0 ; b + a0 ; u = a0 ; (b + u) — weil u ⋹ a0 ; u,
auf die schon früher gefundene Lösungsform 7) zurück. Mit der zweiten
Lösungsform 27) aber ergibt sich unmittelbar die letzte Lösungsform 10),
die wir noch heuristisch abzuleiten schuldig gewesen. —
Den Aufgaben 27) reiht sich ferner noch an:
28) [FORMEL],
indem die erste Äquivalenz wieder die Aufgabe auf das Schema 25) zu-
rückführt. Um sie, die als rückwärtige Aussagensubsumtion evident ist,
auch als vorwärtige einzusehen, hat man gemäss 26) nur den Satz zu
beachten:
29) [FORMEL]
der sich nach bekannten Sätzen aus 16) versteht.
Bei den zweiten Lösungsformen 28) ist sodann blos noch eine Re-
duktion vonnöten mit Berücksichtigung der Sätze 5 und 24) des § 18 und
von 9) S. 362. — Sobald also b „Systemkonvers“ ist (cf. § 27), vermögen
wir die Aufgabe 4 wenigstens in halbgeschlossner Form zu lösen.
Bemerkenswert ist, dass bei diesen 28) gleichwie bei den Aufgaben 27)
die Funktion f(u) der allgemeinen Lösungen 23) gleichwol nicht invariant
ist (es müsste ja sonst auch a ; u an Stelle von a0 ; u im ersten Wurzel-
ausdruck stehen und ā̆ ɟ etc. an Stelle von ā̆1 ɟ etc. im zweiten!).
Ähnlich wie in diesen beiden Partikularfällen derselben auch für die
allgemeine Aufgabe 4 eine Lösung in halbgeschlossener Form zu ermitteln,
ist mir nicht gelungen.
[Ich hatte, nebenbei bemerkt, je die ersten Resultate 25, 27, 28) auf
einem ganz andern und viel mühsameren Wege gefunden, indem ich näm-
lich der Koeffizientenbedingung bei der allgemeinen Aufgabe 4 symmetrisch
allgemein zu genügen suchte; auch dies Verfahren — weil vielleicht noch
nicht hinlänglich vervollkommnet — liefert(e) nur die partikularen Er-
gebnisse.]
Zum vorstehenden Problemcyklus scheint auch noch zu gehören die
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. 399. In: Deutsches Textarchiv <https://www.deutschestextarchiv.de/schroeder_logik03_1895/413>, abgerufen am 23.05.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/.
