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

§ 47. Auf Individuen bezügliche Sätze.
für ein Individuum gelten muss, ganz ebenso, als ob -- vergl. § 45,
ax) -- a, b, i drei Aussagen wären.

Da
(a c) = (a b a) (a c) (a b c)
und ebenso

(b c) (a b c)
ist, so muss nach Def. (3n+) ohnehin sein:
(a c) + (b c) (a b c)
und dies bleibt natürlich auch bestehen, wenn die beliebig zu denken ge-
wesne Klasse c = i eine singuläre sein sollte.

Für letztre lässt es sich auch so beweisen. Wir haben -- vergl.
§ 35, S. 109:
(a b) = (a b) + (a = b), und nach s) (a i) = (a = 0),
sonach gilt der Satz:
u) (a i) = (a = 0) + (a = i).
Desgleichen ist
(b i) = (b = 0) + (b = i)
und
(a b i) = (a b = 0) + (a b = i).
Die zu beweisende Relation (a i) + (b i) (a b i) läuft also hinaus auf:
(a = 0) + (b = 0) + (a = i) + (b = i) (a b = 0) + (a b = i).
Nun ist schon bekanntermassen:
(a = 0) (a b = 0) sowie (b = 0) (a b = 0).
Ferner haben wir:
(a = i) = (a = i) {(a b = 0) + (a b 0)} (a b = 0) + (a = i) (a b 0);
aber:
(a = i) (a b 0) (i b 0) = (i b = i) = (a b = i),
sonach:
(a = i) (a b = 0) + (a b = i), ebenso (b = i) (a b = 0) + (a b = i)
und durch überschiebendes Addiren der vier (Subsumtionen-)Ansätze ge-
winnen wir die behauptete Subsumtion.

Es wäre nun also noch die umgekehrte Subsumtion:
(a b i) (a i) + (b i)
zu prüfen.

Dass diese aber nicht zu gelten braucht, zeigt ein Beispiel. Nehmen wir
a = i + c = i + c i1 und b = i + d = i + d i1, wo c d = 0
ist, an, so ist a b = i, also die Prämisse links erfüllt; dagegen ist weder

§ 47. Auf Individuen bezügliche Sätze.
für ein Individuum gelten muss, ganz ebenso, als ob — vergl. § 45,
α×) — a, b, i drei Aussagen wären.

Da
(a ⊆ c) = (a b ⊆ a) (a ⊆ c) ⊆ (a b ⊆ c)
und ebenso

(b ⊆ c)⊆ (a b ⊆ c)
ist, so muss nach Def. (3̄+) ohnehin sein:
(a ⊆ c) + (b ⊆ c) ⊆ (a b ⊆ c)
und dies bleibt natürlich auch bestehen, wenn die beliebig zu denken ge-
wesne Klasse c = i eine singuläre sein sollte.

Für letztre lässt es sich auch so beweisen. Wir haben — vergl.
§ 35, S. 109:
(a ⊆ b) = (a ⊂ b) + (a = b), und nach σ) (a ⊂ i) = (a = 0),
sonach gilt der Satz:
υ) (a ⊆ i) = (a = 0) + (a = i).
Desgleichen ist
(b ⊆ i) = (b = 0) + (b = i)
und
(a b ⊆ i) = (a b = 0) + (a b = i).
Die zu beweisende Relation (a ⊆ i) + (b ⊆ i) ⊆ (a b ⊆ i) läuft also hinaus auf:
(a = 0) + (b = 0) + (a = i) + (b = i) ⊆ (a b = 0) + (a b = i).
Nun ist schon bekanntermassen:
(a = 0) ⊆ (a b = 0) sowie (b = 0) ⊆ (a b = 0).
Ferner haben wir:
(a = i) = (a = i) {(a b = 0) + (a b ≠ 0)} ⊆ (a b = 0) + (a = i) (a b ≠ 0);
aber:
(a = i) (a b ≠ 0) ⊆ (i b ≠ 0) = (i b = i) = (a b = i),
sonach:
(a = i) ⊆ (a b = 0) + (a b = i), ebenso (b = i) ⊆ (a b = 0) + (a b = i)
und durch überschiebendes Addiren der vier (Subsumtionen-)Ansätze ge-
winnen wir die behauptete Subsumtion.

Es wäre nun also noch die umgekehrte Subsumtion:
(a b ⊆ i) ⊆ (a ⊆ i) + (b ⊆ i)
zu prüfen.

Dass diese aber nicht zu gelten braucht, zeigt ein Beispiel. Nehmen wir
a = i + c = i + c i1 und b = i + d = i + d i1, wo c d = 0
ist, an, so ist a b = i, also die Prämisse links erfüllt; dagegen ist weder

<TEI>
  <text>
    <body>
      <div n="1">
        <div n="2">
          <div n="3">
            <p><pb facs="#f0355" n="331"/><fw place="top" type="header">§ 47. Auf Individuen bezügliche Sätze.</fw><lb/>
