Anmelden (DTAQ)

DWDS dlexDB CLARIN-D

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

Bild:

<< vorherige Seite

nächste Seite >>

§ 52. Rückblick nebst Ergänzungen aus dem neueren Literaturzuwachse.

Als vereinigte Gleichung, Resultante und Lösung haben wir also
bezüglich bei der

1. Manier	2. Manier	3. Manier	4. Manier:
a x + b x1 0	(a + x) (b + x1) 0	1 a x + b x1	1 (a + x) (b + x1)
a b 0	a b 0	1 a + b	1 a + b
	(durch Radiren)	(Radirmethode)
b x a1	a x b1	b1 x a	a1 x b.

Bei der Vorbereitung aber werden sich mehrere Prämissen

a x + b x1 = 0	(a + x) (b + x1) = 0	1 = a x + b x1	1 = (a + x) (b + x1)
a' x + b' x1 = 0	(a' + x) (b' + x1) = 0	1 = a' x + b' x1	1 = (a' + x) (b' + x1)
. . . . .	. . . . . .	. . . . . .	. . . . . . .

allemal vereinigen zu einer Gesamtaussage

(a + a' ...) x +
+ (b + b' ...) x1 = 0

(a + a' ... + x) ·
· (b + b' ... + x1) = 0

1 = a a' ... x +
+ b b' ... x1

1 = (a a' ... + x) ·
· (b b' ... + x1),

deren Resultante nach dem Obigen also lauten wird:

(a + a' ...) (b + b' ...) = 0

1 = a a' ... + b b' ...;

ebenso leicht ist hiezu jeweils die Auflösung hinzuschreiben.

Die Vereinigung der Prämissen erfordert aber zumeist den Ansatz
einer weitschweifigen, nicht selten auch verwickelten Relation. -- Aller-
dings vermag man bei jeder von den vier Manieren die in das Schema
der Resultante und der Lösung eingehenden Elemente bei einiger
Übung auch schon aus den noch unvereinigten Prämissen richtig heraus-
zuklauben und vollzählig zu sammeln. Es bleibt aber die Ausstellung,
dass Elimination wie Auflösung für das Prämissensystem keineswegs
vorbereitet wird durch Ausführung derselben Operationen an den einzelnen
Prämissen (an welchen sie so viel leichter zu bewerkstelligen wären).
Und ferner lässt sich bemängeln, dass die Reduktion aller Data auf
das Prädikat "nichts" oder auf das Subjekt "alles" künstlich erscheine
und nicht nahe genug dem natürlichen Denken sich anschmiege, welches
sich in Subsumtionen zwischen Subjekten und Prädikaten irgend welcher
Werte zu bewegen pflegt.

Dies rief den Wunsch hervor, das Verfahren so einzurichten, dass
die Geschäfte der Elimination sowie Auflösung schon an den Prämissen
selber einzeln vollzogen werden könnten, wobei denn auch mit beliebigen
Subsumtionen zu operiren wäre.

Diesen Forderungen wird eine weitere Gruppe von Methoden gerecht,
mit deren Ausgestaltung sich McColl, Peirce und ich beschäftigt haben.

Schröder, Algebra der Logik. 2. II. 29

§ 52. Rückblick nebst Ergänzungen aus dem neueren Literaturzuwachse.

Als vereinigte Gleichung, Resultante und Lösung haben wir also
bezüglich bei der

1. Manier	2. Manier	3. Manier	4. Manier:
a x + b x1 0	(a + x) (b + x1) 0	1 a x + b x1	1 (a + x) (b + x1)
a b 0	a b 0	1 a + b	1 a + b
	(durch Radiren)	(Radirmethode)
b x a1	a x b1	b1 x a	a1 x b.

Bei der Vorbereitung aber werden sich mehrere Prämissen

a x + b x1 = 0	(a + x) (b + x1) = 0	1 = a x + b x1	1 = (a + x) (b + x1)
a' x + b' x1 = 0	(a' + x) (b' + x1) = 0	1 = a' x + b' x1	1 = (a' + x) (b' + x1)
. . . . .	. . . . . .	. . . . . .	. . . . . . .

allemal vereinigen zu einer Gesamtaussage

(a + a' …) x +
+ (b + b' …) x1 = 0

(a + a' … + x) ·
· (b + b' … + x1) = 0

1 = a a' … x +
+ b b' … x1

1 = (a a' … + x) ·
· (b b' … + x1),

deren Resultante nach dem Obigen also lauten wird:

(a + a' …) (b + b' …) = 0

1 = a a' … + b b' …;

ebenso leicht ist hiezu jeweils die Auflösung hinzuschreiben.

Die Vereinigung der Prämissen erfordert aber zumeist den Ansatz
einer weitschweifigen, nicht selten auch verwickelten Relation. — Aller-
dings vermag man bei jeder von den vier Manieren die in das Schema
der Resultante und der Lösung eingehenden Elemente bei einiger
Übung auch schon aus den noch unvereinigten Prämissen richtig heraus-
zuklauben und vollzählig zu sammeln. Es bleibt aber die Ausstellung,
dass Elimination wie Auflösung für das Prämissensystem keineswegs
vorbereitet wird durch Ausführung derselben Operationen an den einzelnen
Prämissen (an welchen sie so viel leichter zu bewerkstelligen wären).
Und ferner lässt sich bemängeln, dass die Reduktion aller Data auf
das Prädikat „nichts“ oder auf das Subjekt „alles“ künstlich erscheine
und nicht nahe genug dem natürlichen Denken sich anschmiege, welches
sich in Subsumtionen zwischen Subjekten und Prädikaten irgend welcher
Werte zu bewegen pflegt.

Diesen Forderungen wird eine weitere Gruppe von Methoden gerecht,
mit deren Ausgestaltung sich McColl, Peirce und ich beschäftigt haben.

Schröder, Algebra der Logik. 2. II. 29

<TEI>
  <text>
    <body>
      <div n="1">
        <div n="2">
          <div n="3">
            <pb facs="#f0093" n="449"/>
            <fw place="top" type="header">§ 52. Rückblick nebst Ergänzungen aus dem neueren Literaturzuwachse.</fw><lb/>
            <p>Als <hi rendition="#i">vereinigte Gleichung</hi>, <hi rendition="#i">Resultante</hi> und <hi rendition="#i">Lösung</hi> haben wir also<lb/>
bezüglich bei der<lb/><table><row><cell>1. Manier</cell><cell>2. Manier</cell><cell>3. Manier</cell><cell>4. Manier:</cell></row><lb/><row><cell><hi rendition="#i">a x</hi> + <hi rendition="#i">b x</hi><hi rendition="#sub">1</hi> <g ref="subeq"/> 0</cell><cell>(<hi rendition="#i">a</hi> + <hi rendition="#i">x</hi>) (<hi rendition="#i">b</hi> + <hi rendition="#i">x</hi><hi rendition="#sub">1</hi>) <g ref="subeq"/> 0</cell><cell>1 <g ref="subeq"/> <hi rendition="#i">a x</hi> + <hi rendition="#i">b x</hi><hi rendition="#sub">1</hi></cell><cell>1 <g ref="subeq"/> (<hi rendition="#i">a</hi> + <hi rendition="#i">x</hi>) (<hi rendition="#i">b</hi> + <hi rendition="#i">x</hi><hi rendition="#sub">1</hi>)</cell></row><lb/><row><cell><hi rendition="#i">a b</hi><g ref="subeq"/> 0</cell><cell><hi rendition="#i">a b</hi><g ref="subeq"/> 0</cell><cell>1 <g ref="subeq"/> <hi rendition="#i">a</hi> + <hi rendition="#i">b</hi></cell><cell>1 <g ref="subeq"/> <hi rendition="#i">a</hi> + <hi rendition="#i">b</hi></cell></row><lb/><row><cell/><cell>(durch Radiren)</cell><cell>(Radirmethode)</cell><cell/></row><lb/><row><cell><hi rendition="#i">b <g ref="subeq"/> x <g ref="subeq"/> a</hi><hi rendition="#sub">1</hi></cell><cell><hi rendition="#i">a <g ref="subeq"/> x <g ref="subeq"/> b</hi><hi rendition="#sub">1</hi></cell><cell><hi rendition="#i">b</hi><hi rendition="#sub">1</hi><g ref="subeq"/><hi rendition="#i">x <g ref="subeq"/> a</hi></cell><cell><hi rendition="#i">a</hi><hi rendition="#sub">1</hi><g ref="subeq"/><hi rendition="#i">x <g ref="subeq"/> b</hi>.</cell></row><lb/></table></p>
            <p>Bei der Vorbereitung aber werden sich mehrere Prämissen<lb/><table><row><cell><hi rendition="#i">a x</hi> + <hi rendition="#i">b x</hi><hi rendition="#sub">1</hi> = 0</cell><cell>(<hi rendition="#i">a</hi> + <hi rendition="#i">x</hi>) (<hi rendition="#i">b</hi> + <hi rendition="#i">x</hi><hi rendition="#sub">1</hi>) = 0</cell><cell>1 = <hi rendition="#i">a x</hi> + <hi rendition="#i">b x</hi><hi rendition="#sub">1</hi></cell><cell>1 = (<hi rendition="#i">a</hi> + <hi rendition="#i">x</hi>) (<hi rendition="#i">b</hi> + <hi rendition="#i">x</hi><hi rendition="#sub">1</hi>)</cell></row><lb/><row><cell><hi rendition="#i">a</hi>' <hi rendition="#i">x</hi> + <hi rendition="#i">b</hi>' <hi rendition="#i">x</hi><hi rendition="#sub">1</hi> = 0</cell><cell>(<hi rendition="#i">a</hi>' + <hi rendition="#i">x</hi>) (<hi rendition="#i">b</hi>' + <hi rendition="#i">x</hi><hi rendition="#sub">1</hi>) = 0</cell><cell>1 = <hi rendition="#i">a</hi>' <hi rendition="#i">x</hi> + <hi rendition="#i">b</hi>' <hi rendition="#i">x</hi><hi rendition="#sub">1</hi></cell><cell>1 = (<hi rendition="#i">a</hi>' + <hi rendition="#i">x</hi>) (<hi rendition="#i">b</hi>' + <hi rendition="#i">x</hi><hi rendition="#sub">1</hi>)</cell></row><lb/><row><cell>. . . . .</cell><cell>. . . . . .</cell><cell>. . . . . .</cell><cell>. . . . . . .</cell></row><lb/></table> allemal vereinigen zu einer Gesamtaussage<lb/><table><row><cell>(<hi rendition="#i">a</hi> + <hi rendition="#i">a</hi>' &#x2026;) <hi rendition="#i">x</hi> +<lb/>
+ (<hi rendition="#i">b</hi> + <hi rendition="#i">b</hi>' &#x2026;) <hi rendition="#i">x</hi><hi rendition="#sub">1</hi> = 0</cell><cell>(<hi rendition="#i">a</hi> + <hi rendition="#i">a</hi>' &#x2026; + <hi rendition="#i">x</hi>) ·<lb/>
· (<hi rendition="#i">b</hi> + <hi rendition="#i">b</hi>' &#x2026; + <hi rendition="#i">x</hi><hi rendition="#sub">1</hi>) = 0</cell><cell>1 = <hi rendition="#i">a a</hi>' &#x2026; <hi rendition="#i">x</hi> +<lb/>
+ <hi rendition="#i">b b</hi>' &#x2026; <hi rendition="#i">x</hi><hi rendition="#sub">1</hi></cell><cell>1 = (<hi rendition="#i">a a</hi>' &#x2026; + <hi rendition="#i">x</hi>) ·<lb/>
· (<hi rendition="#i">b b</hi>' &#x2026; + <hi rendition="#i">x</hi><hi rendition="#sub">1</hi>),</cell></row><lb/></table> deren Resultante nach dem Obigen also lauten wird:<lb/><table><row><cell>(<hi rendition="#i">a</hi> + <hi rendition="#i">a</hi>' &#x2026;) (<hi rendition="#i">b</hi> + <hi rendition="#i">b</hi>' &#x2026;) = 0</cell><cell>1 = <hi rendition="#i">a a</hi>' &#x2026; + <hi rendition="#i">b b</hi>' &#x2026;;</cell></row><lb/></table> ebenso leicht ist hiezu jeweils die Auflösung hinzuschreiben.</p><lb/>
            <p>Die Vereinigung der Prämissen erfordert aber zumeist den Ansatz<lb/>
einer weitschweifigen, nicht selten auch verwickelten Relation. &#x2014; Aller-<lb/>
dings vermag man bei jeder von den vier Manieren die in das Schema<lb/>
der Resultante und der Lösung eingehenden Elemente bei einiger<lb/>
Übung auch schon aus den noch unvereinigten Prämissen richtig heraus-<lb/>
zuklauben und vollzählig zu sammeln. Es bleibt aber die Ausstellung,<lb/>
dass Elimination wie Auflösung für das Prämissen<hi rendition="#i">system</hi> keineswegs<lb/>
vorbereitet wird durch Ausführung derselben Operationen an den einzelnen<lb/>
Prämissen (an welchen sie so viel leichter zu bewerkstelligen wären).<lb/>
Und ferner lässt sich bemängeln, dass die Reduktion aller Data auf<lb/>
das Prädikat &#x201E;nichts&#x201C; oder auf das Subjekt &#x201E;alles&#x201C; künstlich erscheine<lb/>
und nicht nahe genug dem natürlichen Denken sich anschmiege, welches<lb/>
sich in Subsumtionen zwischen Subjekten und Prädikaten <hi rendition="#i">irgend welcher</hi><lb/>
Werte zu bewegen pflegt.</p><lb/>
            <p>Dies rief den Wunsch hervor, das Verfahren so einzurichten, dass<lb/>
die Geschäfte der Elimination sowie Auflösung schon an den Prämissen<lb/>
selber einzeln vollzogen werden könnten, wobei denn auch mit beliebigen<lb/>
Subsumtionen zu operiren wäre.</p><lb/>
            <p>Diesen Forderungen wird eine weitere Gruppe von Methoden gerecht,<lb/>
mit deren Ausgestaltung sich <hi rendition="#g">McColl</hi>, <hi rendition="#g">Peirce</hi> und ich beschäftigt haben.</p><lb/>
            <fw place="bottom" type="sig"><hi rendition="#k">Schröder</hi>, Algebra der Logik. 2. II. 29</fw><lb/>
          </div>
        </div>
      </div>
    </body>
  </text>
</TEI>

[449/0093] § 52. Rückblick nebst Ergänzungen aus dem neueren Literaturzuwachse. Als vereinigte Gleichung, Resultante und Lösung haben wir also bezüglich bei der 1. Manier 2. Manier 3. Manier 4. Manier: a x + b x1 0 (a + x) (b + x1) 0 1 a x + b x1 1 (a + x) (b + x1) a b 0 a b 0 1 a + b 1 a + b (durch Radiren) (Radirmethode) b x a1 a x b1 b1 x a a1 x b. Bei der Vorbereitung aber werden sich mehrere Prämissen a x + b x1 = 0 (a + x) (b + x1) = 0 1 = a x + b x1 1 = (a + x) (b + x1) a' x + b' x1 = 0 (a' + x) (b' + x1) = 0 1 = a' x + b' x1 1 = (a' + x) (b' + x1) . . . . . . . . . . . . . . . . . . . . . . . . allemal vereinigen zu einer Gesamtaussage (a + a' …) x + + (b + b' …) x1 = 0 (a + a' … + x) · · (b + b' … + x1) = 0 1 = a a' … x + + b b' … x1 1 = (a a' … + x) · · (b b' … + x1), deren Resultante nach dem Obigen also lauten wird: (a + a' …) (b + b' …) = 0 1 = a a' … + b b' …; ebenso leicht ist hiezu jeweils die Auflösung hinzuschreiben. Die Vereinigung der Prämissen erfordert aber zumeist den Ansatz einer weitschweifigen, nicht selten auch verwickelten Relation. — Aller- dings vermag man bei jeder von den vier Manieren die in das Schema der Resultante und der Lösung eingehenden Elemente bei einiger Übung auch schon aus den noch unvereinigten Prämissen richtig heraus- zuklauben und vollzählig zu sammeln. Es bleibt aber die Ausstellung, dass Elimination wie Auflösung für das Prämissensystem keineswegs vorbereitet wird durch Ausführung derselben Operationen an den einzelnen Prämissen (an welchen sie so viel leichter zu bewerkstelligen wären). Und ferner lässt sich bemängeln, dass die Reduktion aller Data auf das Prädikat „nichts“ oder auf das Subjekt „alles“ künstlich erscheine und nicht nahe genug dem natürlichen Denken sich anschmiege, welches sich in Subsumtionen zwischen Subjekten und Prädikaten irgend welcher Werte zu bewegen pflegt. Dies rief den Wunsch hervor, das Verfahren so einzurichten, dass die Geschäfte der Elimination sowie Auflösung schon an den Prämissen selber einzeln vollzogen werden könnten, wobei denn auch mit beliebigen Subsumtionen zu operiren wäre. Diesen Forderungen wird eine weitere Gruppe von Methoden gerecht, mit deren Ausgestaltung sich McColl, Peirce und ich beschäftigt haben. Schröder, Algebra der Logik. 2. II. 29

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_logik0202_1905
URL zu dieser Seite:	https://www.deutschestextarchiv.de/schroeder_logik0202_1905/93
Zitationshilfe:	Schröder, Ernst: Vorlesungen über die Algebra der Logik. Bd. 2, Abt. 2. Leipzig, 1905, S. 449. In: Deutsches Textarchiv <https://www.deutschestextarchiv.de/schroeder_logik0202_1905/93>, abgerufen am 16.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/.