Von diesen Formeln sind alle übrigen blos Sonderfälle von 18), das ist vom Gespann zu D 44.
Vereinfachte Kettentheorie.
Als Definition der "a-Kette", a0, oder der Kette eines Rela- tivs a gelte: 21)
[Formel 5]
, wo die Erstreckungsbedingung "NB" des Produktes
[Formel 6]
laute: 22) NB, = (1' + a ; uu).
Die "Kette von a" ist damit erklärt als das identische Produkt -- oder um es anschaulicher zu sagen: als das umfassendste oder maximale, "grösste"*) gemeinsame Gebiet, der grösste Gemeinteil -- aller der Rela- tive x, welche die Forderung 1' + a ; xx erfüllen; das ist also derjenige Gemeinteil, welcher jeden Gemeinteil der sämtlichen genannten Relative in sich begreift, aus allen diesen sich additiv zusammensetzen wird. --
In der Hereinziehung des Gliedes 1' zur Erstreckungsbedingung scheint eine gewisse Willkür zu liegen. Das Befremden über diese mag etwas gemildert werden durch die Bemerkung, dass neben 0 sich 1' unter den Moduln dadurch auszeichnet, dass inbezug auf ihn ein jedes Relativ eine Kette sein muss. Darnach wird es nicht so unerhört erscheinen, dass man nach denjenigen Ketten inbezug auf a frage, die als Aliorelativnegate jenen Modul 1' in sich schliessen -- um alsdann deren Produkt zu bilden.
Da die Erstreckungsbedingung zerfällt in 22)a1' u, und 22)b a ; uu, so sind die Schemata anwendbar: P(1' u) = (1' Pu), a ; PuP(a ; u) Pu, wovon die letzte Subsumtion nicht als allgemeine Formel gilt, sondern blos mit Rücksicht auf den zweiten Teil 22)b der Erstreckungs-
*) Der Begriff, die Bezeichnung als "grösser" ist in dieser Theorie nur auf solche Relative anwendbar, die im Verhältniss des Ganzen zu seinem Teile stehen.
§ 23. Vereinfachung der Kettentheorie.
19)
[Formel 1]
[Formel 2]
NB5 = (1' + a ; u ⋹ u)
NB5 = {u ⋹ 0'(a ɟ u)}
vel (u ; a + 1' ⋹ u)
vel {u ⋹ (u ɟ a)0'}
vel (a ; u + 1' + u ; a ⋹ u)
vel {u ⋹ (a ɟ u)0'(u ɟ a)}
20)
[Formel 3]
[Formel 4]
NB6 = (a ; u + a ⋹ u)
NB6 = {u ⋹ (a ɟ u)a}
vel (a + u ; a ⋹ u)
vel {u ⋹ a(u ɟ a)}
vel (a ; u + a + u ; a ⋹ u)
vel {u ⋹ (a ɟ u)a(u ɟ a)}.
Von diesen Formeln sind alle übrigen blos Sonderfälle von 18), das ist vom Gespann zu D 44.
Vereinfachte Kettentheorie.
Als Definition der „a-Kette“, a0, oder der Kette eines Rela- tivs a gelte: 21)
[Formel 5]
, wo die Erstreckungsbedingung „NB“ des Produktes
[Formel 6]
laute: 22) NB, = (1' + a ; u ⋹ u).
Die „Kette von a“ ist damit erklärt als das identische Produkt — oder um es anschaulicher zu sagen: als das umfassendste oder maximale, „grösste“*) gemeinsame Gebiet, der grösste Gemeinteil — aller der Rela- tive x, welche die Forderung 1' + a ; x ⋹ x erfüllen; das ist also derjenige Gemeinteil, welcher jeden Gemeinteil der sämtlichen genannten Relative in sich begreift, aus allen diesen sich additiv zusammensetzen wird. —
In der Hereinziehung des Gliedes 1' zur Erstreckungsbedingung scheint eine gewisse Willkür zu liegen. Das Befremden über diese mag etwas gemildert werden durch die Bemerkung, dass neben 0 sich 1' unter den Moduln dadurch auszeichnet, dass inbezug auf ihn ein jedes Relativ eine Kette sein muss. Darnach wird es nicht so unerhört erscheinen, dass man nach denjenigen Ketten inbezug auf a frage, die als Aliorelativnegate jenen Modul 1' in sich schliessen — um alsdann deren Produkt zu bilden.
Da die Erstreckungsbedingung zerfällt in 22)α1' ⋹ u, und 22)β a ; u ⋹ u, so sind die Schemata anwendbar: Π(1' ⋹u) = (1' ⋹Πu), a ; Πu ⋹ Π(a ; u) ⋹ Πu, wovon die letzte Subsumtion nicht als allgemeine Formel gilt, sondern blos mit Rücksicht auf den zweiten Teil 22)β der Erstreckungs-
*) Der Begriff, die Bezeichnung als „grösser“ ist in dieser Theorie nur auf solche Relative anwendbar, die im Verhältniss des Ganzen zu seinem Teile stehen.
<TEI><text><body><divn="1"><divn="2"><p><pbfacs="#f0393"n="379"/><fwplace="top"type="header">§ 23. Vereinfachung der Kettentheorie.</fw><lb/>
19) <table><lb/><row><cell><formula/></cell><cell><formula/></cell></row><row><cell><hirendition="#i">NB</hi><hirendition="#sub">5</hi> = (1' + <hirendition="#i">a</hi> ; <hirendition="#i">u</hi>⋹<hirendition="#i">u</hi>)</cell><cell><hirendition="#i">NB</hi><hirendition="#sub">5</hi> = {<hirendition="#i">u</hi>⋹ 0'(<hirendition="#i">a</hi>ɟ<hirendition="#i">u</hi>)}</cell></row><lb/><row><cell>vel (<hirendition="#i">u</hi> ; <hirendition="#i">a</hi> + 1' ⋹<hirendition="#i">u</hi>)</cell><cell>vel {<hirendition="#i">u</hi>⋹ (<hirendition="#i">u</hi>ɟ<hirendition="#i">a</hi>)0'}</cell></row><lb/><row><cell>vel (<hirendition="#i">a</hi> ; <hirendition="#i">u</hi> + 1' + <hirendition="#i">u</hi> ; <hirendition="#i">a</hi>⋹<hirendition="#i">u</hi>)</cell><cell>vel {<hirendition="#i">u</hi>⋹ (<hirendition="#i">a</hi>ɟ<hirendition="#i">u</hi>)0'(<hirendition="#i">u</hi>ɟ<hirendition="#i">a</hi>)}</cell></row><lb/></table> 20) <table><lb/><row><cell><formula/></cell><cell><formula/></cell></row><row><cell><hirendition="#i">NB</hi><hirendition="#sub">6</hi> = (<hirendition="#i">a</hi> ; <hirendition="#i">u</hi> + <hirendition="#i">a</hi>⋹<hirendition="#i">u</hi>)</cell><cell><hirendition="#i">NB</hi><hirendition="#sub">6</hi> = {<hirendition="#i">u</hi>⋹ (<hirendition="#i">a</hi>ɟ<hirendition="#i">u</hi>)<hirendition="#i">a</hi>}</cell></row><lb/><row><cell>vel (<hirendition="#i">a</hi> + <hirendition="#i">u</hi> ; <hirendition="#i">a</hi>⋹<hirendition="#i">u</hi>)</cell><cell>vel {<hirendition="#i">u</hi>⋹<hirendition="#i">a</hi>(<hirendition="#i">u</hi>ɟ<hirendition="#i">a</hi>)}</cell></row><lb/><row><cell>vel (<hirendition="#i">a</hi> ; <hirendition="#i">u</hi> + <hirendition="#i">a</hi> + <hirendition="#i">u</hi> ; <hirendition="#i">a</hi>⋹<hirendition="#i">u</hi>)</cell><cell>vel {<hirendition="#i">u</hi>⋹ (<hirendition="#i">a</hi>ɟ<hirendition="#i">u</hi>)<hirendition="#i">a</hi>(<hirendition="#i">u</hi>ɟ<hirendition="#i">a</hi>)}.</cell></row><lb/></table></p><p>Von diesen Formeln sind alle übrigen blos Sonderfälle von 18),<lb/>
das ist vom Gespann zu <hirendition="#fr">D</hi> 44.</p><lb/><p><hirendition="#g">Vereinfachte Kettentheorie</hi>.</p><lb/><p>Als <hirendition="#g">Definition</hi> der „<hirendition="#i">a-Kette</hi>“, <hirendition="#i">a</hi><hirendition="#sub">0</hi>, oder der Kette eines Rela-<lb/>
tivs <hirendition="#i">a</hi> gelte:<lb/>
21) <hirendition="#et"><formula/>,</hi><lb/>
wo die Erstreckungsbedingung „<hirendition="#i">NB</hi>“ des Produktes <formula/> laute:<lb/>
22) <hirendition="#et"><hirendition="#i">NB</hi>, = (1' + <hirendition="#i">a</hi> ; <hirendition="#i">u</hi>⋹<hirendition="#i">u</hi>).</hi></p><lb/><p>Die „<hirendition="#i">Kette von a</hi>“ ist damit erklärt als das identische Produkt —<lb/>
oder um es anschaulicher zu sagen: als das umfassendste oder maximale,<lb/>„grösste“<noteplace="foot"n="*)">Der Begriff, die Bezeichnung als „grösser“ ist in dieser Theorie nur auf<lb/>
solche Relative anwendbar, die im Verhältniss des Ganzen zu <hirendition="#i">seinem</hi> Teile stehen.</note> gemeinsame Gebiet, der grösste Gemeinteil — aller der Rela-<lb/>
tive <hirendition="#i">x</hi>, welche die Forderung 1' + <hirendition="#i">a</hi> ; <hirendition="#i">x</hi>⋹<hirendition="#i">x</hi> erfüllen; das ist also derjenige<lb/>
Gemeinteil, welcher jeden Gemeinteil der sämtlichen genannten Relative in<lb/>
sich begreift, aus allen diesen sich additiv zusammensetzen wird. —</p><lb/><p>In der Hereinziehung des Gliedes 1' zur Erstreckungsbedingung scheint<lb/>
eine gewisse Willkür zu liegen. Das Befremden über diese mag etwas<lb/>
gemildert werden durch die Bemerkung, dass neben 0 sich 1' unter den<lb/>
Moduln dadurch auszeichnet, dass inbezug auf ihn ein jedes Relativ eine<lb/>
Kette sein muss. Darnach wird es nicht so unerhört erscheinen, dass man<lb/>
nach denjenigen Ketten inbezug auf <hirendition="#i">a</hi> frage, die als Aliorelativnegate jenen<lb/>
Modul 1' in sich schliessen — um alsdann deren Produkt zu bilden.</p><lb/><p>Da die Erstreckungsbedingung zerfällt in<lb/>
22)<hirendition="#i"><hirendition="#sub">α</hi></hi><hirendition="#et">1' ⋹<hirendition="#i">u</hi>, und 22)<hirendition="#i"><hirendition="#sub">β</hi> a</hi> ; <hirendition="#i">u</hi>⋹<hirendition="#i">u</hi>,</hi><lb/>
so sind die Schemata anwendbar:<lb/><hirendition="#c"><hirendition="#i">Π</hi>(1' ⋹<hirendition="#i">u</hi>) = (1' ⋹<hirendition="#i">Πu</hi>), <hirendition="#i">a</hi> ; <hirendition="#i">Πu</hi>⋹<hirendition="#i">Π</hi>(<hirendition="#i">a</hi> ; <hirendition="#i">u</hi>) ⋹<hirendition="#i">Πu</hi>,</hi><lb/>
wovon die letzte Subsumtion nicht als allgemeine Formel gilt, sondern<lb/>
blos mit Rücksicht auf den zweiten Teil 22)<hirendition="#i"><hirendition="#sub">β</hi></hi> der Erstreckungs-<lb/></p></div></div></body></text></TEI>
[379/0393]
§ 23. Vereinfachung der Kettentheorie.
19) [FORMEL] [FORMEL]
NB5 = (1' + a ; u ⋹ u) NB5 = {u ⋹ 0'(a ɟ u)}
vel (u ; a + 1' ⋹ u) vel {u ⋹ (u ɟ a)0'}
vel (a ; u + 1' + u ; a ⋹ u) vel {u ⋹ (a ɟ u)0'(u ɟ a)}
20) [FORMEL] [FORMEL]
NB6 = (a ; u + a ⋹ u) NB6 = {u ⋹ (a ɟ u)a}
vel (a + u ; a ⋹ u) vel {u ⋹ a(u ɟ a)}
vel (a ; u + a + u ; a ⋹ u) vel {u ⋹ (a ɟ u)a(u ɟ a)}.
Von diesen Formeln sind alle übrigen blos Sonderfälle von 18),
das ist vom Gespann zu D 44.
Vereinfachte Kettentheorie.
Als Definition der „a-Kette“, a0, oder der Kette eines Rela-
tivs a gelte:
21) [FORMEL],
wo die Erstreckungsbedingung „NB“ des Produktes [FORMEL] laute:
22) NB, = (1' + a ; u ⋹ u).
Die „Kette von a“ ist damit erklärt als das identische Produkt —
oder um es anschaulicher zu sagen: als das umfassendste oder maximale,
„grösste“ *) gemeinsame Gebiet, der grösste Gemeinteil — aller der Rela-
tive x, welche die Forderung 1' + a ; x ⋹ x erfüllen; das ist also derjenige
Gemeinteil, welcher jeden Gemeinteil der sämtlichen genannten Relative in
sich begreift, aus allen diesen sich additiv zusammensetzen wird. —
In der Hereinziehung des Gliedes 1' zur Erstreckungsbedingung scheint
eine gewisse Willkür zu liegen. Das Befremden über diese mag etwas
gemildert werden durch die Bemerkung, dass neben 0 sich 1' unter den
Moduln dadurch auszeichnet, dass inbezug auf ihn ein jedes Relativ eine
Kette sein muss. Darnach wird es nicht so unerhört erscheinen, dass man
nach denjenigen Ketten inbezug auf a frage, die als Aliorelativnegate jenen
Modul 1' in sich schliessen — um alsdann deren Produkt zu bilden.
Da die Erstreckungsbedingung zerfällt in
22)α 1' ⋹ u, und 22)β a ; u ⋹ u,
so sind die Schemata anwendbar:
Π(1' ⋹u) = (1' ⋹Πu), a ; Πu ⋹ Π(a ; u) ⋹ Πu,
wovon die letzte Subsumtion nicht als allgemeine Formel gilt, sondern
blos mit Rücksicht auf den zweiten Teil 22)β der Erstreckungs-
*) Der Begriff, die Bezeichnung als „grösser“ ist in dieser Theorie nur auf
solche Relative anwendbar, die im Verhältniss des Ganzen zu seinem Teile stehen.
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. 379. In: Deutsches Textarchiv <https://www.deutschestextarchiv.de/schroeder_logik03_1895/393>, 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/.
