Schröder, Ernst: Vorlesungen über die Algebra der Logik. Bd. 2, Abt. 1. Leipzig, 1891.Sechzehnte Vorlesung. jenigen sind, wo die Behauptung B des Satzes gilt, aber die Voraus-setzung A desselben nicht gilt. Die Behauptung a c gilt immer, wann die Voraussetzung (a b) (b c) zutrifft, aber ausserdem auch noch in den erwähnten das Gewicht der Aussage II zusammensetzenden Fällen. In ähnlicher Weise, wie vorstehend, wollen wir immer die linke Seite Für die Def. (1) der Gleichheit haben wir dann: Bei Th. °1) würden wir als Gültigkeitsklasse nach Schema m) erhalten: Bei Th. 2) ist A = (a b) (b = c) = (a1 + b) (b c + b1 c1) = b c + a1 b1 c1 Bei Th. 3) ist: A = (a = b) (b c) = a b c + a1 b1 und a1 b + a b1 c das Bei Th. 4) ist: A = (a = b) (b = c) = (a b + a1 b1) (b c + b1 c1) = a b c + a1 b1 c1 Def. °(2) gibt (0 a) = 01 + a = 1 + a = 1, (a 1) = a1 + 1 = 1, Zu Th. 5) bekommen wir bei
Gültigkeitsklasse des ganzen Theorems ansetzen: {(a 0) = (a = 0)} = (a1 + 0 = a · 0 + a1 · 01) = (a1 = a1) = a1 a1 + a a = a1 + a = 1, {(1 a) = (a = 1)} = (11 + a = a · 1 + a1 · 11) = (a = a) = 1. Zu Def. (3) haben wir bei
Zu Th. °6) bei 6x): (a b a) = (a b)1 + a = a1 + b1 + a = 1 + b1 = 1, Gleicherweise wie vorhin bei Th. °1), Def. °(2) und Th. °6) ist bei Sechzehnte Vorlesung. jenigen sind, wo die Behauptung B des Satzes gilt, aber die Voraus-setzung A desselben nicht gilt. Die Behauptung a ⊆ c gilt immer, wann die Voraussetzung (a ⊆ b) (b ⊆ c) zutrifft, aber ausserdem auch noch in den erwähnten das Gewicht der Aussage II zusammensetzenden Fällen. In ähnlicher Weise, wie vorstehend, wollen wir immer die linke Seite Für die Def. (1) der Gleichheit haben wir dann: Bei Th. °1) würden wir als Gültigkeitsklasse nach Schema μ) erhalten: Bei Th. 2) ist A = (a ⊆ b) (b = c) = (a1 + b) (b c + b1 c1) = b c + a1 b1 c1 Bei Th. 3) ist: A = (a = b) (b ⊆ c) = a b c + a1 b1 und a1 b + a b1 c das Bei Th. 4) ist: A = (a = b) (b = c) = (a b + a1 b1) (b c + b1 c1) = a b c + a1 b1 c1 Def. °(2) gibt (0 ⊆ a) = 01 + a = 1 + a = 1, (a ⊆ 1) = a1 + 1 = 1, Zu Th. 5) bekommen wir bei
Gültigkeitsklasse des ganzen Theorems ansetzen: {(a ⊆ 0) = (a = 0)} = (a1 + 0 = a · 0 + a1 · 01) = (a1 = a1) = a1 a1 + a a = a1 + a = 1, {(1 ⊆ a) = (a = 1)} = (11 + a = a · 1 + a1 · 11) = (a = a) = 1. Zu Def. (3) haben wir bei
Zu Th. °6) bei 6×): (a b ⊆ a) = (a b)1 + a = a1 + b1 + a = 1 + b1 = 1, Gleicherweise wie vorhin bei Th. °1), Def. °(2) und Th. °6) ist bei <TEI> <text> <body> <div n="1"> <div n="2"> <div n="3"> <p><pb facs="#f0098" n="74"/><fw place="top" type="header">Sechzehnte Vorlesung.</fw><lb/> jenigen sind, wo die Behauptung <hi rendition="#i">B</hi> des Satzes gilt, aber die Voraus-<lb/> setzung <hi rendition="#i">A</hi> desselben nicht gilt. Die Behauptung <hi rendition="#i">a</hi> <choice><orig></orig><reg>⊆</reg></choice> <hi rendition="#i">c</hi> gilt immer,<lb/> wann die Voraussetzung (<hi rendition="#i">a</hi> <choice><orig></orig><reg>⊆</reg></choice> <hi rendition="#i">b</hi>) (<hi rendition="#i">b</hi> <choice><orig></orig><reg>⊆</reg></choice> <hi rendition="#i">c</hi>) zutrifft, aber ausserdem auch<lb/> noch in den erwähnten das Gewicht der Aussage II zusammensetzenden<lb/> Fällen.</p><lb/> <p>In ähnlicher Weise, wie vorstehend, wollen wir immer die linke Seite<lb/> einer Subsumtion oder Gleichung mit <hi rendition="#i">A</hi>, ihre rechte mit <hi rendition="#i">B</hi> bezeichnen und<lb/> zunächst nur diejenigen Formeln des § 29 nachrechnen, bei denen kein<lb/> Produkten- oder Summenzeichen vorkommt.</p><lb/> <p>Für die <hi rendition="#g">Def.</hi> (1) der Gleichheit haben wir dann:<lb/><hi rendition="#i">A</hi> = (<hi rendition="#i">a</hi> <choice><orig></orig><reg>⊆</reg></choice> <hi rendition="#i">b</hi>) (<hi rendition="#i">b</hi> <choice><orig></orig><reg>⊆</reg></choice> <hi rendition="#i">a</hi>) = (<hi rendition="#i">a</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">b</hi>) (<hi rendition="#i">b</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">a</hi>) und <hi rendition="#i">B</hi> = (<hi rendition="#i">a</hi> = <hi rendition="#i">b</hi>) = <hi rendition="#i">a b</hi> + <hi rendition="#i">a</hi><hi rendition="#sub">1</hi> <hi rendition="#i">b</hi><hi rendition="#sub">1</hi>,<lb/> was übereinstimmt.</p><lb/> <p><hi rendition="#g">Bei</hi> Th. °1) würden wir als Gültigkeitsklasse nach Schema <hi rendition="#i">μ</hi>) erhalten:<lb/> (<hi rendition="#i">a</hi> = <hi rendition="#i">a</hi>) = <hi rendition="#i">a a</hi> + <hi rendition="#i">a</hi><hi rendition="#sub">1</hi> <hi rendition="#i">a</hi><hi rendition="#sub">1</hi> = 1; doch genügt bereits vergleichendes Inspiziren<lb/> der beiden Seiten der in ihm behaupteten Gleichung.</p><lb/> <p><hi rendition="#g">Bei</hi> Th. 2) ist <hi rendition="#i">A</hi> = (<hi rendition="#i">a</hi> <choice><orig></orig><reg>⊆</reg></choice> <hi rendition="#i">b</hi>) (<hi rendition="#i">b</hi> = <hi rendition="#i">c</hi>) = (<hi rendition="#i">a</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">b</hi>) (<hi rendition="#i">b c</hi> + <hi rendition="#i">b</hi><hi rendition="#sub">1</hi> <hi rendition="#i">c</hi><hi rendition="#sub">1</hi>) = <hi rendition="#i">b c</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="#sub">1</hi><lb/> und <hi rendition="#i">b</hi><hi rendition="#sub">1</hi> <hi rendition="#i">c</hi> + <hi rendition="#i">a</hi><hi rendition="#sub">1</hi> <hi rendition="#i">b c</hi><hi rendition="#sub">1</hi> das Gewicht, mithin die Summe beider gleich dem Major:<lb/><hi rendition="#i">B</hi> = (<hi rendition="#i">a</hi> <choice><orig></orig><reg>⊆</reg></choice> <hi rendition="#i">c</hi>) = <hi rendition="#i">a</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">c</hi>. Ebenso:</p><lb/> <p><hi rendition="#g">Bei</hi> Th. 3) ist: <hi rendition="#i">A</hi> = (<hi rendition="#i">a</hi> = <hi rendition="#i">b</hi>) (<hi rendition="#i">b</hi> <choice><orig></orig><reg>⊆</reg></choice> <hi rendition="#i">c</hi>) = <hi rendition="#i">a b c</hi> + <hi rendition="#i">a</hi><hi rendition="#sub">1</hi> <hi rendition="#i">b</hi><hi rendition="#sub">1</hi> und <hi rendition="#i">a</hi><hi rendition="#sub">1</hi> <hi rendition="#i">b</hi> + <hi rendition="#i">a b</hi><hi rendition="#sub">1</hi> <hi rendition="#i">c</hi> das<lb/> Gewicht.</p><lb/> <p><hi rendition="#g">Bei</hi> Th. 4) ist: <hi rendition="#i">A</hi> = (<hi rendition="#i">a</hi> = <hi rendition="#i">b</hi>) (<hi rendition="#i">b</hi> = <hi rendition="#i">c</hi>) = (<hi rendition="#i">a b</hi> + <hi rendition="#i">a</hi><hi rendition="#sub">1</hi> <hi rendition="#i">b</hi><hi rendition="#sub">1</hi>) (<hi rendition="#i">b c</hi> + <hi rendition="#i">b</hi><hi rendition="#sub">1</hi> <hi rendition="#i">c</hi><hi rendition="#sub">1</hi>) = <hi rendition="#i">a b c</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="#sub">1</hi><lb/> und <hi rendition="#i">B</hi> = (<hi rendition="#i">a</hi> = <hi rendition="#i">c</hi>) = <hi rendition="#i">a c</hi> + <hi rendition="#i">a</hi><hi rendition="#sub">1</hi> <hi rendition="#i">c</hi><hi rendition="#sub">1</hi> = <hi rendition="#i">A</hi> + (<hi rendition="#i">a b</hi><hi rendition="#sub">1</hi> <hi rendition="#i">c</hi> + <hi rendition="#i">a</hi><hi rendition="#sub">1</hi> <hi rendition="#i">b c</hi><hi rendition="#sub">1</hi>), woraus das Gewicht<lb/> ersichtlich ist als ein mit dem von Pr. II übereinstimmendes.</p><lb/> <p><hi rendition="#g">Def.</hi> °(2) gibt (0 <choice><orig></orig><reg>⊆</reg></choice> <hi rendition="#i">a</hi>) = 0<hi rendition="#sub">1</hi> + <hi rendition="#i">a</hi> = 1 + <hi rendition="#i">a</hi> = 1, (<hi rendition="#i">a</hi> <choice><orig></orig><reg>⊆</reg></choice> 1) = <hi rendition="#i">a</hi><hi rendition="#sub">1</hi> + 1 = 1,<lb/> wie es sein soll.</p><lb/> <p><hi rendition="#g">Zu</hi> Th. 5) bekommen wir bei<lb/><table><row><cell>5<hi rendition="#sub">×</hi>) <hi rendition="#i">A</hi> = (<hi rendition="#i">a</hi> <choice><orig></orig><reg>⊆</reg></choice> 0) = <hi rendition="#i">a</hi><hi rendition="#sub">1</hi> + 0 = <hi rendition="#i">a</hi><hi rendition="#sub">1</hi>,</cell><cell>5<hi rendition="#sub">+</hi>) <hi rendition="#i">A</hi> = (1 <choice><orig></orig><reg>⊆</reg></choice> <hi rendition="#i">a</hi>) = 1<hi rendition="#sub">1</hi> + <hi rendition="#i">a</hi> = 0 + <hi rendition="#i">a</hi> = <hi rendition="#i">a</hi>,</cell></row><lb/><row><cell><hi rendition="#i">B</hi> = (<hi rendition="#i">a</hi> = 0) = (<hi rendition="#i">a</hi><hi rendition="#sub">1</hi> = 1) = <hi rendition="#i">a</hi><hi rendition="#sub">1</hi></cell><cell><hi rendition="#i">B</hi> = (<hi rendition="#i">a</hi> = 1) = <hi rendition="#i">a</hi>,</cell></row><lb/></table> was übereinstimmt. Man kann aber auch rein mechanisch sogleich die<lb/> Gültigkeitsklasse des ganzen Theorems ansetzen:<lb/> {(<hi rendition="#i">a</hi> <choice><orig></orig><reg>⊆</reg></choice> 0) = (<hi rendition="#i">a</hi> = 0)} = (<hi rendition="#i">a</hi><hi rendition="#sub">1</hi> + 0 = <hi rendition="#i">a</hi> · 0 + <hi rendition="#i">a</hi><hi rendition="#sub">1</hi> · 0<hi rendition="#sub">1</hi>) = (<hi rendition="#i">a</hi><hi rendition="#sub">1</hi> = <hi rendition="#i">a</hi><hi rendition="#sub">1</hi>) = <hi rendition="#i">a</hi><hi rendition="#sub">1</hi> <hi rendition="#i">a</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">a a</hi> = <hi rendition="#i">a</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">a</hi> = 1,<lb/> {(1 <choice><orig></orig><reg>⊆</reg></choice> <hi rendition="#i">a</hi>) = (<hi rendition="#i">a</hi> = 1)} = (1<hi rendition="#sub">1</hi> + <hi rendition="#i">a</hi> = <hi rendition="#i">a</hi> · 1 + <hi rendition="#i">a</hi><hi rendition="#sub">1</hi> · 1<hi rendition="#sub">1</hi>) = (<hi rendition="#i">a</hi> = <hi rendition="#i">a</hi>) = 1.</p><lb/> <p>Zu Def. (3) haben wir bei<lb/><table><row><cell>(3<hi rendition="#sub">×</hi>) <hi rendition="#i">A</hi> = (<hi rendition="#i">c</hi> <choice><orig></orig><reg>⊆</reg></choice> <hi rendition="#i">a</hi>) (<hi rendition="#i">c</hi> <choice><orig></orig><reg>⊆</reg></choice> <hi rendition="#i">b</hi>) = (<hi rendition="#i">c</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">a</hi>) (<hi rendition="#i">c</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">b</hi>) =<lb/> = <hi rendition="#i">c</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">a b</hi></cell><cell>(3<hi rendition="#sub">×</hi>) <hi rendition="#i">A</hi> = (<hi rendition="#i">a</hi> <choice><orig></orig><reg>⊆</reg></choice> <hi rendition="#i">c</hi>) (<hi rendition="#i">b</hi> <choice><orig></orig><reg>⊆</reg></choice> <hi rendition="#i">c</hi>) = (<hi rendition="#i">a</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">c</hi>) (<hi rendition="#i">b</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">c</hi>) =<lb/> = <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></cell></row><lb/><row><cell><hi rendition="#i">B</hi> = (<hi rendition="#i">c</hi> <choice><orig></orig><reg>⊆</reg></choice> <hi rendition="#i">a b</hi>) = <hi rendition="#i">c</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">a b</hi></cell><cell><hi rendition="#i">B</hi> = (<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="#sub">1</hi> + <hi rendition="#i">c</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>.</cell></row><lb/></table></p> <p>Zu Th. °6) bei 6<hi rendition="#sub">×</hi>): (<hi rendition="#i">a b</hi> <choice><orig></orig><reg>⊆</reg></choice> <hi rendition="#i">a</hi>) = (<hi rendition="#i">a b</hi>)<hi rendition="#sub">1</hi> + <hi rendition="#i">a</hi> = <hi rendition="#i">a</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">b</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">a</hi> = 1 + <hi rendition="#i">b</hi><hi rendition="#sub">1</hi> = 1,<lb/> bei 6<hi rendition="#sub">+</hi>): (<hi rendition="#i">a</hi> <choice><orig></orig><reg>⊆</reg></choice> <hi rendition="#i">a</hi> + <hi rendition="#i">b</hi>) = <hi rendition="#i">a</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">a</hi> + <hi rendition="#i">b</hi> = 1 + <hi rendition="#i">b</hi> = 1.</p><lb/> <p>Gleicherweise wie vorhin bei Th. °1), Def. °(2) und Th. °6) ist bei<lb/> allen Sätzen des § 29, die eine mit Ringelchen versehene Chiffre haben,<lb/></p> </div> </div> </div> </body> </text> </TEI> [74/0098]
Sechzehnte Vorlesung.
jenigen sind, wo die Behauptung B des Satzes gilt, aber die Voraus-
setzung A desselben nicht gilt. Die Behauptung a  c gilt immer,
wann die Voraussetzung (a  b) (b  c) zutrifft, aber ausserdem auch
noch in den erwähnten das Gewicht der Aussage II zusammensetzenden
Fällen.
In ähnlicher Weise, wie vorstehend, wollen wir immer die linke Seite
einer Subsumtion oder Gleichung mit A, ihre rechte mit B bezeichnen und
zunächst nur diejenigen Formeln des § 29 nachrechnen, bei denen kein
Produkten- oder Summenzeichen vorkommt.
Für die Def. (1) der Gleichheit haben wir dann:
A = (a  b) (b  a) = (a1 + b) (b1 + a) und B = (a = b) = a b + a1 b1,
was übereinstimmt.
Bei Th. °1) würden wir als Gültigkeitsklasse nach Schema μ) erhalten:
(a = a) = a a + a1 a1 = 1; doch genügt bereits vergleichendes Inspiziren
der beiden Seiten der in ihm behaupteten Gleichung.
Bei Th. 2) ist A = (a  b) (b = c) = (a1 + b) (b c + b1 c1) = b c + a1 b1 c1
und b1 c + a1 b c1 das Gewicht, mithin die Summe beider gleich dem Major:
B = (a  c) = a1 + c. Ebenso:
Bei Th. 3) ist: A = (a = b) (b  c) = a b c + a1 b1 und a1 b + a b1 c das
Gewicht.
Bei Th. 4) ist: A = (a = b) (b = c) = (a b + a1 b1) (b c + b1 c1) = a b c + a1 b1 c1
und B = (a = c) = a c + a1 c1 = A + (a b1 c + a1 b c1), woraus das Gewicht
ersichtlich ist als ein mit dem von Pr. II übereinstimmendes.
Def. °(2) gibt (0  a) = 01 + a = 1 + a = 1, (a  1) = a1 + 1 = 1,
wie es sein soll.
Zu Th. 5) bekommen wir bei
5×) A = (a  0) = a1 + 0 = a1, 5+) A = (1  a) = 11 + a = 0 + a = a,
B = (a = 0) = (a1 = 1) = a1 B = (a = 1) = a,
was übereinstimmt. Man kann aber auch rein mechanisch sogleich die
Gültigkeitsklasse des ganzen Theorems ansetzen:
{(a  0) = (a = 0)} = (a1 + 0 = a · 0 + a1 · 01) = (a1 = a1) = a1 a1 + a a = a1 + a = 1,
{(1  a) = (a = 1)} = (11 + a = a · 1 + a1 · 11) = (a = a) = 1.
Zu Def. (3) haben wir bei
(3×) A = (c  a) (c  b) = (c1 + a) (c1 + b) =
= c1 + a b (3×) A = (a  c) (b  c) = (a1 + c) (b1 + c) =
= a1 b1 + c
B = (c  a b) = c1 + a b B = (a + b  c) = (a + b)1 + c = a1 b1 + c.
Zu Th. °6) bei 6×): (a b  a) = (a b)1 + a = a1 + b1 + a = 1 + b1 = 1,
bei 6+): (a  a + b) = a1 + a + b = 1 + b = 1.
Gleicherweise wie vorhin bei Th. °1), Def. °(2) und Th. °6) ist bei
allen Sätzen des § 29, die eine mit Ringelchen versehene Chiffre haben,
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/98 |
Zitationshilfe: | Schröder, Ernst: Vorlesungen über die Algebra der Logik. Bd. 2, Abt. 1. Leipzig, 1891, S. 74. In: Deutsches Textarchiv <https://www.deutschestextarchiv.de/schroeder_logik0201_1891/98>, abgerufen am 14.08.2024. |