Anmelden (DTAQ) DWDS     dlexDB     CLARIN-D

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

Bild:
<< vorherige Seite
Eilfte Vorlesung.
§ 21. Das Auflösungsproblem bei simultanen Gleichungen und Sub-
sumtionen. Das Eliminationsproblem bei solchen.

Um das Einfachste und Wichtigste vorweg zu erledigen, stellen
wir an die Spitze den Satz:
49+) Theorem. Die Gleichung
a x + b x1 = 0

ist äquivalent einer jeden der beiden Doppelsubsumtionen:
b x a1 resp. a x1 b1,
d. h. ausführlicher gesprochen, dem Paare von Subsumtionen:
b x, x a1 resp. a x1, x1 b1
mit welchem nebenher dem Prinzip II gemäss gegeben ist:
b a1 sowie a b1.
Allemal ist also die Unbekannte zwischen dem Koeffizienten ihrer Nega-
tion und der Negation ihres Koeffizienten gelegen
.

Beweis. Nach Th. 24+) zerfällt die gegebene Gleichung ohne
Einbusse an Inhalt in die beiden
a x = 0 und b x1 = 0;
die letztere von diesen ist aber nach Th. 38x) äquivalent der Subsum-
tion b x und die erste äquivalent der x a1, und damit ist die
erste Doppelsubsumtion b x a1 nicht nur bewiesen, sondern auch
als mit der gegebnen Gleichung äquivalent erkannt.

Das Th. 38x) lässt aber auf vorstehende zwei Gleichungen sich
auch noch auf eine zweite Weise anwenden: indem man links, statt
des einen, den andern Faktor isolirt; so ergeben sich auch direkt die
beiden Subsumtionen a x1, x1 b1 des andern Paares, welche zu
einfacherer Schreibung sich in die zweite Doppelsubsumtion a x1 b1
zusammenziehen lassen.

Überdies folgen aber auch die beiden Subsumtionen des zweiten
Paares durch "Konversion mittelst Kontraposition" nach Th. 37) --
unter Berücksichtigung von Th. 31) -- aus denen des ersten, und ebenso
also auch die eine Doppelsubsumtion aus der andern.

Endlich kann man, nachdem die erste Doppelsubsumtion wie
vorstehend bewiesen, als der Gleichung
a x + b x1 = 0
üquivalent nachgewiesen ist, die zweite auch durch blosse Buchstaben-

Eilfte Vorlesung.
§ 21. Das Auflösungsproblem bei simultanen Gleichungen und Sub-
sumtionen. Das Eliminationsproblem bei solchen.

Um das Einfachste und Wichtigste vorweg zu erledigen, stellen
wir an die Spitze den Satz:
49+) Theorem. Die Gleichung
a x + b x1 = 0

ist äquivalent einer jeden der beiden Doppelsubsumtionen:
bxa1 resp. ax1b1,
d. h. ausführlicher gesprochen, dem Paare von Subsumtionen:
bx, xa1 resp. ax1, x1b1
mit welchem nebenher dem Prinzip II gemäss gegeben ist:
ba1 sowie ab1.
Allemal ist also die Unbekannte zwischen dem Koeffizienten ihrer Nega-
tion und der Negation ihres Koeffizienten gelegen
.

Beweis. Nach Th. 24+) zerfällt die gegebene Gleichung ohne
Einbusse an Inhalt in die beiden
a x = 0 und b x1 = 0;
die letztere von diesen ist aber nach Th. 38×) äquivalent der Subsum-
tion bx und die erste äquivalent der xa1, und damit ist die
erste Doppelsubsumtion bxa1 nicht nur bewiesen, sondern auch
als mit der gegebnen Gleichung äquivalent erkannt.

Das Th. 38×) lässt aber auf vorstehende zwei Gleichungen sich
auch noch auf eine zweite Weise anwenden: indem man links, statt
des einen, den andern Faktor isolirt; so ergeben sich auch direkt die
beiden Subsumtionen ax1, x1b1 des andern Paares, welche zu
einfacherer Schreibung sich in die zweite Doppelsubsumtion ax1b1
zusammenziehen lassen.

Überdies folgen aber auch die beiden Subsumtionen des zweiten
Paares durch „Konversion mittelst Kontraposition“ nach Th. 37) —
unter Berücksichtigung von Th. 31) — aus denen des ersten, und ebenso
also auch die eine Doppelsubsumtion aus der andern.

