Anmelden (DTAQ) DWDS     dlexDB     CLARIN-D

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

Bild:
<< vorherige Seite
nächste Seite >>

Sechzehnte Vorlesung.
jenigen sind, wo die Behauptung B des Satzes gilt, aber die Voraus-
setzung A desselben nicht gilt. Die Behauptung a c gilt immer,
wann die Voraussetzung (a b) (b c) zutrifft, aber ausserdem auch
noch in den erwähnten das Gewicht der Aussage II zusammensetzenden
Fällen.

In ähnlicher Weise, wie vorstehend, wollen wir immer die linke Seite
einer Subsumtion oder Gleichung mit A, ihre rechte mit B bezeichnen und
zunächst nur diejenigen Formeln des § 29 nachrechnen, bei denen kein
Produkten- oder Summenzeichen vorkommt.

Für die Def. (1) der Gleichheit haben wir dann:
A = (a b) (b a) = (a1 + b) (b1 + a) und B = (a = b) = a b + a1 b1,
was übereinstimmt.

Bei Th. °1) würden wir als Gültigkeitsklasse nach Schema m) erhalten:
(a = a) = a a + a1 a1 = 1; doch genügt bereits vergleichendes Inspiziren
der beiden Seiten der in ihm behaupteten Gleichung.

Bei Th. 2) ist A = (a b) (b = c) = (a1 + b) (b c + b1 c1) = b c + a1 b1 c1
und b1 c + a1 b c1 das Gewicht, mithin die Summe beider gleich dem Major:
B = (a c) = a1 + c. Ebenso:

Bei Th. 3) ist: A = (a = b) (b c) = a b c + a1 b1 und a1 b + a b1 c das
Gewicht.

Bei Th. 4) ist: A = (a = b) (b = c) = (a b + a1 b1) (b c + b1 c1) = a b c + a1 b1 c1
und B = (a = c) = a c + a1 c1 = A + (a b1 c + a1 b c1), woraus das Gewicht
ersichtlich ist als ein mit dem von Pr. II übereinstimmendes.

Def. °(2) gibt (0 a) = 01 + a = 1 + a = 1, (a 1) = a1 + 1 = 1,
wie es sein soll.

Zu Th. 5) bekommen wir bei

5x) A = (a 0) = a1 + 0 = a1,5+) A = (1 a) = 11 + a = 0 + a = a,
B = (a = 0) = (a1 = 1) = a1B = (a = 1) = a,
was übereinstimmt. Man kann aber auch rein mechanisch sogleich die
Gültigkeitsklasse des ganzen Theorems ansetzen:
{(a 0) = (a = 0)} = (a1 + 0 = a · 0 + a1 · 01) = (a1 = a1) = a1 a1 + a a = a1 + a = 1,
{(1 a) = (a = 1)} = (11 + a = a · 1 + a1 · 11) = (a = a) = 1.

Zu Def. (3) haben wir bei

(3x) A = (c a) (c b) = (c1 + a) (c1 + b) =
= c1 + a b		(3x) A = (a c) (b c) = (a1 + c) (b1 + c) =
= a1 b1 + c
B = (c a b) = c1 + a bB = (a + b c) = (a + b)1 + c = a1 b1 + c.

Zu Th. °6) bei 6x): (a b a) = (a b)1 + a = a1 + b1 + a = 1 + b1 = 1,
bei 6+): (a a + b) = a1 + a + b = 1 + b = 1.

Gleicherweise wie vorhin bei Th. °1), Def. °(2) und Th. °6) ist bei
allen Sätzen des § 29, die eine mit Ringelchen versehene Chiffre haben,

Sechzehnte Vorlesung.
jenigen sind, wo die Behauptung B des Satzes gilt, aber die Voraus-
setzung A desselben nicht gilt. Die Behauptung a ⊆ c gilt immer,
wann die Voraussetzung (a ⊆ b) (b ⊆ c) zutrifft, aber ausserdem auch
noch in den erwähnten das Gewicht der Aussage II zusammensetzenden
Fällen.

In ähnlicher Weise, wie vorstehend, wollen wir immer die linke Seite
einer Subsumtion oder Gleichung mit A, ihre rechte mit B bezeichnen und
zunächst nur diejenigen Formeln des § 29 nachrechnen, bei denen kein
Produkten- oder Summenzeichen vorkommt.

