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

Eilfte Vorlesung.
allgemeinste Weise, indem man x = v a1 setzt, wo v ein unbestimmtes
Gebiet bedeutet. Darnach folgt dann
x1 = v1 + a, b x1 = b v1 + a b = b v1 + 0 = b v1
und um nun auch noch die zweite Forderung zu erfüllen, braucht man
nur mehr v1 so zu bestimmen, dass b v1 = 0 ist. Darnach folgt in
gleicher Weise:
v1 = w b1, v = w1 + b,
wo w1 ebenso, wie ursprünglich w, ein unbestimmtes Gebiet vorstellt.
Hiermit ist gefunden:
x = (w1 + b) a1
und dies ist die eine der unter l) für die Lösung angegebenen For-
men, wenn man noch den Namen w1 des unbestimmt bleibenden Ge-
bietes durch den Namen u ersetzt. Für dieses x = a1 (u + b) stimmt
nun, wie schon (indirekt) erkannt (und auch wieder direkt leicht nach-
weisbar wäre) die Probe: es erfüllt die aufzulösende Gleichung bei
beliebigem u.

Das Ergebniss muss darnach die vollständige Auflösung darstellen.
Denn jede Wurzel x der Gleichung muss wie erkannt diese Form
haben, und jedes x von dieser Form ist eine Wurzel der Gleichung.

Übrigens ist zu bemerken, dass unser Th. 50+) obwol in den vor-
liegenden Gestalten erst von mir ausgesprochen, hergeleitet und bewiesen,
im Grunde doch nichts anderes ist, als das Haupttheorem im Boole'schen
Werke4, nur gereinigt von allen arithmetischen Beimengungen und von
der spezielleren Boole'schen mitausgedehnt über die allgemeinere Je-
vons'sche Addition, demgemäss auch nicht unerheblich vereinfacht.

Im Gegensatz zu noch andern eventuell zu besprechenden Methoden
zur Bewältigung des Auflösungs- und Eliminationsproblemes werde ich da-
her die auseinandergesetzte (nach einem auch schon von andern Seiten vor-
liegenden Vorgange) "die von mir modifizirte Boole'sche Methode" nennen
("Boole's method, as modified by Schröder"). Bezüglich dessen unmodi-
fizirter Methode vergleiche § 25, Ende.

o) Beabsichtigen wir Anwendungen des Theorems 50+) im Klassen-
kalkul, so muss noch näher erwogen werden, wie daselbst der unbe-
stimmte Parameter u zu interpretiren, wie also die Formel der Auflösung:
x = b u1 + a1 u oder x = b + u a1
in der Wortsprache darzustellen sein wird.

Jene Formel unmittelbar in diese zu übertragen, gemäss den in
§ 8 und 16 erörterten Regeln, erscheint misslich, in Anbetracht, dass
u allemal einen unbestimmten Bruchteil: "nichts, oder einiges (etwas),
oder das ganze (alles)" von der mit ihm multiplizirten Klasse heraus-

Eilfte Vorlesung.
allgemeinste Weise, indem man x = v a1 setzt, wo v ein unbestimmtes
Gebiet bedeutet. Darnach folgt dann
x1 = v1 + a, b x1 = b v1 + a b = b v1 + 0 = b v1
und um nun auch noch die zweite Forderung zu erfüllen, braucht man
nur mehr v1 so zu bestimmen, dass b v1 = 0 ist. Darnach folgt in
gleicher Weise:
v1 = w b1, v = w1 + b,
wo w1 ebenso, wie ursprünglich w, ein unbestimmtes Gebiet vorstellt.
Hiermit ist gefunden:
x = (w1 + b) a1
und dies ist die eine der unter λ) für die Lösung angegebenen For-
men, wenn man noch den Namen w1 des unbestimmt bleibenden Ge-
bietes durch den Namen u ersetzt. Für dieses x = a1 (u + b) stimmt
nun, wie schon (indirekt) erkannt (und auch wieder direkt leicht nach-
weisbar wäre) die Probe: es erfüllt die aufzulösende Gleichung bei
beliebigem u.

Das Ergebniss muss darnach die vollständige Auflösung darstellen.
Denn jede Wurzel x der Gleichung muss wie erkannt diese Form
haben, und jedes x von dieser Form ist eine Wurzel der Gleichung.

Übrigens ist zu bemerken, dass unser Th. 50+) obwol in den vor-
liegenden Gestalten erst von mir ausgesprochen, hergeleitet und bewiesen,
im Grunde doch nichts anderes ist, als das Haupttheorem im Boole'schen
Werke4, nur gereinigt von allen arithmetischen Beimengungen und von
der spezielleren Boole'schen mitausgedehnt über die allgemeinere Je-
vons'sche Addition, demgemäss auch nicht unerheblich vereinfacht.

