Anmelden (DTAQ) DWDS     dlexDB     CLARIN-D

Schröder, Ernst: Vorlesungen über die Algebra der Logik. Bd. 3, Abt. 1. Leipzig, 1895.

Bild:
<< vorherige Seite
Zwölfte Vorlesung.

Die weitestgehende, alle andern mit umfassende Bedingung wird:
[Formel 1]

Da hienach schon gewisse drei von den sechs Bedingungen ph), vor-
oder rückwärts angesetzt, alle übrigen nach sich ziehen, so wird die Zahl
ihrer Kombinationen zu mehrern gar nicht mehr so erheblich werden. Die
sechs letzten Kombinationen ph3) zu zweien sind als eine dritte Bedingung
involvirend zugleich auch Kombinationen derselben zu dreien, z. B.
(1 2 3) = (1 2)(1 3)(2 3) = (1 + 2 3)(1 2) = (1 2 · 3)(2 3).
Und unschwer überzeugt man sich, dass zu den bisherigen 6 + 15 + 1 Kom-
binationen ph), ph3), ph6) als neue nur noch die 6 hinzutreten:
ph7) [Formel 2]
bei deren Ausrechnung blos in Betracht kam, dass (an j 1') · a ; 1 = (an j 1')a, etc.
-- vergl. 15), S. 210.

Die Gesamtzahl dieser Kombinationen (ungerechnet die eine zur nullten
Klasse) beträgt hienach 28.

Diese nunmehr noch mit den dreien ph5) und letztre unter sich zu kom-
biniren überlassen wir dem Leser. --

Formuliren wir auch: dass das a-Bild von i enthalten sei im a-Bild von j,
so werden wir bekommen:
kh) (a ; i a ; j) = 0 j (an ; i + a ; j) = (an j a)i j = i ; (an j a) ; j.
Denn L = Ph k(Slah lil k Slah ljl k) = Ph(Slah l1'i l Slah l1'j l) =
= Ph(ah i ah j) = Ph(anh i + ah j) = (an j a)i j.

Man kann aber auch überlegen:
L = (1 an j in + a ; j = an ; i + a ; j) = 0 j (an ; i + a ; j)
nach u) in Anbetracht dass die Summe in der letzten Klammer System ist
und deshalb das j 0 hinter ihr unterdrückt werden konnte. Auch dies gibt
nun in der That nach 10) S. 414: L = i ; an j a ; j, was = i ; (an j a) ; j nach
27) S. 419 ist, q. e. d.

Demnach ist nun auch der Ausdruck für die Gleichheit der a-Bilder
von zwei Elementen
dieser:
ps) (a ; i = a ; j) = 0 j (a ; i · a ; j + an ; i · an ; j) = {(an j a)(a j an)}i j = i ; (an j a)(a j an) ; j,
wobei zu beachten war, dass nach 26) S. 419: a ; i · an ; i = aan ; i = 0 ist,
und dass nach dem gleichen Satze das Relativ j ; (an j a) ; i, zu i ; (a j an) ; j
konvertirt, mit dem obigen kh) vereinigt werden kann zu dem letzten ps).


Zwölfte Vorlesung.

Die weitestgehende, alle andern mit umfassende Bedingung wird:
[Formel 1]

Da hienach schon gewisse drei von den sechs Bedingungen φ), vor-
oder rückwärts angesetzt, alle übrigen nach sich ziehen, so wird die Zahl
ihrer Kombinationen zu mehrern gar nicht mehr so erheblich werden. Die
sechs letzten Kombinationen φ3) zu zweien sind als eine dritte Bedingung
involvirend zugleich auch Kombinationen derselben zu dreien, z. B.
(1 ⋹ 2 ⋹ 3) = (1 ⋹ 2)(1 ⋹ 3)(2 ⋹ 3) = (1 + 2 ⋹ 3)(1 ⋹ 2) = (1 ⋹ 2 · 3)(2 ⋹ 3).
Und unschwer überzeugt man sich, dass zu den bisherigen 6 + 15 + 1 Kom-
binationen φ), φ3), φ6) als neue nur noch die 6 hinzutreten:
φ7) [Formel 2]
bei deren Ausrechnung blos in Betracht kam, dass ( ɟ 1') · a ; 1 = ( ɟ 1')a, etc.
— vergl. 15), S. 210.

