Anmelden (DTAQ)

DWDS dlexDB CLARIN-D

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

Bild:

<< vorherige Seite

nächste Seite >>

Neunte Vorlesung.

Gleichheit)." So erwies sich jene "ungeschickte" Urteilsform hier als eine
geschickte zur Entkräftung des Einwandes.

b1) Man bringe die Gleichung a + b = a rechts auf 0 nach Th. 39).

Auflösung: a1 b = 0, was mit b a äquivalent. Notwendige und
hinreichende Bedingung dafür dass ein Summand b im andern eingehe
und unterdrückt werden dürfe, ist also: dass er diesem eingeordnet sei.
Darnach erscheint das Absorptionsgesetz 23+) als spezieller Fall und
Korollar der Theoreme 6).

Man verfahre ebenso mit der Gleichung a b = a und untersuche
die Bedingung für das Eingehen eines Faktors b im andern a. Die-
selbe ist a b1 = 0 oder a b.

Wenn x = a b1 + a1 b + a1 c1 + b1 c1 bedeutet, so untersuche man nach
Vorstehendem systematisch, welches von den vier Gliedern rechts unter-
drückt werden darf -- McColl3. Da
a b1 (a1 b + a1 c1 + b1 c1)1 = a b1 (a + b1) (a + c) (b + c) = a b1 (a b + c) = a b1 c
und a1 b (a b1 + a1 c1 + b1 c1)1 = a1 b c
von 0 im allgemeinen verschieden, so sind die zwei ersten Glieder beizu-
behalten. Dagegen ist:
a1 c1 (a b1 + a1 b + b1 c1)1 = 0 und b1 c1 (a b1 + a1 b + a1 c1)1 = 0;
wir können also nach Belieben das dritte oder vierte Glied weglassen.
Aber nicht beide zugleich, denn nachdem nun
x = a b1 + a1 b + b1 c1 resp. x = a b1 + a1 b + a1 c1
geschrieben ist, wird:
b1 c1 (a b1 + a1 b1)1 = a1 b1 c1 und a1 c1 (a b1 + a1 b)1 = a1 b1 c1
nicht verschwinden -- so lange die Gebiete a, b, c als allgemeine gedacht,
so lange nicht besondere Beziehungen zwischen denselben bestehend vor-
ausgesetzt werden.

Natürlich wird man zur Anwendung des hier erläuterten syste-
matischen Verfahrens nur zu schreiten haben, sofern sich nicht die
überflüssigen Glieder ("redundant terms") schon beim blossen Anblick,
bei Durchsicht des Ausdrucks (by mere inspection) als andere zum
Faktor habend entdecken lassen -- vergl. das Beispiel:
a1 b c + a1 c + a b c1 + b c1 = a1 c + b c1.

Bei der Untersuchung, ob ein a + b = a, d. h. a1 b = 0 ist, kann
übrigens zur Vereinfachung der Rechnung, wie McColl hervorhebt, von
einem späteren Satze, vergl. Anm. 2 zu Th. 44+) mit Vorteil Gebrauch
gemacht werden.

g1) Nunmehr noch einige Übungen im rechnerischen Ziehen von
Schlüssen. Man beweise den Sorites:

Neunte Vorlesung.

Gleichheit).“ So erwies sich jene „ungeschickte“ Urteilsform hier als eine
geschickte zur Entkräftung des Einwandes.

β1) Man bringe die Gleichung a + b = a rechts auf 0 nach Th. 39).

Auflösung: a1 b = 0, was mit b ⋹ a äquivalent. Notwendige und
hinreichende Bedingung dafür dass ein Summand b im andern eingehe
und unterdrückt werden dürfe, ist also: dass er diesem eingeordnet sei.
Darnach erscheint das Absorptionsgesetz 23+) als spezieller Fall und
Korollar der Theoreme 6).

