Anmelden (DTAQ) DWDS     dlexDB     CLARIN-D

Schröder, Ernst: Vorlesungen über die Algebra der Logik. Bd. 2, Abt. 2. Leipzig, 1905.

Bild:
<< vorherige Seite
Siebenundzwanzigste Vorlesung.

Schreibt man:
[Formel 1] = p' a b + q' a b1 + r' a1 b + s' a1 b1,
so ist
p' = r1 u1 + p u, q' = s1 u1 + q u, r' = r u1 + p1 u, s' = s u1 + q1 u
und man erkennt unmittelbar (oder auch durch Elimination von p, q,
r, s, wobei u von selbst herausfällt,):
p' = r'1, q' = s'1;
also ist [Formel 2] von der Form:
[Formel 3] = r'1 a b + s'1 a b1 + r' a1 b + s' a1 b1. --

Ebenso gibt die Gleichung b x = a:
(p1 a b + r1 a b1 + p a1 b + r a1 b1) x + (q1 a b + s1 a b1 + q a1 b + s a1 b1) x1 = 0,
mit der Resultante:
p1 q1 a b + r1 s1 a b1 + p q a1 b + r s a1 b1 = 0
und der Auflösung:
a b = x = (q1 u1 + p u) a b + (s1 u1 + r u) a b1 + (q u1 + p1 u) a1 b +
+ (s u1 + r1 u) a1 b1;

es ist also auch a b von der Form
a b = r'1 a b + s'1 a b1 + r' a1 b + s' a1 b1.
Überhaupt ergibt sich alles auf a b bezügliche aus dem über [Formel 4] eru-
irten einfachst, indem man q mit r vertauscht.

b) Die allgemeinste assoziative Knüpfung im identischen Kalkul
soll jetzt ermittelt werden, -- mithin die "Lösung" (der Funktional-
gleichung) des Algorithmus
b1) a (b c) = (a b) c = a b c.

Wir erhalten gemäss a1):
(a b) c = p (a b) c + q (a b) c1 + r (a b) c + s (a b) c1 =
= (p + r) a b c + (p q + p1 s) a b c1 + (p q + q1 r) a b1 c +
+ (q + s) a b1 c1 + p r a1 b c + (q r + r1 s) a1 b c1 +
+ (p s + r s1) a1 b1 c + q s a1 b1 c1,
a (b c) = p a (b c) + q a (b c) + r a1 (b c) + s a1 (b c) =
= (p + q) a b c + p q a b c1 + (p r + q r1) a b1 c + (p s + q s1) a b1 c1 +
+ (p r + p1 s) a1 b c + (q r + q1 s) a1 b c1 + (r + s) a1 b1 c + r s a1 b1 c1.

Siebenundzwanzigste Vorlesung.

Schreibt man:
[Formel 1] = p' a b + q' a b1 + r' a1 b + s' a1 b1,
so ist
p' = r1 u1 + p u, q' = s1 u1 + q u, r' = r u1 + p1 u, s' = s u1 + q1 u
und man erkennt unmittelbar (oder auch durch Elimination von p, q,
r, s, wobei u von selbst herausfällt,):
p' = r'1, q' = s'1;
also ist [Formel 2] von der Form:
[Formel 3] = r'1 a b + s'1 a b1 + r' a1 b + s' a1 b1. —

Ebenso gibt die Gleichung bx = a:
(p1 a b + r1 a b1 + p a1 b + r a1 b1) x + (q1 a b + s1 a b1 + q a1 b + s a1 b1) x1 = 0,
mit der Resultante:
p1 q1 a b + r1 s1 a b1 + p q a1 b + r s a1 b1 = 0
und der Auflösung:
ab = x = (q1 u1 + p u) a b + (s1 u1 + r u) a b1 + (q u1 + p1 u) a1 b +
+ (s u1 + r1 u) a1 b1;

es ist also auch ab von der Form
ab = r'1 a b + s'1 a b1 + r' a1 b + s' a1 b1.
Überhaupt ergibt sich alles auf ab bezügliche aus dem über [Formel 4] eru-
irten einfachst, indem man q mit r vertauscht.

β) Die allgemeinste assoziative Knüpfung im identischen Kalkul
soll jetzt ermittelt werden, — mithin die „Lösung“ (der Funktional-
gleichung) des Algorithmus
β1) a ∘ (bc) = (ab) ∘ c = abc.