Die Gesamtzahl dieser Kombinationen (ungerechnet die eine zur nullten
Klasse) beträgt hienach 28.

Diese nunmehr noch mit den dreien φ5) und letztre unter sich zu kom-
biniren überlassen wir dem Leser. —

Formuliren wir auch: dass das a-Bild von i enthalten sei im a-Bild von j,
so werden wir bekommen:
χ) (a ; ia ; j) = 0 ɟ ( ; i + a ; j) = (ā̆ ɟ a)i j = ; (ā̆ ɟ a) ; j.
Denn L = Πh k(Σlah lil kΣlah ljl k) = Πh(Σlah l1'i lΣlah l1'j l) =
= Πh(ah iah j) = Πh(h i + ah j) = (ā̆ ɟ a)i j.

Man kann aber auch überlegen:
L = (1 ⋹ ɟ + a ; j = ; i + a ; j) = 0 ɟ ( ; i + a ; j)
nach υ) in Anbetracht dass die Summe in der letzten Klammer System ist
und deshalb das ɟ 0 hinter ihr unterdrückt werden konnte. Auch dies gibt
nun in der That nach 10) S. 414: L = ; ā̆ ɟ a ; j, was = ; (ā̆ ɟ a) ; j nach
27) S. 419 ist, q. e. d.

Demnach ist nun auch der Ausdruck für die Gleichheit der a-Bilder
von zwei Elementen
dieser:
ψ) (a ; i = a ; j) = 0 ɟ (a ; i · a ; j + ; i · ; j) = {(ā̆ ɟ a)( ɟ )}i j = ; (ā̆ ɟ a)( ɟ ) ; j,
wobei zu beachten war, dass nach 26) S. 419: a ; i · ; i = aā ; i = 0 ist,
und dass nach dem gleichen Satze das Relativ ; (ā̆ ɟ a) ; i, zu ; ( ɟ ) ; j
konvertirt, mit dem obigen χ) vereinigt werden kann zu dem letzten ψ).


<TEI>
  <text>
    <body>
      <div n="1">
        <div n="2">
          <pb facs="#f0574" n="560"/>
          <fw place="top" type="header">Zwölfte Vorlesung.</fw><lb/>
          <p>Die weitestgehende, alle andern mit umfassende Bedingung wird:<lb/><formula/><lb/></p><lb/>
          <p>Da hienach schon gewisse drei von den sechs Bedingungen <hi rendition="#i">&#x03C6;</hi>), vor-<lb/>
