Anmelden (DTAQ) DWDS     dlexDB     CLARIN-D

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

Bild:
<< vorherige Seite
nächste Seite >>
§ 29. Produkt- und Summenformeln erster Stufe.

Dagegen fasst 27) wesentlich dreierlei Gespanne zusammen, deren
erstes sich links, die beiden andern rechts von dem die Seitenmitte ein-
nehmenden Ausdruck finden.

Jenes beweist sich mit Sa ; i · in = S0'a ; i = 0'a ; Si = 0'a ; 1 aus 31)
des § 25. Von diesen findet sich:
Sa ; i · i = Sa ; 0' ; i · i = 1'(a ; 0') ; 1, S(a j i)i = S(a j 1') ; i · i = 1'(a j 1') ; 1
nach 25) und 26) zunächst auf die rechts angegebnen Werte zurück-
geführt. Diese aber kommen sodann auf diejenigen in 27) zurück auf-
grund des Satzes:
30) [Formel 1]
-- woraus wegen 1'b = 1'b sogleich mit folgt:
1'(0' ; a) ; 1 = 0'a ; 1, etc. --
und dessen Beweis aus der Koeffizientenevidenz sehr leicht zu liefern ist.

Nach 25) kommt jetzt auch zu 29) die Ermittelung von S(a j i)in =
= S(a j 1') ; i · in auf den ersten Satz von 27) zurück.

Zur Rechtfertigung von 28) aber haben wir ähnlich: Sa ; in · in =
= Sa ; 0' ; i · in = 0'(a ; 0') ; 1, was sich aber noch vereinfacht aufgrund des
Satzes:
31) [Formel 2]
zu dessen Beweis die Koeffizientenevidenz anzurufen ist mit:
Li j = Sh k0'i hai k0'k h = Skai kSh0'i h0'h k = Ri j.

Anstatt noch mehr der Formeln aufzustellen, wollen wir jetzt an
einer Reihe von kleinen Aufgaben zu zeigen suchen, auf welche Weise
mittelst der bisherigen Sätze schon zahlreiche und in mannigfacher
Art gegebene Produkte oder Summen ermittelt werden können. Wir
halten uns dabei vorwiegend an Produkte und verzichten auf die Voll-
ständigkeit der Gespanne. Aus unsrer Behandlung der Beispiele schon
hier -- und noch mehr im nächstfolgenden Abschnitte -- wird der
Leser wenigstens ein Stück Methode zu abstrahiren imstande sein.

Aufgabe 1. Gesucht sei x = Pi(a ; i + in ; b).

Wir haben: x = Pi(a ; 1 · i + in ; b) = Pi(a ; 1 + in ; b)(i + in ; b) =
= (a ; 1 + Piin ; b)Pi(i + i ; 0' ; b) = (a ; 1 + 0 j 0' ; b)Pii ; (1' + 0' ; b) nach
13), mithin endlich: x = (a ; 1 + 0 j 0' ; b){0 j (1' + 0' ; b)}.

Aufgabe 2. Gesucht x = Pi(a ; i + in ; b).

Lösung. x = Pi(a ; 1 · i + in · 1 ; b) = (a ; 1 + 1 ; b)(a ; 1 + Piin)(Pii + 1 ; b)Pi(i + in) =
= a ; 1 · 1 ; b · Pi(0' ; i + i ; 1') = a ; 1 ; b · (0' j 1'), also x = 1' · a ; 1 ; b.


§ 29. Produkt- und Summenformeln erster Stufe.

Dagegen fasst 27) wesentlich dreierlei Gespanne zusammen, deren
erstes sich links, die beiden andern rechts von dem die Seitenmitte ein-
nehmenden Ausdruck finden.

Jenes beweist sich mit Σa ; i · ī = Σ0'a ; i = 0'a ; Σi = 0'a ; 1 aus 31)
des § 25. Von diesen findet sich:
Σa ; i · i = Σa ; 0' ; i · i = 1'(a ; 0') ; 1, Σ(a ɟ i)i = Σ(a ɟ 1') ; i · i = 1'(a ɟ 1') ; 1
nach 25) und 26) zunächst auf die rechts angegebnen Werte zurück-
geführt. Diese aber kommen sodann auf diejenigen in 27) zurück auf-
grund des Satzes:
30) [Formel 1]
— woraus wegen 1'b = 1'b̆ sogleich mit folgt:
1'(0' ; a) ; 1 = 0'ă ; 1, etc. —
und dessen Beweis aus der Koeffizientenevidenz sehr leicht zu liefern ist.