Wir erhalten gemäss α1):
(ab) ∘ c = p (ab) c + q (ab) c1 + r ( ∘̅ ) c + s ( ∘̅ ) c1 =
= (p + r) a b c + (p q + p1 s) a b c1 + (p q + q1 r) a b1 c +
+ (q + s) a b1 c1 + p r a1 b c + (q r + r1 s) a1 b c1 +
+ (p s + r s1) a1 b1 c + q s a1 b1 c1,
a ∘ (bc) = p a (bc) + q a ( ∘̅ ) + r a1 (bc) + s a1 ( ∘̅ ) =
= (p + q) a b c + p q a b c1 + (p r + q r1) a b1 c + (p s + q s1) a b1 c1 +
+ (p r + p1 s) a1 b c + (q r + q1 s) a1 b c1 + (r + s) a1 b1 c + r s a1 b1 c1.

<TEI>
  <text>
    <body>
      <div n="1">
        <div n="2">
          <div n="3">
            <pb facs="#f0138" n="494"/>
            <fw place="top" type="header">Siebenundzwanzigste Vorlesung.</fw><lb/>
            <p>Schreibt man:<lb/><hi rendition="#c"><formula/> = <hi rendition="#i">p</hi>' <hi rendition="#i">a b</hi> + <hi rendition="#i">q</hi>' <hi rendition="#i">a b</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">r</hi>' <hi rendition="#i">a</hi><hi rendition="#sub">1</hi> <hi rendition="#i">b</hi> + <hi rendition="#i">s</hi>' <hi rendition="#i">a</hi><hi rendition="#sub">1</hi> <hi rendition="#i">b</hi><hi rendition="#sub">1</hi>,</hi><lb/>
so ist<lb/><hi rendition="#c"><hi rendition="#i">p</hi>' = <hi rendition="#i">r</hi><hi rendition="#sub">1</hi><hi rendition="#i">u</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">p u</hi>, <hi rendition="#i">q</hi>' = <hi rendition="#i">s</hi><hi rendition="#sub">1</hi> <hi rendition="#i">u</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">q u</hi>, <hi rendition="#i">r</hi>' = <hi rendition="#i">r u</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">p</hi><hi rendition="#sub">1</hi> <hi rendition="#i">u</hi>, <hi rendition="#i">s</hi>' = <hi rendition="#i">s u</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">q</hi><hi rendition="#sub">1</hi> <hi rendition="#i">u</hi></hi><lb/>
und man erkennt unmittelbar (oder auch durch Elimination von <hi rendition="#i">p</hi>, <hi rendition="#i">q</hi>,<lb/><hi rendition="#i">r</hi>, <hi rendition="#i">s</hi>, wobei <hi rendition="#i">u</hi> von selbst herausfällt,):<lb/><hi rendition="#c"><hi rendition="#i">p</hi>' = <hi rendition="#i">r</hi>'<hi rendition="#sub">1</hi>, <hi rendition="#i">q</hi>' = <hi rendition="#i">s</hi>'<hi rendition="#sub">1</hi>;</hi><lb/>
also ist <formula/> von der Form:<lb/><hi rendition="#c"><formula/> = <hi rendition="#i">r</hi>'<hi rendition="#sub">1</hi> <hi rendition="#i">a b</hi> + <hi rendition="#i">s</hi>'<hi rendition="#sub">1</hi> <hi rendition="#i">a b</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">r</hi>' <hi rendition="#i">a</hi><hi rendition="#sub">1</hi> <hi rendition="#i">b</hi> + <hi rendition="#i">s</hi>' <hi rendition="#i">a</hi><hi rendition="#sub">1</hi> <hi rendition="#i">b</hi><hi rendition="#sub">1</hi>. &#x2014;</hi></p><lb/>
            <p>Ebenso gibt die Gleichung <hi rendition="#i">b</hi> &#x2218; <hi rendition="#i">x</hi> = <hi rendition="#i">a</hi>:<lb/><hi rendition="#c">(<hi rendition="#i">p</hi><hi rendition="#sub">1</hi> <hi rendition="#i">a b</hi> + <hi rendition="#i">r</hi><hi rendition="#sub">1</hi> <hi rendition="#i">a b</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">p a</hi><hi rendition="#sub">1</hi> <hi rendition="#i">b</hi> + <hi rendition="#i">r a</hi><hi rendition="#sub">1</hi> <hi rendition="#i">b</hi><hi rendition="#sub">1</hi>) <hi rendition="#i">x</hi> + (<hi rendition="#i">q</hi><hi rendition="#sub">1</hi> <hi rendition="#i">a b</hi> + <hi rendition="#i">s</hi><hi rendition="#sub">1</hi> <hi rendition="#i">a b</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">q a</hi><hi rendition="#sub">1</hi> <hi rendition="#i">b</hi> + <hi rendition="#i">s a</hi><hi rendition="#sub">1</hi> <hi rendition="#i">b</hi><hi rendition="#sub">1</hi>) <hi rendition="#i">x</hi><hi rendition="#sub">1</hi> = 0,</hi><lb/>