oder rückwärts angesetzt, alle übrigen nach sich ziehen, so wird die Zahl<lb/>
ihrer Kombinationen zu mehrern gar nicht mehr so erheblich werden. Die<lb/>
sechs letzten Kombinationen <hi rendition="#i">&#x03C6;</hi><hi rendition="#sub">3</hi>) zu zweien sind als eine dritte Bedingung<lb/>
involvirend zugleich auch Kombinationen derselben zu dreien, z. B.<lb/>
(1 &#x22F9; 2 &#x22F9; 3) = (1 &#x22F9; 2)(1 &#x22F9; 3)(2 &#x22F9; 3) = (1 + 2 &#x22F9; 3)(1 &#x22F9; 2) = (1 &#x22F9; 2 · 3)(2 &#x22F9; 3).<lb/>
Und unschwer überzeugt man sich, dass zu den bisherigen 6 + 15 + 1 Kom-<lb/>
binationen <hi rendition="#i">&#x03C6;</hi>), <hi rendition="#i">&#x03C6;</hi><hi rendition="#sub">3</hi>), <hi rendition="#i">&#x03C6;</hi><hi rendition="#sub">6</hi>) als neue nur noch die 6 hinzutreten:<lb/><hi rendition="#i">&#x03C6;</hi><hi rendition="#sub">7</hi>) <formula/><lb/>
bei deren Ausrechnung blos in Betracht kam, dass (<hi rendition="#i">a&#x0304;</hi> &#x025F; 1') · <hi rendition="#i">a</hi> ; 1 = (<hi rendition="#i">a&#x0304;</hi> &#x025F; 1')<hi rendition="#i">a</hi>, etc.<lb/>
&#x2014; vergl. 15), S. 210.</p><lb/>
          <p>Die Gesamtzahl dieser Kombinationen (ungerechnet die eine zur nullten<lb/>
Klasse) beträgt hienach 28.</p><lb/>
          <p>Diese nunmehr noch mit den dreien <hi rendition="#i">&#x03C6;</hi><hi rendition="#sub">5</hi>) und letztre unter sich zu kom-<lb/>
biniren überlassen wir dem Leser. &#x2014;</p><lb/>
          <p>Formuliren wir auch: dass <hi rendition="#i">das a-Bild von i enthalten</hi> sei <hi rendition="#i">im a-Bild von j</hi>,<lb/>
so werden wir bekommen:<lb/><hi rendition="#i">&#x03C7;</hi>) <hi rendition="#et">(<hi rendition="#i">a</hi> ; <hi rendition="#i">i</hi> &#x22F9; <hi rendition="#i">a</hi> ; <hi rendition="#i">j</hi>) = 0 &#x025F; (<hi rendition="#i">a&#x0304;</hi> ; <hi rendition="#i">i</hi> + <hi rendition="#i">a</hi> ; <hi rendition="#i">j</hi>) = (<hi rendition="#i">a&#x0304;&#x0306;</hi> &#x025F; <hi rendition="#i">a</hi>)<hi rendition="#i"><hi rendition="#sub">i j</hi></hi> = <hi rendition="#i">i&#x0306;</hi> ; (<hi rendition="#i">a&#x0304;&#x0306;</hi> &#x025F; <hi rendition="#i">a</hi>) ; <hi rendition="#i">j</hi>.</hi><lb/>
Denn <hi rendition="#et"><hi rendition="#i">L</hi> = <hi rendition="#i">&#x03A0;<hi rendition="#sub">h k</hi></hi>(<hi rendition="#i">&#x03A3;<hi rendition="#sub">l</hi>a<hi rendition="#sub">h l</hi>i<hi rendition="#sub">l k</hi></hi> &#x22F9; <hi rendition="#i">&#x03A3;<hi rendition="#sub">l</hi>a<hi rendition="#sub">h l</hi>j<hi rendition="#sub">l k</hi></hi>) = <hi rendition="#i">&#x03A0;<hi rendition="#sub">h</hi></hi>(<hi rendition="#i">&#x03A3;<hi rendition="#sub">l</hi>a<hi rendition="#sub">h l</hi></hi>1'<hi rendition="#i"><hi rendition="#sub">i l</hi></hi> &#x22F9; <hi rendition="#i">&#x03A3;<hi rendition="#sub">l</hi>a<hi rendition="#sub">h l</hi></hi>1'<hi rendition="#i"><hi rendition="#sub">j l</hi></hi>) =<lb/>
= <hi rendition="#i">&#x03A0;<hi rendition="#sub">h</hi></hi>(<hi rendition="#i">a<hi rendition="#sub">h i</hi></hi> &#x22F9; <hi rendition="#i">a<hi rendition="#sub">h j</hi></hi>) = <hi rendition="#i">&#x03A0;<hi rendition="#sub">h</hi></hi>(<hi rendition="#i">a&#x0304;<hi rendition="#sub">h i</hi></hi> + <hi rendition="#i">a<hi rendition="#sub">h j</hi></hi>) = (<hi rendition="#i">a&#x0304;&#x0306;</hi> &#x025F; <hi rendition="#i">a</hi>)<hi rendition="#i"><hi rendition="#sub">i j</hi></hi>.</hi><lb/>
Man kann aber auch überlegen:<lb/><hi rendition="#c"><hi rendition="#i">L</hi> = (1 &#x22F9; <hi rendition="#i">a&#x0304;</hi> &#x025F; <hi rendition="#i">i&#x0304;</hi> + <hi rendition="#i">a</hi> ; <hi rendition="#i">j</hi> = <hi rendition="#i">a&#x0304;</hi> ; <hi rendition="#i">i</hi> + <hi rendition="#i">a</hi> ; <hi rendition="#i">j</hi>) = 0 &#x025F; (<hi rendition="#i">a&#x0304;</hi> ; <hi rendition="#i">i</hi> + <hi rendition="#i">a</hi> ; <hi rendition="#i">j</hi>)</hi><lb/>
nach <hi rendition="#i">&#x03C5;</hi>) in Anbetracht dass die Summe in der letzten Klammer System ist<lb/>
und deshalb das &#x025F; 0 hinter ihr unterdrückt werden konnte. Auch dies gibt<lb/>
nun in der That nach 10) S. 414: <hi rendition="#i">L</hi> = <hi rendition="#i">i&#x0306;</hi> ; <hi rendition="#i">a&#x0304;&#x0306;</hi> &#x025F; <hi rendition="#i">a</hi> ; <hi rendition="#i">j</hi>, was = <hi rendition="#i">i&#x0306;</hi> ; (<hi rendition="#i">a&#x0304;&#x0306;</hi> &#x025F; <hi rendition="#i">a</hi>) ; <hi rendition="#i">j</hi> nach<lb/>
27) S. 419 ist, q. e. d.</p><lb/>
          <p>Demnach ist nun auch der Ausdruck für die <hi rendition="#i">Gleichheit der a-Bilder<lb/>
von zwei Elementen</hi> dieser:<lb/><hi rendition="#i">&#x03C8;</hi>) (<hi rendition="#i">a</hi> ; <hi rendition="#i">i</hi> = <hi rendition="#i">a</hi> ; <hi rendition="#i">j</hi>) = 0 &#x025F; (<hi rendition="#i">a</hi> ; <hi rendition="#i">i</hi> · <hi rendition="#i">a</hi> ; <hi rendition="#i">j</hi> + <hi rendition="#i">a&#x0304;</hi> ; <hi rendition="#i">i</hi> · <hi rendition="#i">a&#x0304;</hi> ; <hi rendition="#i">j</hi>) = {(<hi rendition="#i">a&#x0304;&#x0306;</hi> &#x025F; <hi rendition="#i">a</hi>)(<hi rendition="#i">a&#x0306;</hi> &#x025F; <hi rendition="#i">a&#x0304;</hi>)}<hi rendition="#i"><hi rendition="#sub">i j</hi></hi> = <hi rendition="#i">i&#x0306;</hi> ; (<hi rendition="#i">a&#x0304;&#x0306;</hi> &#x025F; <hi rendition="#i">a</hi>)(<hi rendition="#i">a&#x0306;</hi> &#x025F; <hi rendition="#i">a&#x0304;</hi>) ; <hi rendition="#i">j</hi>,<lb/>
wobei zu beachten war, dass nach 26) S. 419: <hi rendition="#i">a</hi> ; <hi rendition="#i">i</hi> · <hi rendition="#i">a&#x0304;</hi> ; <hi rendition="#i">i</hi> = <hi rendition="#i">aa&#x0304;</hi> ; <hi rendition="#i">i</hi> = 0 ist,<lb/>
und dass nach dem gleichen Satze das Relativ <hi rendition="#i">j&#x0306;</hi> ; (<hi rendition="#i">a&#x0304;&#x0306;</hi> &#x025F; <hi rendition="#i">a</hi>) ; <hi rendition="#i">i</hi>, zu <hi rendition="#i">i&#x0306;</hi> ; (<hi rendition="#i">a&#x0306;</hi> &#x025F; <hi rendition="#i">a&#x0304;</hi>) ; <hi rendition="#i">j</hi><lb/>
konvertirt, mit dem obigen <hi rendition="#i">&#x03C7;</hi>) vereinigt werden kann zu dem letzten <hi rendition="#i">&#x03C8;</hi>).</p><lb/>
        </div>
      </div>
    </body>
  </text>