Für die Def. (1) der Gleichheit haben wir dann:
A = (a ⊆ b) (b ⊆ a) = (a1 + b) (b1 + a) und B = (a = b) = a b + a1 b1,
was übereinstimmt.

Bei Th. °1) würden wir als Gültigkeitsklasse nach Schema μ) erhalten:
(a = a) = a a + a1 a1 = 1; doch genügt bereits vergleichendes Inspiziren
der beiden Seiten der in ihm behaupteten Gleichung.

Bei Th. 2) ist A = (a ⊆ b) (b = c) = (a1 + b) (b c + b1 c1) = b c + a1 b1 c1
und b1 c + a1 b c1 das Gewicht, mithin die Summe beider gleich dem Major:
B = (a ⊆ c) = a1 + c. Ebenso:

Bei Th. 3) ist: A = (a = b) (b ⊆ c) = a b c + a1 b1 und a1 b + a b1 c das
Gewicht.

Bei Th. 4) ist: A = (a = b) (b = c) = (a b + a1 b1) (b c + b1 c1) = a b c + a1 b1 c1
und B = (a = c) = a c + a1 c1 = A + (a b1 c + a1 b c1), woraus das Gewicht
ersichtlich ist als ein mit dem von Pr. II übereinstimmendes.

Def. °(2) gibt (0 ⊆ a) = 01 + a = 1 + a = 1, (a ⊆ 1) = a1 + 1 = 1,
wie es sein soll.

Zu Th. 5) bekommen wir bei

5×) A = (a ⊆ 0) = a1 + 0 = a1,5+) A = (1 ⊆ a) = 11 + a = 0 + a = a,
B = (a = 0) = (a1 = 1) = a1B = (a = 1) = a,
was übereinstimmt. Man kann aber auch rein mechanisch sogleich die
Gültigkeitsklasse des ganzen Theorems ansetzen:
{(a ⊆ 0) = (a = 0)} = (a1 + 0 = a · 0 + a1 · 01) = (a1 = a1) = a1 a1 + a a = a1 + a = 1,
{(1 ⊆ a) = (a = 1)} = (11 + a = a · 1 + a1 · 11) = (a = a) = 1.

Zu Def. (3) haben wir bei

(3×) A = (c ⊆ a) (c ⊆ b) = (c1 + a) (c1 + b) =
= c1 + a b		(3×) A = (a ⊆ c) (b ⊆ c) = (a1 + c) (b1 + c) =
= a1 b1 + c
B = (c ⊆ a b) = c1 + a bB = (a + b ⊆ c) = (a + b)1 + c = a1 b1 + c.

Zu Th. °6) bei 6×): (a b ⊆ a) = (a b)1 + a = a1 + b1 + a = 1 + b1 = 1,
bei 6+): (a ⊆ a + b) = a1 + a + b = 1 + b = 1.

Gleicherweise wie vorhin bei Th. °1), Def. °(2) und Th. °6) ist bei
allen Sätzen des § 29, die eine mit Ringelchen versehene Chiffre haben,

<TEI>
  <text>
    <body>
      <div n="1">
        <div n="2">
          <div n="3">
            <p><pb facs="#f0098" n="74"/><fw place="top" type="header">Sechzehnte Vorlesung.</fw><lb/>
jenigen sind, wo die Behauptung <hi rendition="#i">B</hi> des Satzes gilt, aber die Voraus-<lb/>
setzung <hi rendition="#i">A</hi> desselben nicht gilt. Die Behauptung <hi rendition="#i">a</hi> <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> <hi rendition="#i">c</hi> gilt immer,<lb/>
wann die Voraussetzung (<hi rendition="#i">a</hi> <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> <hi rendition="#i">b</hi>) (<hi rendition="#i">b</hi> <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> <hi rendition="#i">c</hi>) zutrifft, aber ausserdem auch<lb/>
noch in den erwähnten das Gewicht der Aussage II zusammensetzenden<lb/>
Fällen.</p><lb/>
            <p>In ähnlicher Weise, wie vorstehend, wollen wir immer die linke Seite<lb/>
