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 ?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. |