mit der Resultante:<lb/><hi rendition="#c"><hi rendition="#i">p</hi><hi rendition="#sub">1</hi><hi rendition="#i">q</hi><hi rendition="#sub">1</hi><hi rendition="#i">a b</hi> + <hi rendition="#i">r</hi><hi rendition="#sub">1</hi> <hi rendition="#i">s</hi><hi rendition="#sub">1</hi> <hi rendition="#i">a b</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">p q a</hi><hi rendition="#sub">1</hi> <hi rendition="#i">b</hi> + <hi rendition="#i">r s a</hi><hi rendition="#sub">1</hi> <hi rendition="#i">b</hi><hi rendition="#sub">1</hi> = 0</hi><lb/>
und der Auflösung:<lb/><hi rendition="#et"><hi rendition="#i">a</hi> &#x2982; <hi rendition="#i">b</hi> = <hi rendition="#i">x</hi> = (<hi rendition="#i">q</hi><hi rendition="#sub">1</hi> <hi rendition="#i">u</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">p u</hi>) <hi rendition="#i">a b</hi> + (<hi rendition="#i">s</hi><hi rendition="#sub">1</hi> <hi rendition="#i">u</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">r u</hi>) <hi rendition="#i">a b</hi><hi rendition="#sub">1</hi> + (<hi rendition="#i">q u</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">p</hi><hi rendition="#sub">1</hi> <hi rendition="#i">u</hi>) <hi rendition="#i">a</hi><hi rendition="#sub">1</hi> <hi rendition="#i">b</hi> +<lb/>
+ (<hi rendition="#i">s u</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">r</hi><hi rendition="#sub">1</hi> <hi rendition="#i">u</hi>) <hi rendition="#i">a</hi><hi rendition="#sub">1</hi> <hi rendition="#i">b</hi><hi rendition="#sub">1</hi>;</hi><lb/>
es ist also auch <hi rendition="#i">a</hi> &#x2982; <hi rendition="#i">b</hi> von der Form<lb/><hi rendition="#c"><hi rendition="#i">a</hi> &#x2982; <hi rendition="#i">b</hi> = <hi rendition="#i">r</hi>'<hi rendition="#sub">1</hi> <hi rendition="#i">a b</hi> + <hi rendition="#i">s</hi>'<hi rendition="#sub">1</hi> <hi rendition="#i">a b</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">r</hi>' <hi rendition="#i">a</hi><hi rendition="#sub">1</hi> <hi rendition="#i">b</hi> + <hi rendition="#i">s</hi>' <hi rendition="#i">a</hi><hi rendition="#sub">1</hi> <hi rendition="#i">b</hi><hi rendition="#sub">1</hi>.</hi><lb/>
Überhaupt ergibt sich alles auf <hi rendition="#i">a</hi> &#x2982; <hi rendition="#i">b</hi> bezügliche aus dem über <formula/> eru-<lb/>
irten einfachst, indem man <hi rendition="#i">q</hi> mit <hi rendition="#i">r</hi> vertauscht.</p><lb/>
            <p><hi rendition="#i">&#x03B2;</hi>) Die allgemeinste <hi rendition="#i">assoziative Knüpfung</hi> im identischen Kalkul<lb/>
soll jetzt ermittelt werden, &#x2014; mithin die &#x201E;Lösung&#x201C; (der Funktional-<lb/>
gleichung) des Algorithmus<lb/><hi rendition="#i">&#x03B2;</hi><hi rendition="#sub">1</hi>) <hi rendition="#et"><hi rendition="#i">a</hi> &#x2218; (<hi rendition="#i">b</hi> &#x2218; <hi rendition="#i">c</hi>) = (<hi rendition="#i">a</hi> &#x2218; <hi rendition="#i">b</hi>) &#x2218; <hi rendition="#i">c</hi> = <hi rendition="#i">a</hi> &#x2218; <hi rendition="#i">b</hi> &#x2218; <hi rendition="#i">c</hi>.</hi></p><lb/>
            <p>Wir erhalten gemäss <hi rendition="#i">&#x03B1;</hi><hi rendition="#sub">1</hi>):<lb/><hi rendition="#et">(<hi rendition="#i">a</hi> &#x2218; <hi rendition="#i">b</hi>) &#x2218; <hi rendition="#i">c</hi> = <hi rendition="#i">p</hi> (<hi rendition="#i">a</hi> &#x2218; <hi rendition="#i">b</hi>) <hi rendition="#i">c</hi> + <hi rendition="#i">q</hi> (<hi rendition="#i">a</hi> &#x2218; <hi rendition="#i">b</hi>) <hi rendition="#i">c</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">r</hi> (<hi rendition="#i">a&#x0305;</hi> &#x2218;&#x0305; <hi rendition="#i">b&#x0305;</hi>) <hi rendition="#i">c</hi> + <hi rendition="#i">s</hi> (<hi rendition="#i">a&#x0305;</hi> &#x2218;&#x0305; <hi rendition="#i">b&#x0305;</hi>) <hi rendition="#i">c</hi><hi rendition="#sub">1</hi> =<lb/>