einer Subsumtion oder Gleichung mit <hi rendition="#i">A</hi>, ihre rechte mit <hi rendition="#i">B</hi> bezeichnen und<lb/>
zunächst nur diejenigen Formeln des § 29 nachrechnen, bei denen kein<lb/>
Produkten- oder Summenzeichen vorkommt.</p><lb/>
            <p>Für die <hi rendition="#g">Def.</hi> (1) der Gleichheit haben wir dann:<lb/><hi rendition="#i">A</hi> = (<hi rendition="#i">a</hi> <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> <hi rendition="#i">b</hi>) (<hi rendition="#i">b</hi> <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> <hi rendition="#i">a</hi>) = (<hi rendition="#i">a</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">b</hi>) (<hi rendition="#i">b</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">a</hi>) und <hi rendition="#i">B</hi> = (<hi rendition="#i">a</hi> = <hi rendition="#i">b</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/>
was übereinstimmt.</p><lb/>
            <p><hi rendition="#g">Bei</hi> Th. °1) würden wir als Gültigkeitsklasse nach Schema <hi rendition="#i">&#x03BC;</hi>) erhalten:<lb/>
(<hi rendition="#i">a</hi> = <hi rendition="#i">a</hi>) = <hi rendition="#i">a a</hi> + <hi rendition="#i">a</hi><hi rendition="#sub">1</hi> <hi rendition="#i">a</hi><hi rendition="#sub">1</hi> = 1; doch genügt bereits vergleichendes Inspiziren<lb/>
der beiden Seiten der in ihm behaupteten Gleichung.</p><lb/>
            <p><hi rendition="#g">Bei</hi> Th. 2) ist <hi rendition="#i">A</hi> = (<hi rendition="#i">a</hi> <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> <hi rendition="#i">b</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="#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 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><lb/>
und <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><hi rendition="#sub">1</hi> das Gewicht, mithin die Summe beider gleich dem Major:<lb/><hi rendition="#i">B</hi> = (<hi rendition="#i">a</hi> <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> <hi rendition="#i">c</hi>) = <hi rendition="#i">a</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">c</hi>. Ebenso:</p><lb/>
            <p><hi rendition="#g">Bei</hi> Th. 3) ist: <hi rendition="#i">A</hi> = (<hi rendition="#i">a</hi> = <hi rendition="#i">b</hi>) (<hi rendition="#i">b</hi> <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> <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> und <hi rendition="#i">a</hi><hi rendition="#sub">1</hi> <hi rendition="#i">b</hi> + <hi rendition="#i">a b</hi><hi rendition="#sub">1</hi> <hi rendition="#i">c</hi> das<lb/>
Gewicht.</p><lb/>
            <p><hi rendition="#g">Bei</hi> Th. 4) ist: <hi rendition="#i">A</hi> = (<hi rendition="#i">a</hi> = <hi rendition="#i">b</hi>) (<hi rendition="#i">b</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">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 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><lb/>
und <hi rendition="#i">B</hi> = (<hi rendition="#i">a</hi> = <hi rendition="#i">c</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">A</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>), woraus das Gewicht<lb/>
ersichtlich ist als ein mit dem von Pr. II übereinstimmendes.</p><lb/>
            <p><hi rendition="#g">Def.</hi> °(2) gibt (0 <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> <hi rendition="#i">a</hi>) = 0<hi rendition="#sub">1</hi> + <hi rendition="#i">a</hi> = 1 + <hi rendition="#i">a</hi> = 1, (<hi rendition="#i">a</hi> <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> 1) = <hi rendition="#i">a</hi><hi rendition="#sub">1</hi> + 1 = 1,<lb/>
wie es sein soll.</p><lb/>
            <p><hi rendition="#g">Zu</hi> Th. 5) bekommen wir bei<lb/><table><row><cell>5<hi rendition="#sub">×</hi>) <hi rendition="#i">A</hi> = (<hi rendition="#i">a</hi> <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> 0) = <hi rendition="#i">a</hi><hi rendition="#sub">1</hi> + 0 = <hi rendition="#i">a</hi><hi rendition="#sub">1</hi>,</cell><cell>5<hi rendition="#sub">+</hi>) <hi rendition="#i">A</hi> = (1 <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> <hi rendition="#i">a</hi>) = 1<hi rendition="#sub">1</hi> + <hi rendition="#i">a</hi> = 0 + <hi rendition="#i">a</hi> = <hi rendition="#i">a</hi>,</cell></row><lb/><row><cell><hi rendition="#i">B</hi> = (<hi rendition="#i">a</hi> = 0) = (<hi rendition="#i">a</hi><hi rendition="#sub">1</hi> = 1) = <hi rendition="#i">a</hi><hi rendition="#sub">1</hi></cell><cell><hi rendition="#i">B</hi> = (<hi rendition="#i">a</hi> = 1) = <hi rendition="#i">a</hi>,</cell></row><lb/></table> was übereinstimmt. Man kann aber auch rein mechanisch sogleich die<lb/>
