Schröder, Ernst: Vorlesungen über die Algebra der Logik. Bd. 2, Abt. 1. Leipzig, 1891.§ 46. Analoga zu Peirce's Theoremen. 9. Fortsetzung. Meine Analoga zu den Theoremen s) lauten: Beweis derselben.
und ist hienach das Theorem als Subsumtion vor- und rückwärts bewiesen; § 46. Analoga zu Peirce’s Theoremen. 9. Fortsetzung. Meine Analoga zu den Theoremen σ) lauten: Beweis derselben.
und ist hienach das Theorem als Subsumtion vor- und rückwärts bewiesen; <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’</hi>s Theoremen.</fw><lb/> <p>9. <hi rendition="#g">Fortsetzung</hi>.</p><lb/> <p>Meine Analoga zu den Theoremen <hi rendition="#i">σ</hi>) lauten:<lb/><hi rendition="#i">τ</hi> <hi rendition="#et">(<hi rendition="#i">c</hi> <choice><orig></orig><reg>⊆</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></orig><reg>⊆</reg></choice> <hi rendition="#i">a</hi>) (<hi rendition="#i">q</hi> <choice><orig></orig><reg>⊆</reg></choice> <hi rendition="#i">b</hi>) |<lb/> | (<hi rendition="#i">a</hi> + <hi rendition="#i">b</hi> <choice><orig></orig><reg>⊆</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></orig><reg>⊆</reg></choice> <hi rendition="#i">p</hi>) (<hi rendition="#i">b</hi> <choice><orig></orig><reg>⊆</reg></choice> <hi rendition="#i">q</hi>)</hi><lb/> und könnten dieselben auch in einer der <hi rendition="#g">Peirce’</hi>schen <hi rendition="#i">ϱ</hi>) noch näher<lb/> kommenden Gestalt angeschrieben werden, indem man wieder den<lb/> ersten Faktor des allgemeinen Gliedes nur als Bedingung („Erstreckung“)<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></orig><reg>⊆</reg></choice> <hi rendition="#i">a</hi>) (<hi rendition="#i">q</hi> <choice><orig></orig><reg>⊆</reg></choice> <hi rendition="#i">b</hi>) <choice><orig></orig><reg>⊆</reg></choice> (<hi rendition="#i">p q</hi> <choice><orig></orig><reg>⊆</reg></choice> <hi rendition="#i">a b</hi>)<lb/> und dies nach Th. 1̅5̅<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></orig><reg>⊆</reg></choice> <hi rendition="#i">a b</hi>) <choice><orig></orig><reg>⊆</reg></choice> (<hi rendition="#i">c</hi> <choice><orig></orig><reg>⊆</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></orig><reg>⊆</reg></choice> <hi rendition="#i">a</hi>) (<hi rendition="#i">q</hi> <choice><orig></orig><reg>⊆</reg></choice> <hi rendition="#i">b</hi>) <choice><orig></orig><reg>⊆</reg></choice> (<hi rendition="#i">c</hi> <choice><orig></orig><reg>⊆</reg></choice> <hi rendition="#i">a b</hi>),<lb/> wo der linken Seite nach Def. (3̄<hi rendition="#sub">+</hi>)'<lb/> nun auch ein <hi rendition="#i">Σ</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></orig><reg>⊆</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></orig><reg>⊆</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></orig><reg>⊆</reg></choice> <hi rendition="#i">a</hi> und<lb/><hi rendition="#i">q</hi> <choice><orig></orig><reg>⊆</reg></choice> <hi rendition="#i">b</hi>, sonach im ganzen:<lb/> (<hi rendition="#i">c</hi> <choice><orig></orig><reg>⊆</reg></choice> <hi rendition="#i">a b</hi>) <choice><orig></orig><reg>⊆</reg></choice> (<hi rendition="#i">p q</hi> = <hi rendition="#i">c</hi>) (<hi rendition="#i">p</hi> <choice><orig></orig><reg>⊆</reg></choice> <hi rendition="#i">a</hi>) (<hi rendition="#i">q</hi> <choice><orig></orig><reg>⊆</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">Σ</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></orig><reg>⊆</reg></choice> <hi rendition="#i">p</hi>) (<hi rendition="#i">b</hi> <choice><orig></orig><reg>⊆</reg></choice> <hi rendition="#i">q</hi>) <choice><orig></orig><reg>⊆</reg></choice> (<hi rendition="#i">a</hi> + <hi rendition="#i">b</hi> <choice><orig></orig><reg>⊆</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̅5̅<hi rendition="#sub">×</hi>) multiplizirt wird wegen<lb/> (<hi rendition="#i">a</hi> + <hi rendition="#i">b</hi> <choice><orig></orig><reg>⊆</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></orig><reg>⊆</reg></choice> (<hi rendition="#i">a</hi> + <hi rendition="#i">b</hi> <choice><orig></orig><reg>⊆</reg></choice> <hi rendition="#i">c</hi>)<lb/> — nach Th. 2) — geben:<lb/> (<hi rendition="#i">p</hi> + <hi rendition="#i">q</hi> = <hi rendition="#i">c</hi>) (<hi rendition="#i">a</hi> <choice><orig></orig><reg>⊆</reg></choice> <hi rendition="#i">p</hi>) (<hi rendition="#i">b</hi> <choice><orig></orig><reg>⊆</reg></choice> <hi rendition="#i">q</hi>) <choice><orig></orig><reg>⊆</reg></choice> (<hi rendition="#i">a</hi> + <hi rendition="#i">b</hi> <choice><orig></orig><reg>⊆</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></orig><reg>⊆</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></orig><reg>⊆</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></orig><reg>⊆</reg></choice> <hi rendition="#i">p</hi> und<lb/><hi rendition="#i">b</hi> <choice><orig></orig><reg>⊆</reg></choice> <hi rendition="#i">q</hi> mithin<lb/> (<hi rendition="#i">a</hi> + <hi rendition="#i">b</hi> <choice><orig></orig><reg>⊆</reg></choice> <hi rendition="#i">c</hi>) <choice><orig></orig><reg>⊆</reg></choice> (<hi rendition="#i">p</hi> + <hi rendition="#i">q</hi> = <hi rendition="#i">c</hi>) (<hi rendition="#i">a</hi> <choice><orig></orig><reg>⊆</reg></choice> <hi rendition="#i">p</hi>) (<hi rendition="#i">b</hi> <choice><orig></orig><reg>⊆</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">Σ</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 WerkInformationen zum Werk
Download dieses Werks
XML (TEI P5) ·
HTML ·
Text Metadaten zum WerkTEI-Header · CMDI · Dublin Core Ansichten dieser Seite
Voyant Tools
|
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 16.07.2024. |