Nach 25) kommt jetzt auch zu 29) die Ermittelung von Σ(a ɟ i)ī =
= Σ(a ɟ 1') ; i · ī auf den ersten Satz von 27) zurück.

Zur Rechtfertigung von 28) aber haben wir ähnlich: Σa ; ī · ī =
= Σa ; 0' ; i · ī = 0'(a ; 0') ; 1, was sich aber noch vereinfacht aufgrund des
Satzes:
31) [Formel 2]
zu dessen Beweis die Koeffizientenevidenz anzurufen ist mit:
Li j = Σh k0'i hai k0'k h = Σkai kΣh0'i h0'h k = Ri j.

Anstatt noch mehr der Formeln aufzustellen, wollen wir jetzt an
einer Reihe von kleinen Aufgaben zu zeigen suchen, auf welche Weise
mittelst der bisherigen Sätze schon zahlreiche und in mannigfacher
Art gegebene Produkte oder Summen ermittelt werden können. Wir
halten uns dabei vorwiegend an Produkte und verzichten auf die Voll-
ständigkeit der Gespanne. Aus unsrer Behandlung der Beispiele schon
hier — und noch mehr im nächstfolgenden Abschnitte — wird der
Leser wenigstens ein Stück Methode zu abstrahiren imstande sein.

Aufgabe 1. Gesucht sei x = Πi(a ; ĭ + ī̆ ; b).

Wir haben: x = Πi(a ; 1 · ĭ + ī̆ ; b) = Πi(a ; 1 + ī̆ ; b)(ĭ + ī̆ ; b) =
= (a ; 1 + Πiī̆ ; b)Πi(ĭ + ĭ ; 0' ; b) = (a ; 1 + 0 ɟ 0' ; b)Πiĭ ; (1' + 0' ; b) nach
13), mithin endlich: x = (a ; 1 + 0 ɟ 0' ; b){0 ɟ (1' + 0' ; b)}.

Aufgabe 2. Gesucht x = Πi(a ; ĭ + ī ; b).

Lösung. x = Πi(a ; 1 · ĭ + ī · 1 ; b) = (a ; 1 + 1 ; b)(a ; 1 + Πiī)(Πiĭ + 1 ; b)Πi(ĭ + ī) =
= a ; 1 · 1 ; b · Πi(0' ; i + ĭ ; 1') = a ; 1 ; b · (0' ɟ 1'), also x = 1' · a ; 1 ; b.


<TEI>
  <text>
    <body>
      <div n="1">
        <div n="2">
          <pb facs="#f0517" n="503"/>
          <fw place="top" type="header">§ 29. Produkt- und Summenformeln erster Stufe.</fw><lb/>
          <p>Dagegen fasst 27) wesentlich dreierlei Gespanne zusammen, deren<lb/>
erstes sich links, die beiden andern rechts von dem die Seitenmitte ein-<lb/>
nehmenden Ausdruck finden.</p><lb/>
          <p>Jenes beweist sich mit <hi rendition="#i">&#x03A3;a</hi> ; <hi rendition="#i">i</hi> · <hi rendition="#i">i&#x0304;</hi> = <hi rendition="#i">&#x03A3;</hi>0'<hi rendition="#i">a</hi> ; <hi rendition="#i">i</hi> = 0'<hi rendition="#i">a</hi> ; <hi rendition="#i">&#x03A3;i</hi> = 0'<hi rendition="#i">a</hi> ; 1 aus 31)<lb/>
