Anmelden (DTAQ) DWDS     dlexDB     CLARIN-D

Schröder, Ernst: Vorlesungen über die Algebra der Logik. Bd. 1. Leipzig, 1890.

Bild:
<< vorherige Seite

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.

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 mitGruppen“ (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.

<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 &#x201E;Gruppen&#x201C;<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> &#x201E;<hi rendition="#i">Gruppen</hi>&#x201C; (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 &#x2014; 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 Werk

Hilfe

Informationen zum Werk

Download dieses Werks

XML (TEI P5) · HTML · Text
TCF (text annotation layer)
TCF (tokenisiert, serialisiert, lemmatisiert, normalisiert)
XML (TEI P5 inkl. att.linguistic)

Metadaten zum Werk

TEI-Header · CMDI · Dublin Core

Ansichten dieser Seite

Voyant Tools ?

Language Resource Switchboard?

Feedback

Sie haben einen Fehler gefunden? Dann können Sie diesen über unsere Qualitätssicherungsplattform DTAQ melden.

Kommentar zur DTA-Ausgabe

Dieses Werk wurde gemäß den DTA-Transkriptionsrichtlinien im Double-Keying-Verfahren von Nicht-Muttersprachlern erfasst und in XML/TEI P5 nach DTA-Basisformat kodiert.




Ansicht auf Standard zurückstellen

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