Im Gegensatz zu noch andern eventuell zu besprechenden Methoden
zur Bewältigung des Auflösungs- und Eliminationsproblemes werde ich da-
her die auseinandergesetzte (nach einem auch schon von andern Seiten vor-
liegenden Vorgange) „die von mir modifizirte Boole'sche Methode“ nennen
(„Boole's method, as modified by Schröder“). Bezüglich dessen unmodi-
fizirter Methode vergleiche § 25, Ende.

ο) Beabsichtigen wir Anwendungen des Theorems 50+) im Klassen-
kalkul, so muss noch näher erwogen werden, wie daselbst der unbe-
stimmte Parameter u zu interpretiren, wie also die Formel der Auflösung:
x = b u1 + a1 u oder x = b + u a1
in der Wortsprache darzustellen sein wird.

Jene Formel unmittelbar in diese zu übertragen, gemäss den in
§ 8 und 16 erörterten Regeln, erscheint misslich, in Anbetracht, dass
u allemal einen unbestimmten Bruchteil: „nichts, oder einiges (etwas),
oder das ganze (alles)“ von der mit ihm multiplizirten Klasse heraus-

<TEI>
  <text>
    <body>
      <div n="1">
        <div n="2">
          <p><pb facs="#f0480" n="460"/><fw place="top" type="header">Eilfte Vorlesung.</fw><lb/>
allgemeinste Weise, indem man <hi rendition="#i">x</hi> = <hi rendition="#i">v a</hi><hi rendition="#sub">1</hi> setzt, wo <hi rendition="#i">v</hi> ein unbestimmtes<lb/>
Gebiet bedeutet. Darnach folgt dann<lb/><hi rendition="#c"><hi rendition="#i">x</hi><hi rendition="#sub">1</hi> = <hi rendition="#i">v</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">a</hi>, <hi rendition="#i">b x</hi><hi rendition="#sub">1</hi> = <hi rendition="#i">b v</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">a b</hi> = <hi rendition="#i">b v</hi><hi rendition="#sub">1</hi> + 0 = <hi rendition="#i">b v</hi><hi rendition="#sub">1</hi></hi><lb/>
und um nun auch noch die zweite Forderung zu erfüllen, braucht man<lb/>
nur mehr <hi rendition="#i">v</hi><hi rendition="#sub">1</hi> so zu bestimmen, dass <hi rendition="#i">b v</hi><hi rendition="#sub">1</hi> = 0 ist. Darnach folgt in<lb/>
gleicher Weise:<lb/><hi rendition="#c"><hi rendition="#i">v</hi><hi rendition="#sub">1</hi> = <hi rendition="#i">w b</hi><hi rendition="#sub">1</hi>, <hi rendition="#i">v</hi> = <hi rendition="#i">w</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">b</hi>,</hi><lb/>
wo <hi rendition="#i">w</hi><hi rendition="#sub">1</hi> ebenso, wie ursprünglich <hi rendition="#i">w</hi>, ein unbestimmtes Gebiet vorstellt.<lb/>
Hiermit ist gefunden:<lb/><hi rendition="#c"><hi rendition="#i">x</hi> = (<hi rendition="#i">w</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">b</hi>) <hi rendition="#i">a</hi><hi rendition="#sub">1</hi></hi><lb/>
und dies ist die eine der unter <hi rendition="#i">&#x03BB;</hi>) für die Lösung angegebenen For-<lb/>
men, wenn man noch den Namen <hi rendition="#i">w</hi><hi rendition="#sub">1</hi> des unbestimmt bleibenden Ge-<lb/>
bietes durch den Namen <hi rendition="#i">u</hi> ersetzt. Für dieses <hi rendition="#i">x</hi> = <hi rendition="#i">a</hi><hi rendition="#sub">1</hi> (<hi rendition="#i">u</hi> + <hi rendition="#i">b</hi>) stimmt<lb/>
nun, wie schon (indirekt) erkannt (und auch wieder direkt leicht nach-<lb/>
weisbar wäre) die Probe: es erfüllt die aufzulösende Gleichung bei<lb/>
beliebigem <hi rendition="#i">u</hi>.</p><lb/>
          <p>Das Ergebniss muss darnach die vollständige Auflösung darstellen.<lb/>
Denn jede Wurzel <hi rendition="#i">x</hi> der Gleichung muss wie erkannt diese Form<lb/>
haben, und jedes <hi rendition="#i">x</hi> von dieser Form ist eine Wurzel der Gleichung.</p><lb/>
          <p>Übrigens ist zu bemerken, dass unser Th. 50<hi rendition="#sub">+</hi>) obwol in den vor-<lb/>
liegenden Gestalten erst von mir ausgesprochen, hergeleitet und bewiesen,<lb/>
im Grunde doch nichts anderes ist, als das Haupttheorem im <hi rendition="#g">Boole</hi>'schen<lb/>
Werke<hi rendition="#sup">4</hi>, nur gereinigt von allen arithmetischen Beimengungen und von<lb/>
der spezielleren <hi rendition="#g">Boole</hi>'schen mitausgedehnt über die allgemeinere Je-<lb/><hi rendition="#g">vons</hi>'sche Addition, demgemäss auch nicht unerheblich vereinfacht.</p><lb/>
          <p>Im Gegensatz zu noch andern eventuell zu besprechenden Methoden<lb/>
