Schröder, Ernst: Vorlesungen über die Algebra der Logik. Bd. 1. Leipzig, 1890.Zur Gruppentheorie des identischen Kalkuls. tion des Negirens nur die eine der beiden direkten Operationen desKalkuls auf die Elemente a und b der Gruppe anzuwenden. In der That sind also im identischen Kalkul nur die aufgezählten Wir können auch das Substrat der hier untersuchten "Gruppen" Im logischen Kalkul mit "Gruppen" (speziell von Ausdrücken, Um gedachten Nachweis zu leisten, braucht man sich nur nach Die drei ersten von diesen: A, B, C, sind Untergruppen der vierten Zur Gruppentheorie des identischen Kalkuls. tion des Negirens nur die eine der beiden direkten Operationen desKalkuls auf die Elemente a und b der Gruppe anzuwenden. In der That sind also im identischen Kalkul nur die aufgezählten Wir können auch das Substrat der hier untersuchten „Gruppen“ Im logischen Kalkul mit „Gruppen“ (speziell von Ausdrücken, Um gedachten Nachweis zu leisten, braucht man sich nur nach Die drei ersten von diesen: A, B, C, sind Untergruppen der vierten <TEI> <text> <body> <div n="1"> <div n="2"> <p><pb facs="#f0705" n="685"/><fw place="top" type="header">Zur Gruppentheorie des identischen Kalkuls.</fw><lb/> tion des Negirens nur die eine der beiden direkten Operationen des<lb/> Kalkuls auf die Elemente <hi rendition="#i">a</hi> und <hi rendition="#i">b</hi> der Gruppe anzuwenden.</p><lb/> <p>In der That sind also im identischen Kalkul nur die aufgezählten<lb/> fünferlei Arten der Gruppenbildung möglich, von welchen die letzte<lb/> als die wichtigste diejenige ist, mit der wir uns vorwiegend be-<lb/> schäftigten.</p><lb/> <milestone rendition="#hr" unit="section"/> <p>Wir können auch das Substrat der hier untersuchten „Gruppen“<lb/> benutzen, um (auf's neue) jene Behauptung des § 12 unsrer Theorie<lb/> zu erhärten: dass die zweite Subsumtion des Distributionsgesetzes <hi rendition="#i">nicht</hi><lb/> syllogistisch beweisbar ist.</p><lb/> <p>Im <hi rendition="#i">logischen Kalkul mit</hi> „<hi rendition="#i">Gruppen</hi>“ (speziell von Ausdrücken,<lb/> Funktionen, wie sie im identischen Kalkul vorkommen) gilt in der<lb/> That diese zweite Subsumtion des Distributionsgesetzes <hi rendition="#i">im allgemeinen<lb/> nicht</hi> und gelten gleichwol doch alle andern Sätze des identischen<lb/> Kalkuls, wie solche bis einschliesslich des § 11 der Theorie entwickelt<lb/> worden — insbesondre natürlich also auch die erste Subsumtion des<lb/> Distributionsgesetzes.</p><lb/> <p>Um gedachten Nachweis zu leisten, braucht man sich nur nach<lb/> der oben von uns begründeten Methode von der Vollständigkeit nach-<lb/> stehender vier Gruppen zu überzeugen, die wir kurz mit den links bei-<lb/> gesetzten Buchstaben bezeichnen wollen:<lb/><hi rendition="#et"><hi rendition="#i">A</hi> = <hi rendition="#i">G</hi><hi rendition="#sub">8</hi> (<hi rendition="#i">a b c</hi>, <hi rendition="#i">a b</hi> + <hi rendition="#i">a c</hi> + <hi rendition="#i">b c</hi>) = {0, 1, <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>,</hi><lb/><hi rendition="#i">a b</hi> + <hi rendition="#i">a c</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">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>, <hi rendition="#i">a</hi><hi rendition="#sub">1</hi> <hi rendition="#i">b c</hi> + <hi rendition="#i">a b</hi><hi rendition="#sub">1</hi> <hi rendition="#i">c</hi> + <hi rendition="#i">a b 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">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>},<lb/><hi rendition="#et"><hi rendition="#i">B</hi> = <hi rendition="#i">G</hi><hi rendition="#sub">16</hi> (<hi rendition="#i">a b</hi>, <hi rendition="#i">b c</hi>) = {0, 1, <hi rendition="#i">a b</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">a</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 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><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><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="#i">b</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">c</hi><hi rendition="#sub">1</hi>, <hi rendition="#i">b</hi> (<hi rendition="#i">a</hi> + <hi rendition="#i">c</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="#i">a c</hi><hi rendition="#sub">1</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">a c</hi> + <hi rendition="#i">a</hi><hi rendition="#sub">1</hi> <hi rendition="#i">c</hi><hi rendition="#sub">1</hi>},<lb/><hi rendition="#et"><hi rendition="#i">C</hi> = <hi rendition="#i">G</hi><hi rendition="#sub">16</hi> (<hi rendition="#i">a c</hi>, <hi rendition="#i">b c</hi>) = {0, 1, <hi rendition="#i">a c</hi>, <hi rendition="#i">b 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">c</hi><hi rendition="#sub">1</hi>, <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="#i">a</hi><hi rendition="#sub">1</hi> <hi rendition="#i">b c</hi>,</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><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="#i">b</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">c</hi><hi rendition="#sub">1</hi>, <hi rendition="#i">c</hi> (<hi rendition="#i">a</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</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 b</hi> + <hi rendition="#i">a</hi><hi rendition="#sub">1</hi> <hi rendition="#i">b</hi><hi rendition="#sub">1</hi>},<lb/><hi rendition="#et"><hi rendition="#i">D</hi> = <hi rendition="#i">G</hi><hi rendition="#sub">32</hi> (<hi rendition="#i">a b</hi>, <hi rendition="#i">a c</hi>, <hi rendition="#i">b c</hi>) = {0, 1, <hi rendition="#i">a b</hi>, <hi rendition="#i">a c</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">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>,</hi><lb/><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="#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="#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="#i">c</hi><hi rendition="#sub">1</hi>, <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>,<lb/><hi rendition="#i">a</hi> (<hi rendition="#i">b</hi> + <hi rendition="#i">c</hi>), <hi rendition="#i">b</hi> (<hi rendition="#i">a</hi> + <hi rendition="#i">c</hi>), <hi rendition="#i">c</hi> (<hi rendition="#i">a</hi> + <hi rendition="#i">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">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">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>,<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</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>), <hi rendition="#i">c</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>), <hi rendition="#i">a</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">b</hi><hi rendition="#sub">1</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">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>,<lb/><hi rendition="#i">a b</hi> + <hi rendition="#i">a c</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">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>, <hi rendition="#i">a</hi><hi rendition="#sub">1</hi> <hi rendition="#i">b c</hi> + <hi rendition="#i">a b</hi><hi rendition="#sub">1</hi> <hi rendition="#i">c</hi> + <hi rendition="#i">a b 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">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>}.</p><lb/> <p>Die drei ersten von diesen: <hi rendition="#i">A</hi>, <hi rendition="#i">B</hi>, <hi rendition="#i">C</hi>, sind Untergruppen der vierten<lb/><hi rendition="#i">D</hi>, was selbstverständlich erscheint auch bei der ersten <hi rendition="#i">A</hi>, in An-<lb/> betracht, dass die Bestimmungselemente von dieser nichts anderes sind,<lb/> als Produkt und Summe der Bestimmungselemente von <hi rendition="#i">D</hi>.</p><lb/> </div> </div> </body> </text> </TEI> [685/0705]
Zur Gruppentheorie des identischen Kalkuls.
tion des Negirens nur die eine der beiden direkten Operationen des
Kalkuls auf die Elemente a und b der Gruppe anzuwenden.
In der That sind also im identischen Kalkul nur die aufgezählten
fünferlei Arten der Gruppenbildung möglich, von welchen die letzte
als die wichtigste diejenige ist, mit der wir uns vorwiegend be-
schäftigten.
Wir können auch das Substrat der hier untersuchten „Gruppen“
benutzen, um (auf's neue) jene Behauptung des § 12 unsrer Theorie
zu erhärten: dass die zweite Subsumtion des Distributionsgesetzes nicht
syllogistisch beweisbar ist.
Im logischen Kalkul mit „Gruppen“ (speziell von Ausdrücken,
Funktionen, wie sie im identischen Kalkul vorkommen) gilt in der
That diese zweite Subsumtion des Distributionsgesetzes im allgemeinen
nicht und gelten gleichwol doch alle andern Sätze des identischen
Kalkuls, wie solche bis einschliesslich des § 11 der Theorie entwickelt
worden — insbesondre natürlich also auch die erste Subsumtion des
Distributionsgesetzes.
Um gedachten Nachweis zu leisten, braucht man sich nur nach
der oben von uns begründeten Methode von der Vollständigkeit nach-
stehender vier Gruppen zu überzeugen, die wir kurz mit den links bei-
gesetzten Buchstaben bezeichnen wollen:
A = G8 (a b c, a b + a c + b c) = {0, 1, a b c, a1 + b1 + c1,
a b + a c + b c, a1 b1 + a1 c1 + b1 c1, a1 b c + a b1 c + a b c1, a b c + a1 b1 + a1 c1 + b1 c1},
B = G16 (a b, b c) = {0, 1, a b, b c, a1 + b1, a1 + c1, a b c, a b c1, a1 b c,
a1 + b1 + c1, a1 + b1 + c, a + b1 + c1, b (a + c), b1 + a1 c1, b (a c1 + a1 c), b1 + a c + a1 c1},
C = G16 (a c, b c) = {0, 1, a c, b c, a1 + c1, b1 + c1, a b c, a b1 c, a1 b c,
a1 + b1 + c1, a1 + b + c1, a + b1 + c1, c (a + b), c1 + a1 b1, c (a b1 + a1 b), c1 + a b + a1 b1},
D = G32 (a b, a c, b c) = {0, 1, a b, a c, b c, a1 + b1, a1 + c1, b1 + c1,
a b c, a b c1, a b1 c, a1 b c, a1 + b1 + c1, a1 + b1 + c, a1 + b + c1, a + b1 + c1,
a (b + c), b (a + c), c (a + b), a1 + b1 c1, b1 + a1 c1, c1 + a1 b1,
a (b c1 + b1 c), b (a c1 + a1 c), c (a b1 + a1 b), a1 + b c + b1 c1, b1 + a c + a1 c1, c1 + a b + a1 b1,
a b + a c + b c, a1 b1 + a1 c1 + b1 c1, a1 b c + a b1 c + a b c1, a b c + a1 b1 + a1 c1 + b1 c1}.
Die drei ersten von diesen: A, B, C, sind Untergruppen der vierten
D, was selbstverständlich erscheint auch bei der ersten A, in An-
betracht, dass die Bestimmungselemente von dieser nichts anderes sind,
als Produkt und Summe der Bestimmungselemente von D.
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/705 |
Zitationshilfe: | Schröder, Ernst: Vorlesungen über die Algebra der Logik. Bd. 1. Leipzig, 1890, S. 685. In: Deutsches Textarchiv <https://www.deutschestextarchiv.de/schroeder_logik01_1890/705>, abgerufen am 16.02.2025. |