Gültigkeitsklasse des ganzen Theorems ansetzen:<lb/>
{(<hi rendition="#i">a</hi> <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> 0) = (<hi rendition="#i">a</hi> = 0)} = (<hi rendition="#i">a</hi><hi rendition="#sub">1</hi> + 0 = <hi rendition="#i">a</hi> · 0 + <hi rendition="#i">a</hi><hi rendition="#sub">1</hi> · 0<hi rendition="#sub">1</hi>) = (<hi rendition="#i">a</hi><hi rendition="#sub">1</hi> = <hi rendition="#i">a</hi><hi rendition="#sub">1</hi>) = <hi rendition="#i">a</hi><hi rendition="#sub">1</hi> <hi rendition="#i">a</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">a a</hi> = <hi rendition="#i">a</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">a</hi> = 1,<lb/>
{(1 <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> <hi rendition="#i">a</hi>) = (<hi rendition="#i">a</hi> = 1)} = (1<hi rendition="#sub">1</hi> + <hi rendition="#i">a</hi> = <hi rendition="#i">a</hi> · 1 + <hi rendition="#i">a</hi><hi rendition="#sub">1</hi> · 1<hi rendition="#sub">1</hi>) = (<hi rendition="#i">a</hi> = <hi rendition="#i">a</hi>) = 1.</p><lb/>
            <p>Zu Def. (3) haben wir bei<lb/><table><row><cell>(3<hi rendition="#sub">×</hi>) <hi rendition="#i">A</hi> = (<hi rendition="#i">c</hi> <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> <hi rendition="#i">a</hi>) (<hi rendition="#i">c</hi> <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> <hi rendition="#i">b</hi>) = (<hi rendition="#i">c</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">a</hi>) (<hi rendition="#i">c</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">b</hi>) =<lb/>
= <hi rendition="#i">c</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">a b</hi></cell><cell>(3<hi rendition="#sub">×</hi>) <hi rendition="#i">A</hi> = (<hi rendition="#i">a</hi> <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> <hi rendition="#i">c</hi>) (<hi rendition="#i">b</hi> <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> <hi rendition="#i">c</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">c</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></cell></row><lb/><row><cell><hi rendition="#i">B</hi> = (<hi rendition="#i">c</hi> <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> <hi rendition="#i">a b</hi>) = <hi rendition="#i">c</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">a b</hi></cell><cell><hi rendition="#i">B</hi> = (<hi rendition="#i">a</hi> + <hi rendition="#i">b</hi> <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> <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="#i">a</hi><hi rendition="#sub">1</hi> <hi rendition="#i">b</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">c</hi>.</cell></row><lb/></table></p>
            <p>Zu Th. °6) bei 6<hi rendition="#sub">×</hi>): (<hi rendition="#i">a b</hi> <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> <hi rendition="#i">a</hi>) = (<hi rendition="#i">a b</hi>)<hi rendition="#sub">1</hi> + <hi rendition="#i">a</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> = 1 + <hi rendition="#i">b</hi><hi rendition="#sub">1</hi> = 1,<lb/>
bei 6<hi rendition="#sub">+</hi>): (<hi rendition="#i">a</hi> <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> <hi rendition="#i">a</hi> + <hi rendition="#i">b</hi>) = <hi rendition="#i">a</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">a</hi> + <hi rendition="#i">b</hi> = 1 + <hi rendition="#i">b</hi> = 1.</p><lb/>
            <p>Gleicherweise wie vorhin bei Th. °1), Def. °(2) und Th. °6) ist bei<lb/>
