Anmelden (DTAQ) DWDS     dlexDB     CLARIN-D

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

Bild:
<< vorherige Seite

§ 22. Elimination von mehreren Unbekannten.
Negation) bevorzugt erscheint (desgleichen keine Gruppe von Unbe-
kannten und Negationen solcher, kein Konstituent der Entwickelung),
m. a. W. schon aus der Symmetrie dieser Relation (in Bezug auf die
den verschiedenen Konstituenten zugeordneten Koeffizienten) ist zu er-
sehen, dass die Reihenfolge und Gruppirung, in welcher die Eliminan-
den beseitigt werden, dass die ganze "Anordnung des Eliminations-
prozesses
" gleichgültig sein muss für die zu erwartende Resultante.
Genauer:

Zusatz 2 zu Th. 50). Es ist für das Ergebniss ohne Belang, in
welcher Reihenfolge man aus einer Gleichung die verschiedenen Unbekannten,
sei es einzeln, sei es in beliebigen Gruppen eliminirt, auch einerlei, in
welchen Gruppen, und ob man sie successive oder ob man sämtliche Un-
bekannte auf einmal eliminirt.

Da das Entwickeln nach vielen Symbolen zugleich S. 416 eine er-
müdende Operation ist, bei welcher leicht auch Versehen mitunter-
laufen, so wird man behufs Elimination einer Gruppe von solchen am
besten so verfahren, dass man erst eine Unbekannte allein eliminirt,
z. B. x. Die Resultante wird nur noch die übrigen Unbekannten y,
z,... enthalten. Aus dieser wird man hernach eine zweite von den
Unbekannten eliminiren, z. B. y, aus der so gewonnenen neuen Resul-
tante eine dritte z, und so weiter fortschreitend nach und nach die
sämtlichen Unbekannten.

z) Auf Grund des Zusatzes 1 zu Th. 50) wäre -- in Erweiterung
der unter e) des § 21 gemachten Bemerkungen -- leicht zu zeigen,
dass wenn die vereinigte Gleichung rechterhand auf 1 gebracht ist, auch
hier (bei beliebig vielen Eliminanden) wieder die Resultante erhalten
wird, indem man einfach die Konstituenten des nach den Eliminanden
entwickelten Polynoms der Gleichung (mithin diese Eliminanden selbst
samt ihren Negationen) durchweg auslöscht.

War z. B. f(x, y) = 0 die Gleichung nach zweien von den Unbekannten
entwickelt, so wird sie nun
f1 (x, y) = 1 oder a1 x y + b1 x y1 + c1 x1 y + d1 x1 y1 = 1,
und gibt durch Ausstreichen der Konstituenten:
a1 + b1 + c1 + d1 = 1,
was mit a b c d = 0 äquivalent ist. Etc.

e) Anmerkung zum Zusatz 2 des Th. 50).

Im Gegensatz zu vorstehendem ist es aber nicht gleichgültig, wel-
ches Verfahren man beim Eliminiren einschlägt in folgender Hinsicht.

§ 22. Elimination von mehreren Unbekannten.
Negation) bevorzugt erscheint (desgleichen keine Gruppe von Unbe-
kannten und Negationen solcher, kein Konstituent der Entwickelung),
m. a. W. schon aus der Symmetrie dieser Relation (in Bezug auf die
den verschiedenen Konstituenten zugeordneten Koeffizienten) ist zu er-
sehen, dass die Reihenfolge und Gruppirung, in welcher die Eliminan-
den beseitigt werden, dass die ganze „Anordnung des Eliminations-
prozesses
gleichgültig sein muss für die zu erwartende Resultante.
Genauer:

Zusatz 2 zu Th. 50). Es ist für das Ergebniss ohne Belang, in
welcher Reihenfolge man aus einer Gleichung die verschiedenen Unbekannten,
sei es einzeln, sei es in beliebigen Gruppen eliminirt, auch einerlei, in
welchen Gruppen, und ob man sie successive oder ob man sämtliche Un-
bekannte auf einmal eliminirt.

Da das Entwickeln nach vielen Symbolen zugleich S. 416 eine er-
müdende Operation ist, bei welcher leicht auch Versehen mitunter-
laufen, so wird man behufs Elimination einer Gruppe von solchen am
besten so verfahren, dass man erst eine Unbekannte allein eliminirt,
z. B. x. Die Resultante wird nur noch die übrigen Unbekannten y,
z,… enthalten. Aus dieser wird man hernach eine zweite von den
Unbekannten eliminiren, z. B. y, aus der so gewonnenen neuen Resul-
tante eine dritte z, und so weiter fortschreitend nach und nach die
sämtlichen Unbekannten.

