In früher geschilderter Weise lässt nämlich jedes System von gleichzeitig geltenden oder zu erfüllenden Gleichungen (oder nach Be- lieben auch Subsumtionen) sich zusammenziehen in und ersetzen durch eine einzige Gleichung mit der rechten Seite 0, die "vereinigte Glei- chung" des Systemes.
Kam in dem Systeme neben irgend welchen andern Gebietsym- bolen ein Gebiet x vor, so wird die linke Seite der vereinigten Glei- chung eine "Funktion" von x sein (und auch wenn jenes nicht der Fall war, würde sogar sie als Funktion von x sich doch ansehen lassen). Diese Funktion lässt sich nach Th. 44+) durch x und x1 linear und homogen darstellen in der Form a x + b x1, sodass die erste Gleichung in unserm Theoreme die Stelle vertritt des allgemeinsten Systemes von simultanen Gleichungen und eventuell Subsumtionen, in welchen neben vielleicht noch andern eine Unbekannte x vorkommt.
Eine "Unbekannte" mögen wir das Gebiet x nennen auch dann, wenn es bekannt sein sollte, indem man doch immer die Frage aufwerfen kann, welche Werte sich dem x noch beilegen lassen würden, ohne dass die Pro- positionen des Systems zu gelten aufhören, indem man, m. a. W. die For- derung stellen kann, die vereinigte Gleichung, somit auch jenes System simultaner Propositionen nach x "aufzulösen", und zwar sie vollständig auf- zulösen, mithin sämtliche "Wurzeln" derselben anzugeben. Durch den einen vielleicht schon bekannten Wert von x ist jene Frage doch im Allgemeinen noch nicht von vornherein erledigt.
Die Auflösung einer Gleichung oder eines Systems setzt die Vor- frage nach deren Auflösbarkeit als erledigt voraus. Der Vernünftige wird ja nichts Unmögliches unternehmen.
Unter a) ist aber dargethan, dass in Bezug auf die Auflösung der vereinigten Gleichung a x + b x1 = 0 nach x diese Frage bald zu bejahen, bald zu verneinen ist:
d) Die Gleichung ist auflösbar, es gibt Werte, welche für x eingesetzt, dieselbe erfüllen, d. h. sie besitzt Wurzeln immer dann, wenn zwischen den Koeffizienten derselben die Relation ab = 0 be- steht, d. h. wenn ihre Koeffizienten disjunkt sind; aber auch nur dann.
Denn wenn diese zweite Gleichung unsres Theorems nicht erfüllt ist, haben wir gesehen, kann auch die erste Gleichung für keinen Wert von x bestehen, sie hat dann überhaupt keine Wurzeln und ist dieselbe, sowie das ihr äquivalente System von Propositionen in diesem Falle "unauflösbar" und "absurd" zu nennen. Unter den Propositionen des Systems werden dann sich entweder solche finden, die für sich allein schon "absurd" und durch kein x erfüllbar sind, oder die Pro-
Eilfte Vorlesung.
In früher geschilderter Weise lässt nämlich jedes System von gleichzeitig geltenden oder zu erfüllenden Gleichungen (oder nach Be- lieben auch Subsumtionen) sich zusammenziehen in und ersetzen durch eine einzige Gleichung mit der rechten Seite 0, die „vereinigte Glei- chung“ des Systemes.
Kam in dem Systeme neben irgend welchen andern Gebietsym- bolen ein Gebiet x vor, so wird die linke Seite der vereinigten Glei- chung eine „Funktion“ von x sein (und auch wenn jenes nicht der Fall war, würde sogar sie als Funktion von x sich doch ansehen lassen). Diese Funktion lässt sich nach Th. 44+) durch x und x1 linear und homogen darstellen in der Form a x + b x1, sodass die erste Gleichung in unserm Theoreme die Stelle vertritt des allgemeinsten Systemes von simultanen Gleichungen und eventuell Subsumtionen, in welchen neben vielleicht noch andern eine Unbekannte x vorkommt.
Eine „Unbekannte“ mögen wir das Gebiet x nennen auch dann, wenn es bekannt sein sollte, indem man doch immer die Frage aufwerfen kann, welche Werte sich dem x noch beilegen lassen würden, ohne dass die Pro- positionen des Systems zu gelten aufhören, indem man, m. a. W. die For- derung stellen kann, die vereinigte Gleichung, somit auch jenes System simultaner Propositionen nach x „aufzulösen“, und zwar sie vollständig auf- zulösen, mithin sämtliche „Wurzeln“ derselben anzugeben. Durch den einen vielleicht schon bekannten Wert von x ist jene Frage doch im Allgemeinen noch nicht von vornherein erledigt.
Die Auflösung einer Gleichung oder eines Systems setzt die Vor- frage nach deren Auflösbarkeit als erledigt voraus. Der Vernünftige wird ja nichts Unmögliches unternehmen.
Unter α) ist aber dargethan, dass in Bezug auf die Auflösung der vereinigten Gleichung a x + b x1 = 0 nach x diese Frage bald zu bejahen, bald zu verneinen ist:
δ) Die Gleichung ist auflösbar, es gibt Werte, welche für x eingesetzt, dieselbe erfüllen, d. h. sie besitzt Wurzeln immer dann, wenn zwischen den Koeffizienten derselben die Relation ab = 0 be- steht, d. h. wenn ihre Koeffizienten disjunkt sind; aber auch nur dann.
Denn wenn diese zweite Gleichung unsres Theorems nicht erfüllt ist, haben wir gesehen, kann auch die erste Gleichung für keinen Wert von x bestehen, sie hat dann überhaupt keine Wurzeln und ist dieselbe, sowie das ihr äquivalente System von Propositionen in diesem Falle „unauflösbar“ und „absurd“ zu nennen. Unter den Propositionen des Systems werden dann sich entweder solche finden, die für sich allein schon „absurd“ und durch kein x erfüllbar sind, oder die Pro-
<TEI><text><body><divn="1"><divn="2"><pbfacs="#f0470"n="450"/><fwplace="top"type="header">Eilfte Vorlesung.</fw><lb/><p>In früher geschilderter Weise lässt nämlich jedes System von<lb/>
gleichzeitig geltenden oder zu erfüllenden Gleichungen (oder nach Be-<lb/>
lieben auch Subsumtionen) sich zusammenziehen <hirendition="#i">in</hi> und ersetzen <hirendition="#i">durch</hi><lb/>
eine einzige Gleichung mit der rechten Seite 0, die „vereinigte Glei-<lb/>
chung“ des Systemes.</p><lb/><p>Kam in dem Systeme neben irgend welchen andern Gebietsym-<lb/>
bolen ein Gebiet <hirendition="#i">x</hi> vor, so wird die linke Seite der vereinigten Glei-<lb/>
chung eine „Funktion“ von <hirendition="#i">x</hi> sein (und auch wenn jenes <hirendition="#i">nicht</hi> der Fall<lb/>
war, würde sogar sie als Funktion von <hirendition="#i">x</hi> sich doch ansehen lassen).<lb/>
Diese Funktion lässt sich nach Th. 44<hirendition="#sub">+</hi>) durch <hirendition="#i">x</hi> und <hirendition="#i">x</hi><hirendition="#sub">1</hi> linear und<lb/>
homogen darstellen in der Form <hirendition="#i">a x</hi> + <hirendition="#i">b x</hi><hirendition="#sub">1</hi>, sodass die erste Gleichung<lb/>
in unserm Theoreme die Stelle vertritt des allgemeinsten Systemes<lb/>
von simultanen Gleichungen und eventuell Subsumtionen, in welchen<lb/>
neben vielleicht noch andern eine Unbekannte <hirendition="#i">x</hi> vorkommt.</p><lb/><p>Eine „Unbekannte“ mögen wir das Gebiet <hirendition="#i">x</hi> nennen auch dann, wenn<lb/>
es bekannt sein sollte, indem man doch immer die Frage aufwerfen kann,<lb/>
welche Werte sich dem <hirendition="#i">x</hi> noch beilegen lassen würden, ohne dass die Pro-<lb/>
positionen des Systems zu gelten aufhören, indem man, m. a. W. die For-<lb/>
derung stellen kann, die vereinigte Gleichung, somit auch jenes System<lb/>
simultaner Propositionen nach <hirendition="#i">x</hi>„<hirendition="#i">aufzulösen</hi>“, und zwar sie <hirendition="#i">vollständig</hi> auf-<lb/>
zulösen, mithin sämtliche „Wurzeln“ derselben anzugeben. Durch den einen<lb/>
vielleicht schon bekannten Wert von <hirendition="#i">x</hi> ist jene Frage doch im Allgemeinen<lb/>
noch nicht von vornherein erledigt.</p><lb/><p>Die Auflösung einer Gleichung oder eines Systems setzt die Vor-<lb/>
frage nach deren Auflösbarkeit als erledigt voraus. Der Vernünftige<lb/>
wird ja nichts Unmögliches unternehmen.</p><lb/><p>Unter <hirendition="#i">α</hi>) ist aber dargethan, dass in Bezug auf die Auflösung<lb/>
der vereinigten Gleichung <hirendition="#i">a x</hi> + <hirendition="#i">b x</hi><hirendition="#sub">1</hi> = 0 nach <hirendition="#i">x</hi> diese Frage bald zu<lb/>
bejahen, bald zu verneinen ist:</p><lb/><p><hirendition="#i">δ</hi>) <hirendition="#i">Die Gleichung ist auflösbar</hi>, es gibt Werte, welche für <hirendition="#i">x</hi><lb/>
eingesetzt, dieselbe erfüllen, d. h. sie besitzt Wurzeln <hirendition="#i">immer dann,<lb/>
wenn</hi> zwischen den Koeffizienten derselben die Relation <hirendition="#i">ab</hi> = 0 be-<lb/>
steht, d. h. wenn <hirendition="#i">ihre Koeffizienten disjunkt sind; aber auch nur dann</hi>.</p><lb/><p>Denn wenn diese zweite Gleichung unsres Theorems nicht erfüllt<lb/>
ist, haben wir gesehen, kann auch die erste Gleichung für keinen<lb/>
Wert von <hirendition="#i">x</hi> bestehen, sie hat dann überhaupt keine Wurzeln und ist<lb/>
dieselbe, sowie das ihr äquivalente System von Propositionen in diesem<lb/>
Falle „unauflösbar“ und „absurd“ zu nennen. Unter den Propositionen<lb/>
des Systems werden dann sich entweder solche finden, die für sich<lb/>
allein schon „absurd“ und durch kein <hirendition="#i">x</hi> erfüllbar sind, oder die Pro-<lb/></p></div></div></body></text></TEI>
[450/0470]
Eilfte Vorlesung.
In früher geschilderter Weise lässt nämlich jedes System von
gleichzeitig geltenden oder zu erfüllenden Gleichungen (oder nach Be-
lieben auch Subsumtionen) sich zusammenziehen in und ersetzen durch
eine einzige Gleichung mit der rechten Seite 0, die „vereinigte Glei-
chung“ des Systemes.
Kam in dem Systeme neben irgend welchen andern Gebietsym-
bolen ein Gebiet x vor, so wird die linke Seite der vereinigten Glei-
chung eine „Funktion“ von x sein (und auch wenn jenes nicht der Fall
war, würde sogar sie als Funktion von x sich doch ansehen lassen).
Diese Funktion lässt sich nach Th. 44+) durch x und x1 linear und
homogen darstellen in der Form a x + b x1, sodass die erste Gleichung
in unserm Theoreme die Stelle vertritt des allgemeinsten Systemes
von simultanen Gleichungen und eventuell Subsumtionen, in welchen
neben vielleicht noch andern eine Unbekannte x vorkommt.
Eine „Unbekannte“ mögen wir das Gebiet x nennen auch dann, wenn
es bekannt sein sollte, indem man doch immer die Frage aufwerfen kann,
welche Werte sich dem x noch beilegen lassen würden, ohne dass die Pro-
positionen des Systems zu gelten aufhören, indem man, m. a. W. die For-
derung stellen kann, die vereinigte Gleichung, somit auch jenes System
simultaner Propositionen nach x „aufzulösen“, und zwar sie vollständig auf-
zulösen, mithin sämtliche „Wurzeln“ derselben anzugeben. Durch den einen
vielleicht schon bekannten Wert von x ist jene Frage doch im Allgemeinen
noch nicht von vornherein erledigt.
Die Auflösung einer Gleichung oder eines Systems setzt die Vor-
frage nach deren Auflösbarkeit als erledigt voraus. Der Vernünftige
wird ja nichts Unmögliches unternehmen.
Unter α) ist aber dargethan, dass in Bezug auf die Auflösung
der vereinigten Gleichung a x + b x1 = 0 nach x diese Frage bald zu
bejahen, bald zu verneinen ist:
δ) Die Gleichung ist auflösbar, es gibt Werte, welche für x
eingesetzt, dieselbe erfüllen, d. h. sie besitzt Wurzeln immer dann,
wenn zwischen den Koeffizienten derselben die Relation ab = 0 be-
steht, d. h. wenn ihre Koeffizienten disjunkt sind; aber auch nur dann.
Denn wenn diese zweite Gleichung unsres Theorems nicht erfüllt
ist, haben wir gesehen, kann auch die erste Gleichung für keinen
Wert von x bestehen, sie hat dann überhaupt keine Wurzeln und ist
dieselbe, sowie das ihr äquivalente System von Propositionen in diesem
Falle „unauflösbar“ und „absurd“ zu nennen. Unter den Propositionen
des Systems werden dann sich entweder solche finden, die für sich
allein schon „absurd“ und durch kein x erfüllbar sind, oder die Pro-
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. 450. In: Deutsches Textarchiv <https://www.deutschestextarchiv.de/schroeder_logik01_1890/470>, abgerufen am 25.08.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/.