</TEI>
[560/0574] Zwölfte Vorlesung. Die weitestgehende, alle andern mit umfassende Bedingung wird: [FORMEL] Da hienach schon gewisse drei von den sechs Bedingungen φ), vor- oder rückwärts angesetzt, alle übrigen nach sich ziehen, so wird die Zahl ihrer Kombinationen zu mehrern gar nicht mehr so erheblich werden. Die sechs letzten Kombinationen φ3) zu zweien sind als eine dritte Bedingung involvirend zugleich auch Kombinationen derselben zu dreien, z. B. (1 ⋹ 2 ⋹ 3) = (1 ⋹ 2)(1 ⋹ 3)(2 ⋹ 3) = (1 + 2 ⋹ 3)(1 ⋹ 2) = (1 ⋹ 2 · 3)(2 ⋹ 3). Und unschwer überzeugt man sich, dass zu den bisherigen 6 + 15 + 1 Kom- binationen φ), φ3), φ6) als neue nur noch die 6 hinzutreten: φ7) [FORMEL] bei deren Ausrechnung blos in Betracht kam, dass (ā ɟ 1') · a ; 1 = (ā ɟ 1')a, etc. — vergl. 15), S. 210. Die Gesamtzahl dieser Kombinationen (ungerechnet die eine zur nullten Klasse) beträgt hienach 28. Diese nunmehr noch mit den dreien φ5) und letztre unter sich zu kom- biniren überlassen wir dem Leser. — Formuliren wir auch: dass das a-Bild von i enthalten sei im a-Bild von j, so werden wir bekommen: χ) (a ; i ⋹ a ; j) = 0 ɟ (ā ; i + a ; j) = (ā̆ ɟ a)i j = ĭ ; (ā̆ ɟ a) ; j. Denn L = Πh k(Σlah lil k ⋹ Σlah ljl k) = Πh(Σlah l1'i l ⋹ Σlah l1'j l) = = Πh(ah i ⋹ ah j) = Πh(āh i + ah j) = (ā̆ ɟ a)i j. Man kann aber auch überlegen: L = (1 ⋹ ā ɟ ī + a ; j = ā ; i + a ; j) = 0 ɟ (ā ; i + a ; j) nach υ) in Anbetracht dass die Summe in der letzten Klammer System ist und deshalb das ɟ 0 hinter ihr unterdrückt werden konnte. Auch dies gibt nun in der That nach 10) S. 414: L = ĭ ; ā̆ ɟ a ; j, was = ĭ ; (ā̆ ɟ a) ; j nach 27) S. 419 ist, q. e. d. Demnach ist nun auch der Ausdruck für die Gleichheit der a-Bilder von zwei Elementen dieser: ψ) (a ; i = a ; j) = 0 ɟ (a ; i · a ; j + ā ; i · ā ; j) = {(ā̆ ɟ a)(ă ɟ ā)}i j = ĭ ; (ā̆ ɟ a)(ă ɟ ā) ; j, wobei zu beachten war, dass nach 26) S. 419: a ; i · ā ; i = aā ; i = 0 ist, und dass nach dem gleichen Satze das Relativ j̆ ; (ā̆ ɟ a) ; i, zu ĭ ; (ă ɟ ā) ; j konvertirt, mit dem obigen χ) vereinigt werden kann zu dem letzten ψ).

