in welchem u ein willkürliches Gebiet vorstellt.*)
Natürlich stimmt nun auch die Probe der Auflösung, welche darin besteht, dass man den Ausdruck e) oder x) für x in die Gleichung b) einträgt und sich überzeugt, dass dieselbe auf Grund der Voraus- setzung d) erfüllt ist -- und zwar für jede Bedeutung des u. In der That muss sein: th)
(a ÷ b) + b = a
(a : : b) b = a,
d. h. jeder Wert
der Differenz, zu dem Subtrahenden addirt gibt den Minuenden
des Quotienten, mit dem Divisor multiplizirt liefert den Dividenden.
Bei dem Nachweise ist schon die Valenzbedingung d) unentbehrlich, indem man als Wert der linken Seite in th) zunächst erhält:
a + b
a b
was erst auf Grund von d) sich in a zusammenzieht -- vergl. Th. 20). --
In § 21 und 22 gelang es uns, die allgemeinsten Eliminations- und Auflösungsprobleme der bisherigen Theorie schon ohne jegliche Kenntniss von den hier betrachteten inversen Operationen des identischen Kalkuls zu lösen. In dieser Thatsache hauptsächlich ist die Bestätigung zu erblicken für eine früher schon einmal gemachte Andeutung: dass die identische Subtraktion und Division ohne Schaden oder Einbusse aus der ganzen Dis- ziplin des Kalkuls sich ausmerzen lassen. Auch die gegenwärtige Studie hat die Tendenz dies vollends zu erhärten.
Die hier gebrauchten Bezeichnungen sind deshalb auch als proviso- rische, nur dem augenblicklichen Bedarf zu dienen bestimmte anzusehen, und aus diesem Grunde ist es auch sehr gleichgültig, wie man etwa die volldeutigen Operationszeichen in a ÷ b, a : : b zur Unterscheidung von den eindeutigen in a -- b, a : b verbatim lesen mag. Da es immerhin misslich erscheint, häufig Zeichen lesen zu müssen ohne einen Fingerzeig darüber und eine bestimmte Gewöhnung, wie dieselben auszusprechen seien, so mag man für jene etwa "voll-minus" und "voll-durch" sprechen.
Beachtenswert erscheint noch folgendes. Wir haben vorstehend x er-
*) Die augegebenen verschiednen Ausdrucksformen für die Wurzel sind in § 22 schon implicite aufeinander zurückgeführt. Um die Zurückführung direkt zu leisten, genügen, im Hinblick auf die Valenzbedingung d), die Theoreme 30+) und 33+) Zusatz, oder auch "Entwickelung" nach a, b, u.
Schröder, Algebra der Logik. 31
§ 23. Identische Subtraktion und Division.
ξ)
x = a ÷ b
x = a : : b,
wo die rechte Seite den Ausdruck bedeutet: η)
a ÷ b = ab1u1 + au =
a : : b = a u1 + (a + b1) u =
= a (b1 + u) =
= a + u b1 =
= a b1 + u b = a b1 + u a b,
= a b + u a1b1,
in welchem u ein willkürliches Gebiet vorstellt.*)
Natürlich stimmt nun auch die Probe der Auflösung, welche darin besteht, dass man den Ausdruck η) oder ξ) für x in die Gleichung β) einträgt und sich überzeugt, dass dieselbe auf Grund der Voraus- setzung δ) erfüllt ist — und zwar für jede Bedeutung des u. In der That muss sein: ϑ)
(a ÷ b) + b = a
(a : : b) b = a,
d. h. jeder Wert
der Differenz, zu dem Subtrahenden addirt gibt den Minuenden
des Quotienten, mit dem Divisor multiplizirt liefert den Dividenden.
Bei dem Nachweise ist schon die Valenzbedingung δ) unentbehrlich, indem man als Wert der linken Seite in ϑ) zunächst erhält:
a + b
a b
was erst auf Grund von δ) sich in a zusammenzieht — vergl. Th. 20). —
In § 21 und 22 gelang es uns, die allgemeinsten Eliminations- und Auflösungsprobleme der bisherigen Theorie schon ohne jegliche Kenntniss von den hier betrachteten inversen Operationen des identischen Kalkuls zu lösen. In dieser Thatsache hauptsächlich ist die Bestätigung zu erblicken für eine früher schon einmal gemachte Andeutung: dass die identische Subtraktion und Division ohne Schaden oder Einbusse aus der ganzen Dis- ziplin des Kalkuls sich ausmerzen lassen. Auch die gegenwärtige Studie hat die Tendenz dies vollends zu erhärten.
Die hier gebrauchten Bezeichnungen sind deshalb auch als proviso- rische, nur dem augenblicklichen Bedarf zu dienen bestimmte anzusehen, und aus diesem Grunde ist es auch sehr gleichgültig, wie man etwa die volldeutigen Operationszeichen in a ÷ b, a : : b zur Unterscheidung von den eindeutigen in a — b, a : b verbatim lesen mag. Da es immerhin misslich erscheint, häufig Zeichen lesen zu müssen ohne einen Fingerzeig darüber und eine bestimmte Gewöhnung, wie dieselben auszusprechen seien, so mag man für jene etwa „voll-minus“ und „voll-durch“ sprechen.
Beachtenswert erscheint noch folgendes. Wir haben vorstehend x er-
*) Die augegebenen verschiednen Ausdrucksformen für die Wurzel sind in § 22 schon implicite aufeinander zurückgeführt. Um die Zurückführung direkt zu leisten, genügen, im Hinblick auf die Valenzbedingung δ), die Theoreme 30+) und 33+) Zusatz, oder auch „Entwickelung“ nach a, b, u.
Schröder, Algebra der Logik. 31
<TEI><text><body><divn="1"><divn="2"><p><pbfacs="#f0501"n="481"/><fwplace="top"type="header">§ 23. Identische Subtraktion und Division.</fw><lb/><hirendition="#i">ξ</hi>) <table><lb/><row><cell><hirendition="#i">x</hi> = <hirendition="#i">a</hi> ÷ <hirendition="#i">b</hi></cell><cell><hirendition="#i">x</hi> = <hirendition="#i">a</hi> : : <hirendition="#i">b</hi>,</cell></row><lb/></table> wo die rechte Seite den Ausdruck bedeutet:<lb/><hirendition="#i">η</hi>) <table><lb/><row><cell><hirendition="#i">a</hi> ÷ <hirendition="#i">b</hi> = <hirendition="#i">ab</hi><hirendition="#sub">1</hi><hirendition="#i">u</hi><hirendition="#sub">1</hi> + <hirendition="#i">au</hi> =</cell><cell><hirendition="#i">a</hi> : : <hirendition="#i">b</hi> = <hirendition="#i">a u</hi><hirendition="#sub">1</hi> + (<hirendition="#i">a</hi> + <hirendition="#i">b</hi><hirendition="#sub">1</hi>) <hirendition="#i">u</hi> =</cell></row><lb/><row><cell>= <hirendition="#i">a</hi> (<hirendition="#i">b</hi><hirendition="#sub">1</hi> + <hirendition="#i">u</hi>) =</cell><cell>= <hirendition="#i">a</hi> + <hirendition="#i">u b</hi><hirendition="#sub">1</hi> =</cell></row><lb/><row><cell>= <hirendition="#i">a b</hi><hirendition="#sub">1</hi> + <hirendition="#i">u b</hi> = <hirendition="#i">a b</hi><hirendition="#sub">1</hi> + <hirendition="#i">u a b</hi>,</cell><cell>= <hirendition="#i">a b</hi> + <hirendition="#i">u a</hi><hirendition="#sub">1</hi><hirendition="#i">b</hi><hirendition="#sub">1</hi>,</cell></row><lb/></table> in welchem <hirendition="#i">u</hi> ein <hirendition="#i">willkürliches</hi> Gebiet vorstellt.<noteplace="foot"n="*)">Die augegebenen verschiednen Ausdrucksformen für die Wurzel sind in<lb/>
§ 22 schon implicite aufeinander zurückgeführt. Um die Zurückführung direkt zu<lb/>
leisten, genügen, im Hinblick auf die Valenzbedingung <hirendition="#i">δ</hi>), die Theoreme 30<hirendition="#sub">+</hi>) und<lb/>
33<hirendition="#sub">+</hi>) Zusatz, oder auch „Entwickelung“ nach <hirendition="#i">a, b, u</hi>.</note></p><lb/><p>Natürlich stimmt nun auch die Probe der Auflösung, welche<lb/>
darin besteht, dass man den Ausdruck <hirendition="#i">η</hi>) oder <hirendition="#i">ξ</hi>) für <hirendition="#i">x</hi> in die Gleichung<lb/><hirendition="#i">β</hi>) einträgt und sich überzeugt, dass dieselbe auf Grund der Voraus-<lb/>
setzung <hirendition="#i">δ</hi>) erfüllt ist — und zwar für <hirendition="#i">jede</hi> Bedeutung des <hirendition="#i">u</hi>. In der<lb/>
That muss sein:<lb/><hirendition="#i">ϑ</hi>) <table><lb/><row><cell>(<hirendition="#i">a</hi> ÷ <hirendition="#i">b</hi>) + <hirendition="#i">b</hi> = <hirendition="#i">a</hi></cell><cell>(<hirendition="#i">a</hi> : : <hirendition="#i">b</hi>) <hirendition="#i">b</hi> = <hirendition="#i">a</hi>,</cell></row><lb/></table> d. h. <hirendition="#i">jeder Wert</hi><lb/><table><row><cell><hirendition="#i">der Differenz</hi>, <hirendition="#i">zu dem Subtrahenden<lb/>
addirt gibt den Minuenden</hi></cell><cell><hirendition="#i">des Quotienten</hi>, <hirendition="#i">mit dem Divisor<lb/>
multiplizirt liefert den Dividenden</hi>.</cell></row><lb/></table></p><p>Bei dem Nachweise ist schon die Valenzbedingung <hirendition="#i">δ</hi>) unentbehrlich,<lb/>
indem man als Wert der linken Seite in <hirendition="#i">ϑ</hi>) zunächst erhält:<lb/><table><row><cell><hirendition="#i">a</hi> + <hirendition="#i">b</hi></cell><cell><hirendition="#i">a b</hi></cell></row><lb/></table> was erst auf Grund von <hirendition="#i">δ</hi>) sich in <hirendition="#i">a</hi> zusammenzieht — vergl. Th. 20). —</p><lb/><p>In § 21 und 22 gelang es uns, die allgemeinsten Eliminations- und<lb/>
Auflösungsprobleme der bisherigen Theorie schon ohne jegliche Kenntniss<lb/>
von den hier betrachteten inversen Operationen des identischen Kalkuls zu<lb/>
lösen. In dieser Thatsache hauptsächlich ist die Bestätigung zu erblicken<lb/>
für eine früher schon einmal gemachte Andeutung: dass die identische<lb/>
Subtraktion und Division ohne Schaden oder Einbusse aus der ganzen Dis-<lb/>
ziplin des Kalkuls sich ausmerzen lassen. Auch die gegenwärtige Studie<lb/>
hat die Tendenz dies vollends zu erhärten.</p><lb/><p>Die hier gebrauchten Bezeichnungen sind deshalb auch als proviso-<lb/>
rische, nur dem augenblicklichen Bedarf zu dienen bestimmte anzusehen,<lb/>
und aus diesem Grunde ist es auch sehr gleichgültig, wie man etwa die<lb/>
volldeutigen Operationszeichen in <hirendition="#i">a</hi> ÷ <hirendition="#i">b</hi>, <hirendition="#i">a</hi> : : <hirendition="#i">b</hi> zur Unterscheidung von den<lb/>
eindeutigen in <hirendition="#i">a</hi>—<hirendition="#i">b</hi>, <hirendition="#i">a</hi> : <hirendition="#i">b</hi> verbatim lesen mag. Da es immerhin misslich<lb/>
erscheint, häufig Zeichen lesen zu müssen ohne einen Fingerzeig darüber<lb/>
und eine bestimmte Gewöhnung, wie dieselben auszusprechen seien, so mag<lb/>
man für jene etwa „voll-minus“ und „voll-durch“ sprechen.</p><lb/><p>Beachtenswert erscheint noch folgendes. Wir haben vorstehend <hirendition="#i">x</hi> er-<lb/><fwplace="bottom"type="sig"><hirendition="#k">Schröder</hi>, Algebra der Logik. 31</fw><lb/></p></div></div></body></text></TEI>
[481/0501]
§ 23. Identische Subtraktion und Division.
ξ) x = a ÷ b x = a : : b,
wo die rechte Seite den Ausdruck bedeutet:
η) a ÷ b = ab1u1 + au = a : : b = a u1 + (a + b1) u =
= a (b1 + u) = = a + u b1 =
= a b1 + u b = a b1 + u a b, = a b + u a1b1,
in welchem u ein willkürliches Gebiet vorstellt. *)
Natürlich stimmt nun auch die Probe der Auflösung, welche
darin besteht, dass man den Ausdruck η) oder ξ) für x in die Gleichung
β) einträgt und sich überzeugt, dass dieselbe auf Grund der Voraus-
setzung δ) erfüllt ist — und zwar für jede Bedeutung des u. In der
That muss sein:
ϑ) (a ÷ b) + b = a (a : : b) b = a,
d. h. jeder Wert
der Differenz, zu dem Subtrahenden
addirt gibt den Minuenden des Quotienten, mit dem Divisor
multiplizirt liefert den Dividenden.
Bei dem Nachweise ist schon die Valenzbedingung δ) unentbehrlich,
indem man als Wert der linken Seite in ϑ) zunächst erhält:
a + b a b
was erst auf Grund von δ) sich in a zusammenzieht — vergl. Th. 20). —
In § 21 und 22 gelang es uns, die allgemeinsten Eliminations- und
Auflösungsprobleme der bisherigen Theorie schon ohne jegliche Kenntniss
von den hier betrachteten inversen Operationen des identischen Kalkuls zu
lösen. In dieser Thatsache hauptsächlich ist die Bestätigung zu erblicken
für eine früher schon einmal gemachte Andeutung: dass die identische
Subtraktion und Division ohne Schaden oder Einbusse aus der ganzen Dis-
ziplin des Kalkuls sich ausmerzen lassen. Auch die gegenwärtige Studie
hat die Tendenz dies vollends zu erhärten.
Die hier gebrauchten Bezeichnungen sind deshalb auch als proviso-
rische, nur dem augenblicklichen Bedarf zu dienen bestimmte anzusehen,
und aus diesem Grunde ist es auch sehr gleichgültig, wie man etwa die
volldeutigen Operationszeichen in a ÷ b, a : : b zur Unterscheidung von den
eindeutigen in a — b, a : b verbatim lesen mag. Da es immerhin misslich
erscheint, häufig Zeichen lesen zu müssen ohne einen Fingerzeig darüber
und eine bestimmte Gewöhnung, wie dieselben auszusprechen seien, so mag
man für jene etwa „voll-minus“ und „voll-durch“ sprechen.
Beachtenswert erscheint noch folgendes. Wir haben vorstehend x er-
*) Die augegebenen verschiednen Ausdrucksformen für die Wurzel sind in
§ 22 schon implicite aufeinander zurückgeführt. Um die Zurückführung direkt zu
leisten, genügen, im Hinblick auf die Valenzbedingung δ), die Theoreme 30+) und
33+) Zusatz, oder auch „Entwickelung“ nach a, b, u.
Schröder, Algebra der Logik. 31
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. 481. In: Deutsches Textarchiv <https://www.deutschestextarchiv.de/schroeder_logik01_1890/501>, abgerufen am 30.04.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/.
