vertauscht, nachdem man den Namen ah k durch den ak h ersetzt hatte. (Peirce8 p. 197.)
Es genügt demnach, die erste von diesen Formeln zu beweisen. (Dieselbe gilt schon im identischen Kalkul, was auch immer für Klassen die Symbole ah k vorstellen mögen.)
Interpretirt man beide Seiten dieser Subsumtion, so stellt sich dieselbe dar als: a11a12a13a14 .. + a21a22a23a24 .. + a31a32a33a34 .. + ... (a11 + a21 + a31 ..) (a12 + a22 + a32 ..) (a13 + a23 + a33 ..)(a14 + a24 + a34 ..) ... und versteht sich nach Th. 6+) des Bd. 1 daraus von selbst: weil die Glieder des Subjektes links sämtlich unter denen der ausmultiplizirten Summen rechterhand im Prädikate vorkommen werden, und zwar als die Partialprodukte aus deren gleichstelligen Gliedern -- allerdings aber neben noch sehr viel anderweiten Gliedern, weshalb im Allgemeinen Unterordnung und nicht Gleichheit stattfinden wird.
Noch etwas einfacher, vielleicht, kann man den Satz so darstellen: aa'a'' .. + bb'b'' .. + ... (a + b + ...)(a' + b' + ...)(a'' + b'' + ...) ..
Derselbe mit @ statt würde auch für positive Zahlen bezüglich arithmetischer Produkte und Summen gelten.
Man merkt sich den Satz am besten durch den Kontrast: während für sich PS ist, gilt sozusagen verkehrt: SPPS. --
Zwei besonders wichtige Fälle verdienen aber noch Hervorhebung, in welchen die Subsumtionen in unserm Satze in Gleichungen über- gehen, und auf deren einen schon Peirce aufmerksam gemacht. Es sind das die Fälle, in welchen der allgemeine Term ah k (additiv oder multiplikativ) zerfällt in zwei Terme, welche die Indizes h und k ein- zeln -- somit getrennt, voneinander isolirt -- tragen; die Fälle ah k = ahbk und ah k = ah + bk.
vertauscht, nachdem man den Namen ah k durch den ak h ersetzt hatte. (Peirce8 p. 197.)
Es genügt demnach, die erste von diesen Formeln zu beweisen. (Dieselbe gilt schon im identischen Kalkul, was auch immer für Klassen die Symbole ah k vorstellen mögen.)
Interpretirt man beide Seiten dieser Subsumtion, so stellt sich dieselbe dar als: a11a12a13a14 ‥ + a21a22a23a24 ‥ + a31a32a33a34 ‥ + … ⋹ ⋹ (a11 + a21 + a31 ‥) (a12 + a22 + a32 ‥) (a13 + a23 + a33 ‥)(a14 + a24 + a34 ‥) … und versteht sich nach Th. 6+) des Bd. 1 daraus von selbst: weil die Glieder des Subjektes links sämtlich unter denen der ausmultiplizirten Summen rechterhand im Prädikate vorkommen werden, und zwar als die Partialprodukte aus deren gleichstelligen Gliedern — allerdings aber neben noch sehr viel anderweiten Gliedern, weshalb im Allgemeinen Unterordnung und nicht Gleichheit stattfinden wird.
Noch etwas einfacher, vielleicht, kann man den Satz so darstellen: aa'a'' ‥ + bb'b'' ‥ + … ⋹ (a + b + …)(a' + b' + …)(a'' + b'' + …) ‥
Derselbe mit  statt ⋹ würde auch für positive Zahlen bezüglich arithmetischer Produkte und Summen gelten.
Man merkt sich den Satz am besten durch den Kontrast: während für sich Π ⋹ Σ ist, gilt sozusagen verkehrt: ΣΠ ⋹ ΠΣ. —
Zwei besonders wichtige Fälle verdienen aber noch Hervorhebung, in welchen die Subsumtionen in unserm Satze in Gleichungen über- gehen, und auf deren einen schon Peirce aufmerksam gemacht. Es sind das die Fälle, in welchen der allgemeine Term ah k (additiv oder multiplikativ) zerfällt in zwei Terme, welche die Indizes h und k ein- zeln — somit getrennt, voneinander isolirt — tragen; die Fälle ah k = ahbk und ah k = ah + bk.
<TEI><text><body><divn="1"><divn="2"><p><pbfacs="#f0127"n="113"/><fwplace="top"type="header">§ 7. Zu den Hülfsschemata des Aussagenkalkuls.</fw><lb/>
vertauscht, nachdem man den Namen <hirendition="#i">a<hirendition="#sub">h k</hi></hi> durch den <hirendition="#i">a<hirendition="#sub">k h</hi></hi> ersetzt hatte.<lb/>
(<hirendition="#g">Peirce</hi><hirendition="#sup">8</hi> p. 197.)</p><lb/><p>Es genügt demnach, die erste von diesen Formeln zu <hirendition="#g">beweisen</hi>.<lb/>
(Dieselbe gilt schon im identischen Kalkul, was auch immer für<lb/><hirendition="#i">Klassen</hi> die Symbole <hirendition="#i">a<hirendition="#sub">h k</hi></hi> vorstellen mögen.)</p><lb/><p>Interpretirt man beide Seiten dieser Subsumtion, so stellt sich<lb/>
dieselbe dar als:<lb/><hirendition="#i">a</hi><hirendition="#sub">11</hi><hirendition="#i">a</hi><hirendition="#sub">12</hi><hirendition="#i">a</hi><hirendition="#sub">13</hi><hirendition="#i">a</hi><hirendition="#sub">14</hi>‥ + <hirendition="#i">a</hi><hirendition="#sub">21</hi><hirendition="#i">a</hi><hirendition="#sub">22</hi><hirendition="#i">a</hi><hirendition="#sub">23</hi><hirendition="#i">a</hi><hirendition="#sub">24</hi>‥ + <hirendition="#i">a</hi><hirendition="#sub">31</hi><hirendition="#i">a</hi><hirendition="#sub">32</hi><hirendition="#i">a</hi><hirendition="#sub">33</hi><hirendition="#i">a</hi><hirendition="#sub">34</hi>‥ + …⋹<lb/>⋹ (<hirendition="#i">a</hi><hirendition="#sub">11</hi> + <hirendition="#i">a</hi><hirendition="#sub">21</hi> + <hirendition="#i">a</hi><hirendition="#sub">31</hi>‥) (<hirendition="#i">a</hi><hirendition="#sub">12</hi> + <hirendition="#i">a</hi><hirendition="#sub">22</hi> + <hirendition="#i">a</hi><hirendition="#sub">32</hi>‥) (<hirendition="#i">a</hi><hirendition="#sub">13</hi> + <hirendition="#i">a</hi><hirendition="#sub">23</hi> + <hirendition="#i">a</hi><hirendition="#sub">33</hi>‥)(<hirendition="#i">a</hi><hirendition="#sub">14</hi> + <hirendition="#i">a</hi><hirendition="#sub">24</hi> + <hirendition="#i">a</hi><hirendition="#sub">34</hi>‥) …<lb/>
und versteht sich nach Th. 6<hirendition="#sub">+</hi>) des Bd. 1 daraus von selbst: weil die<lb/>
Glieder des Subjektes links <hirendition="#i">sämtlich</hi> unter denen der ausmultiplizirten<lb/>
Summen rechterhand im Prädikate vorkommen werden, und zwar als<lb/>
die Partialprodukte <hirendition="#i">aus deren gleichstelligen</hi> Gliedern — allerdings aber<lb/>
neben noch sehr viel anderweiten Gliedern, weshalb im Allgemeinen<lb/>
Unterordnung und nicht Gleichheit stattfinden wird.</p><lb/><p>Noch etwas einfacher, vielleicht, kann man den Satz so darstellen:<lb/><hirendition="#c"><hirendition="#i">aa</hi>'<hirendition="#i">a</hi>'' ‥ + <hirendition="#i">bb</hi>'<hirendition="#i">b</hi>'' ‥ + …⋹ (<hirendition="#i">a</hi> + <hirendition="#i">b</hi> + …)(<hirendition="#i">a</hi>' + <hirendition="#i">b</hi>' + …)(<hirendition="#i">a</hi>'' + <hirendition="#i">b</hi>'' + …) ‥</hi></p><lb/><p>Derselbe mit  statt ⋹ würde auch für positive Zahlen bezüglich<lb/>
arithmetischer Produkte und Summen gelten.</p><lb/><p>Man merkt sich den Satz am besten durch den <hirendition="#i">Kontrast</hi>: während für<lb/>
sich <hirendition="#i">Π</hi>⋹<hirendition="#i">Σ</hi> ist, gilt sozusagen verkehrt: <hirendition="#i">ΣΠ</hi>⋹<hirendition="#i">ΠΣ</hi>. —</p><lb/><p>Zwei besonders wichtige Fälle verdienen aber noch Hervorhebung,<lb/>
in welchen die Subsumtionen in unserm Satze in <hirendition="#i">Gleichungen</hi> über-<lb/>
gehen, und auf deren einen schon <hirendition="#g">Peirce</hi> aufmerksam gemacht. Es<lb/>
sind das die Fälle, in welchen der allgemeine Term <hirendition="#i">a<hirendition="#sub">h k</hi></hi> (additiv oder<lb/>
multiplikativ) <hirendition="#i">zerfällt</hi> in zwei Terme, welche die Indizes <hirendition="#i">h</hi> und <hirendition="#i">k</hi> ein-<lb/>
zeln — somit <hirendition="#i">getrennt</hi>, voneinander isolirt — tragen; die Fälle<lb/><hirendition="#c"><hirendition="#i">a<hirendition="#sub">h k</hi></hi> = <hirendition="#i">a<hirendition="#sub">h</hi>b<hirendition="#sub">k</hi></hi> und <hirendition="#i">a<hirendition="#sub">h k</hi></hi> = <hirendition="#i">a<hirendition="#sub">h</hi></hi> + <hirendition="#i">b<hirendition="#sub">k</hi></hi>.</hi></p><lb/><p>Hier gelten die Sätze:<lb/>
3) <hirendition="#et"><formula/></hi><lb/>
das ist ausführlich hingeschrieben:<lb/><hirendition="#et"><hirendition="#i">a</hi><hirendition="#sub">1</hi><hirendition="#i">b</hi><hirendition="#sub">1</hi><hirendition="#i">a</hi><hirendition="#sub">1</hi><hirendition="#i">b</hi><hirendition="#sub">2</hi><hirendition="#i">a</hi><hirendition="#sub">1</hi><hirendition="#i">b</hi><hirendition="#sub">3</hi>‥ + <hirendition="#i">a</hi><hirendition="#sub">2</hi><hirendition="#i">b</hi><hirendition="#sub">1</hi><hirendition="#i">a</hi><hirendition="#sub">2</hi><hirendition="#i">b</hi><hirendition="#sub">2</hi><hirendition="#i">a</hi><hirendition="#sub">2</hi><hirendition="#i">b</hi><hirendition="#sub">3</hi>‥ + … =<lb/>
= (<hirendition="#i">a</hi><hirendition="#sub">1</hi><hirendition="#i">b</hi><hirendition="#sub">1</hi> + <hirendition="#i">a</hi><hirendition="#sub">2</hi><hirendition="#i">b</hi><hirendition="#sub">1</hi> + <hirendition="#i">a</hi><hirendition="#sub">3</hi><hirendition="#i">b</hi><hirendition="#sub">1</hi> + …)(<hirendition="#i">a</hi><hirendition="#sub">1</hi><hirendition="#i">b</hi><hirendition="#sub">2</hi> + <hirendition="#i">a</hi><hirendition="#sub">2</hi><hirendition="#i">b</hi><hirendition="#sub">2</hi> + <hirendition="#i">a</hi><hirendition="#sub">3</hi><hirendition="#i">b</hi><hirendition="#sub">2</hi> + …) ‥ =<lb/>
= (<hirendition="#i">a</hi><hirendition="#sub">1</hi> + <hirendition="#i">a</hi><hirendition="#sub">2</hi> + …)<hirendition="#i">b</hi><hirendition="#sub">1</hi><hirendition="#i">b</hi><hirendition="#sub">2</hi><hirendition="#i">b</hi><hirendition="#sub">3</hi>…,</hi><lb/><fwplace="bottom"type="sig"><hirendition="#k">Schröder</hi>, Algebra der Relative. 8</fw><lb/></p></div></div></body></text></TEI>
[113/0127]
§ 7. Zu den Hülfsschemata des Aussagenkalkuls.
vertauscht, nachdem man den Namen ah k durch den ak h ersetzt hatte.
(Peirce8 p. 197.)
Es genügt demnach, die erste von diesen Formeln zu beweisen.
(Dieselbe gilt schon im identischen Kalkul, was auch immer für
Klassen die Symbole ah k vorstellen mögen.)
Interpretirt man beide Seiten dieser Subsumtion, so stellt sich
dieselbe dar als:
a11a12a13a14 ‥ + a21a22a23a24 ‥ + a31a32a33a34 ‥ + … ⋹
⋹ (a11 + a21 + a31 ‥) (a12 + a22 + a32 ‥) (a13 + a23 + a33 ‥)(a14 + a24 + a34 ‥) …
und versteht sich nach Th. 6+) des Bd. 1 daraus von selbst: weil die
Glieder des Subjektes links sämtlich unter denen der ausmultiplizirten
Summen rechterhand im Prädikate vorkommen werden, und zwar als
die Partialprodukte aus deren gleichstelligen Gliedern — allerdings aber
neben noch sehr viel anderweiten Gliedern, weshalb im Allgemeinen
Unterordnung und nicht Gleichheit stattfinden wird.
Noch etwas einfacher, vielleicht, kann man den Satz so darstellen:
aa'a'' ‥ + bb'b'' ‥ + … ⋹ (a + b + …)(a' + b' + …)(a'' + b'' + …) ‥
Derselbe mit  statt ⋹ würde auch für positive Zahlen bezüglich
arithmetischer Produkte und Summen gelten.
Man merkt sich den Satz am besten durch den Kontrast: während für
sich Π ⋹ Σ ist, gilt sozusagen verkehrt: ΣΠ ⋹ ΠΣ. —
Zwei besonders wichtige Fälle verdienen aber noch Hervorhebung,
in welchen die Subsumtionen in unserm Satze in Gleichungen über-
gehen, und auf deren einen schon Peirce aufmerksam gemacht. Es
sind das die Fälle, in welchen der allgemeine Term ah k (additiv oder
multiplikativ) zerfällt in zwei Terme, welche die Indizes h und k ein-
zeln — somit getrennt, voneinander isolirt — tragen; die Fälle
ah k = ahbk und ah k = ah + bk.
Hier gelten die Sätze:
3) [FORMEL]
das ist ausführlich hingeschrieben:
a1b1a1b2a1b3 ‥ + a2b1a2b2a2b3 ‥ + … =
= (a1b1 + a2b1 + a3b1 + …)(a1b2 + a2b2 + a3b2 + …) ‥ =
= (a1 + a2 + …)b1b2b3 …,
Schröder, Algebra der Relative. 8
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. 113. In: Deutsches Textarchiv <https://www.deutschestextarchiv.de/schroeder_logik03_1895/127>, abgerufen am 16.06.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/.