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. Produkte und Summen zweiter Stufe.

Nach der letzten Formel 12) ist damit gefunden:
x = 0 j (a + b)
-- was merkwürdigerweise symmetrisch ist inbezug auf a und b.

Nimmt man a = 1' an und sagt dann a für b, so ist insbesondre
gefunden:
[Formel 1] .
[Nähme man dagegen, u und un vertauschend, b = 0' an, so würde man
das Resultat der Aufgabe 8 in etwas andrer Gestalt, als 0 j (a + 0') wieder
erhalten.]

Als Korollar zum vorstehenden Ergebnisse kennen wir nun auch:
[Formel 2] ,
was ähnlich wie oben daraus abzuleiten.

Ganz nach derselben Methode lässt sich auch lösen die, eine Erweite-
rung der vorigen vorstellende

Aufgabe 10. Gesucht [Formel 3] .
[Formel 4] = Pi(b ; i + i ; c + 1 ; ai) = Pi{b ; i + i ; (c + a)} = b j (a + c)
nach 14), 4) und 14). Insbesondre ist damit gefunden:
[Formel 5] .
Wie in 1) durch eine S nach u, so können wir also jetzt a j (b + c)
-- der Form nach allerdings unsymmetrisch -- auch durch ein P nach u
darstellen.

Aufgabe 11. Gesucht [Formel 6] .

Dies Problem nach Art der beiden vorigen zur Lösung zu bringen,
gelingt nicht, da wir das relative Produkt im zweiten Glied des allgemeinen
Faktors nicht als ein Pi, sondern nur als eine Si gemäss 14) darzustellen
vermögen, ein S aber von hinter einem P nicht vor dasselbe darf ge-
schoben werden. Im Falle b = 0' jedoch könnte man sich auf 18) berufen.
Darnach muss in der That -- um nur den einfachsten Fall zu erledigen --
sein:
[Formel 7] gemäss 7) und Aufg. 8 -- was wir übrigens auch schon S. 494 aus Peirce's
Formel 1) eingesehen haben. Nun ist aun ; b0' un ; 0', mithin auch
[Formel 8] .
Zerlegt man jetzt (bei x) b = 0'b + 1'b und berücksichtigt dass nach 24)
des § 22 ist aun ; b1' = aun · 1 ; b1', so zerfällt
u + aun ; b = u + aun ; b0' + a · 1 ; b1',

§ 29. Produkte und Summen zweiter Stufe.

Nach der letzten Formel 12) ist damit gefunden:
x = 0 ɟ (a + b)
— was merkwürdigerweise symmetrisch ist inbezug auf a und b.

Nimmt man a = 1' an und sagt dann a für b, so ist insbesondre
gefunden:
[Formel 1] .
[Nähme man dagegen, u und ū vertauschend, b = 0' an, so würde man
das Resultat der Aufgabe 8 in etwas andrer Gestalt, als 0 ɟ (a + 0') wieder
erhalten.]

Als Korollar zum vorstehenden Ergebnisse kennen wir nun auch:
[Formel 2] ,
was ähnlich wie oben daraus abzuleiten.

Ganz nach derselben Methode lässt sich auch lösen die, eine Erweite-
rung der vorigen vorstellende

Aufgabe 10. Gesucht [Formel 3] .
[Formel 4] = Πi(b ; i + ĭ ; c + 1 ; ai) = Πi{b ; i + ĭ ; (c + a)} = b ɟ (a + c)
nach 14), 4) und 14). Insbesondre ist damit gefunden:
[Formel 5] .
Wie in 1) durch eine Σ nach u, so können wir also jetzt a ɟ (b + c)
— der Form nach allerdings unsymmetrisch — auch durch ein Π nach u
darstellen.

Aufgabe 11. Gesucht [Formel 6] .

Dies Problem nach Art der beiden vorigen zur Lösung zu bringen,
gelingt nicht, da wir das relative Produkt im zweiten Glied des allgemeinen
Faktors nicht als ein Πi, sondern nur als eine Σi gemäss 14) darzustellen
vermögen, ein Σ aber von hinter einem Π nicht vor dasselbe darf ge-
schoben werden. Im Falle b = 0' jedoch könnte man sich auf 18) berufen.
Darnach muss in der That — um nur den einfachsten Fall zu erledigen —
sein:
[Formel 7] gemäss 7) und Aufg. 8 — was wir übrigens auch schon S. 494 aus Peirce’s
Formel 1) eingesehen haben. Nun ist aū ; b0' ⋹ ū ; 0', mithin auch
[Formel 8] .
Zerlegt man jetzt (bei x) b = 0'b + 1'b und berücksichtigt dass nach 24)
des § 22 ist aū ; b1' = aū · 1 ; b1', so zerfällt
u + aū ; b = u + aū ; b0' + a · 1 ; b1',