ζ) Auf Grund des Zusatzes 1 zu Th. 50) wäre — in Erweiterung
der unter η) des § 21 gemachten Bemerkungen — leicht zu zeigen,
dass wenn die vereinigte Gleichung rechterhand auf 1 gebracht ist, auch
hier (bei beliebig vielen Eliminanden) wieder die Resultante erhalten
wird, indem man einfach die Konstituenten des nach den Eliminanden
entwickelten Polynoms der Gleichung (mithin diese Eliminanden selbst
samt ihren Negationen) durchweg auslöscht.

War z. B. f(x, y) = 0 die Gleichung nach zweien von den Unbekannten
entwickelt, so wird sie nun
f1 (x, y) = 1 oder a1 x y + b1 x y1 + c1 x1 y + d1 x1 y1 = 1,
und gibt durch Ausstreichen der Konstituenten:
a1 + b1 + c1 + d1 = 1,
was mit a b c d = 0 äquivalent ist. Etc.

η) Anmerkung zum Zusatz 2 des Th. 50).

Im Gegensatz zu vorstehendem ist es aber nicht gleichgültig, wel-
ches Verfahren man beim Eliminiren einschlägt in folgender Hinsicht.

<TEI>
  <text>
    <body>
      <div n="1">
        <div n="2">
          <p><pb facs="#f0489" n="469"/><fw place="top" type="header">§ 22. Elimination von mehreren Unbekannten.</fw><lb/>
Negation) bevorzugt erscheint (desgleichen keine Gruppe von Unbe-<lb/>
kannten und Negationen solcher, kein Konstituent der Entwickelung),<lb/>
m. a. W. schon aus der <hi rendition="#i">Symmetrie</hi> dieser Relation (in Bezug auf die<lb/>
den verschiedenen Konstituenten zugeordneten Koeffizienten) ist zu er-<lb/>
sehen, dass die <hi rendition="#i">Reihenfolge und Gruppirung</hi>, in welcher die Eliminan-<lb/>
den beseitigt werden, dass die ganze &#x201E;<hi rendition="#i">Anordnung des Eliminations-<lb/>
prozesses</hi>&#x201C; <hi rendition="#i">gleichgültig</hi> sein muss für die zu erwartende Resultante.<lb/>
Genauer:</p><lb/>
          <p><hi rendition="#g">Zusatz</hi> 2 <hi rendition="#g">zu Th.</hi> 50). <hi rendition="#i">Es ist für das Ergebniss ohne Belang, in<lb/>
welcher Reihenfolge man aus einer Gleichung die verschiedenen Unbekannten,<lb/>
sei es einzeln, sei es in beliebigen Gruppen eliminirt, auch einerlei, in<lb/>
welchen Gruppen, und ob man sie successive oder ob man sämtliche Un-<lb/>
bekannte auf einmal eliminirt.</hi></p><lb/>
          <p>Da das Entwickeln nach vielen Symbolen zugleich S. 416 eine er-<lb/>
müdende Operation ist, bei welcher leicht auch Versehen mitunter-<lb/>
laufen, so wird man behufs Elimination einer Gruppe von solchen am<lb/>
besten so verfahren, dass man erst eine Unbekannte allein eliminirt,<lb/>
z. B. <hi rendition="#i">x</hi>. Die Resultante wird nur noch die übrigen Unbekannten <hi rendition="#i">y</hi>,<lb/><hi rendition="#i">z</hi>,&#x2026; enthalten. Aus dieser wird man hernach eine zweite von den<lb/>
Unbekannten eliminiren, z. B. <hi rendition="#i">y</hi>, aus der so gewonnenen neuen Resul-<lb/>
tante eine dritte <hi rendition="#i">z</hi>, und so weiter fortschreitend nach und nach die<lb/>
sämtlichen Unbekannten.</p><lb/>
          <p><hi rendition="#i">&#x03B6;</hi>) Auf Grund des Zusatzes 1 zu Th. 50) wäre &#x2014; in Erweiterung<lb/>
der unter <hi rendition="#i">&#x03B7;</hi>) des § 21 gemachten Bemerkungen &#x2014; leicht zu zeigen,<lb/>
dass <hi rendition="#i">wenn die vereinigte Gleichung rechterhand auf</hi> 1 <hi rendition="#i">gebracht ist</hi>, auch<lb/>
hier (bei beliebig vielen Eliminanden) wieder die Resultante erhalten<lb/>
wird, indem man einfach die <hi rendition="#i">Konstituenten</hi> des nach den Eliminanden<lb/>
entwickelten Polynoms der Gleichung (mithin diese Eliminanden selbst<lb/>
samt ihren Negationen) <hi rendition="#i">durchweg auslöscht</hi>.</p><lb/>
          <p>War z. B. <hi rendition="#i">f</hi>(<hi rendition="#i">x</hi>, <hi rendition="#i">y</hi>) = 0 die Gleichung nach zweien von den Unbekannten<lb/>