Endlich kann man, nachdem die erste Doppelsubsumtion wie
vorstehend bewiesen, als der Gleichung
a x + b x1 = 0
üquivalent nachgewiesen ist, die zweite auch durch blosse Buchstaben-

<TEI>
  <text>
    <body>
      <div n="1">
        <pb facs="#f0466" n="446"/>
        <fw place="top" type="header">Eilfte Vorlesung.</fw><lb/>
        <div n="2">
          <head>§ 21. <hi rendition="#b">Das Auflösungsproblem bei simultanen Gleichungen und Sub-<lb/>
sumtionen. Das Eliminationsproblem bei solchen.</hi></head><lb/>
          <p>Um das Einfachste und Wichtigste vorweg zu erledigen, stellen<lb/>
wir an die Spitze den Satz:<lb/><hi rendition="#et">49<hi rendition="#sub">+</hi>) <hi rendition="#g">Theorem</hi>. <hi rendition="#i">Die Gleichung</hi><lb/><hi rendition="#c"><hi rendition="#i">a x</hi> + <hi rendition="#i">b x</hi><hi rendition="#sub">1</hi> = 0</hi></hi><lb/><hi rendition="#i">ist äquivalent einer jeden der beiden Doppelsubsumtionen:</hi><lb/><hi rendition="#c"><hi rendition="#i">b</hi> &#x22F9; <hi rendition="#i">x</hi> &#x22F9; <hi rendition="#i">a</hi><hi rendition="#sub">1</hi> <hi rendition="#i">resp</hi>. <hi rendition="#i">a</hi> &#x22F9; <hi rendition="#i">x</hi><hi rendition="#sub">1</hi> &#x22F9; <hi rendition="#i">b</hi><hi rendition="#sub">1</hi>,</hi><lb/><hi rendition="#i">d. h. ausführlicher gesprochen, dem Paare von Subsumtionen:</hi><lb/><hi rendition="#c"><hi rendition="#i">b</hi> &#x22F9; <hi rendition="#i">x</hi>, <hi rendition="#i">x</hi> &#x22F9; <hi rendition="#i">a</hi><hi rendition="#sub">1</hi> <hi rendition="#i">resp</hi>. <hi rendition="#i">a</hi> &#x22F9; <hi rendition="#i">x</hi><hi rendition="#sub">1</hi>, <hi rendition="#i">x</hi><hi rendition="#sub">1</hi> &#x22F9; <hi rendition="#i">b</hi><hi rendition="#sub">1</hi></hi><lb/><hi rendition="#i">mit welchem nebenher dem Prinzip II gemäss gegeben ist:</hi><lb/><hi rendition="#c"><hi rendition="#i">b</hi> &#x22F9; <hi rendition="#i">a</hi><hi rendition="#sub">1</hi> <hi rendition="#i">sowie a</hi> &#x22F9; <hi rendition="#i">b</hi><hi rendition="#sub">1</hi>.</hi><lb/>
Allemal ist also die Unbekannte <hi rendition="#i">zwischen dem Koeffizienten ihrer Nega-<lb/>
tion und der Negation ihres Koeffizienten gelegen</hi>.</p><lb/>
          <p><hi rendition="#g">Beweis</hi>. Nach Th. 24<hi rendition="#sub">+</hi>) zerfällt die gegebene Gleichung ohne<lb/>
Einbusse an Inhalt in die beiden<lb/><hi rendition="#c"><hi rendition="#i">a x</hi> = 0 und <hi rendition="#i">b x</hi><hi rendition="#sub">1</hi> = 0;</hi><lb/>
die letztere von diesen ist aber nach Th. 38<hi rendition="#sub">×</hi>) äquivalent der Subsum-<lb/>
tion <hi rendition="#i">b</hi> &#x22F9; <hi rendition="#i">x</hi> und die erste äquivalent der <hi rendition="#i">x</hi> &#x22F9; <hi rendition="#i">a</hi><hi rendition="#sub">1</hi>, und damit ist die<lb/>
erste Doppelsubsumtion <hi rendition="#i">b</hi> &#x22F9; <hi rendition="#i">x</hi> &#x22F9; <hi rendition="#i">a</hi><hi rendition="#sub">1</hi> nicht nur bewiesen, sondern auch<lb/>
als mit der gegebnen Gleichung äquivalent erkannt.</p><lb/>
          <p>Das Th. 38<hi rendition="#sub">×</hi>) lässt aber auf vorstehende zwei Gleichungen sich<lb/>