Man verfahre ebenso mit der Gleichung a b = a und untersuche
die Bedingung für das Eingehen eines Faktors b im andern a. Die-
selbe ist a b1 = 0 oder a ⋹ b.

Wenn x = a b1 + a1 b + a1 c1 + b1 c1 bedeutet, so untersuche man nach
Vorstehendem systematisch, welches von den vier Gliedern rechts unter-
drückt werden darf — McColl3. Da
a b1 (a1 b + a1 c1 + b1 c1)1 = a b1 (a + b1) (a + c) (b + c) = a b1 (a b + c) = a b1 c
und a1 b (a b1 + a1 c1 + b1 c1)1 = a1 b c
von 0 im allgemeinen verschieden, so sind die zwei ersten Glieder beizu-
behalten. Dagegen ist:
a1 c1 (a b1 + a1 b + b1 c1)1 = 0 und b1 c1 (a b1 + a1 b + a1 c1)1 = 0;
wir können also nach Belieben das dritte oder vierte Glied weglassen.
Aber nicht beide zugleich, denn nachdem nun
x = a b1 + a1 b + b1 c1 resp. x = a b1 + a1 b + a1 c1
geschrieben ist, wird:
b1 c1 (a b1 + a1 b1)1 = a1 b1 c1 und a1 c1 (a b1 + a1 b)1 = a1 b1 c1
nicht verschwinden — so lange die Gebiete a, b, c als allgemeine gedacht,
so lange nicht besondere Beziehungen zwischen denselben bestehend vor-
ausgesetzt werden.

Natürlich wird man zur Anwendung des hier erläuterten syste-
matischen Verfahrens nur zu schreiten haben, sofern sich nicht die
überflüssigen Glieder („redundant terms“) schon beim blossen Anblick,
bei Durchsicht des Ausdrucks (by mere inspection) als andere zum
Faktor habend entdecken lassen — vergl. das Beispiel:
a1 b c + a1 c + a b c1 + b c1 = a1 c + b c1.

γ1) Nunmehr noch einige Übungen im rechnerischen Ziehen von
Schlüssen. Man beweise den Sorites:

<TEI>
  <text>
    <body>
      <div n="1">
        <div n="2">
          <p><pb facs="#f0408" n="388"/><fw place="top" type="header">Neunte Vorlesung.</fw><lb/>
Gleichheit).&#x201C; So erwies sich jene &#x201E;ungeschickte&#x201C; Urteilsform hier als eine<lb/>
geschickte zur Entkräftung des Einwandes.</p><lb/>
          <p><hi rendition="#i">&#x03B2;</hi><hi rendition="#sub">1</hi>) Man bringe die Gleichung <hi rendition="#i">a</hi> + <hi rendition="#i">b</hi> = <hi rendition="#i">a</hi> rechts auf 0 nach Th. 39).</p><lb/>
          <p>Auflösung: <hi rendition="#i">a</hi><hi rendition="#sub">1</hi> <hi rendition="#i">b</hi> = 0, was mit <hi rendition="#i">b</hi> &#x22F9; <hi rendition="#i">a</hi> äquivalent. <hi rendition="#i">Notwendige und<lb/>
hinreichende Bedingung dafür dass ein Summand b im andern eingehe<lb/>
und unterdrückt werden dürfe, ist also: dass er diesem eingeordnet sei.</hi><lb/>
Darnach erscheint das Absorptionsgesetz 23<hi rendition="#sub">+</hi>) als spezieller Fall und<lb/>
Korollar der Theoreme 6).</p><lb/>
          <p>Man verfahre ebenso mit der Gleichung <hi rendition="#i">a b</hi> = <hi rendition="#i">a</hi> und untersuche<lb/>
die Bedingung für das Eingehen eines Faktors <hi rendition="#i">b</hi> im andern <hi rendition="#i">a</hi>. Die-<lb/>
selbe ist <hi rendition="#i">a b</hi><hi rendition="#sub">1</hi> = 0 oder <hi rendition="#i">a</hi> &#x22F9; <hi rendition="#i">b</hi>.</p><lb/>
          <p>Wenn <hi rendition="#i">x</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">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> bedeutet, so untersuche man nach<lb/>