entwickelt, so wird sie nun<lb/><hi rendition="#c"><hi rendition="#i">f</hi><hi rendition="#sub">1</hi> (<hi rendition="#i">x</hi>, <hi rendition="#i">y</hi>) = 1 oder <hi rendition="#i">a</hi><hi rendition="#sub">1</hi> <hi rendition="#i">x y</hi> + <hi rendition="#i">b</hi><hi rendition="#sub">1</hi> <hi rendition="#i">x y</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">c</hi><hi rendition="#sub">1</hi> <hi rendition="#i">x</hi><hi rendition="#sub">1</hi> <hi rendition="#i">y</hi> + <hi rendition="#i">d</hi><hi rendition="#sub">1</hi> <hi rendition="#i">x</hi><hi rendition="#sub">1</hi> <hi rendition="#i">y</hi><hi rendition="#sub">1</hi> = 1,</hi><lb/>
und gibt durch Ausstreichen der Konstituenten:<lb/><hi rendition="#c"><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 rendition="#i">d</hi><hi rendition="#sub">1</hi> = 1,</hi><lb/>
was mit <hi rendition="#i">a b c d</hi> = 0 äquivalent ist. Etc.</p><lb/>
          <p><hi rendition="#i">&#x03B7;</hi>) <hi rendition="#g">Anmerkung zum Zusatz</hi> 2 <hi rendition="#g">des Th.</hi> 50).</p><lb/>
          <p>Im Gegensatz zu vorstehendem ist es aber <hi rendition="#i">nicht gleichgültig</hi>, wel-<lb/>
ches Verfahren man beim Eliminiren einschlägt in folgender Hinsicht.</p><lb/>
        </div>
      </div>
    </body>
  </text>
</TEI>
[469/0489] § 22. Elimination von mehreren Unbekannten. Negation) bevorzugt erscheint (desgleichen keine Gruppe von Unbe- kannten und Negationen solcher, kein Konstituent der Entwickelung), m. a. W. schon aus der Symmetrie dieser Relation (in Bezug auf die den verschiedenen Konstituenten zugeordneten Koeffizienten) ist zu er- sehen, dass die Reihenfolge und Gruppirung, in welcher die Eliminan- den beseitigt werden, dass die ganze „Anordnung des Eliminations- prozesses“ gleichgültig sein muss für die zu erwartende Resultante. Genauer: Zusatz 2 zu Th. 50). Es ist für das Ergebniss ohne Belang, in welcher Reihenfolge man aus einer Gleichung die verschiedenen Unbekannten, sei es einzeln, sei es in beliebigen Gruppen eliminirt, auch einerlei, in welchen Gruppen, und ob man sie successive oder ob man sämtliche Un- bekannte auf einmal eliminirt. Da das Entwickeln nach vielen Symbolen zugleich S. 416 eine er- müdende Operation ist, bei welcher leicht auch Versehen mitunter- laufen, so wird man behufs Elimination einer Gruppe von solchen am besten so verfahren, dass man erst eine Unbekannte allein eliminirt, z. B. x. Die Resultante wird nur noch die übrigen Unbekannten y, z,… enthalten. Aus dieser wird man hernach eine zweite von den Unbekannten eliminiren, z. B. y, aus der so gewonnenen neuen Resul- tante eine dritte z, und so weiter fortschreitend nach und nach die sämtlichen Unbekannten. ζ) Auf Grund des Zusatzes 1 zu Th. 50) wäre — in Erweiterung der unter η) des § 21 gemachten Bemerkungen — leicht zu zeigen, dass wenn die vereinigte Gleichung rechterhand auf 1 gebracht ist, auch hier (bei beliebig vielen Eliminanden) wieder die Resultante erhalten wird, indem man einfach die Konstituenten des nach den Eliminanden entwickelten Polynoms der Gleichung (mithin diese Eliminanden selbst samt ihren Negationen) durchweg auslöscht. War z. B. f(x, y) = 0 die Gleichung nach zweien von den Unbekannten entwickelt, so wird sie nun f1 (x, y) = 1 oder a1 x y + b1 x y1 + c1 x1 y + d1 x1 y1 = 1, und gibt durch Ausstreichen der Konstituenten: a1 + b1 + c1 + d1 = 1, was mit a b c d = 0 äquivalent ist. Etc. η) Anmerkung zum Zusatz 2 des Th. 50). Im Gegensatz zu vorstehendem ist es aber nicht gleichgültig, wel- ches Verfahren man beim Eliminiren einschlägt in folgender Hinsicht.

Suche im Werk

Hilfe

Informationen zum Werk

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?

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/489
Zitationshilfe: Schröder, Ernst: Vorlesungen über die Algebra der Logik. Bd. 1. Leipzig, 1890, S. 469. In: Deutsches Textarchiv <https://www.deutschestextarchiv.de/schroeder_logik01_1890/489>, abgerufen am 22.11.2024.