Schröder, Ernst: Vorlesungen über die Algebra der Logik. Bd. 1. Leipzig, 1890.Eilfte Vorlesung. allgemeinste Weise, indem man x = v a1 setzt, wo v ein unbestimmtesGebiet 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. Übrigens ist zu bemerken, dass unser Th. 50+) obwol in den vor- Im Gegensatz zu noch andern eventuell zu besprechenden Methoden o) Beabsichtigen wir Anwendungen des Theorems 50+) im Klassen- Jene Formel unmittelbar in diese zu übertragen, gemäss den in Eilfte Vorlesung. allgemeinste Weise, indem man x = v a1 setzt, wo v ein unbestimmtesGebiet 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. Übrigens ist zu bemerken, dass unser Th. 50+) obwol in den vor- Im Gegensatz zu noch andern eventuell zu besprechenden Methoden ο) Beabsichtigen wir Anwendungen des Theorems 50+) im Klassen- Jene Formel unmittelbar in diese zu übertragen, gemäss den in <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">λ</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) „die von mir modifizirte <hi rendition="#g">Boole</hi>'sche Methode“ nennen<lb/> („<hi rendition="#g">Boole</hi>'s method, as modified by <hi rendition="#g">Schröder</hi>“). Bezüglich dessen unmodi-<lb/> fizirter Methode vergleiche § 25, Ende.</p><lb/> <p><hi rendition="#i">ο</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: „nichts, oder einiges (etwas),<lb/> oder das ganze (alles)“ 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 WerkInformationen zum Werk
Download dieses Werks
XML (TEI P5) ·
HTML ·
Text Metadaten zum WerkTEI-Header · CMDI · Dublin Core Ansichten dieser Seite
Voyant Tools ?Language Resource Switchboard?FeedbackSie haben einen Fehler gefunden? Dann können Sie diesen über unsere Qualitätssicherungsplattform DTAQ melden. Kommentar zur DTA-AusgabeDieses Werk wurde gemäß den DTA-Transkriptionsrichtlinien im Double-Keying-Verfahren von Nicht-Muttersprachlern erfasst und in XML/TEI P5 nach DTA-Basisformat kodiert.
|
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. |