Schröder, Ernst: Vorlesungen über die Algebra der Logik. Bd. 2, Abt. 1. Leipzig, 1891.Dreiundzwanzigste Vorlesung. lich zu u geschlagen werden, u sein; dasselbe ist dann auch mitder Summe aller singulären rk, und da in dieser die Summe der übrigen laut Annahme schon enthalten ist mit der Summe aller rk der Fall. Nun haben wir r u, und wegen r = s1 auch s1 u oder s1 u1 = 0; unmöglich bleibt es hienach zu bewirken, dass s1 u1 0 werde, q. e. d. Dass sie hinreicht, beweise ich so. Sind eventuell einzelne rk Indi- Da jedoch nach der Annahme die übrigen rk nicht alle eingeordnet Diejenigen Klassen rk, für welche die Forderung rku 0 dann Beispielsweise würde so die "Konjunktur" oder spezielle Zusammen- Das hier bethätigte Verfahren des einmaligen Unterstreichens von Dreiundzwanzigste Vorlesung. lich zu u geschlagen werden, ⊆ u sein; dasselbe ist dann auch mitder Summe aller singulären rϰ, und da in dieser die Summe der übrigen laut Annahme schon enthalten ist mit der Summe aller rϰ der Fall. Nun haben wir r ⊆ u, und wegen r = s1 auch s1 ⊆ u oder s1 u1 = 0; unmöglich bleibt es hienach zu bewirken, dass s1 u1 ≠ 0 werde, q. e. d. Dass sie hinreicht, beweise ich so. Sind eventuell einzelne rϰ Indi- Da jedoch nach der Annahme die übrigen rϰ nicht alle eingeordnet Diejenigen Klassen rϰ, für welche die Forderung rϰu ≠ 0 dann Beispielsweise würde so die „Konjunktur“ oder spezielle Zusammen- Das hier bethätigte Verfahren des einmaligen Unterstreichens von <TEI> <text> <body> <div n="1"> <div n="2"> <div n="3"> <p><pb facs="#f0418" n="394"/><fw place="top" type="header">Dreiundzwanzigste Vorlesung.</fw><lb/> lich zu <hi rendition="#i">u</hi> geschlagen werden, <choice><orig></orig><reg>⊆</reg></choice> <hi rendition="#i">u</hi> sein; dasselbe ist dann auch mit<lb/> der Summe aller singulären <hi rendition="#i">r<hi rendition="#sup">ϰ</hi></hi>, und da in dieser die Summe der<lb/> übrigen laut Annahme schon enthalten ist mit der Summe aller <hi rendition="#i">r<hi rendition="#sup">ϰ</hi></hi><lb/> der Fall. Nun haben wir <hi rendition="#i">r</hi> <choice><orig></orig><reg>⊆</reg></choice> <hi rendition="#i">u</hi>, und wegen <hi rendition="#i">r</hi> = <hi rendition="#i">s</hi><hi rendition="#sup">1</hi> auch <hi rendition="#i">s</hi><hi rendition="#sup">1</hi> <choice><orig></orig><reg>⊆</reg></choice> <hi rendition="#i">u</hi> oder<lb/><hi rendition="#i">s</hi><hi rendition="#sup">1</hi> <hi rendition="#i">u</hi><hi rendition="#sub">1</hi> = 0; unmöglich bleibt es hienach zu bewirken, dass <hi rendition="#i">s</hi><hi rendition="#sup">1</hi> <hi rendition="#i">u</hi><hi rendition="#sub">1</hi> ≠ 0<lb/> werde, q. e. d.</p><lb/> <p>Dass sie <hi rendition="#i">hinreicht</hi>, beweise ich so. Sind eventuell einzelne <hi rendition="#i">r<hi rendition="#sup">ϰ</hi></hi> Indi-<lb/> viduen, so bilde man deren Summe und schlage sie zu <hi rendition="#i">u</hi> (eventuell<lb/> ist sie 0). Für jede Klasse <hi rendition="#i">r<hi rendition="#sup">ϰ</hi></hi> (eventuell keine), welche mit dieser<lb/> Summe wertgemein ist, ein Individuum gemein hat, ist dann sicher<lb/> die Forderung <hi rendition="#i">r<hi rendition="#sup">ϰ</hi> u</hi> ≠ 0 erfüllt.</p><lb/> <p>Da jedoch nach der Annahme die übrigen <hi rendition="#i">r<hi rendition="#sup">ϰ</hi></hi> nicht alle eingeordnet<lb/> jener Summe sein können (weil sonst auch deren Summe es sein<lb/> müsste) so greift mindestens eines dieser <hi rendition="#i">r<hi rendition="#sup">ϰ</hi></hi> über jene Summe hinaus<lb/> (liegt eventuell ganz ausserhalb derselben). Dann braucht man nur<lb/><hi rendition="#i">ein</hi> Individuum aus dem hinausgreifenden Teil (resp. dem ganz ausser-<lb/> halb liegenden <hi rendition="#i">r<hi rendition="#sup">ϰ</hi></hi>) zu <hi rendition="#i">u</hi><hi rendition="#sub">1</hi> zu schlagen, um für <hi rendition="#i">s</hi><hi rendition="#sup">1</hi> die Forderung <hi rendition="#i">s</hi><hi rendition="#sup">1</hi> <hi rendition="#i">u</hi><hi rendition="#sub">1</hi> ≠ 0<lb/> erfüllt zu haben.</p><lb/> <p>Diejenigen Klassen <hi rendition="#i">r<hi rendition="#sup">ϰ</hi></hi>, für welche die Forderung <hi rendition="#i">r<hi rendition="#sup">ϰ</hi>u</hi> ≠ 0 dann<lb/> noch zu erfüllen bleibt, liegen durchweg ganz ausserhalb jener Summe<lb/> der singulären Klassen <hi rendition="#i">r<hi rendition="#sup">ϰ</hi></hi>, und da sie ihrerseits nicht singulär sind,<lb/> enthält eine jede derselben mindestens zwei Individuen, sonach ausser<lb/> dem bereits zu <hi rendition="#i">u</hi><hi rendition="#sub">1</hi> geschlagenen Individuum (wenn sie dieses überhaupt<lb/> enthielt) noch mindestens ein neues Individuum (eventuell als ein ihrer<lb/> mehrern oder sämtlichen gemeinsames), und man braucht nun blos<lb/> das letztere je noch zu <hi rendition="#i">u</hi> zu schlagen um alle Forderungen durchweg<lb/> erfüllt zu haben, q. e. d.</p><lb/> <p>Beispielsweise würde so die <hi rendition="#i">„Konjunktur“</hi> oder spezielle Zusammen-<lb/> setzungsweise der (‚Individuenverteilung auf die) Klassen der <hi rendition="#i">r</hi>-Reihe:<lb/><hi rendition="#c"><hi rendition="#i">r</hi><hi rendition="#sup">1</hi> = <hi rendition="#i">i</hi><hi rendition="#sup">1</hi>, <hi rendition="#i">r</hi><hi rendition="#sup">2</hi> = <hi rendition="#i">i</hi><hi rendition="#sup">2</hi>, <hi rendition="#i">r</hi><hi rendition="#sup">3</hi> = <hi rendition="#i">i</hi><hi rendition="#sup">3</hi>, <hi rendition="#i">r</hi><hi rendition="#sup">4</hi> = <hi rendition="#i">i</hi><hi rendition="#sup">1</hi> + <hi rendition="#i">i</hi><hi rendition="#sup">2</hi>, <hi rendition="#i">r</hi><hi rendition="#sup">5</hi> = <hi rendition="#i">i</hi><hi rendition="#sup">1</hi> + <hi rendition="#i">i</hi><hi rendition="#sup">3</hi> | <hi rendition="#i">s</hi><hi rendition="#sup">1</hi> = <hi rendition="#i">i</hi><hi rendition="#sup">1</hi> + <hi rendition="#i">i</hi><hi rendition="#sup">2</hi> + <hi rendition="#i">i</hi><hi rendition="#sup">3</hi></hi><lb/> — desgleichen mit <hi rendition="#i">r</hi><hi rendition="#sup">5</hi> = <hi rendition="#i">i</hi><hi rendition="#sup">1</hi> + <hi rendition="#i">i</hi><hi rendition="#sup">2</hi> + <hi rendition="#i">i</hi><hi rendition="#sup">3</hi>, etc. (bei <hi rendition="#i">h</hi> = 5, <hi rendition="#i">k</hi> = 1) <hi rendition="#i">unzulässig</hi> sein.<lb/> Dagegen die Konjunktur:<lb/><hi rendition="#i">r</hi><hi rendition="#sup">1</hi> = <hi rendition="#i">i̱</hi><hi rendition="#sup">1</hi>, <hi rendition="#i">r</hi><hi rendition="#sup">2</hi> = <hi rendition="#i">i̱</hi><hi rendition="#sup">2</hi>, <hi rendition="#i">r</hi><hi rendition="#sup">3</hi> = <hi rendition="#i">i̱</hi><hi rendition="#sup">1</hi> + <hi rendition="#i">i̱</hi><hi rendition="#sup">2</hi>, <hi rendition="#i">r</hi><hi rendition="#sup">4</hi> = <hi rendition="#i">i̱</hi><hi rendition="#sup">1</hi> + <hi rendition="#i">i̱̱</hi><hi rendition="#sup">3</hi>, <hi rendition="#i">r</hi><hi rendition="#sup">5</hi> = <hi rendition="#i">i̱</hi><hi rendition="#sup">2</hi> + <hi rendition="#i">i̱̱</hi><hi rendition="#sup">3</hi> | <hi rendition="#i">s</hi><hi rendition="#sup">1</hi> = <hi rendition="#i">i̱</hi><hi rendition="#sup">1</hi> + <hi rendition="#i">i̱</hi><hi rendition="#sup">2</hi> +<hi rendition="#i">i̱̱</hi><hi rendition="#sup">3</hi><lb/> würde zulässig sein, und wären blos die einmal unterstrichenen Individuen<lb/> zu <hi rendition="#i">u</hi>, das zweimal unterstrichene zu <hi rendition="#i">u</hi><hi rendition="#sub">1</hi> zu schlagen.</p><lb/> <p>Das hier bethätigte Verfahren des einmaligen Unterstreichens von<lb/> jedem notwendig zu <hi rendition="#i">u</hi> und des zweimaligen von jedem ersichtlich zu <hi rendition="#i">u</hi><hi rendition="#sub">1</hi> zu<lb/> schlagenden Individuum empfiehlt sich sehr, wenn man eine vorgelegte Kon-<lb/> junktur schnellstens auf ihre Zulässigkeit prüfen will. Die Fälle wo ein<lb/> zwingender Grund vorliegt, sich für das eine oder andere zu entscheiden<lb/></p> </div> </div> </div> </body> </text> </TEI> [394/0418]
Dreiundzwanzigste Vorlesung.
lich zu u geschlagen werden,  u sein; dasselbe ist dann auch mit
der Summe aller singulären rϰ, und da in dieser die Summe der
übrigen laut Annahme schon enthalten ist mit der Summe aller rϰ
der Fall. Nun haben wir r  u, und wegen r = s1 auch s1  u oder
s1 u1 = 0; unmöglich bleibt es hienach zu bewirken, dass s1 u1 ≠ 0
werde, q. e. d.
Dass sie hinreicht, beweise ich so. Sind eventuell einzelne rϰ Indi-
viduen, so bilde man deren Summe und schlage sie zu u (eventuell
ist sie 0). Für jede Klasse rϰ (eventuell keine), welche mit dieser
Summe wertgemein ist, ein Individuum gemein hat, ist dann sicher
die Forderung rϰ u ≠ 0 erfüllt.
Da jedoch nach der Annahme die übrigen rϰ nicht alle eingeordnet
jener Summe sein können (weil sonst auch deren Summe es sein
müsste) so greift mindestens eines dieser rϰ über jene Summe hinaus
(liegt eventuell ganz ausserhalb derselben). Dann braucht man nur
ein Individuum aus dem hinausgreifenden Teil (resp. dem ganz ausser-
halb liegenden rϰ) zu u1 zu schlagen, um für s1 die Forderung s1 u1 ≠ 0
erfüllt zu haben.
Diejenigen Klassen rϰ, für welche die Forderung rϰu ≠ 0 dann
noch zu erfüllen bleibt, liegen durchweg ganz ausserhalb jener Summe
der singulären Klassen rϰ, und da sie ihrerseits nicht singulär sind,
enthält eine jede derselben mindestens zwei Individuen, sonach ausser
dem bereits zu u1 geschlagenen Individuum (wenn sie dieses überhaupt
enthielt) noch mindestens ein neues Individuum (eventuell als ein ihrer
mehrern oder sämtlichen gemeinsames), und man braucht nun blos
das letztere je noch zu u zu schlagen um alle Forderungen durchweg
erfüllt zu haben, q. e. d.
Beispielsweise würde so die „Konjunktur“ oder spezielle Zusammen-
setzungsweise der (‚Individuenverteilung auf die) Klassen der r-Reihe:
r1 = i1, r2 = i2, r3 = i3, r4 = i1 + i2, r5 = i1 + i3 | s1 = i1 + i2 + i3
— desgleichen mit r5 = i1 + i2 + i3, etc. (bei h = 5, k = 1) unzulässig sein.
Dagegen die Konjunktur:
r1 = i̱1, r2 = i̱2, r3 = i̱1 + i̱2, r4 = i̱1 + i̱̱3, r5 = i̱2 + i̱̱3 | s1 = i̱1 + i̱2 +i̱̱3
würde zulässig sein, und wären blos die einmal unterstrichenen Individuen
zu u, das zweimal unterstrichene zu u1 zu schlagen.
Das hier bethätigte Verfahren des einmaligen Unterstreichens von
jedem notwendig zu u und des zweimaligen von jedem ersichtlich zu u1 zu
schlagenden Individuum empfiehlt sich sehr, wenn man eine vorgelegte Kon-
junktur schnellstens auf ihre Zulässigkeit prüfen will. Die Fälle wo ein
zwingender Grund vorliegt, sich für das eine oder andere zu entscheiden
Suche im WerkInformationen zum Werk
Download dieses Werks
XML (TEI P5) ·
HTML ·
Text Metadaten zum WerkTEI-Header · CMDI · Dublin Core Ansichten dieser Seite
Voyant Tools
|
URL zu diesem Werk: | https://www.deutschestextarchiv.de/schroeder_logik0201_1891 |
URL zu dieser Seite: | https://www.deutschestextarchiv.de/schroeder_logik0201_1891/418 |
Zitationshilfe: | Schröder, Ernst: Vorlesungen über die Algebra der Logik. Bd. 2, Abt. 1. Leipzig, 1891, S. 394. In: Deutsches Textarchiv <https://www.deutschestextarchiv.de/schroeder_logik0201_1891/418>, abgerufen am 17.08.2024. |