des § 25. Von diesen findet sich:<lb/><hi rendition="#c"><hi rendition="#i">&#x03A3;a</hi> ; <hi rendition="#i">i</hi> · <hi rendition="#i">i</hi> = <hi rendition="#i">&#x03A3;a</hi> ; 0' ; <hi rendition="#i">i</hi> · <hi rendition="#i">i</hi> = 1'(<hi rendition="#i">a</hi> ; 0') ; 1, <hi rendition="#i">&#x03A3;</hi>(<hi rendition="#i">a</hi> &#x025F; <hi rendition="#i">i</hi>)<hi rendition="#i">i</hi> = <hi rendition="#i">&#x03A3;</hi>(<hi rendition="#i">a</hi> &#x025F; 1') ; <hi rendition="#i">i</hi> · <hi rendition="#i">i</hi> = 1'(<hi rendition="#i">a</hi> &#x025F; 1') ; 1</hi><lb/>
nach 25) und 26) zunächst auf die rechts angegebnen Werte zurück-<lb/>
geführt. Diese aber kommen sodann auf diejenigen in 27) zurück auf-<lb/>
grund des <hi rendition="#g">Satzes</hi>:<lb/>
30) <formula/><lb/>
&#x2014; woraus wegen 1'<hi rendition="#i">b</hi> = 1'<hi rendition="#i">b&#x0306;</hi> sogleich mit folgt:<lb/><hi rendition="#c">1'(0' ; <hi rendition="#i">a</hi>) ; 1 = 0'<hi rendition="#i">a&#x0306;</hi> ; 1, etc. &#x2014;</hi><lb/>
und dessen Beweis aus der Koeffizientenevidenz sehr leicht zu liefern ist.</p><lb/>
          <p>Nach 25) kommt jetzt auch zu 29) die Ermittelung von <hi rendition="#i">&#x03A3;</hi>(<hi rendition="#i">a</hi> &#x025F; <hi rendition="#i">i</hi>)<hi rendition="#i">i&#x0304;</hi> =<lb/>
= <hi rendition="#i">&#x03A3;</hi>(<hi rendition="#i">a</hi> &#x025F; 1') ; <hi rendition="#i">i</hi> · <hi rendition="#i">i&#x0304;</hi> auf den ersten Satz von 27) zurück.</p><lb/>
          <p>Zur Rechtfertigung von 28) aber haben wir ähnlich: <hi rendition="#i">&#x03A3;a</hi> ; <hi rendition="#i">i&#x0304;</hi> · <hi rendition="#i">i&#x0304;</hi> =<lb/>
= <hi rendition="#i">&#x03A3;a</hi> ; 0' ; <hi rendition="#i">i</hi> · <hi rendition="#i">i&#x0304;</hi> = 0'(<hi rendition="#i">a</hi> ; 0') ; 1, was sich aber noch vereinfacht aufgrund des<lb/><hi rendition="#g">Satzes</hi>:<lb/>
31) <formula/><lb/>
zu dessen Beweis die Koeffizientenevidenz anzurufen ist mit:<lb/><hi rendition="#c"><hi rendition="#i">L<hi rendition="#sub">i j</hi></hi> = <hi rendition="#i">&#x03A3;<hi rendition="#sub">h k</hi></hi>0'<hi rendition="#i"><hi rendition="#sub">i h</hi>a<hi rendition="#sub">i k</hi></hi>0'<hi rendition="#i"><hi rendition="#sub">k h</hi></hi> = <hi rendition="#i">&#x03A3;<hi rendition="#sub">k</hi>a<hi rendition="#sub">i k</hi>&#x03A3;<hi rendition="#sub">h</hi></hi>0'<hi rendition="#i"><hi rendition="#sub">i h</hi></hi>0'<hi rendition="#i"><hi rendition="#sub">h k</hi></hi> = <hi rendition="#i">R<hi rendition="#sub">i j</hi></hi>.</hi></p><lb/>
          <p>Anstatt noch mehr der Formeln aufzustellen, wollen wir jetzt an<lb/>