<TEI>
  <text>
    <body>
      <div n="1">
        <div n="2">
          <pb facs="#f0523" n="509"/>
          <fw place="top" type="header">§ 29. Produkte und Summen zweiter Stufe.</fw><lb/>
          <p>Nach der letzten Formel 12) ist damit gefunden:<lb/><hi rendition="#c"><hi rendition="#i">x</hi> = 0 &#x025F; (<hi rendition="#i">a</hi> + <hi rendition="#i">b</hi>)</hi><lb/>
&#x2014; was merkwürdigerweise symmetrisch ist inbezug auf <hi rendition="#i">a</hi> und <hi rendition="#i">b</hi>.</p><lb/>
          <p>Nimmt man <hi rendition="#i">a</hi> = 1' an und sagt dann <hi rendition="#i">a</hi> für <hi rendition="#i">b</hi>, so ist <hi rendition="#i">insbesondre</hi><lb/>
gefunden:<lb/><hi rendition="#c"><formula/>.</hi><lb/>
[Nähme man dagegen, <hi rendition="#i">u</hi> und <hi rendition="#i">u&#x0304;</hi> vertauschend, <hi rendition="#i">b</hi> = 0' an, so würde man<lb/>
das Resultat der Aufgabe 8 in etwas andrer Gestalt, als 0 &#x025F; (<hi rendition="#i">a</hi> + 0') wieder<lb/>
erhalten.]</p><lb/>
          <p>Als Korollar zum vorstehenden Ergebnisse kennen wir nun auch:<lb/><hi rendition="#c"><formula/>,</hi><lb/>
was ähnlich wie oben daraus abzuleiten.</p><lb/>
          <p>Ganz nach derselben Methode lässt sich auch lösen die, eine Erweite-<lb/>
rung der vorigen vorstellende</p><lb/>
          <p><hi rendition="#g">Aufgabe</hi> 10. Gesucht <formula/>.<lb/><hi rendition="#c"><formula/></hi> <hi rendition="#c">= <hi rendition="#i">&#x03A0;<hi rendition="#sub">i</hi></hi>(<hi rendition="#i">b</hi> ; <hi rendition="#i">i</hi> + <hi rendition="#i">i&#x0306;</hi> ; <hi rendition="#i">c</hi> + 1 ; <hi rendition="#i">ai</hi>) = <hi rendition="#i">&#x03A0;<hi rendition="#sub">i</hi></hi>{<hi rendition="#i">b</hi> ; <hi rendition="#i">i</hi> + <hi rendition="#i">i&#x0306;</hi> ; (<hi rendition="#i">c</hi> + <hi rendition="#i">a</hi>)} = <hi rendition="#i">b</hi> &#x025F; (<hi rendition="#i">a</hi> + <hi rendition="#i">c</hi>)</hi><lb/>
nach 14), 4) und 14). Insbesondre ist damit gefunden:<lb/><hi rendition="#c"><formula/>.</hi><lb/>
Wie in 1) durch eine <hi rendition="#i">&#x03A3;</hi> nach <hi rendition="#i">u</hi>, so können wir also jetzt <hi rendition="#i">a</hi> &#x025F; (<hi rendition="#i">b</hi> + <hi rendition="#i">c</hi>)<lb/>
&#x2014; der Form nach allerdings unsymmetrisch &#x2014; auch durch ein <hi rendition="#i">&#x03A0;</hi> nach <hi rendition="#i">u</hi><lb/>
darstellen.</p><lb/>
          <p><hi rendition="#g">Aufgabe</hi> 11. Gesucht <formula/>.</p><lb/>
          <p>Dies Problem nach Art der beiden vorigen zur Lösung zu bringen,<lb/>