Suche im Werk

Hilfe

Informationen zum Werk

Download dieses Werks

XML (TEI P5) · HTML · Text
TCF (text annotation layer)
XML (TEI P5 inkl. att.linguistic)

Metadaten zum Werk

TEI-Header · CMDI · Dublin Core

Ansichten dieser Seite

Voyant Tools ?

Language Resource Switchboard?

Feedback

Sie haben einen Fehler gefunden? Dann können Sie diesen über unsere Qualitätssicherungsplattform DTAQ melden.

Kommentar zur DTA-Ausgabe

Dieses Werk wurde gemäß den DTA-Transkriptionsrichtlinien im Double-Keying-Verfahren von Nicht-Muttersprachlern erfasst und in XML/TEI P5 nach DTA-Basisformat kodiert.




Ansicht auf Standard zurückstellen

URL zu diesem Werk: https://www.deutschestextarchiv.de/schroeder_logik03_1895
URL zu dieser Seite: https://www.deutschestextarchiv.de/schroeder_logik03_1895/574
Zitationshilfe: Schröder, Ernst: Vorlesungen über die Algebra der Logik. Bd. 3, Abt. 1. Leipzig, 1895, S. 560. In: Deutsches Textarchiv <https://www.deutschestextarchiv.de/schroeder_logik03_1895/574>, abgerufen am 23.11.2024.