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

Zweiundzwanzigste Vorlesung.

Der linken Seite eingeordnet, und somit -- cf. Th. 5nx) -- ebenfalls
gleich 0, ist aber das Produkt (i x y1 0) (i y 0), indem nach § 40, a')
S. 194 sein muss: (i y 0) (i x1 + i y 0). Nehmen wir jetzt aber
x y = 0 an, so folgt:
x y1 = x y1 + x y = x
und entsteht:
(i x 0) (i y 0) = 0
unter der genannten Annahme. Nimmt man die Subsumtion, die dieses
ausdrückt:
(x y = 0) {(i x 0) (i y 0) = 0}
welche also gilt, d. h. = i ist, gleichzeitig für alle Wertepaare x, y in
Anspruch, oder -- mathematisch zu reden -- nimmt man das Produkt P
nach x und y von derselben und multiplizirt das = i gesetzte noch über-
schiebend mit (i 0) = i, so hat man aber die Gleichung (a) gewonnen,
sie als Folgerung aus (b) abgeleitet, q. e. d.

Damit ist gezeigt, dass (b) die Forderung der Unteilbarkeit des
Individuums in der That hinlänglich zum Ausdruck bringt.

Die Gleichung b), welche "allgemeiner Faktor" des Produktes P
in (b) ist, kann man nun aber noch verschiedentlichst umgestalten,
und analog auch die (noch allgemeinere) Subsumtion a).

Solche Umwandlungen beruhen grossenteils auf spezifischen Sätzen
über das Individuum, die aus der Def. (b) fliessen, und erscheint es
darum angezeigt, zunächst eine Gruppe solcher Sätze aufzustellen.
Diese will ich -- anstatt in den Symbolen x oder x1 und y -- nun
in den Klassensymbolen a, b anschreiben.

Wir hatten bereits als
a) (a b = 0) {(i a 0) (i b 0) = 0}
b) (i a 0) (i a1 0) = 0.

Da letztrer Satz sich als eine Inkonsistenz darstellt, so kann er
nach Th. 38) Zusatz oder § 31 auch angesetzt werden in den beiden
Formen:

b') (i a 0) (i a1 = 0),

b'') (i a1 0) (i a = 0)

womit wir auch zwei neue Formen (b') und (b'') für die Def. (b)
durch Einsetzung erhalten würden.

Auch der Satz a) lässt als eine Inkonsistenz sich anschreiben:
a') (a b = 0) (i a 0) (i b 0) = 0,
wie man am schnellsten erkennt, indem man das letzte in ihm vorkommende
Gleichheitszeichen kraft Th. 5nx) in verwandelt und alsdann von dem

Zweiundzwanzigste Vorlesung.

Der linken Seite eingeordnet, und somit — cf. Th. 5̄×) — ebenfalls
gleich 0, ist aber das Produkt (i x y1 ≠ 0) (i y ≠ 0), indem nach § 40, α')
S. 194 sein muss: (i y ≠ 0) ⊆ (i x1 + i y ≠ 0). Nehmen wir jetzt aber
x y = 0 an, so folgt:
x y1 = x y1 + x y = x
und entsteht:
(i x ≠ 0) (i y ≠ 0) = 0
unter der genannten Annahme. Nimmt man die Subsumtion, die dieses
ausdrückt:
(x y = 0) ⊆ {(i x ≠ 0) (i y ≠ 0) = 0}
welche also gilt, d. h. = i ist, gleichzeitig für alle Wertepaare x, y in
Anspruch, oder — mathematisch zu reden — nimmt man das Produkt Π
nach x und y von derselben und multiplizirt das = i gesetzte noch über-
schiebend mit (i ≠ 0) = i, so hat man aber die Gleichung (α) gewonnen,
sie als Folgerung aus (β) abgeleitet, q. e. d.

Damit ist gezeigt, dass (β) die Forderung der Unteilbarkeit des
Individuums in der That hinlänglich zum Ausdruck bringt.

Die Gleichung β), welche „allgemeiner Faktor“ des Produktes Π
in (β) ist, kann man nun aber noch verschiedentlichst umgestalten,
und analog auch die (noch allgemeinere) Subsumtion α).

Solche Umwandlungen beruhen grossenteils auf spezifischen Sätzen
über das Individuum, die aus der Def. (β) fliessen, und erscheint es
darum angezeigt, zunächst eine Gruppe solcher Sätze aufzustellen.
Diese will ich — anstatt in den Symbolen x oder x1 und y — nun
in den Klassensymbolen a, b anschreiben.

Wir hatten bereits als
α) (a b = 0) ⊆ {(i a ≠ 0) (i b ≠ 0) = 0}
β) (i a ≠ 0) (i a1 ≠ 0) = 0.

Da letztrer Satz sich als eine Inkonsistenz darstellt, so kann er
nach Th. 3̅8̅) Zusatz oder § 31 auch angesetzt werden in den beiden
Formen:

β') (i a ≠ 0) ⊆ (i a1 = 0),

β'') (i a1 ≠ 0) ⊆ (i a = 0)