gelingt <hi rendition="#i">nicht</hi>, da wir das relative Produkt im zweiten Glied des allgemeinen<lb/>
Faktors nicht als ein <hi rendition="#i">&#x03A0;<hi rendition="#sub">i</hi></hi>, sondern nur als eine <hi rendition="#i">&#x03A3;<hi rendition="#sub">i</hi></hi> gemäss 14) darzustellen<lb/>
vermögen, ein <hi rendition="#i">&#x03A3;</hi> aber von hinter einem <hi rendition="#i">&#x03A0;</hi> nicht vor dasselbe darf ge-<lb/>
schoben werden. Im Falle <hi rendition="#i">b</hi> = 0' jedoch könnte man sich auf 18) berufen.<lb/>
Darnach muss in der That &#x2014; um nur den einfachsten Fall zu erledigen &#x2014;<lb/>
sein:<lb/><hi rendition="#c"><formula/></hi> gemäss 7) und Aufg. 8 &#x2014; was wir übrigens auch schon S. 494 aus <hi rendition="#g">Peirce&#x2019;</hi>s<lb/>
Formel 1) eingesehen haben. Nun ist <hi rendition="#i">au&#x0304;</hi> ; <hi rendition="#i">b</hi>0' &#x22F9; <hi rendition="#i">u&#x0304;</hi> ; 0', mithin auch<lb/><hi rendition="#c"><formula/>.</hi><lb/>
Zerlegt man jetzt (bei <hi rendition="#i">x</hi>) <hi rendition="#i">b</hi> = 0'<hi rendition="#i">b</hi> + 1'<hi rendition="#i">b</hi> und berücksichtigt dass nach 24)<lb/>
des § 22 ist <hi rendition="#i">au&#x0304;</hi> ; <hi rendition="#i">b</hi>1' = <hi rendition="#i">au&#x0304;</hi> · 1 ; <hi rendition="#i">b</hi>1', so zerfällt<lb/><hi rendition="#c"><hi rendition="#i">u</hi> + <hi rendition="#i">au&#x0304;</hi> ; <hi rendition="#i">b</hi> = <hi rendition="#i">u</hi> + <hi rendition="#i">au&#x0304;</hi> ; <hi rendition="#i">b</hi>0' + <hi rendition="#i">a</hi> · 1 ; <hi rendition="#i">b</hi>1',</hi><lb/></p>
        </div>
      </div>
    </body>
  </text>
</TEI>
[509/0523] § 29. Produkte und Summen zweiter Stufe. Nach der letzten Formel 12) ist damit gefunden: x = 0 ɟ (a + b) — was merkwürdigerweise symmetrisch ist inbezug auf a und b. Nimmt man a = 1' an und sagt dann a für b, so ist insbesondre gefunden: [FORMEL]. [Nähme man dagegen, u und ū vertauschend, b = 0' an, so würde man das Resultat der Aufgabe 8 in etwas andrer Gestalt, als 0 ɟ (a + 0') wieder erhalten.] Als Korollar zum vorstehenden Ergebnisse kennen wir nun auch: [FORMEL], was ähnlich wie oben daraus abzuleiten. Ganz nach derselben Methode lässt sich auch lösen die, eine Erweite- rung der vorigen vorstellende Aufgabe 10. Gesucht [FORMEL]. [FORMEL] = Πi(b ; i + ĭ ; c + 1 ; ai) = Πi{b ; i + ĭ ; (c + a)} = b ɟ (a + c) nach 14), 4) und 14). Insbesondre ist damit gefunden: [FORMEL]. Wie in 1) durch eine Σ nach u, so können wir also jetzt a ɟ (b + c) — der Form nach allerdings unsymmetrisch — auch durch ein Π nach u darstellen. Aufgabe 11. Gesucht [FORMEL]. Dies Problem nach Art der beiden vorigen zur Lösung zu bringen, gelingt nicht, da wir das relative Produkt im zweiten Glied des allgemeinen Faktors nicht als ein Πi, sondern nur als eine Σi gemäss 14) darzustellen vermögen, ein Σ aber von hinter einem Π nicht vor dasselbe darf ge- schoben werden. Im Falle b = 0' jedoch könnte man sich auf 18) berufen. Darnach muss in der That — um nur den einfachsten Fall zu erledigen — sein: [FORMEL] gemäss 7) und Aufg. 8 — was wir übrigens auch schon S. 494 aus Peirce’s Formel 1) eingesehen haben. Nun ist aū ; b0' ⋹ ū ; 0', mithin auch [FORMEL]. Zerlegt man jetzt (bei x) b = 0'b + 1'b und berücksichtigt dass nach 24) des § 22 ist aū ; b1' = aū · 1 ; b1', so zerfällt u + aū ; b = u + aū ; b0' + a · 1 ; b1',

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/523
Zitationshilfe: Schröder, Ernst: Vorlesungen über die Algebra der Logik. Bd. 3, Abt. 1. Leipzig, 1895, S. 509. In: Deutsches Textarchiv <https://www.deutschestextarchiv.de/schroeder_logik03_1895/523>, abgerufen am 17.05.2024.