§ 21. Auflösung und Elimination bei Gleichungen und Subsumtionen.
schneiden wird. Ein Ausdruck wie: "was b und nicht etwas Gewisses oder auch nicht a aber gleichzeitig jenes Gewisse ist" entbehrt doch wol der wünschenswerten Durchsichtigkeit. Auch passen Subsumtionen sich bequemer der Wortsprache an, als wie Gleichungen.
Dem Mangel wird leichtlich abgeholfen, indem man auf die Form 49+) des Theorems 50+) zurückgeht.
Jenes Theorem statuirte, dass die Gleichung a x + b x1 = 0 auch äquivalent ist dem Paare der Subsumtionen: bx und xa1, oder -- noch einfacher geschrieben -- der Doppelsubsumtion: bxa1.
Demnach werden die beiden zusammengültigen Aussagen: "Alle b sind x, und kein x ist a" mit Worten die "Auflösung" der Gleichung a x + b x1 = 0 nach der Un- bekannten x leisten.
In der That erscheint in diesen Aussagen die Unbekannte x auf der einen Seite, als Prädikat resp. Subjekt einer Subsumtion, isolirt, während auf deren andrer Seite nur bekannte Terme, gegebene Klassen stehen -- und dieses muss als das Charakteristikum der "Auflösung" für die Wortsprache angesehen werden.
Auch wenn wir eine Gleichung für die Wurzel haben -- wir mögen sie für den Augenblick kurz mittelst x = c darstellen -- könnte die- selbe ja mit Worten nur in Gestalt der beiden Subsumtionen cx und xc -- vergl. Def. (1) der Gleichheit -- ausgedrückt werden, welche wesentlich von dem eben beschriebenen Charakter sind. [Diese würden sich auch wieder in eine Doppelsubsumtion cxc, oder auch xcx, zusammenziehen lassen.]
Allerdings wäre hier die "andre" Seite, das aus den bekannten Klassen zusammengesetzte Subjekt oder Prädikat der Subsumtionen, beidemal das nämliche: c, was vorhin nicht der Fall war. Es wird sich aber im Hinblick auf den obigen Satz 49+) oder o) empfehlen, bei dem Begriff der "verbalen Auflösung" von dieser Anforderung Umgang zu nehmen, ja den Begriff der "Auflösung" überhaupt eben dadurch zu erweitern.
Zu demselben Ergebnisse kann man auch von den Formeln k) oder l) aus, d. h. auf dem Umwege über diese Darstellungen der Wurzeln, ver- mittelst des Theorems 48) gelangen.
Darnach in der That muss x = b u1 + a1u zwischen dem Produkte und der Summe seiner Koeffizienten liegen, und sich in Gestalt von:
§ 21. Auflösung und Elimination bei Gleichungen und Subsumtionen.
schneiden wird. Ein Ausdruck wie: „was b und nicht etwas Gewisses oder auch nicht a aber gleichzeitig jenes Gewisse ist“ entbehrt doch wol der wünschenswerten Durchsichtigkeit. Auch passen Subsumtionen sich bequemer der Wortsprache an, als wie Gleichungen.
Dem Mangel wird leichtlich abgeholfen, indem man auf die Form 49+) des Theorems 50+) zurückgeht.
Jenes Theorem statuirte, dass die Gleichung a x + b x1 = 0 auch äquivalent ist dem Paare der Subsumtionen: b ⋹ x und x ⋹ a1, oder — noch einfacher geschrieben — der Doppelsubsumtion: b ⋹ x ⋹ a1.
Demnach werden die beiden zusammengültigen Aussagen: „Alle b sind x, und kein x ist a“ mit Worten die „Auflösung“ der Gleichung a x + b x1 = 0 nach der Un- bekannten x leisten.
In der That erscheint in diesen Aussagen die Unbekannte x auf der einen Seite, als Prädikat resp. Subjekt einer Subsumtion, isolirt, während auf deren andrer Seite nur bekannte Terme, gegebene Klassen stehen — und dieses muss als das Charakteristikum der „Auflösung“ für die Wortsprache angesehen werden.
Auch wenn wir eine Gleichung für die Wurzel haben — wir mögen sie für den Augenblick kurz mittelst x = c darstellen — könnte die- selbe ja mit Worten nur in Gestalt der beiden Subsumtionen c ⋹ x und x ⋹ c — vergl. Def. (1) der Gleichheit — ausgedrückt werden, welche wesentlich von dem eben beschriebenen Charakter sind. [Diese würden sich auch wieder in eine Doppelsubsumtion c ⋹ x ⋹ c, oder auch x ⋹ c ⋹ x, zusammenziehen lassen.]
Allerdings wäre hier die „andre“ Seite, das aus den bekannten Klassen zusammengesetzte Subjekt oder Prädikat der Subsumtionen, beidemal das nämliche: c, was vorhin nicht der Fall war. Es wird sich aber im Hinblick auf den obigen Satz 49+) oder ο) empfehlen, bei dem Begriff der „verbalen Auflösung“ von dieser Anforderung Umgang zu nehmen, ja den Begriff der „Auflösung“ überhaupt eben dadurch zu erweitern.
Zu demselben Ergebnisse kann man auch von den Formeln ϰ) oder λ) aus, d. h. auf dem Umwege über diese Darstellungen der Wurzeln, ver- mittelst des Theorems 48) gelangen.
Darnach in der That muss x = b u1 + a1u zwischen dem Produkte und der Summe seiner Koeffizienten liegen, und sich in Gestalt von:
<TEI><text><body><divn="1"><divn="2"><p><pbfacs="#f0481"n="461"/><fwplace="top"type="header">§ 21. Auflösung und Elimination bei Gleichungen und Subsumtionen.</fw><lb/>
schneiden wird. Ein Ausdruck wie: „was <hirendition="#i">b</hi> und nicht etwas Gewisses<lb/>
oder auch nicht <hirendition="#i">a</hi> aber gleichzeitig jenes Gewisse ist“ entbehrt doch<lb/>
wol der wünschenswerten Durchsichtigkeit. Auch passen Subsumtionen<lb/>
sich bequemer der Wortsprache an, als wie Gleichungen.</p><lb/><p>Dem Mangel wird leichtlich abgeholfen, indem man auf die Form<lb/>
49<hirendition="#sub">+</hi>) des Theorems 50<hirendition="#sub">+</hi>) zurückgeht.</p><lb/><p>Jenes Theorem statuirte, dass die Gleichung<lb/><hirendition="#c"><hirendition="#i">a x</hi> + <hirendition="#i">b x</hi><hirendition="#sub">1</hi> = 0</hi><lb/>
auch äquivalent ist dem Paare der Subsumtionen:<lb/><hirendition="#c"><hirendition="#i">b</hi>⋹<hirendition="#i">x und x</hi>⋹<hirendition="#i">a</hi><hirendition="#sub">1</hi>,</hi><lb/>
oder — noch einfacher geschrieben — der Doppelsubsumtion:<lb/><hirendition="#c"><hirendition="#i">b</hi>⋹<hirendition="#i">x</hi>⋹<hirendition="#i">a</hi><hirendition="#sub">1</hi>.</hi></p><lb/><p>Demnach <hirendition="#i">werden die beiden zusammengültigen Aussagen:</hi><lb/><hirendition="#c">„<hirendition="#i">Alle b sind x, und kein x ist a</hi>“</hi><lb/><hirendition="#i">mit Worten die</hi>„<hirendition="#i">Auflösung</hi>“<hirendition="#i">der Gleichung a x</hi> + <hirendition="#i">b x</hi><hirendition="#sub">1</hi> = 0 <hirendition="#i">nach der Un-<lb/>
bekannten x leisten.</hi></p><lb/><p>In der That erscheint in diesen Aussagen die Unbekannte <hirendition="#i">x auf<lb/>
der einen Seite</hi>, als Prädikat resp. Subjekt einer Subsumtion, <hirendition="#i">isolirt,</hi><lb/>
während auf deren andrer Seite nur bekannte Terme, gegebene Klassen<lb/>
stehen — und dieses muss als das Charakteristikum der „Auflösung“<lb/>
für die Wortsprache angesehen werden.</p><lb/><p>Auch wenn wir eine <hirendition="#i">Gleichung</hi> für die Wurzel haben — wir mögen<lb/>
sie für den Augenblick kurz mittelst <hirendition="#i">x</hi> = <hirendition="#i">c</hi> darstellen — könnte die-<lb/>
selbe ja mit Worten nur in Gestalt der beiden Subsumtionen <hirendition="#i">c</hi>⋹<hirendition="#i">x</hi><lb/>
und <hirendition="#i">x</hi>⋹<hirendition="#i">c</hi>— vergl. Def. (1) der Gleichheit — ausgedrückt werden,<lb/>
welche wesentlich von dem eben beschriebenen Charakter sind. [Diese<lb/>
würden sich auch wieder in eine Doppelsubsumtion <hirendition="#i">c</hi>⋹<hirendition="#i">x</hi>⋹<hirendition="#i">c</hi>, oder<lb/>
auch <hirendition="#i">x</hi>⋹<hirendition="#i">c</hi>⋹<hirendition="#i">x</hi>, zusammenziehen lassen.]</p><lb/><p>Allerdings wäre hier die „andre“ Seite, das aus den bekannten<lb/>
Klassen zusammengesetzte Subjekt oder Prädikat der Subsumtionen,<lb/><hirendition="#i">beidemal das nämliche: c</hi>, was vorhin nicht der Fall war. Es wird sich<lb/>
aber im Hinblick auf den obigen Satz 49<hirendition="#sub">+</hi>) oder <hirendition="#i">ο</hi>) empfehlen, bei<lb/>
dem Begriff der „verbalen Auflösung“ von dieser Anforderung Umgang<lb/>
zu nehmen, ja den Begriff der „Auflösung“ überhaupt eben dadurch<lb/>
zu erweitern.</p><lb/><p>Zu demselben Ergebnisse kann man auch von den Formeln <hirendition="#i">ϰ</hi>) oder<lb/><hirendition="#i">λ</hi>) aus, d. h. auf dem Umwege über diese Darstellungen der Wurzeln, ver-<lb/>
mittelst des Theorems 48) gelangen.</p><lb/><p>Darnach in der That muss <hirendition="#i">x</hi> = <hirendition="#i">b u</hi><hirendition="#sub">1</hi> + <hirendition="#i">a</hi><hirendition="#sub">1</hi><hirendition="#i">u</hi> zwischen dem Produkte und<lb/>
der Summe seiner Koeffizienten liegen, und sich in Gestalt von:<lb/></p></div></div></body></text></TEI>
[461/0481]
§ 21. Auflösung und Elimination bei Gleichungen und Subsumtionen.
schneiden wird. Ein Ausdruck wie: „was b und nicht etwas Gewisses
oder auch nicht a aber gleichzeitig jenes Gewisse ist“ entbehrt doch
wol der wünschenswerten Durchsichtigkeit. Auch passen Subsumtionen
sich bequemer der Wortsprache an, als wie Gleichungen.
Dem Mangel wird leichtlich abgeholfen, indem man auf die Form
49+) des Theorems 50+) zurückgeht.
Jenes Theorem statuirte, dass die Gleichung
a x + b x1 = 0
auch äquivalent ist dem Paare der Subsumtionen:
b ⋹ x und x ⋹ a1,
oder — noch einfacher geschrieben — der Doppelsubsumtion:
b ⋹ x ⋹ a1.
Demnach werden die beiden zusammengültigen Aussagen:
„Alle b sind x, und kein x ist a“
mit Worten die „Auflösung“ der Gleichung a x + b x1 = 0 nach der Un-
bekannten x leisten.
In der That erscheint in diesen Aussagen die Unbekannte x auf
der einen Seite, als Prädikat resp. Subjekt einer Subsumtion, isolirt,
während auf deren andrer Seite nur bekannte Terme, gegebene Klassen
stehen — und dieses muss als das Charakteristikum der „Auflösung“
für die Wortsprache angesehen werden.
Auch wenn wir eine Gleichung für die Wurzel haben — wir mögen
sie für den Augenblick kurz mittelst x = c darstellen — könnte die-
selbe ja mit Worten nur in Gestalt der beiden Subsumtionen c ⋹ x
und x ⋹ c — vergl. Def. (1) der Gleichheit — ausgedrückt werden,
welche wesentlich von dem eben beschriebenen Charakter sind. [Diese
würden sich auch wieder in eine Doppelsubsumtion c ⋹ x ⋹ c, oder
auch x ⋹ c ⋹ x, zusammenziehen lassen.]
Allerdings wäre hier die „andre“ Seite, das aus den bekannten
Klassen zusammengesetzte Subjekt oder Prädikat der Subsumtionen,
beidemal das nämliche: c, was vorhin nicht der Fall war. Es wird sich
aber im Hinblick auf den obigen Satz 49+) oder ο) empfehlen, bei
dem Begriff der „verbalen Auflösung“ von dieser Anforderung Umgang
zu nehmen, ja den Begriff der „Auflösung“ überhaupt eben dadurch
zu erweitern.
Zu demselben Ergebnisse kann man auch von den Formeln ϰ) oder
λ) aus, d. h. auf dem Umwege über diese Darstellungen der Wurzeln, ver-
mittelst des Theorems 48) gelangen.
Darnach in der That muss x = b u1 + a1 u zwischen dem Produkte und
der Summe seiner Koeffizienten liegen, und sich in Gestalt von:
Informationen zur CAB-Ansicht
Diese Ansicht bietet Ihnen die Darstellung des Textes in normalisierter Orthographie.
Diese Textvariante wird vollautomatisch erstellt und kann aufgrund dessen auch Fehler enthalten.
Alle veränderten Wortformen sind grau hinterlegt. Als fremdsprachliches Material erkannte
Textteile sind ausgegraut dargestellt.
Schröder, Ernst: Vorlesungen über die Algebra der Logik. Bd. 1. Leipzig, 1890, S. 461. In: Deutsches Textarchiv <https://www.deutschestextarchiv.de/schroeder_logik01_1890/481>, abgerufen am 22.11.2024.
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.
Zitierempfehlung: Deutsches Textarchiv. Grundlage für ein Referenzkorpus der neuhochdeutschen Sprache. Herausgegeben von der Berlin-Brandenburgischen Akademie der Wissenschaften, Berlin 2024. URL: https://www.deutschestextarchiv.de/.
