von x und x1 hätte die Form: a x + b x1 + c; sie enthielte nämlich ausser einem mit dem Faktor x und einem mit dem x1 behafteten Gliede auch noch einen von x und x1 freien Term, das so- genannte "Absolutglied" c.
Allerdings gebraucht die Mathematik diese Benennungen nur, sofern die Koeffizienten a und b (beziehlich auch c) von x und x1 "unabhängig", bezüglich ebendieser Variabeln "konstant" sind, nämlich stets dieselben Werte behalten, welche Werte man auch dem x oder x1 in Gedanken unterlegen mag. Diese Anforderung ist im obigen Theorem anscheinend nicht immer erfüllt. Es werden aber die demnächst folgenden Sätze von 44) an zeigen, dass und wie sie sich in weitestem Umfange realisiren lässt; auch oben waren schon bei der Annahme a = b = y diese Koeffi- zienten für jede Deutung von x die gleichen.
43) Theoreme.
Die Subsumtion ab ist auch äquivalent der Gleichung:
43x) a = u b,
43+) b = a + v,
in welcher u resp. v ein gewisses, ein unbestimmtes Gebiet vorstellt.
Beweis. Da
u bb
aa + v
nach Th. 6), so folgt nach Th. 2) oder 3) aus der Gleichung jeden- falls die Subsumtion, was immer u und v bedeutet haben mochten, und muss nur noch gezeigt werden, dass auch das Umgekehrte für gewisse u, v der Fall ist.
Letzteres mag auf zwei Arten geschehen. Einmal selbständig: Hier genügt es, darauf aufmerksam zu machen, dass falls ab ist, die Gleichung 43x) schon für u = a, ebenso die 43+) wenigstens für v = b in der That erfüllt sein wird kraft Th. 20).
Sodann auch mittelst Berufung auf Th. 42). Nach diesem Satze kann stets:
a = u b + v b1
b = u a + v a1 = (u + a1) (v + a)
geschrieben werden, indem man das eine der beiden Gebiete a, b linear und homogen durch das andre und seine Negation ausdrückt und die in Betracht kommenden Koeffizienten (die rechts vom Mittel- strich ganz andre sein mögen, als links von demselben) zunächst u und v nennt. Da nun, laut Voraussetzung, nach Th. 38):
a b1 = 0
a1 + b = 1
ist, so folgt aus vorigem durch beiderseitiges Multipliziren mit b1 resp. Addiren von a1:
Zehnte Vorlesung
von x und x1 hätte die Form: a x + b x1 + c; sie enthielte nämlich ausser einem mit dem Faktor x und einem mit dem x1 behafteten Gliede auch noch einen von x und x1 freien Term, das so- genannte „Absolutglied“ c.
Allerdings gebraucht die Mathematik diese Benennungen nur, sofern die Koeffizienten a und b (beziehlich auch c) von x und x1 „unabhängig“, bezüglich ebendieser Variabeln „konstant“ sind, nämlich stets dieselben Werte behalten, welche Werte man auch dem x oder x1 in Gedanken unterlegen mag. Diese Anforderung ist im obigen Theorem anscheinend nicht immer erfüllt. Es werden aber die demnächst folgenden Sätze von 44) an zeigen, dass und wie sie sich in weitestem Umfange realisiren lässt; auch oben waren schon bei der Annahme a = b = y diese Koeffi- zienten für jede Deutung von x die gleichen.
43) Theoreme.
Die Subsumtion a ⋹ b ist auch äquivalent der Gleichung:
43×) a = u b,
43+) b = a + v,
in welcher u resp. v ein gewisses, ein unbestimmtes Gebiet vorstellt.
Beweis. Da
u b ⋹ b
a ⋹ a + v
nach Th. 6), so folgt nach Th. 2) oder 3) aus der Gleichung jeden- falls die Subsumtion, was immer u und v bedeutet haben mochten, und muss nur noch gezeigt werden, dass auch das Umgekehrte für gewisse u, v der Fall ist.
Letzteres mag auf zwei Arten geschehen. Einmal selbständig: Hier genügt es, darauf aufmerksam zu machen, dass falls a ⋹ b ist, die Gleichung 43×) schon für u = a, ebenso die 43+) wenigstens für v = b in der That erfüllt sein wird kraft Th. 20).
Sodann auch mittelst Berufung auf Th. 42). Nach diesem Satze kann stets:
a = u b + v b1
b = u a + v a1 = (u + a1) (v + a)
geschrieben werden, indem man das eine der beiden Gebiete a, b linear und homogen durch das andre und seine Negation ausdrückt und die in Betracht kommenden Koeffizienten (die rechts vom Mittel- strich ganz andre sein mögen, als links von demselben) zunächst u und v nennt. Da nun, laut Voraussetzung, nach Th. 38):
a b1 = 0
a1 + b = 1
ist, so folgt aus vorigem durch beiderseitiges Multipliziren mit b1 resp. Addiren von a1:
<TEI><text><body><divn="1"><divn="2"><p><pbfacs="#f0418"n="398"/><fwplace="top"type="header">Zehnte Vorlesung</fw><lb/>
von <hirendition="#i">x</hi> und <hirendition="#i">x</hi><hirendition="#sub">1</hi> hätte die Form:<lb/><hirendition="#c"><hirendition="#i">a x</hi> + <hirendition="#i">b x</hi><hirendition="#sub">1</hi> + <hirendition="#i">c</hi>;</hi><lb/>
sie enthielte nämlich ausser einem mit dem Faktor <hirendition="#i">x</hi> und einem mit dem<lb/><hirendition="#i">x</hi><hirendition="#sub">1</hi> behafteten Gliede auch noch einen von <hirendition="#i">x</hi> und <hirendition="#i">x</hi><hirendition="#sub">1</hi> freien Term, das so-<lb/>
genannte <hirendition="#i">„Absolutglied“ c</hi>.</p><lb/><p>Allerdings gebraucht die Mathematik diese Benennungen nur, sofern<lb/>
die Koeffizienten <hirendition="#i">a</hi> und <hirendition="#i">b</hi> (beziehlich auch <hirendition="#i">c</hi>) von <hirendition="#i">x</hi> und <hirendition="#i">x</hi><hirendition="#sub">1</hi>„unabhängig“,<lb/>
bezüglich ebendieser Variabeln „konstant“ sind, nämlich stets dieselben<lb/>
Werte behalten, welche Werte man auch dem <hirendition="#i">x</hi> oder <hirendition="#i">x</hi><hirendition="#sub">1</hi> in Gedanken<lb/>
unterlegen mag. Diese Anforderung ist im obigen Theorem anscheinend<lb/>
nicht immer erfüllt. Es werden aber die demnächst folgenden Sätze von<lb/>
44) an zeigen, dass und wie sie sich in weitestem Umfange realisiren<lb/>
lässt; auch oben waren schon bei der Annahme <hirendition="#i">a</hi> = <hirendition="#i">b</hi> = <hirendition="#i">y</hi> diese Koeffi-<lb/>
zienten für jede Deutung von <hirendition="#i">x</hi> die gleichen.</p><lb/><p>43) <hirendition="#g">Theoreme</hi>.</p><lb/><p><hirendition="#i">Die Subsumtion a</hi>⋹<hirendition="#i">b ist</hi> auch <hirendition="#i">äquivalent der Gleichung:</hi><lb/><table><row><cell>43<hirendition="#sub">×</hi>) <hirendition="#i">a</hi> = <hirendition="#i">u b</hi>,</cell><cell>43<hirendition="#sub">+</hi>) <hirendition="#i">b</hi> = <hirendition="#i">a</hi> + <hirendition="#i">v</hi>,</cell></row><lb/></table><hirendition="#i">in welcher u resp. v ein gewisses, ein unbestimmtes Gebiet vorstellt.</hi></p><lb/><p><hirendition="#g">Beweis</hi>. Da<lb/><table><row><cell><hirendition="#i">u b</hi>⋹<hirendition="#i">b</hi></cell><cell><hirendition="#i">a</hi>⋹<hirendition="#i">a</hi> + <hirendition="#i">v</hi></cell></row><lb/></table> nach Th. 6), so folgt nach Th. 2) oder 3) aus der Gleichung jeden-<lb/>
falls die Subsumtion, was immer <hirendition="#i">u</hi> und <hirendition="#i">v</hi> bedeutet haben mochten,<lb/>
und muss nur noch gezeigt werden, dass auch das Umgekehrte für<lb/>
gewisse <hirendition="#i">u</hi>, <hirendition="#i">v</hi> der Fall ist.</p><lb/><p>Letzteres mag auf zwei Arten geschehen. Einmal selbständig:<lb/>
Hier genügt es, darauf aufmerksam zu machen, dass falls <hirendition="#i">a</hi>⋹<hirendition="#i">b</hi> ist,<lb/>
die Gleichung 43<hirendition="#sub">×</hi>) schon für <hirendition="#i">u</hi> = <hirendition="#i">a</hi>, ebenso die 43<hirendition="#sub">+</hi>) wenigstens für<lb/><hirendition="#i">v</hi> = <hirendition="#i">b</hi> in der That erfüllt sein wird kraft Th. 20).</p><lb/><p>Sodann auch mittelst Berufung auf Th. 42). Nach diesem Satze<lb/>
kann stets:<lb/><table><row><cell><hirendition="#i">a</hi> = <hirendition="#i">u b</hi> + <hirendition="#i">v b</hi><hirendition="#sub">1</hi></cell><cell><hirendition="#i">b</hi> = <hirendition="#i">u a</hi> + <hirendition="#i">v a</hi><hirendition="#sub">1</hi> = (<hirendition="#i">u</hi> + <hirendition="#i">a</hi><hirendition="#sub">1</hi>) (<hirendition="#i">v</hi> + <hirendition="#i">a</hi>)</cell></row><lb/></table> geschrieben werden, indem man das eine der beiden Gebiete <hirendition="#i">a</hi>, <hirendition="#i">b</hi><lb/>
linear und homogen durch das andre und seine Negation ausdrückt<lb/>
und die in Betracht kommenden Koeffizienten (die rechts vom Mittel-<lb/>
strich ganz andre sein mögen, als links von demselben) zunächst <hirendition="#i">u</hi><lb/>
und <hirendition="#i">v</hi> nennt. Da nun, laut Voraussetzung, nach Th. 38):<lb/><table><row><cell><hirendition="#i">a b</hi><hirendition="#sub">1</hi> = 0</cell><cell><hirendition="#i">a</hi><hirendition="#sub">1</hi> + <hirendition="#i">b</hi> = 1</cell></row><lb/></table> ist, so folgt aus vorigem durch beiderseitiges Multipliziren mit <hirendition="#i">b</hi><hirendition="#sub">1</hi> resp.<lb/>
Addiren von <hirendition="#i">a</hi><hirendition="#sub">1</hi>:<lb/></p></div></div></body></text></TEI>
[398/0418]
Zehnte Vorlesung
von x und x1 hätte die Form:
a x + b x1 + c;
sie enthielte nämlich ausser einem mit dem Faktor x und einem mit dem
x1 behafteten Gliede auch noch einen von x und x1 freien Term, das so-
genannte „Absolutglied“ c.
Allerdings gebraucht die Mathematik diese Benennungen nur, sofern
die Koeffizienten a und b (beziehlich auch c) von x und x1 „unabhängig“,
bezüglich ebendieser Variabeln „konstant“ sind, nämlich stets dieselben
Werte behalten, welche Werte man auch dem x oder x1 in Gedanken
unterlegen mag. Diese Anforderung ist im obigen Theorem anscheinend
nicht immer erfüllt. Es werden aber die demnächst folgenden Sätze von
44) an zeigen, dass und wie sie sich in weitestem Umfange realisiren
lässt; auch oben waren schon bei der Annahme a = b = y diese Koeffi-
zienten für jede Deutung von x die gleichen.
43) Theoreme.
Die Subsumtion a ⋹ b ist auch äquivalent der Gleichung:
43×) a = u b, 43+) b = a + v,
in welcher u resp. v ein gewisses, ein unbestimmtes Gebiet vorstellt.
Beweis. Da
u b ⋹ b a ⋹ a + v
nach Th. 6), so folgt nach Th. 2) oder 3) aus der Gleichung jeden-
falls die Subsumtion, was immer u und v bedeutet haben mochten,
und muss nur noch gezeigt werden, dass auch das Umgekehrte für
gewisse u, v der Fall ist.
Letzteres mag auf zwei Arten geschehen. Einmal selbständig:
Hier genügt es, darauf aufmerksam zu machen, dass falls a ⋹ b ist,
die Gleichung 43×) schon für u = a, ebenso die 43+) wenigstens für
v = b in der That erfüllt sein wird kraft Th. 20).
Sodann auch mittelst Berufung auf Th. 42). Nach diesem Satze
kann stets:
a = u b + v b1 b = u a + v a1 = (u + a1) (v + a)
geschrieben werden, indem man das eine der beiden Gebiete a, b
linear und homogen durch das andre und seine Negation ausdrückt
und die in Betracht kommenden Koeffizienten (die rechts vom Mittel-
strich ganz andre sein mögen, als links von demselben) zunächst u
und v nennt. Da nun, laut Voraussetzung, nach Th. 38):
a b1 = 0 a1 + b = 1
ist, so folgt aus vorigem durch beiderseitiges Multipliziren mit b1 resp.
Addiren von a1:
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. 398. In: Deutsches Textarchiv <https://www.deutschestextarchiv.de/schroeder_logik01_1890/418>, abgerufen am 25.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/.
