Schröder, Ernst: Vorlesungen über die Algebra der Logik. Bd. 1. Leipzig, 1890.Anhang 6. als einzigen Repräsentanten des letzten Typus derselben -- entsprechendder absurden Aussage: 1 = 0. Wir müssen demnach im Ganzen haben entsprechend je Und diese Typen konstituiren zusammen: Wir wollen nunmehr von jedem Typus einen Repräsentanten wirk- 1. Typus: 0; 2. Typus: 1 = a b c; 3. Typus: 1 + 2 = a b c + a b c1 = a b; 4. Typus: 1 + 4 = a b c + a b1 c1 = a (b c + b1 c1); 5. Typus: 1 + 8 = a b c + a1 b1 c1; 6. Typus: 1 + 2 + 3 = a b c + a b c1 + a1 b c = a (b + c); 7. Typus: 1 + 2 + 7 = a b c + a b c1 + a1 b1 c = a b + a1 b1 c; 8. Typus: 2 + 3 + 5 = a b c1 + a b1 c + a1 b c = a (b c1 + b1 c) + a1 b c; die geringfügige Vereinfachung findet hier jedoch auf Kosten, unter 9. Typus: 1 + 2 + 3 + 5 = a b c + a b c1 + a b1 c + a1 b c = = a (b c1 + b1 c) + b c = a (b + c) + a1 b c = a (b + c) + b c = a b + a c + b c; 10. Typus: 1 + 2 + 3 + 4 = a b c + a b c1 + a b1 c + a b1 c1 = a; 11. Typus: 1 + 2 + 3 + 6 = a b c + a b c1 + a b1 c + a1 b c1 = = a (b + c) + a1 b c1 = a c + b c1; 12. Typus: 1 + 2 + 3 + 8 = a b c + a b c1 + a b1 c + a1 b1 c1 = a (b + c) + a1 b1 c1; 13. Typus: 1 + 2 + 7 + 8 = a b c + a b c1 + a1 b1 c + a1 b1 c1 = a b + a1 b1; 14. Typus: 1 + 4 + 6 + 7 = a b c + a b1 c1 + a1 b c1 + a1 b1 c = = a (b c + b1 c1) + a1 (b c1 + b1 c) = b (a c + a1 c1) + b1 (a c1 + a1 c) = = c (a b + a1 b1) + c1 (a b1 + a1 b); 15. Typus (komplementär zum 8. Typus): 1 + 4 + 6 + 7 + 8 = = a b c + a b1 c1 + a1 b c1 + a1 b1 c + a1 b1 c1 = a b c + b1 c1 + a1 (b1 + c1) = = (a + b1 + c1) (a1 + b + c1) (a1 + b1 + c) = a b c + a1 b1 + a1 c1 + b1 c1; Anhang 6. als einzigen Repräsentanten des letzten Typus derselben — entsprechendder absurden Aussage: 1 = 0. Wir müssen demnach im Ganzen haben entsprechend je Und diese Typen konstituiren zusammen: Wir wollen nunmehr von jedem Typus einen Repräsentanten wirk- 1. Typus: 0; 2. Typus: 1 = a b c; 3. Typus: 1 + 2 = a b c + a b c1 = a b; 4. Typus: 1 + 4 = a b c + a b1 c1 = a (b c + b1 c1); 5. Typus: 1 + 8 = a b c + a1 b1 c1; 6. Typus: 1 + 2 + 3 = a b c + a b c1 + a1 b c = a (b + c); 7. Typus: 1 + 2 + 7 = a b c + a b c1 + a1 b1 c = a b + a1 b1 c; 8. Typus: 2 + 3 + 5 = a b c1 + a b1 c + a1 b c = a (b c1 + b1 c) + a1 b c; die geringfügige Vereinfachung findet hier jedoch auf Kosten, unter 9. Typus: 1 + 2 + 3 + 5 = a b c + a b c1 + a b1 c + a1 b c = = a (b c1 + b1 c) + b c = a (b + c) + a1 b c = a (b + c) + b c = a b + a c + b c; 10. Typus: 1 + 2 + 3 + 4 = a b c + a b c1 + a b1 c + a b1 c1 = a; 11. Typus: 1 + 2 + 3 + 6 = a b c + a b c1 + a b1 c + a1 b c1 = = a (b + c) + a1 b c1 = a c + b c1; 12. Typus: 1 + 2 + 3 + 8 = a b c + a b c1 + a b1 c + a1 b1 c1 = a (b + c) + a1 b1 c1; 13. Typus: 1 + 2 + 7 + 8 = a b c + a b c1 + a1 b1 c + a1 b1 c1 = a b + a1 b1; 14. Typus: 1 + 4 + 6 + 7 = a b c + a b1 c1 + a1 b c1 + a1 b1 c = = a (b c + b1 c1) + a1 (b c1 + b1 c) = b (a c + a1 c1) + b1 (a c1 + a1 c) = = c (a b + a1 b1) + c1 (a b1 + a1 b); 15. Typus (komplementär zum 8. Typus): 1 + 4 + 6 + 7 + 8 = = a b c + a b1 c1 + a1 b c1 + a1 b1 c + a1 b1 c1 = a b c + b1 c1 + a1 (b1 + c1) = = (a + b1 + c1) (a1 + b + c1) (a1 + b1 + c) = a b c + a1 b1 + a1 c1 + b1 c1; <TEI> <text> <body> <div n="1"> <div n="2"> <p><pb facs="#f0690" n="670"/><fw place="top" type="header">Anhang 6.</fw><lb/> als einzigen Repräsentanten des letzten Typus derselben — entsprechend<lb/> der absurden Aussage: 1 = 0.</p><lb/> <p>Wir müssen demnach im Ganzen haben entsprechend je<lb/><hi rendition="#et">0, 1, 2, 3, 4, 5, 6, 7, 8 Aushebungen:<lb/> 1 + 1 + 3 + 3 + 6 + 3 + 3 + 1 + 1 = <hi rendition="#i">22 Typen</hi></hi><lb/> von Elementen der Gruppe <hi rendition="#i">G</hi> (<hi rendition="#i">a</hi>, <hi rendition="#i">b</hi>, <hi rendition="#i">c</hi>), mithin so viele Arten von Aus-<lb/> drücken, welche aus <hi rendition="#i">a</hi>, <hi rendition="#i">b</hi> und <hi rendition="#i">c</hi> mittelst der drei Spezies aufgebaut<lb/> werden können.</p><lb/> <p>Und diese Typen konstituiren zusammen:<lb/><hi rendition="#c">1 + 1 + 3 + 3 + 6 = <hi rendition="#i">14 Haupttypen</hi></hi><lb/> zu welchen sich je die von Anfang und Ende der obigen Reihe gleich-<lb/> weit abstehenden Typen bezüglich zusammenthun. —</p><lb/> <p>Wir wollen nunmehr von jedem Typus einen Repräsentanten wirk-<lb/> lich anschreiben, um denselben auf seine einfachste Gestalt oder be-<lb/> quemste Ausdrucksform im identischen Kalkul zu bringen. Es repräsen-<lb/> tirt den</p><lb/> <list> <item>1. Typus: 0; 2. Typus: 1 = <hi rendition="#i">a b c</hi>; 3. Typus: 1 + 2 = <hi rendition="#i">a b c</hi> + <hi rendition="#i">a b c</hi><hi rendition="#sub">1</hi> = <hi rendition="#i">a b</hi>;</item><lb/> <item>4. Typus: 1 + 4 = <hi rendition="#i">a b c</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">a</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>);</item><lb/> <item>5. Typus: 1 + 8 = <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>;</item><lb/> <item>6. Typus: 1 + 2 + 3 = <hi rendition="#i">a b c</hi> + <hi rendition="#i">a b c</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">a</hi><hi rendition="#sub">1</hi> <hi rendition="#i">b c</hi> = <hi rendition="#i">a</hi> (<hi rendition="#i">b</hi> + <hi rendition="#i">c</hi>);</item><lb/> <item>7. Typus: 1 + 2 + 7 = <hi rendition="#i">a b c</hi> + <hi rendition="#i">a b c</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">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">c</hi>;</item><lb/> <item>8. Typus: 2 + 3 + 5 = <hi rendition="#i">a b c</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">a</hi><hi rendition="#sub">1</hi> <hi rendition="#i">b c</hi> = <hi rendition="#i">a</hi> (<hi rendition="#i">b c</hi><hi rendition="#sub">1</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 c</hi>;</item> </list><lb/> <p>die geringfügige Vereinfachung findet hier jedoch auf Kosten, unter<lb/> Verhüllung der Symmetrie statt.</p><lb/> <list> <item>9. Typus: 1 + 2 + 3 + 5 = <hi rendition="#i">a b c</hi> + <hi rendition="#i">a b c</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">a</hi><hi rendition="#sub">1</hi> <hi rendition="#i">b c</hi> =<lb/> = <hi rendition="#i">a</hi> (<hi rendition="#i">b c</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">b</hi><hi rendition="#sub">1</hi> <hi rendition="#i">c</hi>) + <hi rendition="#i">b c</hi> = <hi rendition="#i">a</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 c</hi> = <hi rendition="#i">a</hi> (<hi rendition="#i">b</hi> + <hi rendition="#i">c</hi>) + <hi rendition="#i">b c</hi> = <hi rendition="#i">a b</hi> + <hi rendition="#i">a c</hi> + <hi rendition="#i">b c</hi>;</item><lb/> <item>10. Typus: 1 + 2 + 3 + 4 = <hi rendition="#i">a b c</hi> + <hi rendition="#i">a b c</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">a b</hi><hi rendition="#sub">1</hi> <hi rendition="#i">c</hi><hi rendition="#sub">1</hi> = <hi rendition="#i">a</hi>;</item><lb/> <item>11. Typus: 1 + 2 + 3 + 6 = <hi rendition="#i">a b c</hi> + <hi rendition="#i">a b c</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">a</hi><hi rendition="#sub">1</hi> <hi rendition="#i">b c</hi><hi rendition="#sub">1</hi> =<lb/> = <hi rendition="#i">a</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 c</hi><hi rendition="#sub">1</hi> = <hi rendition="#i">a c</hi> + <hi rendition="#i">b c</hi><hi rendition="#sub">1</hi>;</item><lb/> <item>12. Typus: 1 + 2 + 3 + 8 = <hi rendition="#i">a b c</hi> + <hi rendition="#i">a b c</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">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 rendition="#i">a</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="#sub">1</hi> <hi rendition="#i">c</hi><hi rendition="#sub">1</hi>;</item><lb/> <item>13. Typus: 1 + 2 + 7 + 8 = <hi rendition="#i">a b c</hi> + <hi rendition="#i">a b c</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">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 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>;</item><lb/> <item>14. Typus: 1 + 4 + 6 + 7 = <hi rendition="#i">a b c</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">a</hi><hi rendition="#sub">1</hi> <hi rendition="#i">b c</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> =<lb/> = <hi rendition="#i">a</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</hi><hi rendition="#sub">1</hi> (<hi rendition="#i">b c</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">b</hi><hi rendition="#sub">1</hi> <hi rendition="#i">c</hi>) = <hi rendition="#i">b</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">b</hi><hi rendition="#sub">1</hi> (<hi rendition="#i">a c</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">a</hi><hi rendition="#sub">1</hi> <hi rendition="#i">c</hi>) =<lb/> = <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">c</hi><hi rendition="#sub">1</hi> (<hi rendition="#i">a b</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">a</hi><hi rendition="#sub">1</hi> <hi rendition="#i">b</hi>);</item><lb/> <item>15. Typus (komplementär zum 8. Typus): 1 + 4 + 6 + 7 + 8 =<lb/> = <hi rendition="#i">a b c</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">a</hi><hi rendition="#sub">1</hi> <hi rendition="#i">b c</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">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 rendition="#i">a 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</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> + <hi rendition="#i">b</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">c</hi><hi rendition="#sub">1</hi>) (<hi rendition="#i">a</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">b</hi> + <hi rendition="#i">c</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">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">a</hi><hi rendition="#sub">1</hi> <hi rendition="#i">c</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>;</item> </list><lb/> </div> </div> </body> </text> </TEI> [670/0690]
Anhang 6.
als einzigen Repräsentanten des letzten Typus derselben — entsprechend
der absurden Aussage: 1 = 0.
Wir müssen demnach im Ganzen haben entsprechend je
0, 1, 2, 3, 4, 5, 6, 7, 8 Aushebungen:
1 + 1 + 3 + 3 + 6 + 3 + 3 + 1 + 1 = 22 Typen
von Elementen der Gruppe G (a, b, c), mithin so viele Arten von Aus-
drücken, welche aus a, b und c mittelst der drei Spezies aufgebaut
werden können.
Und diese Typen konstituiren zusammen:
1 + 1 + 3 + 3 + 6 = 14 Haupttypen
zu welchen sich je die von Anfang und Ende der obigen Reihe gleich-
weit abstehenden Typen bezüglich zusammenthun. —
Wir wollen nunmehr von jedem Typus einen Repräsentanten wirk-
lich anschreiben, um denselben auf seine einfachste Gestalt oder be-
quemste Ausdrucksform im identischen Kalkul zu bringen. Es repräsen-
tirt den
1. Typus: 0; 2. Typus: 1 = a b c; 3. Typus: 1 + 2 = a b c + a b c1 = a b;
4. Typus: 1 + 4 = a b c + a b1 c1 = a (b c + b1 c1);
5. Typus: 1 + 8 = a b c + a1 b1 c1;
6. Typus: 1 + 2 + 3 = a b c + a b c1 + a1 b c = a (b + c);
7. Typus: 1 + 2 + 7 = a b c + a b c1 + a1 b1 c = a b + a1 b1 c;
8. Typus: 2 + 3 + 5 = a b c1 + a b1 c + a1 b c = a (b c1 + b1 c) + a1 b c;
die geringfügige Vereinfachung findet hier jedoch auf Kosten, unter
Verhüllung der Symmetrie statt.
9. Typus: 1 + 2 + 3 + 5 = a b c + a b c1 + a b1 c + a1 b c =
= a (b c1 + b1 c) + b c = a (b + c) + a1 b c = a (b + c) + b c = a b + a c + b c;
10. Typus: 1 + 2 + 3 + 4 = a b c + a b c1 + a b1 c + a b1 c1 = a;
11. Typus: 1 + 2 + 3 + 6 = a b c + a b c1 + a b1 c + a1 b c1 =
= a (b + c) + a1 b c1 = a c + b c1;
12. Typus: 1 + 2 + 3 + 8 = a b c + a b c1 + a b1 c + a1 b1 c1 = a (b + c) + a1 b1 c1;
13. Typus: 1 + 2 + 7 + 8 = a b c + a b c1 + a1 b1 c + a1 b1 c1 = a b + a1 b1;
14. Typus: 1 + 4 + 6 + 7 = a b c + a b1 c1 + a1 b c1 + a1 b1 c =
= a (b c + b1 c1) + a1 (b c1 + b1 c) = b (a c + a1 c1) + b1 (a c1 + a1 c) =
= c (a b + a1 b1) + c1 (a b1 + a1 b);
15. Typus (komplementär zum 8. Typus): 1 + 4 + 6 + 7 + 8 =
= a b c + a b1 c1 + a1 b c1 + a1 b1 c + a1 b1 c1 = a b c + b1 c1 + a1 (b1 + c1) =
= (a + b1 + c1) (a1 + b + c1) (a1 + b1 + c) = a b c + a1 b1 + a1 c1 + b1 c1;
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_logik01_1890 |
URL zu dieser Seite: | https://www.deutschestextarchiv.de/schroeder_logik01_1890/690 |
Zitationshilfe: | Schröder, Ernst: Vorlesungen über die Algebra der Logik. Bd. 1. Leipzig, 1890, S. 670. In: Deutsches Textarchiv <https://www.deutschestextarchiv.de/schroeder_logik01_1890/690>, abgerufen am 22.07.2024. |