einer Reihe von kleinen Aufgaben zu zeigen suchen, auf welche Weise<lb/>
mittelst der bisherigen Sätze schon zahlreiche und in mannigfacher<lb/>
Art gegebene Produkte oder Summen ermittelt werden können. Wir<lb/>
halten uns dabei vorwiegend an Produkte und verzichten auf die Voll-<lb/>
ständigkeit der Gespanne. Aus unsrer Behandlung der Beispiele schon<lb/>
hier &#x2014; und noch mehr im nächstfolgenden Abschnitte &#x2014; wird der<lb/>
Leser wenigstens ein Stück Methode zu abstrahiren imstande sein.</p><lb/>
          <p><hi rendition="#g">Aufgabe</hi> 1. Gesucht sei <hi rendition="#i">x</hi> = <hi rendition="#i">&#x03A0;<hi rendition="#sub">i</hi></hi>(<hi rendition="#i">a</hi> ; <hi rendition="#i">i&#x0306;</hi> + <hi rendition="#i">i&#x0304;&#x0306;</hi> ; <hi rendition="#i">b</hi>).</p><lb/>
          <p>Wir haben: <hi rendition="#i">x</hi> = <hi rendition="#i">&#x03A0;<hi rendition="#sub">i</hi></hi>(<hi rendition="#i">a</hi> ; 1 · <hi rendition="#i">i&#x0306;</hi> + <hi rendition="#i">i&#x0304;&#x0306;</hi> ; <hi rendition="#i">b</hi>) = <hi rendition="#i">&#x03A0;<hi rendition="#sub">i</hi></hi>(<hi rendition="#i">a</hi> ; 1 + <hi rendition="#i">i&#x0304;&#x0306;</hi> ; <hi rendition="#i">b</hi>)(<hi rendition="#i">i&#x0306;</hi> + <hi rendition="#i">i&#x0304;&#x0306;</hi> ; <hi rendition="#i">b</hi>) =<lb/>