allen Sätzen des § 29, die eine mit Ringelchen versehene Chiffre haben,<lb/></p>
          </div>
        </div>
      </div>
    </body>
  </text>
</TEI>
[74/0098] Sechzehnte Vorlesung. jenigen sind, wo die Behauptung B des Satzes gilt, aber die Voraus- setzung A desselben nicht gilt. Die Behauptung a  c gilt immer, wann die Voraussetzung (a  b) (b  c) zutrifft, aber ausserdem auch noch in den erwähnten das Gewicht der Aussage II zusammensetzenden Fällen. In ähnlicher Weise, wie vorstehend, wollen wir immer die linke Seite einer Subsumtion oder Gleichung mit A, ihre rechte mit B bezeichnen und zunächst nur diejenigen Formeln des § 29 nachrechnen, bei denen kein Produkten- oder Summenzeichen vorkommt. Für die Def. (1) der Gleichheit haben wir dann: A = (a  b) (b  a) = (a1 + b) (b1 + a) und B = (a = b) = a b + a1 b1, was übereinstimmt. Bei Th. °1) würden wir als Gültigkeitsklasse nach Schema μ) erhalten: (a = a) = a a + a1 a1 = 1; doch genügt bereits vergleichendes Inspiziren der beiden Seiten der in ihm behaupteten Gleichung. Bei Th. 2) ist A = (a  b) (b = c) = (a1 + b) (b c + b1 c1) = b c + a1 b1 c1 und b1 c + a1 b c1 das Gewicht, mithin die Summe beider gleich dem Major: B = (a  c) = a1 + c. Ebenso: Bei Th. 3) ist: A = (a = b) (b  c) = a b c + a1 b1 und a1 b + a b1 c das Gewicht. Bei Th. 4) ist: A = (a = b) (b = c) = (a b + a1 b1) (b c + b1 c1) = a b c + a1 b1 c1 und B = (a = c) = a c + a1 c1 = A + (a b1 c + a1 b c1), woraus das Gewicht ersichtlich ist als ein mit dem von Pr. II übereinstimmendes. Def. °(2) gibt (0  a) = 01 + a = 1 + a = 1, (a  1) = a1 + 1 = 1, wie es sein soll. Zu Th. 5) bekommen wir bei 5×) A = (a  0) = a1 + 0 = a1, 5+) A = (1  a) = 11 + a = 0 + a = a, B = (a = 0) = (a1 = 1) = a1 B = (a = 1) = a, was übereinstimmt. Man kann aber auch rein mechanisch sogleich die Gültigkeitsklasse des ganzen Theorems ansetzen: {(a  0) = (a = 0)} = (a1 + 0 = a · 0 + a1 · 01) = (a1 = a1) = a1 a1 + a a = a1 + a = 1, {(1  a) = (a = 1)} = (11 + a = a · 1 + a1 · 11) = (a = a) = 1. Zu Def. (3) haben wir bei (3×) A = (c  a) (c  b) = (c1 + a) (c1 + b) = = c1 + a b (3×) A = (a  c) (b  c) = (a1 + c) (b1 + c) = = a1 b1 + c B = (c  a b) = c1 + a b B = (a + b  c) = (a + b)1 + c = a1 b1 + c. Zu Th. °6) bei 6×): (a b  a) = (a b)1 + a = a1 + b1 + a = 1 + b1 = 1, bei 6+): (a  a + b) = a1 + a + b = 1 + b = 1. Gleicherweise wie vorhin bei Th. °1), Def. °(2) und Th. °6) ist bei allen Sätzen des § 29, die eine mit Ringelchen versehene Chiffre haben,

Suche im Werk

Hilfe

Informationen zum Werk

Download dieses Werks

XML (TEI P5) · HTML · Text
TCF (text annotation layer)
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_logik0201_1891
URL zu dieser Seite: https://www.deutschestextarchiv.de/schroeder_logik0201_1891/98
Zitationshilfe: Schröder, Ernst: Vorlesungen über die Algebra der Logik. Bd. 2, Abt. 1. Leipzig, 1891, S. 74. In: Deutsches Textarchiv <https://www.deutschestextarchiv.de/schroeder_logik0201_1891/98>, abgerufen am 24.11.2024.