zur Bewältigung des Auflösungs- und Eliminationsproblemes werde ich da-<lb/>
her die auseinandergesetzte (nach einem auch schon von andern Seiten vor-<lb/>
liegenden Vorgange) &#x201E;die von mir modifizirte <hi rendition="#g">Boole</hi>'sche Methode&#x201C; nennen<lb/>
(&#x201E;<hi rendition="#g">Boole</hi>'s method, as modified by <hi rendition="#g">Schröder</hi>&#x201C;). Bezüglich dessen unmodi-<lb/>
fizirter Methode vergleiche § 25, Ende.</p><lb/>
          <p><hi rendition="#i">&#x03BF;</hi>) Beabsichtigen wir Anwendungen des Theorems 50<hi rendition="#sub">+</hi>) im Klassen-<lb/>
kalkul, so muss noch näher erwogen werden, <hi rendition="#i">wie daselbst der unbe-<lb/>
stimmte Parameter u zu interpretiren</hi>, wie also die Formel der Auflösung:<lb/><hi rendition="#c"><hi rendition="#i">x</hi> = <hi rendition="#i">b u</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">a</hi><hi rendition="#sub">1</hi> <hi rendition="#i">u</hi> oder <hi rendition="#i">x</hi> = <hi rendition="#i">b</hi> + <hi rendition="#i">u a</hi><hi rendition="#sub">1</hi></hi><lb/><hi rendition="#i">in der Wortsprache</hi> darzustellen sein wird.</p><lb/>
          <p>Jene Formel unmittelbar in diese zu übertragen, gemäss den in<lb/>
§ 8 und 16 erörterten Regeln, erscheint misslich, in Anbetracht, dass<lb/><hi rendition="#i">u</hi> allemal einen unbestimmten Bruchteil: &#x201E;nichts, oder einiges (etwas),<lb/>
oder das ganze (alles)&#x201C; von der mit ihm multiplizirten Klasse heraus-<lb/></p>
        </div>
      </div>
    </body>
  </text>
</TEI>
[460/0480] Eilfte Vorlesung. allgemeinste Weise, indem man x = v a1 setzt, wo v ein unbestimmtes Gebiet bedeutet. Darnach folgt dann x1 = v1 + a, b x1 = b v1 + a b = b v1 + 0 = b v1 und um nun auch noch die zweite Forderung zu erfüllen, braucht man nur mehr v1 so zu bestimmen, dass b v1 = 0 ist. Darnach folgt in gleicher Weise: v1 = w b1, v = w1 + b, wo w1 ebenso, wie ursprünglich w, ein unbestimmtes Gebiet vorstellt. Hiermit ist gefunden: x = (w1 + b) a1 und dies ist die eine der unter λ) für die Lösung angegebenen For- men, wenn man noch den Namen w1 des unbestimmt bleibenden Ge- bietes durch den Namen u ersetzt. Für dieses x = a1 (u + b) stimmt nun, wie schon (indirekt) erkannt (und auch wieder direkt leicht nach- weisbar wäre) die Probe: es erfüllt die aufzulösende Gleichung bei beliebigem u. Das Ergebniss muss darnach die vollständige Auflösung darstellen. Denn jede Wurzel x der Gleichung muss wie erkannt diese Form haben, und jedes x von dieser Form ist eine Wurzel der Gleichung. Übrigens ist zu bemerken, dass unser Th. 50+) obwol in den vor- liegenden Gestalten erst von mir ausgesprochen, hergeleitet und bewiesen, im Grunde doch nichts anderes ist, als das Haupttheorem im Boole'schen Werke4, nur gereinigt von allen arithmetischen Beimengungen und von der spezielleren Boole'schen mitausgedehnt über die allgemeinere Je- vons'sche Addition, demgemäss auch nicht unerheblich vereinfacht. Im Gegensatz zu noch andern eventuell zu besprechenden Methoden zur Bewältigung des Auflösungs- und Eliminationsproblemes werde ich da- her die auseinandergesetzte (nach einem auch schon von andern Seiten vor- liegenden Vorgange) „die von mir modifizirte Boole'sche Methode“ nennen („Boole's method, as modified by Schröder“). Bezüglich dessen unmodi- fizirter Methode vergleiche § 25, Ende. ο) Beabsichtigen wir Anwendungen des Theorems 50+) im Klassen- kalkul, so muss noch näher erwogen werden, wie daselbst der unbe- stimmte Parameter u zu interpretiren, wie also die Formel der Auflösung: x = b u1 + a1 u oder x = b + u a1 in der Wortsprache darzustellen sein wird. Jene Formel unmittelbar in diese zu übertragen, gemäss den in § 8 und 16 erörterten Regeln, erscheint misslich, in Anbetracht, dass u allemal einen unbestimmten Bruchteil: „nichts, oder einiges (etwas), oder das ganze (alles)“ von der mit ihm multiplizirten Klasse heraus-

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