= (<hi rendition="#i">p</hi> + <hi rendition="#i">r</hi>) <hi rendition="#i">a b c</hi> + (<hi rendition="#i">p q</hi> + <hi rendition="#i">p</hi><hi rendition="#sub">1</hi> <hi rendition="#i">s</hi>) <hi rendition="#i">a b c</hi><hi rendition="#sub">1</hi> + (<hi rendition="#i">p q</hi> + <hi rendition="#i">q</hi><hi rendition="#sub">1</hi> <hi rendition="#i">r</hi>) <hi rendition="#i">a b</hi><hi rendition="#sub">1</hi> <hi rendition="#i">c</hi> +<lb/>
+ (<hi rendition="#i">q</hi> + <hi rendition="#i">s</hi>) <hi rendition="#i">a b</hi><hi rendition="#sub">1</hi> <hi rendition="#i">c</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">p r a</hi><hi rendition="#sub">1</hi> <hi rendition="#i">b c</hi> + (<hi rendition="#i">q r</hi> + <hi rendition="#i">r</hi><hi rendition="#sub">1</hi> <hi rendition="#i">s</hi>) <hi rendition="#i">a</hi><hi rendition="#sub">1</hi> <hi rendition="#i">b c</hi><hi rendition="#sub">1</hi> +<lb/>
+ (<hi rendition="#i">p s</hi> + <hi rendition="#i">r s</hi><hi rendition="#sub">1</hi>) <hi rendition="#i">a</hi><hi rendition="#sub">1</hi> <hi rendition="#i">b</hi><hi rendition="#sub">1</hi> <hi rendition="#i">c</hi> + <hi rendition="#i">q s a</hi><hi rendition="#sub">1</hi> <hi rendition="#i">b</hi><hi rendition="#sub">1</hi> <hi rendition="#i">c</hi><hi rendition="#sub">1</hi>,<lb/><hi rendition="#i">a</hi> &#x2218; (<hi rendition="#i">b</hi> &#x2218; <hi rendition="#i">c</hi>) = <hi rendition="#i">p a</hi> (<hi rendition="#i">b</hi> &#x2218; <hi rendition="#i">c</hi>) + <hi rendition="#i">q a</hi> (<hi rendition="#i">b&#x0305;</hi> &#x2218;&#x0305; <hi rendition="#i">c&#x0305;</hi>) + <hi rendition="#i">r a</hi><hi rendition="#sub">1</hi> (<hi rendition="#i">b</hi> &#x2218; <hi rendition="#i">c</hi>) + <hi rendition="#i">s a</hi><hi rendition="#sub">1</hi> (<hi rendition="#i">b&#x0305;</hi> &#x2218;&#x0305; <hi rendition="#i">c&#x0305;</hi>) =<lb/>
= (<hi rendition="#i">p</hi> + <hi rendition="#i">q</hi>) <hi rendition="#i">a b c</hi> + <hi rendition="#i">p q a b c</hi><hi rendition="#sub">1</hi> + (<hi rendition="#i">p r</hi> + <hi rendition="#i">q r</hi><hi rendition="#sub">1</hi>) <hi rendition="#i">a b</hi><hi rendition="#sub">1</hi> <hi rendition="#i">c</hi> + (<hi rendition="#i">p s</hi> + <hi rendition="#i">q s</hi><hi rendition="#sub">1</hi>) <hi rendition="#i">a b</hi><hi rendition="#sub">1</hi> <hi rendition="#i">c</hi><hi rendition="#sub">1</hi> +<lb/>
+ (<hi rendition="#i">p r</hi> + <hi rendition="#i">p</hi><hi rendition="#sub">1</hi> <hi rendition="#i">s</hi>) <hi rendition="#i">a</hi><hi rendition="#sub">1</hi> <hi rendition="#i">b c</hi> + (<hi rendition="#i">q r</hi> + <hi rendition="#i">q</hi><hi rendition="#sub">1</hi> <hi rendition="#i">s</hi>) <hi rendition="#i">a</hi><hi rendition="#sub">1</hi> <hi rendition="#i">b c</hi><hi rendition="#sub">1</hi> + (<hi rendition="#i">r</hi> + <hi rendition="#i">s</hi>) <hi rendition="#i">a</hi><hi rendition="#sub">1</hi> <hi rendition="#i">b</hi><hi rendition="#sub">1</hi> <hi rendition="#i">c</hi> + <hi rendition="#i">r s a</hi><hi rendition="#sub">1</hi> <hi rendition="#i">b</hi><hi rendition="#sub">1</hi> <hi rendition="#i">c</hi><hi rendition="#sub">1</hi>.</hi><lb/></p>
          </div>
        </div>
      </div>
    </body>
  </text>
