Anmelden (DTAQ) DWDS     dlexDB     CLARIN-D

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

Bild:
<< vorherige Seite
nächste Seite >>
§ 46. Analoga zu Peirce's Theoremen.

9. Fortsetzung.

Meine Analoga zu den Theoremen s) lauten:
t (c a b) = [Formel 1] (p q = c) (p a) (q b) |
| (a + b c) = [Formel 2] (p + q = c) (a p) (b q)
und könnten dieselben auch in einer der Peirce'schen r) noch näher
kommenden Gestalt angeschrieben werden, indem man wieder den
ersten Faktor des allgemeinen Gliedes nur als Bedingung ("Erstreckung")
unter das Summenzeichen setzte.

Beweis derselben.

Nach 17x) ist:
(p a) (q b) (p q a b)
und dies nach Th. 15x) beiderseits
mit der den Namen c einführenden
Gleichung (p q = c) multiplizirt, gibt,
wenn man rechts berücksichtigt dass
nach Th. 3):
(c = p q) (p q a b) (c a b)
ist, nach II:
(p q = c) (p a) (q b) (c a b),
wo der linken Seite nach Def. (3n+)'
nun auch ein Szeichen vorange-
schrieben werden kann.
Ferner ist nach Th. 20x):
(c a b) = (c · a b = c) =
(c a · c b = c).
Nennen wir nun c a = p, c b = q, so
ist gefolgert: p q = c und muss zu-
gleich nach Th. 6x) sein: p a und
q b, sonach im ganzen:
(c a b) (p q = c) (p a) (q b)
wenigstens für diese p, q. Hier darf
nun rechts auch ein S vorgeschrieben
werden weil das Glied der Summe
eingeordnet,		Nach 17+) ist:
(a p) (b q) (a + b p + q)
und dies mit (p + q = c) beiderseits
nach Th. 15x) multiplizirt wird wegen
(a + b p + q) (p + q = c) (a + b c)
-- nach Th. 2) -- geben:
(p + q = c) (a p) (b q) (a + b c)
und lässt sich links hier auch ein
Summenzeichen vorschreiben aus dem
schon wiederholt angeführten Grunde.
Desgleichen ist nach Th. 20+):
(a + b c) = {(a + b) + c = c} =
{(a + c) + (b + c) = c}.
Wird a + c = p, b + c = q ge-
nannt, so ist gefunden: p + q = c,
zugleich nach Th. 6+) a p und
b q mithin
(a + b c) (p + q = c) (a p) (b q)
für die vorstehend definirten p, q.
Der rechten Seite darf man unbe-
schadet der Gültigkeit der Subsum-
tion ein S vorsetzen,

und ist hienach das Theorem als Subsumtion vor- und rückwärts bewiesen;
es muss als Gleichung gelten.

§ 46. Analoga zu Peirce’s Theoremen.

9. Fortsetzung.

Meine Analoga zu den Theoremen σ) lauten:
τ (c ⊆ a b) = [Formel 1] (p q = c) (p ⊆ a) (q ⊆ b) |
| (a + b ⊆ c) = [Formel 2] (p + q = c) (a ⊆ p) (b ⊆ q)
und könnten dieselben auch in einer der Peirce’schen ϱ) noch näher
kommenden Gestalt angeschrieben werden, indem man wieder den
ersten Faktor des allgemeinen Gliedes nur als Bedingung („Erstreckung“)
unter das Summenzeichen setzte.

Beweis derselben.

Nach 17×) ist:
(p ⊆ a) (q ⊆ b) ⊆ (p q ⊆ a b)
und dies nach Th. 1̅5̅×) beiderseits
mit der den Namen c einführenden
Gleichung (p q = c) multiplizirt, gibt,
wenn man rechts berücksichtigt dass
nach Th. 3):
(c = p q) (p q ⊆ a b) ⊆ (c ⊆ a b)
ist, nach II:
(p q = c) (p ⊆ a) (q ⊆ b) ⊆ (c ⊆ a b),
wo der linken Seite nach Def. (3̄+)'
nun auch ein Σzeichen vorange-
schrieben werden kann.
Ferner ist nach Th. 20×):
(c ⊆ a b) = (c · a b = c) =
⊆ (c a · c b = c).
Nennen wir nun c a = p, c b = q, so
ist gefolgert: p q = c und muss zu-
gleich nach Th. 6×) sein: p ⊆ a und
q ⊆ b, sonach im ganzen:
(c ⊆ a b) ⊆ (p q = c) (p ⊆ a) (q ⊆ b)
wenigstens für diese p, q. Hier darf
nun rechts auch ein Σ vorgeschrieben
werden weil das Glied der Summe
eingeordnet,		Nach 17+) ist:
(a ⊆ p) (b ⊆ q) ⊆ (a + b ⊆ p + q)
und dies mit (p + q = c) beiderseits
nach Th. 1̅5̅×) multiplizirt wird wegen
(a + b ⊆ p + q) (p + q = c) ⊆ (a + b ⊆ c)
— nach Th. 2) — geben:
(p + q = c) (a ⊆ p) (b ⊆ q) ⊆ (a + b ⊆ c)
und lässt sich links hier auch ein
Summenzeichen vorschreiben aus dem
schon wiederholt angeführten Grunde.
Desgleichen ist nach Th. 20+):
(a + b ⊆ c) = {(a + b) + c = c} =
⊆ {(a + c) + (b + c) = c}.
Wird a + c = p, b + c = q ge-
nannt, so ist gefunden: p + q = c,
zugleich nach Th. 6+) a ⊆ p und
b ⊆ q mithin
(a + b ⊆ c) ⊆ (p + q = c) (a ⊆ p) (b ⊆ q)
für die vorstehend definirten p, q.
Der rechten Seite darf man unbe-
schadet der Gültigkeit der Subsum-
tion ein Σ vorsetzen,

