Schröder, Ernst: Vorlesungen über die Algebra der Logik. Bd. 3, Abt. 1. Leipzig, 1895.§ 20. Die Inversionsprobleme der Transoperationen. eventuell Resultante wir einzeln bereits anzugeben vermögen. Die eine istdie obere rechts vom Mittelstriche in 11). Die andre liefert konform 13): [Formel 1] . Vergleicht man beide Wurzelausdrücke, so erhellt, dass man nur noch der Gleichung 15) u + a(un j 0)(0 j bn) = v(a j 0) durch geeignete denkbar allgemeinste Bestimmung von u und v zu genügen habe. Ebendies erscheint jedoch als eine nicht ganz leichte Aufgabe. Wir nehmen dieselbe nachher in Angriff. Zuvor jedoch wollen wir die Angaben von 14) auf kürzestem Wege verifiziren. Dabei ist zuerst die Resultante herzuleiten, sodann als die volle nach- Vom zweiten Teilproblem her ist klar dass 1 ; b a jedenfalls "eine" ax ; 1 + 1 ; b gibt a(0 j bn) x ; 1, und x ; 1 a ist nach dem ersten Dass letztere vollständig, geht nun leicht daraus hervor, dass, sobald Probe 1 für die Wurzel. Nach Schema 24) des § 18 wird: Probe 2. Ist x ; 1 + 1 ; b = a und a = a j 0 + 1 ; b, so muss auch sein: § 20. Die Inversionsprobleme der Transoperationen. eventuell Resultante wir einzeln bereits anzugeben vermögen. Die eine istdie obere rechts vom Mittelstriche in 11). Die andre liefert konform 13): [Formel 1] . Vergleicht man beide Wurzelausdrücke, so erhellt, dass man nur noch der Gleichung 15) u + a(ū ɟ 0)(0 ɟ b̄) = v(a ɟ 0) durch geeignete denkbar allgemeinste Bestimmung von u und v zu genügen habe. Ebendies erscheint jedoch als eine nicht ganz leichte Aufgabe. Wir nehmen dieselbe nachher in Angriff. Zuvor jedoch wollen wir die Angaben von 14) auf kürzestem Wege verifiziren. Dabei ist zuerst die Resultante herzuleiten, sodann als die volle nach- Vom zweiten Teilproblem her ist klar dass 1 ; b ⋹ a jedenfalls „eine“ a⋹x ; 1 + 1 ; b gibt a(0 ɟ b̄) ⋹ x ; 1, und x ; 1 ⋹ a ist nach dem ersten Dass letztere vollständig, geht nun leicht daraus hervor, dass, sobald Probe 1 für die Wurzel. Nach Schema 24) des § 18 wird: Probe 2. Ist x ; 1 + 1 ; b = a und a = a ɟ 0 + 1 ; b, so muss auch sein: <TEI> <text> <body> <div n="1"> <div n="2"> <p><pb facs="#f0299" n="285"/><fw place="top" type="header">§ 20. Die Inversionsprobleme der Transoperationen.</fw><lb/> eventuell Resultante wir einzeln bereits anzugeben vermögen. Die eine ist<lb/> die obere rechts vom Mittelstriche in 11). Die andre liefert konform 13):<lb/><formula/>.<lb/> Vergleicht man beide Wurzelausdrücke, so erhellt, dass man nur noch der<lb/> Gleichung<lb/> 15) <hi rendition="#et"><hi rendition="#i">u</hi> + <hi rendition="#i">a</hi>(<hi rendition="#i">ū</hi> ɟ 0)(0 ɟ <hi rendition="#i">b̄</hi>) = <hi rendition="#i">v</hi>(<hi rendition="#i">a</hi> ɟ 0)</hi><lb/> durch geeignete denkbar allgemeinste Bestimmung von <hi rendition="#i">u</hi> und <hi rendition="#i">v</hi> zu genügen<lb/> habe. Ebendies erscheint jedoch als eine nicht ganz leichte Aufgabe. Wir<lb/> nehmen dieselbe nachher in Angriff. Zuvor jedoch wollen wir die Angaben<lb/> von 14) auf kürzestem Wege <hi rendition="#i">verifiziren</hi>.</p><lb/> <p>Dabei ist zuerst die Resultante herzuleiten, sodann als die volle nach-<lb/> zuweisen; endlich sind für die Lösung die beiden Proben zu machen.</p><lb/> <p>Vom zweiten Teilproblem her ist klar dass 1 ; <hi rendition="#i">b</hi> ⋹ <hi rendition="#i">a</hi> jedenfalls „eine“<lb/> Resultante sein muss. Wegen 1 ; <hi rendition="#i">b</hi> ⋹ <hi rendition="#i">a</hi> ɟ 0 + 1 ; <hi rendition="#i">b</hi> ist diese in der That<lb/> durch die oben angegebene mitverbürgt, jedoch ohne sie ihrerseits zu be-<lb/> dingen; sie ist blos eine Unter-Resultante dieser angegebnen, die wir als<lb/> die volle nachweisen werden.</p><lb/> <p><hi rendition="#i">a</hi>⋹<hi rendition="#i">x</hi> ; 1 + 1 ; <hi rendition="#i">b</hi> gibt <hi rendition="#i">a</hi>(0 ɟ <hi rendition="#i">b̄</hi>) ⋹ <hi rendition="#i">x</hi> ; 1, und <hi rendition="#i">x</hi> ; 1 ⋹ <hi rendition="#i">a</hi> ist nach dem ersten<lb/> Inversionstheorem äquivalent mit <hi rendition="#i">x</hi> ⋹ <hi rendition="#i">a</hi> ɟ 0, was die Folgerung gestattet:<lb/><hi rendition="#i">x</hi> ; 1 ⋹ (<hi rendition="#i">a</hi> ɟ 0) ; 1. Aber nach 16) des § 15 ist (<hi rendition="#i">a</hi> ɟ 0) ; 1 = <hi rendition="#i">a</hi> ɟ 0. Also<lb/> haben wir auch <hi rendition="#i">x</hi> ; 1 ⋹ <hi rendition="#i">a</hi> ɟ 0 und damit a fortiori: <hi rendition="#i">a</hi>(0 ɟ <hi rendition="#i">b̄</hi>) ⋹ <hi rendition="#i">a</hi> ɟ 0, d. h.<lb/> 16) <hi rendition="#et"><hi rendition="#i">a</hi>⋹<hi rendition="#i">a</hi> ɟ 0 + 1 ; <hi rendition="#i">b</hi>.</hi><lb/> Damit ist die behauptete Resultante gewonnen — in Anbetracht dass wegen<lb/> der Partialresultante 1 ; <hi rendition="#i">b</hi> ⋹ <hi rendition="#i">a</hi>, in Verbindung mit der Formel <hi rendition="#i">a</hi> ɟ 0 ⋹ <hi rendition="#i">a</hi>,<lb/> die umgekehrte Subsumtion ohnehin gelten, das Subsumtionszeichen also<lb/> hier die Kraft des Gleichheitszeichens erlangen muss. Die obige Subsum-<lb/> tion aber kann nicht selbst als die volle, sondern blos als eine (die) zweite<lb/> Unter-Resultante hingestellt werden, welche erst mit der ersten verbunden<lb/> (multiplizirt) oder zu der Gleichung <hi rendition="#i">a</hi> = <hi rendition="#i">a</hi> ɟ 0 + 1 ; <hi rendition="#i">b</hi> zusammengezogen die<lb/> volle Resultante liefert.</p><lb/> <p>Dass letztere vollständig, geht nun leicht daraus hervor, dass, sobald<lb/> sie erfüllt ist, immer in Gestalt von <hi rendition="#i">x</hi> = <hi rendition="#i">a</hi> ɟ 0 eine Wurzel der aufzulösen-<lb/> den Gleichung angebbar sein wird.</p><lb/> <p>Probe 1 für die Wurzel. Nach Schema 24) des § 18 wird:<lb/><hi rendition="#i">x</hi> ; 1 + 1 ; <hi rendition="#i">b</hi> = (<hi rendition="#i">a</hi> ɟ 0) · {<hi rendition="#i">u</hi> ; 1 + (<hi rendition="#i">ū</hi> ɟ 0) · (0 ɟ <hi rendition="#i">b̄</hi>) ; 1} + 1 ; <hi rendition="#i">b</hi> =<lb/> = (<hi rendition="#i">a</hi> ɟ 0){<hi rendition="#i">u</hi> ; 1 + (0 ɟ <hi rendition="#i">b̄</hi>) ; 1}(0 ɟ <hi rendition="#i">b̄</hi>) + 1 ; <hi rendition="#i">b</hi> = (<hi rendition="#i">a</hi> ɟ 0)(0 ɟ <hi rendition="#i">b̄</hi>) + 1 ; <hi rendition="#i">b</hi> =<lb/> = <hi rendition="#i">a</hi> ɟ 0 + 1 ; <hi rendition="#i">b</hi> = <hi rendition="#i">a</hi>,<lb/> q. e. d. Denn wegen 0 ɟ <hi rendition="#i">b̄</hi> ⋹ (0 ɟ <hi rendition="#i">b̄</hi>) ; 1 muss (0 ɟ <hi rendition="#i">b̄</hi>) ; 1 · (0 ɟ <hi rendition="#i">b̄</hi>) = 0 ɟ <hi rendition="#i">b̄</hi> sein,<lb/> wonach denn das zweite Glied in { } durch 1 ersetzbar.</p><lb/> <p>Probe 2. Ist <hi rendition="#i">x</hi> ; 1 + 1 ; <hi rendition="#i">b</hi> = <hi rendition="#i">a</hi> und <hi rendition="#i">a</hi> = <hi rendition="#i">a</hi> ɟ 0 + 1 ; <hi rendition="#i">b</hi>, so muss auch sein:<lb/><hi rendition="#i">x</hi> = (<hi rendition="#i">a</hi> ɟ 0){<hi rendition="#i">x</hi> + (<hi rendition="#i">x̄</hi> ɟ 0)(0 ɟ <hi rendition="#i">b̄</hi>)}. Denn durch Kontraposition der ersten<lb/> Voraussetzung folgt: (<hi rendition="#i">x̄</hi> ɟ 0)(0 ɟ <hi rendition="#i">b̄</hi>) = <hi rendition="#i">ā</hi> und gilt bekanntlich — vergl. 9)<lb/></p> </div> </div> </body> </text> </TEI> [285/0299]
§ 20. Die Inversionsprobleme der Transoperationen.
eventuell Resultante wir einzeln bereits anzugeben vermögen. Die eine ist
die obere rechts vom Mittelstriche in 11). Die andre liefert konform 13):
[FORMEL].
Vergleicht man beide Wurzelausdrücke, so erhellt, dass man nur noch der
Gleichung
15) u + a(ū ɟ 0)(0 ɟ b̄) = v(a ɟ 0)
durch geeignete denkbar allgemeinste Bestimmung von u und v zu genügen
habe. Ebendies erscheint jedoch als eine nicht ganz leichte Aufgabe. Wir
nehmen dieselbe nachher in Angriff. Zuvor jedoch wollen wir die Angaben
von 14) auf kürzestem Wege verifiziren.
Dabei ist zuerst die Resultante herzuleiten, sodann als die volle nach-
zuweisen; endlich sind für die Lösung die beiden Proben zu machen.
Vom zweiten Teilproblem her ist klar dass 1 ; b ⋹ a jedenfalls „eine“
Resultante sein muss. Wegen 1 ; b ⋹ a ɟ 0 + 1 ; b ist diese in der That
durch die oben angegebene mitverbürgt, jedoch ohne sie ihrerseits zu be-
dingen; sie ist blos eine Unter-Resultante dieser angegebnen, die wir als
die volle nachweisen werden.
a⋹x ; 1 + 1 ; b gibt a(0 ɟ b̄) ⋹ x ; 1, und x ; 1 ⋹ a ist nach dem ersten
Inversionstheorem äquivalent mit x ⋹ a ɟ 0, was die Folgerung gestattet:
x ; 1 ⋹ (a ɟ 0) ; 1. Aber nach 16) des § 15 ist (a ɟ 0) ; 1 = a ɟ 0. Also
haben wir auch x ; 1 ⋹ a ɟ 0 und damit a fortiori: a(0 ɟ b̄) ⋹ a ɟ 0, d. h.
16) a⋹a ɟ 0 + 1 ; b.
Damit ist die behauptete Resultante gewonnen — in Anbetracht dass wegen
der Partialresultante 1 ; b ⋹ a, in Verbindung mit der Formel a ɟ 0 ⋹ a,
die umgekehrte Subsumtion ohnehin gelten, das Subsumtionszeichen also
hier die Kraft des Gleichheitszeichens erlangen muss. Die obige Subsum-
tion aber kann nicht selbst als die volle, sondern blos als eine (die) zweite
Unter-Resultante hingestellt werden, welche erst mit der ersten verbunden
(multiplizirt) oder zu der Gleichung a = a ɟ 0 + 1 ; b zusammengezogen die
volle Resultante liefert.
Dass letztere vollständig, geht nun leicht daraus hervor, dass, sobald
sie erfüllt ist, immer in Gestalt von x = a ɟ 0 eine Wurzel der aufzulösen-
den Gleichung angebbar sein wird.
Probe 1 für die Wurzel. Nach Schema 24) des § 18 wird:
x ; 1 + 1 ; b = (a ɟ 0) · {u ; 1 + (ū ɟ 0) · (0 ɟ b̄) ; 1} + 1 ; b =
= (a ɟ 0){u ; 1 + (0 ɟ b̄) ; 1}(0 ɟ b̄) + 1 ; b = (a ɟ 0)(0 ɟ b̄) + 1 ; b =
= a ɟ 0 + 1 ; b = a,
q. e. d. Denn wegen 0 ɟ b̄ ⋹ (0 ɟ b̄) ; 1 muss (0 ɟ b̄) ; 1 · (0 ɟ b̄) = 0 ɟ b̄ sein,
wonach denn das zweite Glied in { } durch 1 ersetzbar.
Probe 2. Ist x ; 1 + 1 ; b = a und a = a ɟ 0 + 1 ; b, so muss auch sein:
x = (a ɟ 0){x + (x̄ ɟ 0)(0 ɟ b̄)}. Denn durch Kontraposition der ersten
Voraussetzung folgt: (x̄ ɟ 0)(0 ɟ b̄) = ā und gilt bekanntlich — vergl. 9)
Suche im WerkInformationen zum Werk
Download dieses Werks
XML (TEI P5) ·
HTML ·
Text Metadaten zum WerkTEI-Header · CMDI · Dublin Core Ansichten dieser Seite
Voyant Tools
|
URL zu diesem Werk: | https://www.deutschestextarchiv.de/schroeder_logik03_1895 |
URL zu dieser Seite: | https://www.deutschestextarchiv.de/schroeder_logik03_1895/299 |
Zitationshilfe: | Schröder, Ernst: Vorlesungen über die Algebra der Logik. Bd. 3, Abt. 1. Leipzig, 1895, S. 285. In: Deutsches Textarchiv <https://www.deutschestextarchiv.de/schroeder_logik03_1895/299>, abgerufen am 01.09.2024. |