auch noch auf eine zweite Weise anwenden: indem man links, statt<lb/>
des einen, den andern Faktor isolirt; so ergeben sich auch direkt die<lb/>
beiden Subsumtionen <hi rendition="#i">a</hi> &#x22F9; <hi rendition="#i">x</hi><hi rendition="#sub">1</hi>, <hi rendition="#i">x</hi><hi rendition="#sub">1</hi> &#x22F9; <hi rendition="#i">b</hi><hi rendition="#sub">1</hi> des andern Paares, welche zu<lb/>
einfacherer Schreibung sich in die zweite Doppelsubsumtion <hi rendition="#i">a</hi> &#x22F9; <hi rendition="#i">x</hi><hi rendition="#sub">1</hi> &#x22F9; <hi rendition="#i">b</hi><hi rendition="#sub">1</hi><lb/>
zusammenziehen lassen.</p><lb/>
          <p>Überdies folgen aber auch die beiden Subsumtionen des zweiten<lb/>
Paares durch &#x201E;Konversion mittelst Kontraposition&#x201C; nach Th. 37) &#x2014;<lb/>
unter Berücksichtigung von Th. 31) &#x2014; aus denen des ersten, und ebenso<lb/>
also auch die eine Doppelsubsumtion aus der andern.</p><lb/>
          <p>Endlich kann man, nachdem die erste Doppelsubsumtion wie<lb/>
vorstehend bewiesen, als der Gleichung<lb/><hi rendition="#c"><hi rendition="#i">a x</hi> + <hi rendition="#i">b x</hi><hi rendition="#sub">1</hi> = 0</hi><lb/>
üquivalent nachgewiesen ist, die zweite auch durch blosse Buchstaben-<lb/></p>
        </div>
      </div>
    </body>
  </text>
</TEI>
[446/0466] Eilfte Vorlesung. § 21. Das Auflösungsproblem bei simultanen Gleichungen und Sub- sumtionen. Das Eliminationsproblem bei solchen. Um das Einfachste und Wichtigste vorweg zu erledigen, stellen wir an die Spitze den Satz: 49+) Theorem. Die Gleichung a x + b x1 = 0 ist äquivalent einer jeden der beiden Doppelsubsumtionen: b ⋹ x ⋹ a1 resp. a ⋹ x1 ⋹ b1, d. h. ausführlicher gesprochen, dem Paare von Subsumtionen: b ⋹ x, x ⋹ a1 resp. a ⋹ x1, x1 ⋹ b1 mit welchem nebenher dem Prinzip II gemäss gegeben ist: b ⋹ a1 sowie a ⋹ b1. Allemal ist also die Unbekannte zwischen dem Koeffizienten ihrer Nega- tion und der Negation ihres Koeffizienten gelegen. Beweis. Nach Th. 24+) zerfällt die gegebene Gleichung ohne Einbusse an Inhalt in die beiden a x = 0 und b x1 = 0; die letztere von diesen ist aber nach Th. 38×) äquivalent der Subsum- tion b ⋹ x und die erste äquivalent der x ⋹ a1, und damit ist die erste Doppelsubsumtion b ⋹ x ⋹ a1 nicht nur bewiesen, sondern auch als mit der gegebnen Gleichung äquivalent erkannt. Das Th. 38×) lässt aber auf vorstehende zwei Gleichungen sich auch noch auf eine zweite Weise anwenden: indem man links, statt des einen, den andern Faktor isolirt; so ergeben sich auch direkt die beiden Subsumtionen a ⋹ x1, x1 ⋹ b1 des andern Paares, welche zu einfacherer Schreibung sich in die zweite Doppelsubsumtion a ⋹ x1 ⋹ b1 zusammenziehen lassen. Überdies folgen aber auch die beiden Subsumtionen des zweiten Paares durch „Konversion mittelst Kontraposition“ nach Th. 37) — unter Berücksichtigung von Th. 31) — aus denen des ersten, und ebenso also auch die eine Doppelsubsumtion aus der andern. Endlich kann man, nachdem die erste Doppelsubsumtion wie vorstehend bewiesen, als der Gleichung a x + b x1 = 0 üquivalent nachgewiesen ist, die zweite auch durch blosse Buchstaben-

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