ab, so erhalten wir für die Definition der Ähnlichkeit oder Gleichmächtig- keit eines Systems a mit einem System b die folgende "erste Fassung": (4)
[Formel 1]
.
Dieser aber wird sich -- mittelst Einführung von y statt x -- eine sehr viel bequemere Form geben lassen, und zwar in äquivalenter Transformation -- behaupten wir -- die folgende "zweite Fassung": (5)
[Formel 2]
, worin auch rechts das erste b und a durch b resp. a ersetzbar, und -- gleichwie schon in (4) -- die beiden letzten Subsumtionen die Kraft von Gleichungen haben müssen.
Dies ist wie folgt zu sehen. Aus der Gleichung 2) lässt sich zu- nächst x eliminiren. Man schliesst: y (an + xn) j 1', yx, y 1' j (xn + bn), oder y ; 0' an + xn, axyn j 1', ayax, ergo ayyn j 1', y ; ay 1', 0' ; yxn + bn, xb 1' j yn, ybxb, ergo yb 1' j yn, yb ; y 1'. Weil aber a und b Systeme sind, so ist y ; ay = y ; y · a, yb ; y = b · y ; y und fassen sich demnach die beiden Teilresultanten zusammen zu: 61) b · y ; y + a · y ; y 1'.
Aus dieser Resultante folgt mittelst Konversion sogleich hinzu, dass auch b · y ; y sowie a · y ; y 1' sein muss, so dass man sie auch "voller" anschreiben könnte in der Form: 6) (b + b) · y ; y + (a + a) · y ; y 1', ebensogut aber auch sie schon ausreichend vertreten kann durch den Ansatz: 62) b · y ; y + a · y ; y 1'.
Diese Resultante -- wie man sieht, der erste Faktor rechts in 5) -- ist nun aber die volle. Denn ist sie durch ein y erfüllt, so gibt es ein x, welches die Gleichung 2) wahr macht, und zwar in Gestalt von x = y selbst. Dies ist so zu sehn. Aus der konvertirten 61) b · y ; y + a · y ; y 1' folgt: y ; yan + 1', y ; y 1' + bn, yyn j (an + 1'), y (1' + bn) j yn, und somit
Zwölfte Vorlesung.
a ∽ b, so erhalten wir für die Definition der Ähnlichkeit oder Gleichmächtig- keit eines Systems a mit einem System b die folgende „erste Fassung“: (4)
[Formel 1]
.
Dieser aber wird sich — mittelst Einführung von y statt x — eine sehr viel bequemere Form geben lassen, und zwar in äquivalenter Transformation — behaupten wir — die folgende „zweite Fassung“: (5)
[Formel 2]
, worin auch rechts das erste b und a durch b̆ resp. ă ersetzbar, und — gleichwie schon in (4) — die beiden letzten Subsumtionen die Kraft von Gleichungen haben müssen.
Dies ist wie folgt zu sehen. Aus der Gleichung 2) lässt sich zu- nächst x eliminiren. Man schliesst: y⋹ (ā̆ + x̄) ɟ 1', y ⋹ x, y ⋹ 1' ɟ (x̄ + b̄), oder y ; 0' ⋹ ā̆ + x̄, ăx ⋹ ȳ ɟ 1', ăy ⋹ ăx, ergo ăy ⋹ ȳ ɟ 1', y̆ ; ăy ⋹ 1', 0' ; y ⋹ x̄ + b̄, xb ⋹ 1' ɟ ȳ, yb ⋹ xb, ergo yb ⋹ 1' ɟ ȳ, yb ; y̆ ⋹ 1'. Weil aber a und b Systeme sind, so ist y̆ ; ăy = y̆ ; y · ă, yb ; y̆ = b · y ; y̆ und fassen sich demnach die beiden Teilresultanten zusammen zu: 61) b · y ; y̆ + ă · y̆ ; y ⋹ 1'.
Aus dieser Resultante folgt mittelst Konversion sogleich hinzu, dass auch b̆ · y ; y̆ sowie a · y̆ ; y ⋹ 1' sein muss, so dass man sie auch „voller“ anschreiben könnte in der Form: 6) (b + b̆) · y ; y̆ + (a + ă) · y̆ ; y ⋹ 1', ebensogut aber auch sie schon ausreichend vertreten kann durch den Ansatz: 62) b · y ; y̆ + a · y̆ ; y ⋹ 1'.
Diese Resultante — wie man sieht, der erste Faktor rechts in 5) — ist nun aber die volle. Denn ist sie durch ein y erfüllt, so gibt es ein x, welches die Gleichung 2) wahr macht, und zwar in Gestalt von x = y selbst. Dies ist so zu sehn. Aus der konvertirten 61) b̆ · y ; y̆ + a · y̆ ; y ⋹ 1' folgt: y̆ ; y ⋹ ā + 1', y ; y̆ ⋹ 1' + b̄̆, y ⋹ ȳ ɟ (ā + 1'), y ⋹ (1' + b̄̆) ɟ ȳ, und somit
<TEI><text><body><divn="1"><divn="2"><p><pbfacs="#f0616"n="602"/><fwplace="top"type="header">Zwölfte Vorlesung.</fw><lb/><hirendition="#c"><hirendition="#i">a</hi>∽<hirendition="#i">b</hi>,</hi><lb/>
so erhalten wir für die <hirendition="#g">Definition</hi> der <hirendition="#i">Ähnlichkeit</hi> oder <hirendition="#i">Gleichmächtig-<lb/>
keit</hi> eines Systems <hirendition="#i">a</hi> mit einem System <hirendition="#i">b</hi> die folgende „<hirendition="#g">erste Fassung</hi>“:<lb/>
(4) <formula/>.</p><lb/><p>Dieser aber wird sich — mittelst Einführung von <hirendition="#i">y</hi> statt <hirendition="#i">x</hi>—<lb/>
eine sehr viel bequemere Form geben lassen, und zwar in äquivalenter<lb/>
Transformation — behaupten wir — die folgende „<hirendition="#g">zweite Fassung</hi>“:<lb/>
(5) <formula/>,<lb/>
worin auch rechts das erste <hirendition="#i">b</hi> und <hirendition="#i">a</hi> durch <hirendition="#i">b̆</hi> resp. <hirendition="#i">ă</hi> ersetzbar, und<lb/>— gleichwie schon in (4) —<hirendition="#i">die beiden letzten Subsumtionen die Kraft<lb/>
von Gleichungen haben</hi> müssen.</p><lb/><p>Dies ist wie folgt zu sehen. Aus der Gleichung 2) lässt sich zu-<lb/>
nächst <hirendition="#i">x</hi> eliminiren. Man schliesst:<lb/><hirendition="#et"><hirendition="#i">y</hi>⋹ (<hirendition="#i">ā̆</hi> + <hirendition="#i">x̄</hi>) ɟ 1', <hirendition="#i">y</hi>⋹<hirendition="#i">x</hi>, <hirendition="#i">y</hi>⋹ 1' ɟ (<hirendition="#i">x̄</hi> + <hirendition="#i">b̄</hi>), oder</hi><lb/><hirendition="#i">y</hi> ; 0' ⋹<hirendition="#i">ā̆</hi> + <hirendition="#i">x̄</hi>, <hirendition="#i">ăx</hi>⋹<hirendition="#i">ȳ</hi>ɟ 1', <hirendition="#i">ăy</hi>⋹<hirendition="#i">ăx</hi>, ergo <hirendition="#i">ăy</hi>⋹<hirendition="#i">ȳ</hi>ɟ 1', <hirendition="#i">y̆</hi> ; <hirendition="#i">ăy</hi>⋹ 1',<lb/>
0' ; <hirendition="#i">y</hi>⋹<hirendition="#i">x̄</hi> + <hirendition="#i">b̄</hi>, <hirendition="#i">xb</hi>⋹ 1' ɟ<hirendition="#i">ȳ</hi>, <hirendition="#i">yb</hi>⋹<hirendition="#i">xb</hi>, ergo <hirendition="#i">yb</hi>⋹ 1' ɟ<hirendition="#i">ȳ</hi>, <hirendition="#i">yb</hi> ; <hirendition="#i">y̆</hi>⋹ 1'.<lb/>
Weil aber <hirendition="#i">a</hi> und <hirendition="#i">b</hi> Systeme sind, so ist<lb/><hirendition="#c"><hirendition="#i">y̆</hi> ; <hirendition="#i">ăy</hi> = <hirendition="#i">y̆</hi> ; <hirendition="#i">y</hi> · <hirendition="#i">ă</hi>, <hirendition="#i">yb</hi> ; <hirendition="#i">y̆</hi> = <hirendition="#i">b</hi> · <hirendition="#i">y</hi> ; <hirendition="#i">y̆</hi></hi><lb/>
und fassen sich demnach die beiden Teilresultanten zusammen zu:<lb/>
6<hirendition="#sub">1</hi>) <hirendition="#et"><hirendition="#i">b</hi> · <hirendition="#i">y</hi> ; <hirendition="#i">y̆</hi> + <hirendition="#i">ă</hi> · <hirendition="#i">y̆</hi> ; <hirendition="#i">y</hi>⋹ 1'.</hi></p><lb/><p>Aus dieser Resultante folgt mittelst Konversion sogleich hinzu,<lb/>
dass auch <hirendition="#i">b̆</hi> · <hirendition="#i">y</hi> ; <hirendition="#i">y̆</hi> sowie <hirendition="#i">a</hi> · <hirendition="#i">y̆</hi> ; <hirendition="#i">y</hi>⋹ 1' sein muss, so dass man sie auch<lb/>„voller“ anschreiben könnte in der Form:<lb/>
6) <hirendition="#et">(<hirendition="#i">b</hi> + <hirendition="#i">b̆</hi>) · <hirendition="#i">y</hi> ; <hirendition="#i">y̆</hi> + (<hirendition="#i">a</hi> + <hirendition="#i">ă</hi>) · <hirendition="#i">y̆</hi> ; <hirendition="#i">y</hi>⋹ 1',</hi><lb/>
ebensogut aber auch sie schon ausreichend vertreten kann durch den<lb/>
Ansatz:<lb/>
6<hirendition="#sub">2</hi>) <hirendition="#et"><hirendition="#i">b</hi> · <hirendition="#i">y</hi> ; <hirendition="#i">y̆</hi> + <hirendition="#i">a</hi> · <hirendition="#i">y̆</hi> ; <hirendition="#i">y</hi>⋹ 1'.</hi></p><lb/><p>Diese Resultante — wie man sieht, der erste Faktor rechts in 5) —<lb/>
ist nun aber <hirendition="#i">die volle</hi>. Denn ist sie durch ein <hirendition="#i">y</hi> erfüllt, so gibt es<lb/>
ein <hirendition="#i">x</hi>, welches die Gleichung 2) wahr macht, und zwar in Gestalt von<lb/><hirendition="#i">x</hi> = <hirendition="#i">y</hi> selbst. Dies ist so zu sehn. Aus der konvertirten 6<hirendition="#sub">1</hi>)<lb/><hirendition="#i">b̆</hi> · <hirendition="#i">y</hi> ; <hirendition="#i">y̆</hi> + <hirendition="#i">a</hi> · <hirendition="#i">y̆</hi> ; <hirendition="#i">y</hi>⋹ 1' folgt:<lb/><hirendition="#c"><hirendition="#i">y̆</hi> ; <hirendition="#i">y</hi>⋹<hirendition="#i">ā</hi> + 1', <hirendition="#i">y</hi> ; <hirendition="#i">y̆</hi>⋹ 1' + <hirendition="#i">b̄̆</hi>, <hirendition="#i">y</hi>⋹<hirendition="#i">ȳ</hi>ɟ (ā + 1'), <hirendition="#i">y</hi>⋹ (1' + <hirendition="#i">b̄̆</hi>) ɟ<hirendition="#i">ȳ</hi>,</hi><lb/>
und somit<lb/></p></div></div></body></text></TEI>
[602/0616]
Zwölfte Vorlesung.
a ∽ b,
so erhalten wir für die Definition der Ähnlichkeit oder Gleichmächtig-
keit eines Systems a mit einem System b die folgende „erste Fassung“:
(4) [FORMEL].
Dieser aber wird sich — mittelst Einführung von y statt x —
eine sehr viel bequemere Form geben lassen, und zwar in äquivalenter
Transformation — behaupten wir — die folgende „zweite Fassung“:
(5) [FORMEL],
worin auch rechts das erste b und a durch b̆ resp. ă ersetzbar, und
— gleichwie schon in (4) — die beiden letzten Subsumtionen die Kraft
von Gleichungen haben müssen.
Dies ist wie folgt zu sehen. Aus der Gleichung 2) lässt sich zu-
nächst x eliminiren. Man schliesst:
y⋹ (ā̆ + x̄) ɟ 1', y ⋹ x, y ⋹ 1' ɟ (x̄ + b̄), oder
y ; 0' ⋹ ā̆ + x̄, ăx ⋹ ȳ ɟ 1', ăy ⋹ ăx, ergo ăy ⋹ ȳ ɟ 1', y̆ ; ăy ⋹ 1',
0' ; y ⋹ x̄ + b̄, xb ⋹ 1' ɟ ȳ, yb ⋹ xb, ergo yb ⋹ 1' ɟ ȳ, yb ; y̆ ⋹ 1'.
Weil aber a und b Systeme sind, so ist
y̆ ; ăy = y̆ ; y · ă, yb ; y̆ = b · y ; y̆
und fassen sich demnach die beiden Teilresultanten zusammen zu:
61) b · y ; y̆ + ă · y̆ ; y ⋹ 1'.
Aus dieser Resultante folgt mittelst Konversion sogleich hinzu,
dass auch b̆ · y ; y̆ sowie a · y̆ ; y ⋹ 1' sein muss, so dass man sie auch
„voller“ anschreiben könnte in der Form:
6) (b + b̆) · y ; y̆ + (a + ă) · y̆ ; y ⋹ 1',
ebensogut aber auch sie schon ausreichend vertreten kann durch den
Ansatz:
62) b · y ; y̆ + a · y̆ ; y ⋹ 1'.
Diese Resultante — wie man sieht, der erste Faktor rechts in 5) —
ist nun aber die volle. Denn ist sie durch ein y erfüllt, so gibt es
ein x, welches die Gleichung 2) wahr macht, und zwar in Gestalt von
x = y selbst. Dies ist so zu sehn. Aus der konvertirten 61)
b̆ · y ; y̆ + a · y̆ ; y ⋹ 1' folgt:
y̆ ; y ⋹ ā + 1', y ; y̆ ⋹ 1' + b̄̆, y ⋹ ȳ ɟ (ā + 1'), y ⋹ (1' + b̄̆) ɟ ȳ,
und somit
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. 3, Abt. 1. Leipzig, 1895, S. 602. In: Deutsches Textarchiv <https://www.deutschestextarchiv.de/schroeder_logik03_1895/616>, abgerufen am 23.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/.