für ein Individuum gelten muss, ganz ebenso, als ob &#x2014; vergl. § 45,<lb/><hi rendition="#i">&#x03B1;</hi><hi rendition="#sub">×</hi>) &#x2014; <hi rendition="#i">a</hi>, <hi rendition="#i">b</hi>, <hi rendition="#i">i</hi> drei Aussagen wären.</p><lb/>
            <p>Da<lb/><hi rendition="#c">(<hi rendition="#i">a</hi> <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> <hi rendition="#i">c</hi>) = (<hi rendition="#i">a b</hi> <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> <hi rendition="#i">a</hi>) (<hi rendition="#i">a</hi> <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> <hi rendition="#i">c</hi>) <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> (<hi rendition="#i">a b</hi> <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> <hi rendition="#i">c</hi>)</hi><lb/>
und ebenso<lb/><table><row><cell>(<hi rendition="#i">b</hi> <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> <hi rendition="#i">c</hi>)</cell><cell><choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> (<hi rendition="#i">a b</hi> <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> <hi rendition="#i">c</hi>)</cell></row><lb/></table> ist, so muss nach Def. (3&#x0304;<hi rendition="#sub">+</hi>) ohnehin sein:<lb/><hi rendition="#c">(<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>) <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> (<hi rendition="#i">a b</hi> <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> <hi rendition="#i">c</hi>)</hi><lb/>
und dies bleibt natürlich auch bestehen, wenn die beliebig zu denken ge-<lb/>
wesne Klasse <hi rendition="#i">c</hi> = <hi rendition="#i">i</hi> eine singuläre sein sollte.</p><lb/>
            <p>Für letztre lässt es sich auch so beweisen. Wir haben &#x2014; vergl.<lb/>
§ 35, S. 109:<lb/><hi rendition="#c">(<hi rendition="#i">a</hi> <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> <hi rendition="#i">b</hi>) = (<hi rendition="#i">a</hi> &#x2282; <hi rendition="#i">b</hi>) + (<hi rendition="#i">a</hi> = <hi rendition="#i">b</hi>), und nach <hi rendition="#i">&#x03C3;</hi>) (<hi rendition="#i">a</hi> &#x2282; <hi rendition="#i">i</hi>) = (<hi rendition="#i">a</hi> = 0),</hi><lb/>
sonach gilt der Satz:<lb/><hi rendition="#i">&#x03C5;</hi>) <hi rendition="#et">(<hi rendition="#i">a</hi> <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> <hi rendition="#i">i</hi>) = (<hi rendition="#i">a</hi> = 0) + (<hi rendition="#i">a</hi> = <hi rendition="#i">i</hi>).</hi><lb/>
Desgleichen ist<lb/><hi rendition="#c">(<hi rendition="#i">b</hi> <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> <hi rendition="#i">i</hi>) = (<hi rendition="#i">b</hi> = 0) + (<hi rendition="#i">b</hi> = <hi rendition="#i">i</hi>)</hi><lb/>
und<lb/><hi rendition="#c">(<hi rendition="#i">a b</hi> <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> <hi rendition="#i">i</hi>) = (<hi rendition="#i">a b</hi> = 0) + (<hi rendition="#i">a b</hi> = <hi rendition="#i">i</hi>).</hi><lb/>
Die zu beweisende Relation (<hi rendition="#i">a</hi> <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> <hi rendition="#i">i</hi>) + (<hi rendition="#i">b</hi> <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> <hi rendition="#i">i</hi>) <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> (<hi rendition="#i">a b</hi> <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> <hi rendition="#i">i</hi>) läuft also hinaus auf:<lb/><hi rendition="#c">(<hi rendition="#i">a</hi> = 0) + (<hi rendition="#i">b</hi> = 0) + (<hi rendition="#i">a</hi> = <hi rendition="#i">i</hi>) + (<hi rendition="#i">b</hi> = <hi rendition="#i">i</hi>) <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> (<hi rendition="#i">a b</hi> = 0) + (<hi rendition="#i">a b</hi> = <hi rendition="#i">i</hi>).</hi><lb/>
Nun ist schon bekanntermassen:<lb/><hi rendition="#c">(<hi rendition="#i">a</hi> = 0) <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> (<hi rendition="#i">a b</hi> = 0) sowie (<hi rendition="#i">b</hi> = 0) <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> (<hi rendition="#i">a b</hi> = 0).</hi><lb/>
Ferner haben wir:<lb/><hi rendition="#c">(<hi rendition="#i">a</hi> = <hi rendition="#i">i</hi>) = (<hi rendition="#i">a</hi> = <hi rendition="#i">i</hi>) {(<hi rendition="#i">a b</hi> = 0) + (<hi rendition="#i">a b</hi> &#x2260; 0)} <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> (<hi rendition="#i">a b</hi> = 0) + (<hi rendition="#i">a</hi> = <hi rendition="#i">i</hi>) (<hi rendition="#i">a b</hi> &#x2260; 0);</hi><lb/>
aber:<lb/><hi rendition="#c">(<hi rendition="#i">a</hi> = <hi rendition="#i">i</hi>) (<hi rendition="#i">a b</hi> &#x2260; 0) <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> (<hi rendition="#i">i b</hi> &#x2260; 0) = (<hi rendition="#i">i b</hi> = <hi rendition="#i">i</hi>) = (<hi rendition="#i">a b</hi> = <hi rendition="#i">i</hi>),</hi><lb/>
sonach:<lb/>
(<hi rendition="#i">a</hi> = <hi rendition="#i">i</hi>) <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> (<hi rendition="#i">a b</hi> = 0) + (<hi rendition="#i">a b</hi> = <hi rendition="#i">i</hi>), ebenso (<hi rendition="#i">b</hi> = <hi rendition="#i">i</hi>) <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> (<hi rendition="#i">a b</hi> = 0) + (<hi rendition="#i">a b</hi> = <hi rendition="#i">i</hi>)<lb/>
und durch überschiebendes Addiren der vier (Subsumtionen-)Ansätze ge-<lb/>
winnen wir die behauptete Subsumtion.</p><lb/>
            <p>Es wäre nun also noch die umgekehrte Subsumtion:<lb/><hi rendition="#c">(<hi rendition="#i">a b</hi> <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> <hi rendition="#i">i</hi>) <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> (<hi rendition="#i">a</hi> <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> <hi rendition="#i">i</hi>) + (<hi rendition="#i">b</hi> <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> <hi rendition="#i">i</hi>)</hi><lb/>
zu prüfen.</p><lb/>
            <p>Dass diese aber <hi rendition="#i">nicht</hi> zu gelten braucht, zeigt ein Beispiel. Nehmen wir<lb/><hi rendition="#c"><hi rendition="#i">a</hi> = <hi rendition="#i">i</hi> + <hi rendition="#i">c</hi> = <hi rendition="#i">i</hi> + <hi rendition="#i">c i</hi><hi rendition="#sub">1</hi> und <hi rendition="#i">b</hi> = <hi rendition="#i">i</hi> + <hi rendition="#i">d</hi> = <hi rendition="#i">i</hi> + <hi rendition="#i">d i</hi><hi rendition="#sub">1</hi>, wo <hi rendition="#i">c d</hi> = 0</hi><lb/>
ist, an, so ist <hi rendition="#i">a b</hi> = <hi rendition="#i">i</hi>, also die Prämisse links erfüllt; dagegen ist weder<lb/></p>
          </div>
        </div>
      </div>
    </body>
  </text>
</TEI>
[331/0355] § 47. Auf Individuen bezügliche Sätze. für ein Individuum gelten muss, ganz ebenso, als ob — vergl. § 45, α×) — a, b, i drei Aussagen wären. Da (a  c) = (a b  a) (a  c)  (a b  c) und ebenso (b  c)  (a b  c) ist, so muss nach Def. (3̄+) ohnehin sein: (a  c) + (b  c)  (a b  c) und dies bleibt natürlich auch bestehen, wenn die beliebig zu denken ge- wesne Klasse c = i eine singuläre sein sollte. Für letztre lässt es sich auch so beweisen. Wir haben — vergl. § 35, S. 109: (a  b) = (a ⊂ b) + (a = b), und nach σ) (a ⊂ i) = (a = 0), sonach gilt der Satz: υ) (a  i) = (a = 0) + (a = i). Desgleichen ist (b  i) = (b = 0) + (b = i) und (a b  i) = (a b = 0) + (a b = i). Die zu beweisende Relation (a  i) + (b  i)  (a b  i) läuft also hinaus auf: (a = 0) + (b = 0) + (a = i) + (b = i)  (a b = 0) + (a b = i). Nun ist schon bekanntermassen: (a = 0)  (a b = 0) sowie (b = 0)  (a b = 0). Ferner haben wir: (a = i) = (a = i) {(a b = 0) + (a b ≠ 0)}  (a b = 0) + (a = i) (a b ≠ 0); aber: (a = i) (a b ≠ 0)  (i b ≠ 0) = (i b = i) = (a b = i), sonach: (a = i)  (a b = 0) + (a b = i), ebenso (b = i)  (a b = 0) + (a b = i) und durch überschiebendes Addiren der vier (Subsumtionen-)Ansätze ge- winnen wir die behauptete Subsumtion. Es wäre nun also noch die umgekehrte Subsumtion: (a b  i)  (a  i) + (b  i) zu prüfen. Dass diese aber nicht zu gelten braucht, zeigt ein Beispiel. Nehmen wir a = i + c = i + c i1 und b = i + d = i + d i1, wo c d = 0 ist, an, so ist a b = i, also die Prämisse links erfüllt; dagegen ist weder

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_logik0201_1891
URL zu dieser Seite: https://www.deutschestextarchiv.de/schroeder_logik0201_1891/355
Zitationshilfe: Schröder, Ernst: Vorlesungen über die Algebra der Logik. Bd. 2, Abt. 1. Leipzig, 1891, S. 331. In: Deutsches Textarchiv <https://www.deutschestextarchiv.de/schroeder_logik0201_1891/355>, abgerufen am 26.06.2024.