und ist hienach das Theorem als Subsumtion vor- und rückwärts bewiesen;
es muss als Gleichung gelten.

<TEI>
  <text>
    <body>
      <div n="1">
        <div n="2">
          <div n="3">
            <pb facs="#f0323" n="299"/>
            <fw place="top" type="header">§ 46. Analoga zu <hi rendition="#g">Peirce&#x2019;</hi>s Theoremen.</fw><lb/>
            <p>9. <hi rendition="#g">Fortsetzung</hi>.</p><lb/>
            <p>Meine Analoga zu den Theoremen <hi rendition="#i">&#x03C3;</hi>) lauten:<lb/><hi rendition="#i">&#x03C4;</hi> <hi rendition="#et">(<hi rendition="#i">c</hi> <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> <hi rendition="#i">a b</hi>) = <formula/> (<hi rendition="#i">p q</hi> = <hi rendition="#i">c</hi>) (<hi rendition="#i">p</hi> <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> <hi rendition="#i">a</hi>) (<hi rendition="#i">q</hi> <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> <hi rendition="#i">b</hi>) |<lb/>
| (<hi rendition="#i">a</hi> + <hi rendition="#i">b</hi> <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> <hi rendition="#i">c</hi>) = <formula/> (<hi rendition="#i">p</hi> + <hi rendition="#i">q</hi> = <hi rendition="#i">c</hi>) (<hi rendition="#i">a</hi> <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> <hi rendition="#i">p</hi>) (<hi rendition="#i">b</hi> <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> <hi rendition="#i">q</hi>)</hi><lb/>
und könnten dieselben auch in einer der <hi rendition="#g">Peirce&#x2019;</hi>schen <hi rendition="#i">&#x03F1;</hi>) noch näher<lb/>
kommenden Gestalt angeschrieben werden, indem man wieder den<lb/>
ersten Faktor des allgemeinen Gliedes nur als Bedingung (&#x201E;Erstreckung&#x201C;)<lb/>
unter das Summenzeichen setzte.</p><lb/>
            <p><hi rendition="#g">Beweis</hi> derselben.</p><lb/>
            <table>
              <row>
                <cell>Nach 17<hi rendition="#sub">×</hi>) ist:<lb/>