</TEI>
[494/0138] Siebenundzwanzigste Vorlesung. Schreibt man: [FORMEL] = p' a b + q' a b1 + r' a1 b + s' a1 b1, so ist p' = r1 u1 + p u, q' = s1 u1 + q u, r' = r u1 + p1 u, s' = s u1 + q1 u und man erkennt unmittelbar (oder auch durch Elimination von p, q, r, s, wobei u von selbst herausfällt,): p' = r'1, q' = s'1; also ist [FORMEL] von der Form: [FORMEL] = r'1 a b + s'1 a b1 + r' a1 b + s' a1 b1. — Ebenso gibt die Gleichung b ∘ x = a: (p1 a b + r1 a b1 + p a1 b + r a1 b1) x + (q1 a b + s1 a b1 + q a1 b + s a1 b1) x1 = 0, mit der Resultante: p1 q1 a b + r1 s1 a b1 + p q a1 b + r s a1 b1 = 0 und der Auflösung: a ⦂ b = x = (q1 u1 + p u) a b + (s1 u1 + r u) a b1 + (q u1 + p1 u) a1 b + + (s u1 + r1 u) a1 b1; es ist also auch a ⦂ b von der Form a ⦂ b = r'1 a b + s'1 a b1 + r' a1 b + s' a1 b1. Überhaupt ergibt sich alles auf a ⦂ b bezügliche aus dem über [FORMEL] eru- irten einfachst, indem man q mit r vertauscht. β) Die allgemeinste assoziative Knüpfung im identischen Kalkul soll jetzt ermittelt werden, — mithin die „Lösung“ (der Funktional- gleichung) des Algorithmus β1) a ∘ (b ∘ c) = (a ∘ b) ∘ c = a ∘ b ∘ c. Wir erhalten gemäss α1): (a ∘ b) ∘ c = p (a ∘ b) c + q (a ∘ b) c1 + r (a̅ ∘̅ b̅) c + s (a̅ ∘̅ b̅) c1 = = (p + r) a b c + (p q + p1 s) a b c1 + (p q + q1 r) a b1 c + + (q + s) a b1 c1 + p r a1 b c + (q r + r1 s) a1 b c1 + + (p s + r s1) a1 b1 c + q s a1 b1 c1, a ∘ (b ∘ c) = p a (b ∘ c) + q a (b̅ ∘̅ c̅) + r a1 (b ∘ c) + s a1 (b̅ ∘̅ c̅) = = (p + q) a b c + p q a b c1 + (p r + q r1) a b1 c + (p s + q s1) a b1 c1 + + (p r + p1 s) a1 b c + (q r + q1 s) a1 b c1 + (r + s) a1 b1 c + r s a1 b1 c1.

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_logik0202_1905
URL zu dieser Seite: https://www.deutschestextarchiv.de/schroeder_logik0202_1905/138
Zitationshilfe: Schröder, Ernst: Vorlesungen über die Algebra der Logik. Bd. 2, Abt. 2. Leipzig, 1905, S. 494. In: Deutsches Textarchiv <https://www.deutschestextarchiv.de/schroeder_logik0202_1905/138>, abgerufen am 28.03.2024.