Vorstehendem systematisch, welches von den vier Gliedern rechts unter-<lb/>
drückt werden darf &#x2014; <hi rendition="#g">McColl</hi><hi rendition="#sup">3</hi>. Da<lb/><hi rendition="#c"><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">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="#sub">1</hi> = <hi rendition="#i">a b</hi><hi rendition="#sub">1</hi> (<hi rendition="#i">a</hi> + <hi rendition="#i">b</hi><hi rendition="#sub">1</hi>) (<hi rendition="#i">a</hi> + <hi rendition="#i">c</hi>) (<hi rendition="#i">b</hi> + <hi rendition="#i">c</hi>) = <hi rendition="#i">a b</hi><hi rendition="#sub">1</hi> (<hi rendition="#i">a b</hi> + <hi rendition="#i">c</hi>) = <hi rendition="#i">a b</hi><hi rendition="#sub">1</hi> <hi rendition="#i">c</hi></hi><lb/>
und <hi rendition="#et"><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">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="#sub">1</hi> = <hi rendition="#i">a</hi><hi rendition="#sub">1</hi> <hi rendition="#i">b c</hi></hi><lb/>
von 0 im allgemeinen verschieden, so sind die zwei ersten Glieder beizu-<lb/>
behalten. Dagegen ist:<lb/><hi rendition="#c"><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</hi><hi rendition="#sub">1</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">c</hi><hi rendition="#sub">1</hi>)<hi rendition="#sub">1</hi> = 0 und <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</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">c</hi><hi rendition="#sub">1</hi>)<hi rendition="#sub">1</hi> = 0;</hi><lb/>
wir können also nach Belieben das dritte oder vierte Glied weglassen.<lb/>
Aber nicht beide zugleich, denn nachdem nun<lb/><hi rendition="#c"><hi rendition="#i">x</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">b</hi><hi rendition="#sub">1</hi> <hi rendition="#i">c</hi><hi rendition="#sub">1</hi> resp. <hi rendition="#i">x</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">c</hi><hi rendition="#sub">1</hi></hi><lb/>
geschrieben ist, wird:<lb/><hi rendition="#c"><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</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="#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="#sub">1</hi> und <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</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">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/>
nicht verschwinden &#x2014; so lange die Gebiete <hi rendition="#i">a</hi>, <hi rendition="#i">b</hi>, <hi rendition="#i">c</hi> als <hi rendition="#i">allgemeine</hi> gedacht,<lb/>
so lange nicht besondere Beziehungen zwischen denselben bestehend vor-<lb/>
ausgesetzt werden.</p><lb/>
          <p>Natürlich wird man zur Anwendung des hier erläuterten syste-<lb/>
matischen Verfahrens nur zu schreiten haben, sofern sich nicht die<lb/>
überflüssigen Glieder (&#x201E;redundant terms&#x201C;) schon beim blossen Anblick,<lb/>
bei Durchsicht des Ausdrucks (by mere inspection) als andere zum<lb/>
Faktor habend entdecken lassen &#x2014; vergl. das Beispiel:<lb/><hi rendition="#c"><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">c</hi> + <hi rendition="#i">a b c</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">b 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 c</hi><hi rendition="#sub">1</hi>.</hi></p><lb/>
          <p>Bei der Untersuchung, ob ein <hi rendition="#i">a</hi> + <hi rendition="#i">b</hi> = <hi rendition="#i">a</hi>, d. h. <hi rendition="#i">a</hi><hi rendition="#sub">1</hi> <hi rendition="#i">b</hi> = 0 ist, kann<lb/>
übrigens zur Vereinfachung der Rechnung, wie <hi rendition="#g">McColl</hi> hervorhebt, von<lb/>
einem späteren Satze, vergl. Anm. 2 zu Th. 44<hi rendition="#sub">+</hi>) mit Vorteil Gebrauch<lb/>
gemacht werden.</p><lb/>
          <p><hi rendition="#i">&#x03B3;</hi><hi rendition="#sub">1</hi>) Nunmehr noch einige Übungen im rechnerischen Ziehen von<lb/>