(<hi rendition="#i">p</hi> <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> <hi rendition="#i">a</hi>) (<hi rendition="#i">q</hi> <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> <hi rendition="#i">b</hi>) <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> (<hi rendition="#i">p q</hi> <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> <hi rendition="#i">a b</hi>)<lb/>
und dies nach Th. 1&#x0305;5&#x0305;<hi rendition="#sub">×</hi>) beiderseits<lb/>
mit der den Namen <hi rendition="#i">c</hi> einführenden<lb/>
Gleichung (<hi rendition="#i">p q</hi> = <hi rendition="#i">c</hi>) multiplizirt, gibt,<lb/>
wenn man rechts berücksichtigt dass<lb/>
nach Th. 3):<lb/>
(<hi rendition="#i">c</hi> = <hi rendition="#i">p q</hi>) (<hi rendition="#i">p q</hi> <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> <hi rendition="#i">a b</hi>) <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> (<hi rendition="#i">c</hi> <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> <hi rendition="#i">a b</hi>)<lb/>
ist, nach II:<lb/>
(<hi rendition="#i">p q</hi> = <hi rendition="#i">c</hi>) (<hi rendition="#i">p</hi> <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> <hi rendition="#i">a</hi>) (<hi rendition="#i">q</hi> <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> <hi rendition="#i">b</hi>) <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> (<hi rendition="#i">c</hi> <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> <hi rendition="#i">a b</hi>),<lb/>
wo der linken Seite nach Def. (3&#x0304;<hi rendition="#sub">+</hi>)'<lb/>
nun auch ein <hi rendition="#i">&#x03A3;</hi>zeichen vorange-<lb/>
schrieben werden kann.<lb/>
Ferner ist nach Th. 20<hi rendition="#sub">×</hi>):<lb/>
(<hi rendition="#i">c</hi> <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> <hi rendition="#i">a b</hi>) = (<hi rendition="#i">c</hi> · <hi rendition="#i">a b</hi> = <hi rendition="#i">c</hi>) =<lb/><choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> (<hi rendition="#i">c a</hi> · <hi rendition="#i">c b</hi> = <hi rendition="#i">c</hi>).<lb/>
Nennen wir nun <hi rendition="#i">c a</hi> = <hi rendition="#i">p</hi>, <hi rendition="#i">c b</hi> = <hi rendition="#i">q</hi>, so<lb/>
ist gefolgert: <hi rendition="#i">p q</hi> = <hi rendition="#i">c</hi> und muss zu-<lb/>
gleich nach Th. 6<hi rendition="#sub">×</hi>) sein: <hi rendition="#i">p</hi> <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> <hi rendition="#i">a</hi> und<lb/><hi rendition="#i">q</hi> <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> <hi rendition="#i">b</hi>, sonach im ganzen:<lb/>
(<hi rendition="#i">c</hi> <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> <hi rendition="#i">a b</hi>) <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> (<hi rendition="#i">p q</hi> = <hi rendition="#i">c</hi>) (<hi rendition="#i">p</hi> <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> <hi rendition="#i">a</hi>) (<hi rendition="#i">q</hi> <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> <hi rendition="#i">b</hi>)<lb/>
wenigstens für <hi rendition="#i">diese p, q</hi>. Hier darf<lb/>
nun rechts auch ein <hi rendition="#i">&#x03A3;</hi> vorgeschrieben<lb/>
werden weil das Glied der Summe<lb/>
eingeordnet,</cell>
                <cell>Nach 17<hi rendition="#sub">+</hi>) ist:<lb/>
(<hi rendition="#i">a</hi> <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> <hi rendition="#i">p</hi>) (<hi rendition="#i">b</hi> <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> <hi rendition="#i">q</hi>) <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> (<hi rendition="#i">a</hi> + <hi rendition="#i">b</hi> <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> <hi rendition="#i">p</hi> + <hi rendition="#i">q</hi>)<lb/>
und dies mit (<hi rendition="#i">p</hi> + <hi rendition="#i">q</hi> = <hi rendition="#i">c</hi>) beiderseits<lb/>
nach Th. 1&#x0305;5&#x0305;<hi rendition="#sub">×</hi>) multiplizirt wird wegen<lb/>
(<hi rendition="#i">a</hi> + <hi rendition="#i">b</hi> <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> <hi rendition="#i">p</hi> + <hi rendition="#i">q</hi>) (<hi rendition="#i">p</hi> + <hi rendition="#i">q</hi> = <hi rendition="#i">c</hi>) <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> (<hi rendition="#i">a</hi> + <hi rendition="#i">b</hi> <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> <hi rendition="#i">c</hi>)<lb/>
&#x2014; nach Th. 2) &#x2014; geben:<lb/>
(<hi rendition="#i">p</hi> + <hi rendition="#i">q</hi> = <hi rendition="#i">c</hi>) (<hi rendition="#i">a</hi> <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> <hi rendition="#i">p</hi>) (<hi rendition="#i">b</hi> <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> <hi rendition="#i">q</hi>) <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> (<hi rendition="#i">a</hi> + <hi rendition="#i">b</hi> <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> <hi rendition="#i">c</hi>)<lb/>
und lässt sich links hier auch ein<lb/>
Summenzeichen vorschreiben aus dem<lb/>
schon wiederholt angeführten Grunde.<lb/>
Desgleichen ist nach Th. 20<hi rendition="#sub">+</hi>):<lb/>
(<hi rendition="#i">a</hi> + <hi rendition="#i">b</hi> <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> <hi rendition="#i">c</hi>) = {(<hi rendition="#i">a</hi> + <hi rendition="#i">b</hi>) + <hi rendition="#i">c</hi> = <hi rendition="#i">c</hi>} =<lb/><choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> {(<hi rendition="#i">a</hi> + <hi rendition="#i">c</hi>) + (<hi rendition="#i">b</hi> + <hi rendition="#i">c</hi>) = <hi rendition="#i">c</hi>}.<lb/>
Wird <hi rendition="#i">a</hi> + <hi rendition="#i">c</hi> = <hi rendition="#i">p</hi>, <hi rendition="#i">b</hi> + <hi rendition="#i">c</hi> = <hi rendition="#i">q</hi> ge-<lb/>
nannt, so ist gefunden: <hi rendition="#i">p</hi> + <hi rendition="#i">q</hi> = <hi rendition="#i">c</hi>,<lb/>
zugleich nach Th. 6<hi rendition="#sub">+</hi>) <hi rendition="#i">a</hi> <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> <hi rendition="#i">p</hi> und<lb/><hi rendition="#i">b</hi> <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> <hi rendition="#i">q</hi> mithin<lb/>
(<hi rendition="#i">a</hi> + <hi rendition="#i">b</hi> <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> <hi rendition="#i">c</hi>) <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> (<hi rendition="#i">p</hi> + <hi rendition="#i">q</hi> = <hi rendition="#i">c</hi>) (<hi rendition="#i">a</hi> <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> <hi rendition="#i">p</hi>) (<hi rendition="#i">b</hi> <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> <hi rendition="#i">q</hi>)<lb/>
für die vorstehend definirten <hi rendition="#i">p</hi>, <hi rendition="#i">q</hi>.<lb/>
Der rechten Seite darf man unbe-<lb/>
schadet der Gültigkeit der Subsum-<lb/>
tion ein <hi rendition="#i">&#x03A3;</hi> vorsetzen,</cell>
              </row><lb/>
            </table>
            <p>und ist hienach das Theorem als Subsumtion vor- und rückwärts bewiesen;<lb/>
