Anmelden (DTAQ)

DWDS dlexDB CLARIN-D

Schröder, Ernst: Vorlesungen über die Algebra der Logik. Bd. 3, Abt. 1. Leipzig, 1895.

Bild:

<< vorherige Seite

nächste Seite >>

§ 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 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-
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 j 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.

ax ; 1 + 1 ; b gibt a(0 j bn) x ; 1, und x ; 1 a ist nach dem ersten
Inversionstheorem äquivalent mit x a j 0, was die Folgerung gestattet:
x ; 1 (a j 0) ; 1. Aber nach 16) des § 15 ist (a j 0) ; 1 = a j 0. Also
haben wir auch x ; 1 a j 0 und damit a fortiori: a(0 j bn) a j 0, d. h.
16) aa j 0 + 1 ; b.
Damit ist die behauptete Resultante gewonnen -- in Anbetracht dass wegen
der Partialresultante 1 ; b a, in Verbindung mit der Formel a j 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 j 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 j 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 j 0) · {u ; 1 + (un j 0) · (0 j bn) ; 1} + 1 ; b =
= (a j 0){u ; 1 + (0 j bn) ; 1}(0 j bn) + 1 ; b = (a j 0)(0 j bn) + 1 ; b =
= a j 0 + 1 ; b = a,
q. e. d. Denn wegen 0 j bn (0 j bn) ; 1 muss (0 j bn) ; 1 · (0 j bn) = 0 j bn sein,
wonach denn das zweite Glied in { } durch 1 ersetzbar.

Probe 2. Ist x ; 1 + 1 ; b = a und a = a j 0 + 1 ; b, so muss auch sein:
x = (a j 0){x + (xn j 0)(0 j bn)}. Denn durch Kontraposition der ersten
Voraussetzung folgt: (xn j 0)(0 j bn) = an und gilt bekanntlich -- vergl. 9)

§ 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 1] .
Vergleicht man beide Wurzelausdrücke, so erhellt, dass man nur noch der
Gleichung
15) u + a(ū ɟ 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 + (ū ɟ 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̄) = ā und gilt bekanntlich — vergl. 9)

