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 ?Language Resource Switchboard?FeedbackSie haben einen Fehler gefunden? Dann können Sie diesen über unsere Qualitätssicherungsplattform DTAQ melden. Kommentar zur DTA-AusgabeDieses Werk wurde gemäß den DTA-Transkriptionsrichtlinien im Double-Keying-Verfahren von Nicht-Muttersprachlern erfasst und in XML/TEI P5 nach DTA-Basisformat kodiert.
|
Insbesondere im Hinblick auf die §§ 86a StGB und 130 StGB wird festgestellt, dass die auf diesen Seiten abgebildeten Inhalte weder in irgendeiner Form propagandistischen Zwecken dienen, oder Werbung für verbotene Organisationen oder Vereinigungen darstellen, oder nationalsozialistische Verbrechen leugnen oder verharmlosen, noch zum Zwecke der Herabwürdigung der Menschenwürde gezeigt werden. Die auf diesen Seiten abgebildeten Inhalte (in Wort und Bild) dienen im Sinne des § 86 StGB Abs. 3 ausschließlich historischen, sozial- oder kulturwissenschaftlichen Forschungszwecken. Ihre Veröffentlichung erfolgt in der Absicht, Wissen zur Anregung der intellektuellen Selbstständigkeit und Verantwortungsbereitschaft des Staatsbürgers zu vermitteln und damit der Förderung seiner Mündigkeit zu dienen.
2007–2024 Deutsches Textarchiv, Berlin-Brandenburgische Akademie der Wissenschaften.
Kontakt: redaktion(at)deutschestextarchiv.de. |