es muss als Gleichung gelten.</p><lb/>
          </div>
        </div>
      </div>
    </body>
  </text>
</TEI>
[299/0323] § 46. Analoga zu Peirce’s Theoremen. 9. Fortsetzung. Meine Analoga zu den Theoremen σ) lauten: τ (c  a b) = [FORMEL] (p q = c) (p  a) (q  b) | | (a + b  c) = [FORMEL] (p + q = c) (a  p) (b  q) und könnten dieselben auch in einer der Peirce’schen ϱ) noch näher kommenden Gestalt angeschrieben werden, indem man wieder den ersten Faktor des allgemeinen Gliedes nur als Bedingung („Erstreckung“) unter das Summenzeichen setzte. Beweis derselben. Nach 17×) ist: (p  a) (q  b)  (p q  a b) und dies nach Th. 1̅5̅×) beiderseits mit der den Namen c einführenden Gleichung (p q = c) multiplizirt, gibt, wenn man rechts berücksichtigt dass nach Th. 3): (c = p q) (p q  a b)  (c  a b) ist, nach II: (p q = c) (p  a) (q  b)  (c  a b), wo der linken Seite nach Def. (3̄+)' nun auch ein Σzeichen vorange- schrieben werden kann. Ferner ist nach Th. 20×): (c  a b) = (c · a b = c) =  (c a · c b = c). Nennen wir nun c a = p, c b = q, so ist gefolgert: p q = c und muss zu- gleich nach Th. 6×) sein: p  a und q  b, sonach im ganzen: (c  a b)  (p q = c) (p  a) (q  b) wenigstens für diese p, q. Hier darf nun rechts auch ein Σ vorgeschrieben werden weil das Glied der Summe eingeordnet, Nach 17+) ist: (a  p) (b  q)  (a + b  p + q) und dies mit (p + q = c) beiderseits nach Th. 1̅5̅×) multiplizirt wird wegen (a + b  p + q) (p + q = c)  (a + b  c) — nach Th. 2) — geben: (p + q = c) (a  p) (b  q)  (a + b  c) und lässt sich links hier auch ein Summenzeichen vorschreiben aus dem schon wiederholt angeführten Grunde. Desgleichen ist nach Th. 20+): (a + b  c) = {(a + b) + c = c} =  {(a + c) + (b + c) = c}. Wird a + c = p, b + c = q ge- nannt, so ist gefunden: p + q = c, zugleich nach Th. 6+) a  p und b  q mithin (a + b  c)  (p + q = c) (a  p) (b  q) für die vorstehend definirten p, q. Der rechten Seite darf man unbe- schadet der Gültigkeit der Subsum- tion ein Σ vorsetzen, und ist hienach das Theorem als Subsumtion vor- und rückwärts bewiesen; es muss als Gleichung gelten.

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_logik0201_1891
URL zu dieser Seite: https://www.deutschestextarchiv.de/schroeder_logik0201_1891/323
Zitationshilfe: Schröder, Ernst: Vorlesungen über die Algebra der Logik. Bd. 2, Abt. 1. Leipzig, 1891, S. 299. In: Deutsches Textarchiv <https://www.deutschestextarchiv.de/schroeder_logik0201_1891/323>, abgerufen am 12.05.2024.