= (<hi rendition="#i">a</hi> ; 1 + <hi rendition="#i">&#x03A0;<hi rendition="#sub">i</hi>i&#x0304;&#x0306;</hi> ; <hi rendition="#i">b</hi>)<hi rendition="#i">&#x03A0;<hi rendition="#sub">i</hi></hi>(<hi rendition="#i">i&#x0306;</hi> + <hi rendition="#i">i&#x0306;</hi> ; 0' ; <hi rendition="#i">b</hi>) = (<hi rendition="#i">a</hi> ; 1 + 0 &#x025F; 0' ; <hi rendition="#i">b</hi>)<hi rendition="#i">&#x03A0;<hi rendition="#sub">i</hi>i&#x0306;</hi> ; (1' + 0' ; <hi rendition="#i">b</hi>) nach<lb/>
13), mithin endlich: <hi rendition="#i">x</hi> = (<hi rendition="#i">a</hi> ; 1 + 0 &#x025F; 0' ; <hi rendition="#i">b</hi>){0 &#x025F; (1' + 0' ; <hi rendition="#i">b</hi>)}.</p><lb/>
          <p><hi rendition="#g">Aufgabe</hi> 2. Gesucht <hi rendition="#i">x</hi> = <hi rendition="#i">&#x03A0;<hi rendition="#sub">i</hi></hi>(<hi rendition="#i">a</hi> ; <hi rendition="#i">i&#x0306;</hi> + <hi rendition="#i">i&#x0304;</hi> ; <hi rendition="#i">b</hi>).</p><lb/>
          <p>Lösung. <hi rendition="#i">x</hi> = <hi rendition="#i">&#x03A0;<hi rendition="#sub">i</hi></hi>(<hi rendition="#i">a</hi> ; 1 · <hi rendition="#i">i&#x0306;</hi> + <hi rendition="#i">i&#x0304;</hi> · 1 ; <hi rendition="#i">b</hi>) = (<hi rendition="#i">a</hi> ; 1 + 1 ; <hi rendition="#i">b</hi>)(<hi rendition="#i">a</hi> ; 1 + <hi rendition="#i">&#x03A0;<hi rendition="#sub">i</hi>i&#x0304;</hi>)(<hi rendition="#i">&#x03A0;<hi rendition="#sub">i</hi>i&#x0306;</hi> + 1 ; <hi rendition="#i">b</hi>)<hi rendition="#i">&#x03A0;<hi rendition="#sub">i</hi></hi>(<hi rendition="#i">i&#x0306;</hi> + <hi rendition="#i">i&#x0304;</hi>) =<lb/>
= <hi rendition="#i">a</hi> ; 1 · 1 ; <hi rendition="#i">b</hi> · <hi rendition="#i">&#x03A0;<hi rendition="#sub">i</hi></hi>(0' ; <hi rendition="#i">i</hi> + <hi rendition="#i">i&#x0306;</hi> ; 1') = <hi rendition="#i">a</hi> ; 1 ; <hi rendition="#i">b</hi> · (0' &#x025F; 1'), also <hi rendition="#i">x</hi> = 1' · <hi rendition="#i">a</hi> ; 1 ; <hi rendition="#i">b</hi>.</p><lb/>
        </div>
      </div>
    </body>
  </text>
</TEI>
[503/0517] § 29. Produkt- und Summenformeln erster Stufe. Dagegen fasst 27) wesentlich dreierlei Gespanne zusammen, deren erstes sich links, die beiden andern rechts von dem die Seitenmitte ein- nehmenden Ausdruck finden. Jenes beweist sich mit Σa ; i · ī = Σ0'a ; i = 0'a ; Σi = 0'a ; 1 aus 31) des § 25. Von diesen findet sich: Σa ; i · i = Σa ; 0' ; i · i = 1'(a ; 0') ; 1, Σ(a ɟ i)i = Σ(a ɟ 1') ; i · i = 1'(a ɟ 1') ; 1 nach 25) und 26) zunächst auf die rechts angegebnen Werte zurück- geführt. Diese aber kommen sodann auf diejenigen in 27) zurück auf- grund des Satzes: 30) [FORMEL] — woraus wegen 1'b = 1'b̆ sogleich mit folgt: 1'(0' ; a) ; 1 = 0'ă ; 1, etc. — und dessen Beweis aus der Koeffizientenevidenz sehr leicht zu liefern ist. Nach 25) kommt jetzt auch zu 29) die Ermittelung von Σ(a ɟ i)ī = = Σ(a ɟ 1') ; i · ī auf den ersten Satz von 27) zurück. Zur Rechtfertigung von 28) aber haben wir ähnlich: Σa ; ī · ī = = Σa ; 0' ; i · ī = 0'(a ; 0') ; 1, was sich aber noch vereinfacht aufgrund des Satzes: 31) [FORMEL] zu dessen Beweis die Koeffizientenevidenz anzurufen ist mit: Li j = Σh k0'i hai k0'k h = Σkai kΣh0'i h0'h k = Ri j. Anstatt noch mehr der Formeln aufzustellen, wollen wir jetzt an einer Reihe von kleinen Aufgaben zu zeigen suchen, auf welche Weise mittelst der bisherigen Sätze schon zahlreiche und in mannigfacher Art gegebene Produkte oder Summen ermittelt werden können. Wir halten uns dabei vorwiegend an Produkte und verzichten auf die Voll- ständigkeit der Gespanne. Aus unsrer Behandlung der Beispiele schon hier — und noch mehr im nächstfolgenden Abschnitte — wird der Leser wenigstens ein Stück Methode zu abstrahiren imstande sein. Aufgabe 1. Gesucht sei x = Πi(a ; ĭ + ī̆ ; b). Wir haben: x = Πi(a ; 1 · ĭ + ī̆ ; b) = Πi(a ; 1 + ī̆ ; b)(ĭ + ī̆ ; b) = = (a ; 1 + Πiī̆ ; b)Πi(ĭ + ĭ ; 0' ; b) = (a ; 1 + 0 ɟ 0' ; b)Πiĭ ; (1' + 0' ; b) nach 13), mithin endlich: x = (a ; 1 + 0 ɟ 0' ; b){0 ɟ (1' + 0' ; b)}. Aufgabe 2. Gesucht x = Πi(a ; ĭ + ī ; b). Lösung. x = Πi(a ; 1 · ĭ + ī · 1 ; b) = (a ; 1 + 1 ; b)(a ; 1 + Πiī)(Πiĭ + 1 ; b)Πi(ĭ + ī) = = a ; 1 · 1 ; b · Πi(0' ; i + ĭ ; 1') = a ; 1 ; b · (0' ɟ 1'), also x = 1' · a ; 1 ; b.

Suche im Werk

Hilfe

Informationen zum Werk

Download dieses Werks

XML (TEI P5) · HTML · Text
TCF (text annotation layer)
TCF (tokenisiert, serialisiert, lemmatisiert, normalisiert)
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/517
Zitationshilfe: Schröder, Ernst: Vorlesungen über die Algebra der Logik. Bd. 3, Abt. 1. Leipzig, 1895, S. 503. In: Deutsches Textarchiv <https://www.deutschestextarchiv.de/schroeder_logik03_1895/517>, abgerufen am 17.05.2024.