<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">u&#x0304;</hi> &#x025F; 0)(0 &#x025F; <hi rendition="#i">b&#x0304;</hi>) = <hi rendition="#i">v</hi>(<hi rendition="#i">a</hi> &#x025F; 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> &#x22F9; <hi rendition="#i">a</hi> jedenfalls &#x201E;eine&#x201C;<lb/>
Resultante sein muss. Wegen 1 ; <hi rendition="#i">b</hi> &#x22F9; <hi rendition="#i">a</hi> &#x025F; 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>&#x22F9;<hi rendition="#i">x</hi> ; 1 + 1 ; <hi rendition="#i">b</hi> gibt <hi rendition="#i">a</hi>(0 &#x025F; <hi rendition="#i">b&#x0304;</hi>) &#x22F9; <hi rendition="#i">x</hi> ; 1, und <hi rendition="#i">x</hi> ; 1 &#x22F9; <hi rendition="#i">a</hi> ist nach dem ersten<lb/>
Inversionstheorem äquivalent mit <hi rendition="#i">x</hi> &#x22F9; <hi rendition="#i">a</hi> &#x025F; 0, was die Folgerung gestattet:<lb/><hi rendition="#i">x</hi> ; 1 &#x22F9; (<hi rendition="#i">a</hi> &#x025F; 0) ; 1. Aber nach 16) des § 15 ist (<hi rendition="#i">a</hi> &#x025F; 0) ; 1 = <hi rendition="#i">a</hi> &#x025F; 0. Also<lb/>
haben wir auch <hi rendition="#i">x</hi> ; 1 &#x22F9; <hi rendition="#i">a</hi> &#x025F; 0 und damit a fortiori: <hi rendition="#i">a</hi>(0 &#x025F; <hi rendition="#i">b&#x0304;</hi>) &#x22F9; <hi rendition="#i">a</hi> &#x025F; 0, d. h.<lb/>
16) <hi rendition="#et"><hi rendition="#i">a</hi>&#x22F9;<hi rendition="#i">a</hi> &#x025F; 0 + 1 ; <hi rendition="#i">b</hi>.</hi><lb/>
Damit ist die behauptete Resultante gewonnen &#x2014; in Anbetracht dass wegen<lb/>
der Partialresultante 1 ; <hi rendition="#i">b</hi> &#x22F9; <hi rendition="#i">a</hi>, in Verbindung mit der Formel <hi rendition="#i">a</hi> &#x025F; 0 &#x22F9; <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> &#x025F; 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> &#x025F; 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> &#x025F; 0) · {<hi rendition="#i">u</hi> ; 1 + (<hi rendition="#i">u&#x0304;</hi> &#x025F; 0) · (0 &#x025F; <hi rendition="#i">b&#x0304;</hi>) ; 1} + 1 ; <hi rendition="#i">b</hi> =<lb/>
= (<hi rendition="#i">a</hi> &#x025F; 0){<hi rendition="#i">u</hi> ; 1 + (0 &#x025F; <hi rendition="#i">b&#x0304;</hi>) ; 1}(0 &#x025F; <hi rendition="#i">b&#x0304;</hi>) + 1 ; <hi rendition="#i">b</hi> = (<hi rendition="#i">a</hi> &#x025F; 0)(0 &#x025F; <hi rendition="#i">b&#x0304;</hi>) + 1 ; <hi rendition="#i">b</hi> =<lb/>
= <hi rendition="#i">a</hi> &#x025F; 0 + 1 ; <hi rendition="#i">b</hi> = <hi rendition="#i">a</hi>,<lb/>
q. e. d. Denn wegen 0 &#x025F; <hi rendition="#i">b&#x0304;</hi> &#x22F9; (0 &#x025F; <hi rendition="#i">b&#x0304;</hi>) ; 1 muss (0 &#x025F; <hi rendition="#i">b&#x0304;</hi>) ; 1 · (0 &#x025F; <hi rendition="#i">b&#x0304;</hi>) = 0 &#x025F; <hi rendition="#i">b&#x0304;</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> &#x025F; 0 + 1 ; <hi rendition="#i">b</hi>, so muss auch sein:<lb/><hi rendition="#i">x</hi> = (<hi rendition="#i">a</hi> &#x025F; 0){<hi rendition="#i">x</hi> + (<hi rendition="#i">x&#x0304;</hi> &#x025F; 0)(0 &#x025F; <hi rendition="#i">b&#x0304;</hi>)}. Denn durch Kontraposition der ersten<lb/>
Voraussetzung folgt: (<hi rendition="#i">x&#x0304;</hi> &#x025F; 0)(0 &#x025F; <hi rendition="#i">b&#x0304;</hi>) = <hi rendition="#i">a&#x0304;</hi> und gilt bekanntlich &#x2014; 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(ū ɟ 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 + (ū ɟ 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̄) = ā und gilt bekanntlich — vergl. 9)

Suche im Werk

Informationen zum Werk

Titeldaten
Verfügbarkeit Text (TEI-XML-, HTML-, TCF-, E-Book-Fassung): CC BY-SA 4.0.
Nutzungsbedingungen

Download dieses Werks

XML (TEI P5) · HTML · Text
TCF (text annotation layer)
XML (TEI P5 inkl. att.linguistic)

Metadaten zum Werk

TEI-Header · CMDI · Dublin Core

Ansichten dieser Seite

Voyant Tools ^?

Language Resource Switchboard^?

Resource/URL übermitteln

Feedback

Sie haben einen Fehler gefunden? Dann können Sie diesen über unsere Qualitätssicherungsplattform DTAQ melden.

Kommentar zur DTA-Ausgabe

Dieses Werk wurde gemäß den DTA-Transkriptionsrichtlinien im Double-Keying-Verfahren von Nicht-Muttersprachlern erfasst und in XML/TEI P5 nach DTA-Basisformat kodiert.

Ansicht auf Standard zurückstellen

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 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.

2007–2024 Deutsches Textarchiv, Berlin-Brandenburgische Akademie der Wissenschaften. Kontakt: redaktion(at)deutschestextarchiv.de.

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/.