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) = 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

(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 b	B = (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.

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.

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,

<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

Informationen zum Werk

Titeldaten
Verfügbarkeit Text (TEI-XML-, HTML-, TCF-, E-Book-Fassung): CC BY-SA 4.0.
Nutzungsbedingungen

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

Resource/URL übermitteln

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

Alle Inhalte dieser Seite unterstehen, soweit nicht anders gekennzeichnet, einer Creative-Commons-Lizenz. Die Rechte an den angezeigten Bilddigitalisaten, soweit nicht anders gekennzeichnet, liegen bei den besitzenden Bibliotheken. Weitere Informationen finden Sie in den DTA-Nutzungsbedingungen.

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–2025 Deutsches Textarchiv, Berlin-Brandenburgische Akademie der Wissenschaften (Kontakt).

Zitierempfehlung: Deutsches Textarchiv. Grundlage für ein Referenzkorpus der neuhochdeutschen Sprache. Herausgegeben von der Berlin-Brandenburgischen Akademie der Wissenschaften, Berlin 2025. URL: https://www.deutschestextarchiv.de/.