69) x = anu + a[u(1' j un) + {0 j (un + 0' ; u)}1'] = = (an + 1' j un)u + a1'{0 j (un + 0' ; u)} die allgemeine Wurzel der Bedingung 70) 1'ax ; (1' j xn) oder a 1 ; x · 1 ; (1' j xn) für a = a ; 1.
Den Fall b 1 zu verfolgen sei Forschern empfohlen. --
Wie den Begriff der "eindeutigen", so kann man auch den der "identischen" Abbildung -- statt wie bisher als 1' "absolut" -- blos "relativ" fassen, nämlich unter Bezugnahme auf ein bestimmtes System a als des Substrates (Objektes sowol als Bildes) der Abbildung im Denk- bereiche.
Das System b als etwaigen Rezipienten des Bildes von a kann man dabei aus dem Spiele lassen; denn ist a nicht b, so ist die Aufgabe unmöglich, und ist ab, so erledigt sich die Sache von selber sobald wir a nur überhaupt (in den Denkbereich 1 hinein) identisch abbilden.
Ein Relativ x wird inbezug auf ein System a = a ; 1 (dessen) identische Abbildung zu nennen sein, wenn -- nicht etwa nur im Ganzen x ; a = a, sondern vielmehr wenn -- jedem Element h von a als das x-Bild desselben h selbst entspricht -- mögen die Elemente von an dabei irgendwie, wenn überhaupt, abgebildet werden.
Diese Forderung formulirt sich zu 71) Ph{(ha) (x ; h = h)}, = Ph[anh + {x(1' j xn)}h h] gemäss p) des § 30, wofür jedoch auch Ph{an + xh h(h j xn ; h)} genommen werden kann. Beide letzten P zerfallen in Ph(an + x)h h = 0 j (an + 1'x ; 1) und Ph(an + 1' j xn)h h = 0 j {an + 1'(1' j xn) ; 1} resp. Ph(anh + h j xn ; h) = 0 j (1' + xn) j an, was nach einem allgemeinen, unschwer zu findenden Schema: 72) Pi(i ; a + i j b ; i) = 0 j (1' + b) j a sich ergibt. Setzt man jeden Faktor nun also als Prädikat zum Sub- jekte 1 an, so ergibt sich zum ersten: 1 an j 1'x ; 1, oder a ; 1 = a = = 1'a ; 1 1'x ; 1, was nach 65) auf 1'ax hinausläuft; zum zweiten: 1 an j 1'(1' j xn) ; 1 oder a = 1'a ; 1 1'(1' j xn) ; 1, d. h. ebenso 1'a 1' j xn, 1'a 1' j xn, 0' ; x 0' + an, x 1' j (0' + an) = 1' j 0' + an = 1' + an, resp. (kürzer): 1 (1' + xn) j an, 1 ; a = a 1' + xn, ax 1', was auf dasselbe hinausläuft. Beidemal haben wir also insgesamt: 73) 1'ax 1' + an, woraus sich nach den Regeln des identischen Kalkuls berechnet: x = 1'a + u(1' + an) oder: 74) x = 1'a + uan
Zwölfte Vorlesung.
69) x = ā̆u + ă[u(1' ɟ ū) + {0 ɟ (ū + 0' ; u)}1'] = = (ā̆ + 1' ɟ ū)u + a1'{0 ɟ (ū + 0' ; u)} die allgemeine Wurzel der Bedingung 70) 1'a ⋹ x̆ ; (1' ɟ x̄) oder a ⋹ 1 ; x · 1 ; (1' ɟ x̄) für a = a ; 1.
Den Fall b ≠ 1 zu verfolgen sei Forschern empfohlen. —
Wie den Begriff der „eindeutigen“, so kann man auch den der „identischen“ Abbildung — statt wie bisher als 1' „absolut“ — blos „relativ“ fassen, nämlich unter Bezugnahme auf ein bestimmtes System a als des Substrates (Objektes sowol als Bildes) der Abbildung im Denk- bereiche.
Das System b als etwaigen Rezipienten des Bildes von a kann man dabei aus dem Spiele lassen; denn ist a nicht ⋹ b, so ist die Aufgabe unmöglich, und ist a ⋹ b, so erledigt sich die Sache von selber sobald wir a nur überhaupt (in den Denkbereich 1 hinein) identisch abbilden.
Ein Relativ x wird inbezug auf ein System a = a ; 1 (dessen) identische Abbildung zu nennen sein, wenn — nicht etwa nur im Ganzen x ; a = a, sondern vielmehr wenn — jedem Element h von a als das x-Bild desselben h selbst entspricht — mögen die Elemente von ā dabei irgendwie, wenn überhaupt, abgebildet werden.
Diese Forderung formulirt sich zu 71) Πh{(h⋹a) ⋹ (x ; h = h)}, = Πh[āh + {x(1' ɟ x̄)}h h] gemäss π) des § 30, wofür jedoch auch Πh{ā + xh h(h̆ ɟ x̄ ; h)} genommen werden kann. Beide letzten Π zerfallen in Πh(ā + x)h h = 0 ɟ (ā + 1'x ; 1) und Πh(ā + 1' ɟ x̄)h h = 0 ɟ {ā + 1'(1' ɟ x̄) ; 1} resp. Πh(āh + h̆ ɟ x̄ ; h) = 0 ɟ (1' + x̄) ɟ ā, was nach einem allgemeinen, unschwer zu findenden Schema: 72) Πi(ĭ ; a + ĭ ɟ b ; i) = 0 ɟ (1' + b) ɟ a sich ergibt. Setzt man jeden Faktor nun also als Prädikat zum Sub- jekte 1 an, so ergibt sich zum ersten: 1 ⋹ ā̆ ɟ 1'x ; 1, oder a ; 1 = a = = 1'a ; 1 ⋹ 1'x ; 1, was nach 65) auf 1'a ⋹ x hinausläuft; zum zweiten: 1 ⋹ ā̆ ɟ 1'(1' ɟ x̄) ; 1 oder a = 1'a ; 1 ⋹ 1'(1' ɟ x̄) ; 1, d. h. ebenso 1'a ⋹ 1' ɟ x̄, 1'ă ⋹ 1' ɟ x̄, 0' ; x ⋹ 0' + ā̆, x ⋹ 1' ɟ (0' + ā̆) = 1' ɟ 0' + ā̆ = 1' + ā̆, resp. (kürzer): 1 ⋹ (1' + x̄) ɟ ā, 1 ; ă = ă ⋹ 1' + x̄, ăx ⋹ 1', was auf dasselbe hinausläuft. Beidemal haben wir also insgesamt: 73) 1'ă ⋹ x ⋹ 1' + ā̆, woraus sich nach den Regeln des identischen Kalkuls berechnet: x = 1'ă + u(1' + ā̆) oder: 74) x = 1'ă + uā̆
<TEI><text><body><divn="1"><divn="2"><p><pbfacs="#f0656"n="642"/><fwplace="top"type="header">Zwölfte Vorlesung.</fw><lb/>
69) <hirendition="#et"><hirendition="#i">x</hi> = <hirendition="#i">ā̆u</hi> + <hirendition="#i">ă</hi>[<hirendition="#i">u</hi>(1' ɟ<hirendition="#i">ū</hi>) + {0 ɟ (<hirendition="#i">ū</hi> + 0' ; <hirendition="#i">u</hi>)}1'] =<lb/>
= (<hirendition="#i">ā̆</hi> + 1' ɟ<hirendition="#i">ū</hi>)<hirendition="#i">u</hi> + <hirendition="#i">a</hi>1'{0 ɟ (<hirendition="#i">ū</hi> + 0' ; <hirendition="#i">u</hi>)}</hi><lb/>
die allgemeine Wurzel der Bedingung<lb/>
70) <hirendition="#et">1'<hirendition="#i">a</hi>⋹<hirendition="#i">x̆</hi> ; (1' ɟ<hirendition="#i">x̄</hi>) oder <hirendition="#i">a</hi>⋹ 1 ; <hirendition="#i">x</hi> · 1 ; (1' ɟ<hirendition="#i">x̄</hi>) für <hirendition="#i">a</hi> = <hirendition="#i">a</hi> ; 1.</hi></p><lb/><p>Den Fall <hirendition="#i">b</hi>≠ 1 zu verfolgen sei Forschern empfohlen. —</p><lb/><p>Wie den Begriff der „eindeutigen“, so kann man auch den der<lb/>„<hirendition="#i">identischen</hi>“ Abbildung — statt wie bisher als 1' „absolut“— blos<lb/>„relativ“ fassen, nämlich unter Bezugnahme auf ein bestimmtes System <hirendition="#i">a</hi><lb/>
als des Substrates (Objektes sowol als Bildes) der Abbildung im Denk-<lb/>
bereiche.</p><lb/><p>Das System <hirendition="#i">b</hi> als etwaigen Rezipienten des Bildes von <hirendition="#i">a</hi> kann man<lb/>
dabei aus dem Spiele lassen; denn ist <hirendition="#i">a</hi> nicht ⋹<hirendition="#i">b</hi>, so ist die Aufgabe<lb/>
unmöglich, und ist <hirendition="#i">a</hi>⋹<hirendition="#i">b</hi>, so erledigt sich die Sache von selber sobald<lb/>
wir <hirendition="#i">a</hi> nur überhaupt (in den Denkbereich 1 hinein) identisch abbilden.</p><lb/><p>Ein Relativ <hirendition="#i">x</hi> wird <hirendition="#i">inbezug auf</hi> ein System <hirendition="#i">a</hi> = <hirendition="#i">a</hi> ; 1 (dessen)<lb/><hirendition="#i">identische</hi> Abbildung zu nennen sein, wenn — nicht etwa nur im Ganzen<lb/><hirendition="#i">x</hi> ; <hirendition="#i">a</hi> = <hirendition="#i">a</hi>, sondern vielmehr wenn — jedem Element <hirendition="#i">h von a</hi> als das<lb/><hirendition="#i">x</hi>-Bild desselben <hirendition="#i">h</hi> selbst entspricht — mögen die Elemente von <hirendition="#i">ā</hi><lb/>
dabei irgendwie, wenn überhaupt, abgebildet werden.</p><lb/><p>Diese Forderung formulirt sich zu<lb/>
71) <hirendition="#et"><hirendition="#i">Π<hirendition="#sub">h</hi></hi>{(<hirendition="#i">h</hi>⋹<hirendition="#i">a</hi>) ⋹ (<hirendition="#i">x</hi> ; <hirendition="#i">h</hi> = <hirendition="#i">h</hi>)}, = <hirendition="#i">Π<hirendition="#sub">h</hi></hi>[<hirendition="#i">ā<hirendition="#sub">h</hi></hi> + {<hirendition="#i">x</hi>(1' ɟ<hirendition="#i">x̄</hi>)}<hirendition="#i"><hirendition="#sub">h h</hi></hi>]</hi><lb/>
gemäss <hirendition="#i">π</hi>) des § 30, wofür jedoch auch<lb/><hirendition="#i">Π<hirendition="#sub">h</hi></hi>{<hirendition="#i">ā</hi> + <hirendition="#i">x<hirendition="#sub">h h</hi></hi>(<hirendition="#i">h̆</hi>ɟ<hirendition="#i">x̄</hi> ; <hirendition="#i">h</hi>)} genommen werden kann. Beide letzten <hirendition="#i">Π</hi> zerfallen<lb/>
in <hirendition="#i">Π<hirendition="#sub">h</hi></hi>(<hirendition="#i">ā</hi> + <hirendition="#i">x</hi>)<hirendition="#i"><hirendition="#sub">h h</hi></hi> = 0 ɟ (<hirendition="#i">ā</hi> + 1'<hirendition="#i">x</hi> ; 1) und<lb/><hirendition="#i">Π<hirendition="#sub">h</hi></hi>(<hirendition="#i">ā</hi> + 1' ɟ<hirendition="#i">x̄</hi>)<hirendition="#i"><hirendition="#sub">h h</hi></hi> = 0 ɟ {<hirendition="#i">ā</hi> + 1'(1' ɟ<hirendition="#i">x̄</hi>) ; 1} resp. <hirendition="#i">Π<hirendition="#sub">h</hi></hi>(<hirendition="#i">ā<hirendition="#sub">h</hi></hi> + <hirendition="#i">h̆</hi>ɟ<hirendition="#i">x̄</hi> ; <hirendition="#i">h</hi>) = 0 ɟ (1' + <hirendition="#i">x̄</hi>) ɟ<hirendition="#i">ā</hi>,<lb/>
was nach einem allgemeinen, unschwer zu findenden Schema:<lb/>
72) <hirendition="#et"><hirendition="#i">Π<hirendition="#sub">i</hi></hi>(<hirendition="#i">ĭ</hi> ; <hirendition="#i">a</hi> + <hirendition="#i">ĭ</hi>ɟ<hirendition="#i">b</hi> ; <hirendition="#i">i</hi>) = 0 ɟ (1' + <hirendition="#i">b</hi>) ɟ<hirendition="#i">a</hi></hi><lb/>
sich ergibt. Setzt man jeden Faktor nun also als Prädikat zum Sub-<lb/>
jekte 1 an, so ergibt sich zum ersten: 1 ⋹<hirendition="#i">ā̆</hi>ɟ 1'<hirendition="#i">x</hi> ; 1, oder <hirendition="#i">a</hi> ; 1 = <hirendition="#i">a</hi> =<lb/>
= 1'<hirendition="#i">a</hi> ; 1 ⋹ 1'<hirendition="#i">x</hi> ; 1, was nach 65) auf 1'<hirendition="#i">a</hi>⋹<hirendition="#i">x</hi> hinausläuft; zum zweiten:<lb/><hirendition="#c">1 ⋹<hirendition="#i">ā̆</hi>ɟ 1'(1' ɟ<hirendition="#i">x̄</hi>) ; 1 oder <hirendition="#i">a</hi> = 1'<hirendition="#i">a</hi> ; 1 ⋹ 1'(1' ɟ<hirendition="#i">x̄</hi>) ; 1, d. h. ebenso 1'<hirendition="#i">a</hi>⋹ 1' ɟ<hirendition="#i">x̄</hi>,<lb/>
1'<hirendition="#i">ă</hi>⋹ 1' ɟ<hirendition="#i">x̄</hi>, 0' ; <hirendition="#i">x</hi>⋹ 0' + <hirendition="#i">ā̆</hi>, <hirendition="#i">x</hi>⋹ 1' ɟ (0' + <hirendition="#i">ā̆</hi>) = 1' ɟ 0' + <hirendition="#i">ā̆</hi> = 1' + <hirendition="#i">ā̆</hi>,</hi><lb/><hirendition="#i">resp</hi>. (kürzer): 1 ⋹ (1' + <hirendition="#i">x̄</hi>) ɟ<hirendition="#i">ā</hi>, 1 ; <hirendition="#i">ă</hi> = <hirendition="#i">ă</hi>⋹ 1' + <hirendition="#i">x̄</hi>, <hirendition="#i">ăx</hi>⋹ 1', was auf<lb/>
dasselbe hinausläuft. Beidemal haben wir also insgesamt:<lb/>
73) <hirendition="#et">1'<hirendition="#i">ă</hi>⋹<hirendition="#i">x</hi>⋹ 1' + <hirendition="#i">ā̆</hi>,</hi><lb/>
woraus sich nach den Regeln des identischen Kalkuls berechnet:<lb/><hirendition="#c"><hirendition="#i">x</hi> = 1'<hirendition="#i">ă</hi> + <hirendition="#i">u</hi>(1' + <hirendition="#i">ā̆</hi>) oder:</hi><lb/>
74) <hirendition="#et"><hirendition="#i">x</hi> = 1'<hirendition="#i">ă</hi> + <hirendition="#i">uā̆</hi></hi><lb/></p></div></div></body></text></TEI>
[642/0656]
Zwölfte Vorlesung.
69) x = ā̆u + ă[u(1' ɟ ū) + {0 ɟ (ū + 0' ; u)}1'] =
= (ā̆ + 1' ɟ ū)u + a1'{0 ɟ (ū + 0' ; u)}
die allgemeine Wurzel der Bedingung
70) 1'a ⋹ x̆ ; (1' ɟ x̄) oder a ⋹ 1 ; x · 1 ; (1' ɟ x̄) für a = a ; 1.
Den Fall b ≠ 1 zu verfolgen sei Forschern empfohlen. —
Wie den Begriff der „eindeutigen“, so kann man auch den der
„identischen“ Abbildung — statt wie bisher als 1' „absolut“ — blos
„relativ“ fassen, nämlich unter Bezugnahme auf ein bestimmtes System a
als des Substrates (Objektes sowol als Bildes) der Abbildung im Denk-
bereiche.
Das System b als etwaigen Rezipienten des Bildes von a kann man
dabei aus dem Spiele lassen; denn ist a nicht ⋹ b, so ist die Aufgabe
unmöglich, und ist a ⋹ b, so erledigt sich die Sache von selber sobald
wir a nur überhaupt (in den Denkbereich 1 hinein) identisch abbilden.
Ein Relativ x wird inbezug auf ein System a = a ; 1 (dessen)
identische Abbildung zu nennen sein, wenn — nicht etwa nur im Ganzen
x ; a = a, sondern vielmehr wenn — jedem Element h von a als das
x-Bild desselben h selbst entspricht — mögen die Elemente von ā
dabei irgendwie, wenn überhaupt, abgebildet werden.
Diese Forderung formulirt sich zu
71) Πh{(h⋹a) ⋹ (x ; h = h)}, = Πh[āh + {x(1' ɟ x̄)}h h]
gemäss π) des § 30, wofür jedoch auch
Πh{ā + xh h(h̆ ɟ x̄ ; h)} genommen werden kann. Beide letzten Π zerfallen
in Πh(ā + x)h h = 0 ɟ (ā + 1'x ; 1) und
Πh(ā + 1' ɟ x̄)h h = 0 ɟ {ā + 1'(1' ɟ x̄) ; 1} resp. Πh(āh + h̆ ɟ x̄ ; h) = 0 ɟ (1' + x̄) ɟ ā,
was nach einem allgemeinen, unschwer zu findenden Schema:
72) Πi(ĭ ; a + ĭ ɟ b ; i) = 0 ɟ (1' + b) ɟ a
sich ergibt. Setzt man jeden Faktor nun also als Prädikat zum Sub-
jekte 1 an, so ergibt sich zum ersten: 1 ⋹ ā̆ ɟ 1'x ; 1, oder a ; 1 = a =
= 1'a ; 1 ⋹ 1'x ; 1, was nach 65) auf 1'a ⋹ x hinausläuft; zum zweiten:
1 ⋹ ā̆ ɟ 1'(1' ɟ x̄) ; 1 oder a = 1'a ; 1 ⋹ 1'(1' ɟ x̄) ; 1, d. h. ebenso 1'a ⋹ 1' ɟ x̄,
1'ă ⋹ 1' ɟ x̄, 0' ; x ⋹ 0' + ā̆, x ⋹ 1' ɟ (0' + ā̆) = 1' ɟ 0' + ā̆ = 1' + ā̆,
resp. (kürzer): 1 ⋹ (1' + x̄) ɟ ā, 1 ; ă = ă ⋹ 1' + x̄, ăx ⋹ 1', was auf
dasselbe hinausläuft. Beidemal haben wir also insgesamt:
73) 1'ă ⋹ x ⋹ 1' + ā̆,
woraus sich nach den Regeln des identischen Kalkuls berechnet:
x = 1'ă + u(1' + ā̆) oder:
74) x = 1'ă + uā̆
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. 642. In: Deutsches Textarchiv <https://www.deutschestextarchiv.de/schroeder_logik03_1895/656>, abgerufen am 02.05.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/.