womit wir auch zwei neue Formen (β') und (β'') für die Def. (β)
durch Einsetzung erhalten würden.

Auch der Satz α) lässt als eine Inkonsistenz sich anschreiben:
α') (a b = 0) (i a ≠ 0) (i b ≠ 0) = 0,
wie man am schnellsten erkennt, indem man das letzte in ihm vorkommende
Gleichheitszeichen kraft Th. 5̄×) in ⊆ verwandelt und alsdann von dem

<TEI>
  <text>
    <body>
      <div n="1">
        <div n="2">
          <div n="3">
            <pb facs="#f0346" n="322"/>
            <fw place="top" type="header">Zweiundzwanzigste Vorlesung.</fw><lb/>
            <p>Der linken Seite eingeordnet, und somit &#x2014; cf. Th. 5&#x0304;<hi rendition="#sub">×</hi>) &#x2014; ebenfalls<lb/>
gleich 0, ist aber das Produkt (<hi rendition="#i">i x y</hi><hi rendition="#sub">1</hi> &#x2260; 0) (<hi rendition="#i">i y</hi> &#x2260; 0), indem nach § 40, <hi rendition="#i">&#x03B1;</hi>')<lb/>
S. 194 sein muss: (<hi rendition="#i">i y</hi> &#x2260; 0) <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> (<hi rendition="#i">i x</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">i y</hi> &#x2260; 0). Nehmen wir jetzt aber<lb/><hi rendition="#i">x y</hi> = 0 an, so folgt:<lb/><hi rendition="#c"><hi rendition="#i">x y</hi><hi rendition="#sub">1</hi> = <hi rendition="#i">x y</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">x y</hi> = <hi rendition="#i">x</hi></hi><lb/>
und entsteht:<lb/><hi rendition="#c">(<hi rendition="#i">i x</hi> &#x2260; 0) (<hi rendition="#i">i y</hi> &#x2260; 0) = 0</hi><lb/>
unter der genannten Annahme. Nimmt man die Subsumtion, die dieses<lb/>
ausdrückt:<lb/><hi rendition="#c">(<hi rendition="#i">x y</hi> = 0) <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> {(<hi rendition="#i">i x</hi> &#x2260; 0) (<hi rendition="#i">i y</hi> &#x2260; 0) = 0}</hi><lb/>
welche also gilt, d. h. = i ist, gleichzeitig für alle Wertepaare <hi rendition="#i">x</hi>, <hi rendition="#i">y</hi> in<lb/>
Anspruch, oder &#x2014; mathematisch zu reden &#x2014; nimmt man das Produkt <hi rendition="#i">&#x03A0;</hi><lb/>
nach <hi rendition="#i">x</hi> und <hi rendition="#i">y</hi> von derselben und multiplizirt das = i gesetzte noch über-<lb/>
schiebend mit (<hi rendition="#i">i</hi> &#x2260; 0) = i, so hat man aber die Gleichung (<hi rendition="#i">&#x03B1;</hi>) gewonnen,<lb/>
sie als Folgerung aus (<hi rendition="#i">&#x03B2;</hi>) abgeleitet, q. e. d.</p><lb/>
            <p>Damit ist gezeigt, dass (<hi rendition="#i">&#x03B2;</hi>) die Forderung der Unteilbarkeit des<lb/>
Individuums in der That hinlänglich zum Ausdruck bringt.</p><lb/>
            <p>Die Gleichung <hi rendition="#i">&#x03B2;</hi>), welche &#x201E;allgemeiner Faktor&#x201C; des Produktes <hi rendition="#i">&#x03A0;</hi><lb/>
in (<hi rendition="#i">&#x03B2;</hi>) ist, kann man nun aber noch verschiedentlichst umgestalten,<lb/>
und analog auch die (noch allgemeinere) Subsumtion <hi rendition="#i">&#x03B1;</hi>).</p><lb/>
            <p>Solche Umwandlungen beruhen grossenteils auf spezifischen Sätzen<lb/>
über das Individuum, die aus der Def. (<hi rendition="#i">&#x03B2;</hi>) fliessen, und erscheint es<lb/>
darum angezeigt, zunächst eine Gruppe solcher Sätze aufzustellen.<lb/>
Diese will ich &#x2014; anstatt in den Symbolen <hi rendition="#i">x</hi> oder <hi rendition="#i">x</hi><hi rendition="#sub">1</hi> und <hi rendition="#i">y</hi> &#x2014; nun<lb/>
in den Klassensymbolen <hi rendition="#i">a</hi>, <hi rendition="#i">b</hi> anschreiben.</p><lb/>
            <p>Wir hatten bereits als<lb/><hi rendition="#i">&#x03B1;</hi>) <hi rendition="#et">(<hi rendition="#i">a b</hi> = 0) <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> {(<hi rendition="#i">i a</hi> &#x2260; 0) (<hi rendition="#i">i b</hi> &#x2260; 0) = 0}</hi><lb/><hi rendition="#i">&#x03B2;</hi>) <hi rendition="#et">(<hi rendition="#i">i a</hi> &#x2260; 0) (<hi rendition="#i">i a</hi><hi rendition="#sub">1</hi> &#x2260; 0) = 0.</hi></p><lb/>
            <p>Da letztrer Satz sich als eine Inkonsistenz darstellt, so kann er<lb/>
nach Th. 3&#x0305;8&#x0305;) Zusatz oder § 31 auch angesetzt werden in den beiden<lb/>
Formen:<lb/><table><row><cell><hi rendition="#i">&#x03B2;</hi>') (<hi rendition="#i">i a</hi> &#x2260; 0) <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> (<hi rendition="#i">i a</hi><hi rendition="#sub">1</hi> = 0),</cell><cell><hi rendition="#i">&#x03B2;</hi>'') (<hi rendition="#i">i a</hi><hi rendition="#sub">1</hi> &#x2260; 0) <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> (<hi rendition="#i">i a</hi> = 0)</cell></row><lb/></table> womit wir auch zwei neue Formen (<hi rendition="#i">&#x03B2;</hi>') und (<hi rendition="#i">&#x03B2;</hi>'') für die Def. (<hi rendition="#i">&#x03B2;</hi>)<lb/>
durch Einsetzung erhalten würden.</p><lb/>
            <p>Auch der Satz <hi rendition="#i">&#x03B1;</hi>) lässt als eine Inkonsistenz sich anschreiben:<lb/><hi rendition="#i">&#x03B1;</hi>') <hi rendition="#et">(<hi rendition="#i">a b</hi> = 0) (<hi rendition="#i">i a</hi> &#x2260; 0) (<hi rendition="#i">i b</hi> &#x2260; 0) = 0,</hi><lb/>
wie man am schnellsten erkennt, indem man das letzte in ihm vorkommende<lb/>
Gleichheitszeichen kraft Th. 5&#x0304;<hi rendition="#sub">×</hi>) in <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> verwandelt und alsdann von dem<lb/></p>
          </div>
        </div>
      </div>
    </body>
  </text>
</TEI>

[322/0346] Zweiundzwanzigste Vorlesung. Der linken Seite eingeordnet, und somit — cf. Th. 5̄×) — ebenfalls gleich 0, ist aber das Produkt (i x y1 ≠ 0) (i y ≠ 0), indem nach § 40, α') S. 194 sein muss: (i y ≠ 0) (i x1 + i y ≠ 0). Nehmen wir jetzt aber x y = 0 an, so folgt: x y1 = x y1 + x y = x und entsteht: (i x ≠ 0) (i y ≠ 0) = 0 unter der genannten Annahme. Nimmt man die Subsumtion, die dieses ausdrückt: (x y = 0) {(i x ≠ 0) (i y ≠ 0) = 0} welche also gilt, d. h. = i ist, gleichzeitig für alle Wertepaare x, y in Anspruch, oder — mathematisch zu reden — nimmt man das Produkt Π nach x und y von derselben und multiplizirt das = i gesetzte noch über- schiebend mit (i ≠ 0) = i, so hat man aber die Gleichung (α) gewonnen, sie als Folgerung aus (β) abgeleitet, q. e. d. Damit ist gezeigt, dass (β) die Forderung der Unteilbarkeit des Individuums in der That hinlänglich zum Ausdruck bringt. Die Gleichung β), welche „allgemeiner Faktor“ des Produktes Π in (β) ist, kann man nun aber noch verschiedentlichst umgestalten, und analog auch die (noch allgemeinere) Subsumtion α). Solche Umwandlungen beruhen grossenteils auf spezifischen Sätzen über das Individuum, die aus der Def. (β) fliessen, und erscheint es darum angezeigt, zunächst eine Gruppe solcher Sätze aufzustellen. Diese will ich — anstatt in den Symbolen x oder x1 und y — nun in den Klassensymbolen a, b anschreiben. Wir hatten bereits als α) (a b = 0) {(i a ≠ 0) (i b ≠ 0) = 0} β) (i a ≠ 0) (i a1 ≠ 0) = 0. Da letztrer Satz sich als eine Inkonsistenz darstellt, so kann er nach Th. 3̅8̅) Zusatz oder § 31 auch angesetzt werden in den beiden Formen: β') (i a ≠ 0) (i a1 = 0), β'') (i a1 ≠ 0) (i a = 0) womit wir auch zwei neue Formen (β') und (β'') für die Def. (β) durch Einsetzung erhalten würden. Auch der Satz α) lässt als eine Inkonsistenz sich anschreiben: α') (a b = 0) (i a ≠ 0) (i b ≠ 0) = 0, wie man am schnellsten erkennt, indem man das letzte in ihm vorkommende Gleichheitszeichen kraft Th. 5̄×) in verwandelt und alsdann von dem

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/346
Zitationshilfe:	Schröder, Ernst: Vorlesungen über die Algebra der Logik. Bd. 2, Abt. 1. Leipzig, 1891, S. 322. In: Deutsches Textarchiv <https://www.deutschestextarchiv.de/schroeder_logik0201_1891/346>, abgerufen am 23.11.2024.

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–2024 Deutsches Textarchiv, Berlin-Brandenburgische Akademie der Wissenschaften. Kontakt: redaktion(at)deutschestextarchiv.de.

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