§ 26. Das Einauge als Individuum im zweiten Denkbereich.
Die Gleichung 23) rückwärts als Subsumtion zu beweisen läuft darauf hinaus, zu zeigen, dass die Charakteristik linkerhand (als Re- sultante der Elimination von x, y) aus dem allgemeinen Glied der Doppelsumme rechterhand folgt.
Dies ist auf dem Umwege über 6) .. 8) nach 10) implicite bereits geschehen, soll aber nunmehr nochmals auf dem kürzesten Wege geleistet werden.
Dabei dürfen wir die aus den Charakteristiken für x und y bereits S. 408 sq. abgeleiteten Folgerungen x ; 1 = x = x j 0, 1 ; x = 1 = y ; 1, 1 ; y = y = 0 j y, etc. nebst deren Kontraposition benutzen. Nun ist für z = xy: R = z ; 1 + 1 ; z = xy ; 1 + 1 ; xy, L = 1' j zn j 1' = 1' j (xn + yn) j 1' und soll L = R bewiesen werden. Aber: R = (x ; 1)y ; 1 + 1 ; x(1 ; y) = x ; 1 · y ; 1 + 1 ; x · 1 ; y = x · 1 + 1 · y = x + y gemäss der linkseitigen Schemata 5) des § 18 für c = 1 in Anspruch ge- nommen. Ebenso haben wir nach deren rechtseitigen für c = 1' in An- spruch genommnen Schemata: L = {1' j (xn + 1 ; yn)} j 1' = (1' j xn + 1 ; yn) j 1' = (1' j xn ; 1 + 1 ; yn) j 1' = = (x + 1 ; yn) j 1' = (x ; 1 + 1 ; yn) j 1' = x ; 1 + 1 ; yn j 1' = x + y, q. e. d. Noch leichter könnte mit der Annahme z = x ; y gezeigt werden, dass: R = x ; y ; 1 + 1 ; x ; y = x ; 1 + 1 ; y = x ; 1 j 1 ; y = x j y, L = 1' j xn j yn j 1' = 1' j xn ; 1 j 1 ; yn j 1' = x j y, also L = R sein muss.
Um die Gleichung 23) vorwärts als Subsumtion zu beweisen, muss gezeigt werden, dass, sobald z die Charakteristik links erfüllt, es min- destens ein Wertepaar x, y gibt, welches die Aussage hinter der Doppelsumme rechts wahr macht. Ein solches ist aber in der That angebbar in Gestalt von: x = z ; 1, y = 1 ; z.
Beweis. Denn hiefür wird erstens z = z ; 1 · 1 ; z(= z ; 1 ; z) = z ; 1 ; 1 ; z, also z = xy = x ; y erfüllt sein, was wir indirekt schon aus 10) abgeleitet haben, auf wol kürzestem Weg aber so ableiten mögen: z ; 1 · 1 ; z = z ; (1' + 0') · (0' + 1') ; z = (z + z ; 0')(0' ; z + z) = z + z ; 0' · 0' ; z = z + 0 = z, indem das Verschwinden des letzten Gliedes bereits auf S. 431 aus 10) gefolgert wurde.
Es bleibt also nur noch das Erfülltsein der beiden ersten Faktor- Aussagen hinter den S in 23) zu beweisen. Wegen
Schröder, Algebra der Relative. 28
§ 26. Das Einauge als Individuum im zweiten Denkbereich.
Die Gleichung 23) rückwärts als Subsumtion zu beweisen läuft darauf hinaus, zu zeigen, dass die Charakteristik linkerhand (als Re- sultante der Elimination von x, y) aus dem allgemeinen Glied der Doppelsumme rechterhand folgt.
Dies ist auf dem Umwege über 6) ‥ 8) nach 10) implicite bereits geschehen, soll aber nunmehr nochmals auf dem kürzesten Wege geleistet werden.
Dabei dürfen wir die aus den Charakteristiken für x und y bereits S. 408 sq. abgeleiteten Folgerungen x ; 1 = x = x ɟ 0, 1 ; x = 1 = y ; 1, 1 ; y = y = 0 ɟ y, etc. nebst deren Kontraposition benutzen. Nun ist für z = xy: R = z ; 1 + 1 ; z = xy ; 1 + 1 ; xy, L = 1' ɟ z̄ ɟ 1' = 1' ɟ (x̄ + ȳ) ɟ 1' und soll L = R bewiesen werden. Aber: R = (x ; 1)y ; 1 + 1 ; x(1 ; y) = x ; 1 · y ; 1 + 1 ; x · 1 ; y = x · 1 + 1 · y = x + y gemäss der linkseitigen Schemata 5) des § 18 für c = 1 in Anspruch ge- nommen. Ebenso haben wir nach deren rechtseitigen für c = 1' in An- spruch genommnen Schemata: L = {1' ɟ (x̄ + 1 ; ȳ)} ɟ 1' = (1' ɟ x̄ + 1 ; ȳ) ɟ 1' = (1' ɟ x̄ ; 1 + 1 ; ȳ) ɟ 1' = = (x + 1 ; ȳ) ɟ 1' = (x ; 1 + 1 ; ȳ) ɟ 1' = x ; 1 + 1 ; ȳ ɟ 1' = x + y, q. e. d. Noch leichter könnte mit der Annahme z = x ; y gezeigt werden, dass: R = x ; y ; 1 + 1 ; x ; y = x ; 1 + 1 ; y = x ; 1 ɟ 1 ; y = x ɟ y, L = 1' ɟ x̄ ɟ ȳ ɟ 1' = 1' ɟ x̄ ; 1 ɟ 1 ; ȳ ɟ 1' = x ɟ y, also L = R sein muss.
Um die Gleichung 23) vorwärts als Subsumtion zu beweisen, muss gezeigt werden, dass, sobald z die Charakteristik links erfüllt, es min- destens ein Wertepaar x, y gibt, welches die Aussage hinter der Doppelsumme rechts wahr macht. Ein solches ist aber in der That angebbar in Gestalt von: x = z ; 1, y = 1 ; z.
Beweis. Denn hiefür wird erstens z = z ; 1 · 1 ; z(= z ; 1 ; z) = z ; 1 ; 1 ; z, also z = xy = x ; y erfüllt sein, was wir indirekt schon aus 10) abgeleitet haben, auf wol kürzestem Weg aber so ableiten mögen: z ; 1 · 1 ; z = z ; (1' + 0') · (0' + 1') ; z = (z + z ; 0')(0' ; z + z) = z + z ; 0' · 0' ; z = z + 0 = z, indem das Verschwinden des letzten Gliedes bereits auf S. 431 aus 10) gefolgert wurde.
Es bleibt also nur noch das Erfülltsein der beiden ersten Faktor- Aussagen hinter den Σ in 23) zu beweisen. Wegen
Schröder, Algebra der Relative. 28
<TEI><text><body><divn="1"><divn="2"><pbfacs="#f0447"n="433"/><fwplace="top"type="header">§ 26. Das Einauge als Individuum im zweiten Denkbereich.</fw><lb/><p>Die Gleichung 23) <hirendition="#i">rückwärts</hi> als Subsumtion zu beweisen läuft<lb/>
darauf hinaus, zu zeigen, dass die Charakteristik linkerhand (als Re-<lb/>
sultante der Elimination von <hirendition="#i">x</hi>, <hirendition="#i">y</hi>) aus dem allgemeinen Glied der<lb/>
Doppelsumme rechterhand <hirendition="#i">folgt</hi>.</p><lb/><p>Dies ist auf dem Umwege über 6) ‥ 8) nach 10) implicite bereits<lb/>
geschehen, soll aber nunmehr nochmals auf dem kürzesten Wege geleistet<lb/>
werden.</p><lb/><p>Dabei dürfen wir die aus den Charakteristiken für <hirendition="#i">x</hi> und <hirendition="#i">y</hi> bereits<lb/>
S. 408 sq. abgeleiteten Folgerungen<lb/><hirendition="#et"><hirendition="#i">x</hi> ; 1 = <hirendition="#i">x</hi> = <hirendition="#i">x</hi>ɟ 0, 1 ; <hirendition="#i">x</hi> = 1 = <hirendition="#i">y</hi> ; 1,<lb/>
1 ; <hirendition="#i">y</hi> = <hirendition="#i">y</hi> = 0 ɟ<hirendition="#i">y</hi>,</hi><lb/>
etc. nebst deren Kontraposition benutzen. Nun ist für <hirendition="#i">z</hi> = <hirendition="#i">xy</hi>:<lb/><hirendition="#c"><hirendition="#i">R</hi> = <hirendition="#i">z</hi> ; 1 + 1 ; <hirendition="#i">z</hi> = <hirendition="#i">xy</hi> ; 1 + 1 ; <hirendition="#i">xy</hi>, <hirendition="#i">L</hi> = 1' ɟ<hirendition="#i">z̄</hi>ɟ 1' = 1' ɟ (<hirendition="#i">x̄</hi> + <hirendition="#i">ȳ</hi>) ɟ 1'</hi><lb/>
und soll <hirendition="#i">L</hi> = <hirendition="#i">R</hi> bewiesen werden. Aber:<lb/><hirendition="#c"><hirendition="#i">R</hi> = (<hirendition="#i">x</hi> ; 1)<hirendition="#i">y</hi> ; 1 + 1 ; <hirendition="#i">x</hi>(1 ; <hirendition="#i">y</hi>) = <hirendition="#i">x</hi> ; 1 · <hirendition="#i">y</hi> ; 1 + 1 ; <hirendition="#i">x</hi> · 1 ; <hirendition="#i">y</hi> = <hirendition="#i">x</hi> · 1 + 1 · <hirendition="#i">y</hi> = <hirendition="#i">x</hi> + <hirendition="#i">y</hi></hi><lb/>
gemäss der linkseitigen Schemata 5) des § 18 für <hirendition="#i">c</hi> = 1 in Anspruch ge-<lb/>
nommen. Ebenso haben wir nach deren rechtseitigen für <hirendition="#i">c</hi> = 1' in An-<lb/>
spruch genommnen Schemata:<lb/><hirendition="#et"><hirendition="#i">L</hi> = {1' ɟ (<hirendition="#i">x̄</hi> + 1 ; <hirendition="#i">ȳ</hi>)} ɟ 1' = (1' ɟ<hirendition="#i">x̄</hi> + 1 ; <hirendition="#i">ȳ</hi>) ɟ 1' = (1' ɟ<hirendition="#i">x̄</hi> ; 1 + 1 ; <hirendition="#i">ȳ</hi>) ɟ 1' =<lb/>
= (<hirendition="#i">x</hi> + 1 ; <hirendition="#i">ȳ</hi>) ɟ 1' = (<hirendition="#i">x</hi> ; 1 + 1 ; <hirendition="#i">ȳ</hi>) ɟ 1' = <hirendition="#i">x</hi> ; 1 + 1 ; <hirendition="#i">ȳ</hi>ɟ 1' = <hirendition="#i">x</hi> + <hirendition="#i">y</hi>,</hi><lb/>
q. e. d. Noch leichter könnte mit der Annahme <hirendition="#i">z</hi> = <hirendition="#i">x</hi> ; <hirendition="#i">y</hi> gezeigt werden, dass:<lb/><hirendition="#et"><hirendition="#i">R</hi> = <hirendition="#i">x</hi> ; <hirendition="#i">y</hi> ; 1 + 1 ; <hirendition="#i">x</hi> ; <hirendition="#i">y</hi> = <hirendition="#i">x</hi> ; 1 + 1 ; <hirendition="#i">y</hi> = <hirendition="#i">x</hi> ; 1 ɟ 1 ; <hirendition="#i">y</hi> = <hirendition="#i">x</hi>ɟ<hirendition="#i">y</hi>,<lb/><hirendition="#i">L</hi> = 1' ɟ<hirendition="#i">x̄</hi>ɟ<hirendition="#i">ȳ</hi>ɟ 1' = 1' ɟ<hirendition="#i">x̄</hi> ; 1 ɟ 1 ; <hirendition="#i">ȳ</hi>ɟ 1' = <hirendition="#i">x</hi>ɟ<hirendition="#i">y</hi>,</hi><lb/>
also <hirendition="#i">L</hi> = <hirendition="#i">R</hi> sein muss.</p><lb/><p>Um die Gleichung 23) <hirendition="#i">vorwärts</hi> als Subsumtion zu beweisen, muss<lb/>
gezeigt werden, dass, sobald <hirendition="#i">z</hi> die Charakteristik links erfüllt, es min-<lb/>
destens ein Wertepaar <hirendition="#i">x</hi>, <hirendition="#i">y</hi> gibt, welches die Aussage hinter der<lb/>
Doppelsumme rechts wahr macht. Ein solches ist aber in der That<lb/>
angebbar in Gestalt von:<lb/><hirendition="#c"><hirendition="#i">x</hi> = <hirendition="#i">z</hi> ; 1, <hirendition="#i">y</hi> = 1 ; <hirendition="#i">z</hi>.</hi></p><lb/><p><hirendition="#g">Beweis</hi>. Denn hiefür wird erstens<lb/><hirendition="#c"><hirendition="#i">z</hi> = <hirendition="#i">z</hi> ; 1 · 1 ; <hirendition="#i">z</hi>(= <hirendition="#i">z</hi> ; 1 ; <hirendition="#i">z</hi>) = <hirendition="#i">z</hi> ; 1 ; 1 ; <hirendition="#i">z</hi>,</hi><lb/>
also <hirendition="#i">z</hi> = <hirendition="#i">xy</hi> = <hirendition="#i">x</hi> ; <hirendition="#i">y</hi> erfüllt sein, was wir indirekt schon aus 10) abgeleitet<lb/>
haben, auf wol kürzestem Weg aber so ableiten mögen:<lb/><hirendition="#i">z</hi> ; 1 · 1 ; <hirendition="#i">z</hi> = <hirendition="#i">z</hi> ; (1' + 0') · (0' + 1') ; <hirendition="#i">z</hi> = (<hirendition="#i">z</hi> + <hirendition="#i">z</hi> ; 0')(0' ; <hirendition="#i">z</hi> + <hirendition="#i">z</hi>) = <hirendition="#i">z</hi> + <hirendition="#i">z</hi> ; 0' · 0' ; <hirendition="#i">z</hi> = <hirendition="#i">z</hi> + 0 = <hirendition="#i">z</hi>,<lb/>
indem das Verschwinden des letzten Gliedes bereits auf S. 431 aus 10)<lb/>
gefolgert wurde.</p><lb/><p>Es bleibt also nur noch das Erfülltsein der beiden ersten Faktor-<lb/>
Aussagen hinter den <hirendition="#i">Σ</hi> in 23) zu beweisen. Wegen<lb/><fwplace="bottom"type="sig"><hirendition="#k">Schröder</hi>, Algebra der Relative. 28</fw><lb/></p></div></div></body></text></TEI>
[433/0447]
§ 26. Das Einauge als Individuum im zweiten Denkbereich.
Die Gleichung 23) rückwärts als Subsumtion zu beweisen läuft
darauf hinaus, zu zeigen, dass die Charakteristik linkerhand (als Re-
sultante der Elimination von x, y) aus dem allgemeinen Glied der
Doppelsumme rechterhand folgt.
Dies ist auf dem Umwege über 6) ‥ 8) nach 10) implicite bereits
geschehen, soll aber nunmehr nochmals auf dem kürzesten Wege geleistet
werden.
Dabei dürfen wir die aus den Charakteristiken für x und y bereits
S. 408 sq. abgeleiteten Folgerungen
x ; 1 = x = x ɟ 0, 1 ; x = 1 = y ; 1,
1 ; y = y = 0 ɟ y,
etc. nebst deren Kontraposition benutzen. Nun ist für z = xy:
R = z ; 1 + 1 ; z = xy ; 1 + 1 ; xy, L = 1' ɟ z̄ ɟ 1' = 1' ɟ (x̄ + ȳ) ɟ 1'
und soll L = R bewiesen werden. Aber:
R = (x ; 1)y ; 1 + 1 ; x(1 ; y) = x ; 1 · y ; 1 + 1 ; x · 1 ; y = x · 1 + 1 · y = x + y
gemäss der linkseitigen Schemata 5) des § 18 für c = 1 in Anspruch ge-
nommen. Ebenso haben wir nach deren rechtseitigen für c = 1' in An-
spruch genommnen Schemata:
L = {1' ɟ (x̄ + 1 ; ȳ)} ɟ 1' = (1' ɟ x̄ + 1 ; ȳ) ɟ 1' = (1' ɟ x̄ ; 1 + 1 ; ȳ) ɟ 1' =
= (x + 1 ; ȳ) ɟ 1' = (x ; 1 + 1 ; ȳ) ɟ 1' = x ; 1 + 1 ; ȳ ɟ 1' = x + y,
q. e. d. Noch leichter könnte mit der Annahme z = x ; y gezeigt werden, dass:
R = x ; y ; 1 + 1 ; x ; y = x ; 1 + 1 ; y = x ; 1 ɟ 1 ; y = x ɟ y,
L = 1' ɟ x̄ ɟ ȳ ɟ 1' = 1' ɟ x̄ ; 1 ɟ 1 ; ȳ ɟ 1' = x ɟ y,
also L = R sein muss.
Um die Gleichung 23) vorwärts als Subsumtion zu beweisen, muss
gezeigt werden, dass, sobald z die Charakteristik links erfüllt, es min-
destens ein Wertepaar x, y gibt, welches die Aussage hinter der
Doppelsumme rechts wahr macht. Ein solches ist aber in der That
angebbar in Gestalt von:
x = z ; 1, y = 1 ; z.
Beweis. Denn hiefür wird erstens
z = z ; 1 · 1 ; z(= z ; 1 ; z) = z ; 1 ; 1 ; z,
also z = xy = x ; y erfüllt sein, was wir indirekt schon aus 10) abgeleitet
haben, auf wol kürzestem Weg aber so ableiten mögen:
z ; 1 · 1 ; z = z ; (1' + 0') · (0' + 1') ; z = (z + z ; 0')(0' ; z + z) = z + z ; 0' · 0' ; z = z + 0 = z,
indem das Verschwinden des letzten Gliedes bereits auf S. 431 aus 10)
gefolgert wurde.
Es bleibt also nur noch das Erfülltsein der beiden ersten Faktor-
Aussagen hinter den Σ in 23) zu beweisen. Wegen
Schröder, Algebra der Relative. 28
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. 433. In: Deutsches Textarchiv <https://www.deutschestextarchiv.de/schroeder_logik03_1895/447>, abgerufen am 01.09.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/.