Schlüssen. Man beweise den Sorites:<lb/></p>
        </div>
      </div>
    </body>
  </text>
</TEI>

[388/0408] Neunte Vorlesung. Gleichheit).“ So erwies sich jene „ungeschickte“ Urteilsform hier als eine geschickte zur Entkräftung des Einwandes. β1) Man bringe die Gleichung a + b = a rechts auf 0 nach Th. 39). Auflösung: a1 b = 0, was mit b ⋹ a äquivalent. Notwendige und hinreichende Bedingung dafür dass ein Summand b im andern eingehe und unterdrückt werden dürfe, ist also: dass er diesem eingeordnet sei. Darnach erscheint das Absorptionsgesetz 23+) als spezieller Fall und Korollar der Theoreme 6). Man verfahre ebenso mit der Gleichung a b = a und untersuche die Bedingung für das Eingehen eines Faktors b im andern a. Die- selbe ist a b1 = 0 oder a ⋹ b. Wenn x = a b1 + a1 b + a1 c1 + b1 c1 bedeutet, so untersuche man nach Vorstehendem systematisch, welches von den vier Gliedern rechts unter- drückt werden darf — McColl3. Da a b1 (a1 b + a1 c1 + b1 c1)1 = a b1 (a + b1) (a + c) (b + c) = a b1 (a b + c) = a b1 c und a1 b (a b1 + a1 c1 + b1 c1)1 = a1 b c von 0 im allgemeinen verschieden, so sind die zwei ersten Glieder beizu- behalten. Dagegen ist: a1 c1 (a b1 + a1 b + b1 c1)1 = 0 und b1 c1 (a b1 + a1 b + a1 c1)1 = 0; wir können also nach Belieben das dritte oder vierte Glied weglassen. Aber nicht beide zugleich, denn nachdem nun x = a b1 + a1 b + b1 c1 resp. x = a b1 + a1 b + a1 c1 geschrieben ist, wird: b1 c1 (a b1 + a1 b1)1 = a1 b1 c1 und a1 c1 (a b1 + a1 b)1 = a1 b1 c1 nicht verschwinden — so lange die Gebiete a, b, c als allgemeine gedacht, so lange nicht besondere Beziehungen zwischen denselben bestehend vor- ausgesetzt werden. Natürlich wird man zur Anwendung des hier erläuterten syste- matischen Verfahrens nur zu schreiten haben, sofern sich nicht die überflüssigen Glieder („redundant terms“) schon beim blossen Anblick, bei Durchsicht des Ausdrucks (by mere inspection) als andere zum Faktor habend entdecken lassen — vergl. das Beispiel: a1 b c + a1 c + a b c1 + b c1 = a1 c + b c1. Bei der Untersuchung, ob ein a + b = a, d. h. a1 b = 0 ist, kann übrigens zur Vereinfachung der Rechnung, wie McColl hervorhebt, von einem späteren Satze, vergl. Anm. 2 zu Th. 44+) mit Vorteil Gebrauch gemacht werden. γ1) Nunmehr noch einige Übungen im rechnerischen Ziehen von Schlüssen. Man beweise den Sorites:

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

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_logik01_1890
URL zu dieser Seite:	https://www.deutschestextarchiv.de/schroeder_logik01_1890/408
Zitationshilfe:	Schröder, Ernst: Vorlesungen über die Algebra der Logik. Bd. 1. Leipzig, 1890, S. 388. In: Deutsches Textarchiv <https://www.deutschestextarchiv.de/schroeder_logik01_1890/408>, abgerufen am 08.05.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/.