Anmelden (DTAQ) DWDS     dlexDB     CLARIN-D

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

Bild:
<< vorherige Seite

Elfte Vorlesung.
Stelle von 0' ein Auge trägt, erhellt im Hinblick auf S. 139 daraus, dass
unter den Werten von u auch solche figuriren, welche die gedachte Stelle
unparig besetzt zeigen, wo sie dann auch in uun ein Auge haben wird.
Etc. q. e. d.

Hienach ist denn sogleich:
69) [Formel 1] .

Untersuchung 17. Als in methodologischer Hinsicht von Interesse
mag eine Nutzanwendung der Sätze 14) hier noch vorgetragen werden,
die ich von denselben behufs Lösung des dritten Inversionsproblemes zu
machen suchte zu einer Zeit, als mir dessen in § 19 gegebne definitive
Lösung noch verschlossen war. Obwol diese Anwendung nicht den
beabsichtigten Erfolg herbeiführte, erschloss sie doch den Einblick in
eine merkwürdige Umformung der Problemstellung und ist vielleicht
auch, nachdem das Problem schon anderweitig gelöst worden, selbst
in objektiver Hinsicht nicht ohne Wert.

Das allgemeine dritte Inversionsproblem des § 19, nämlich die Auf-
lösung der Gleichung x ; b = a ; b, lässt sich nach 14) nun auch in der Form
in Angriff nehmen:
70) Six ; i · i ; b = Sia ; i · i ; b,
und liegt es nahe, diese Gleichung zunächst nach den x ; i als Unbekannten
aufzulösen.

Diese Aufgabe fällt unter das Schema der in Bd. 2, § 51 unter Aufg. 20
symmetrisch allgemein gelösten. Nach diesem Schema ergibt sich unschwer:
71) [Formel 2]
-- worin der Faktor i ; bn zunächst als in j bn auftrat.

Mit diesem Resultat stimmt bei beliebigem u auch die Probe 1 --
wobei nur zu berücksichtigen, dass Sii ; b = 1 ; b und a ; b · 1 ; b = a ; b,
sowie dass nach 26) des § 25: i ; b · i ; bn = i ; bbn = i ; 0 = 0 ist, wonach
sich denn die linke Seite von 70) gleich a ; b · (un j bn + u ; b) = a ; b · 1
herausstellt, q. e. d.

Nennen wir nun die rechte Seite in 71) kurz c, so bleibt nach x nur
mehr die Gleichung aufzulösen:
72) x ; i = c.

Diese zerfällt in
x ; i c und c x ; i = x j in
mit Rücksicht auf 22) des § 25, und es lassen sich beide Teilsubsumtionen
nach dem ersten Inversionstheorem äquivalent transformiren wie folgt:
(c x j in) = (c ; i x), (x ; i c) = (x c j in),

Elfte Vorlesung.
Stelle von 0' ein Auge trägt, erhellt im Hinblick auf S. 139 daraus, dass
unter den Werten von u auch solche figuriren, welche die gedachte Stelle
unparig besetzt zeigen, wo sie dann auch in uū̆ ein Auge haben wird.
Etc. q. e. d.

Hienach ist denn sogleich:
69) [Formel 1] .

Untersuchung 17. Als in methodologischer Hinsicht von Interesse
mag eine Nutzanwendung der Sätze 14) hier noch vorgetragen werden,
die ich von denselben behufs Lösung des dritten Inversionsproblemes zu
machen suchte zu einer Zeit, als mir dessen in § 19 gegebne definitive
Lösung noch verschlossen war. Obwol diese Anwendung nicht den
beabsichtigten Erfolg herbeiführte, erschloss sie doch den Einblick in
eine merkwürdige Umformung der Problemstellung und ist vielleicht
auch, nachdem das Problem schon anderweitig gelöst worden, selbst
in objektiver Hinsicht nicht ohne Wert.

Das allgemeine dritte Inversionsproblem des § 19, nämlich die Auf-
lösung der Gleichung x ; b = a ; b, lässt sich nach 14) nun auch in der Form
in Angriff nehmen:
70) Σix ; i · ; b = Σia ; i · ; b,
und liegt es nahe, diese Gleichung zunächst nach den x ; i als Unbekannten
aufzulösen.

Diese Aufgabe fällt unter das Schema der in Bd. 2, § 51 unter Aufg. 20
symmetrisch allgemein gelösten. Nach diesem Schema ergibt sich unschwer:
71) [Formel 2]
— worin der Faktor ; zunächst als ī̆ ɟ auftrat.

Mit diesem Resultat stimmt bei beliebigem u auch die Probe 1 —
wobei nur zu berücksichtigen, dass Σi ; b = 1 ; b und a ; b · 1 ; b = a ; b,
sowie dass nach 26) des § 25: ; b · ; = ; bb̄ = ; 0 = 0 ist, wonach
sich denn die linke Seite von 70) gleich a ; b · ( ɟ + u ; b) = a ; b · 1
herausstellt, q. e. d.

Nennen wir nun die rechte Seite in 71) kurz c, so bleibt nach x nur
mehr die Gleichung aufzulösen:
72) x ; i = c.

Diese zerfällt in
x ; ic und cx ; i = x ɟ
mit Rücksicht auf 22) des § 25, und es lassen sich beide Teilsubsumtionen
nach dem ersten Inversionstheorem äquivalent transformiren wie folgt:
(cx ɟ ) = (c ; x), (x ; ic) = (xc ɟ ī̆),

<TEI>
  <text>
    <body>
      <div n="1">
        <div n="2">
          <p><pb facs="#f0542" n="528"/><fw place="top" type="header">Elfte Vorlesung.</fw><lb/>
Stelle von 0' ein Auge trägt, erhellt im Hinblick auf S. 139 daraus, dass<lb/>
unter den Werten von <hi rendition="#i">u</hi> auch solche figuriren, welche die gedachte Stelle<lb/>
unparig besetzt zeigen, wo sie dann auch in <hi rendition="#i">uu&#x0304;&#x0306;</hi> ein Auge haben wird.<lb/>
Etc. q. e. d.</p><lb/>
          <p>Hienach ist denn sogleich:<lb/>
69) <hi rendition="#et"><formula/>.</hi></p><lb/>
          <p><hi rendition="#g">Untersuchung</hi> 17. Als in methodologischer Hinsicht von Interesse<lb/>
mag eine Nutzanwendung der Sätze 14) hier noch vorgetragen werden,<lb/>
die ich von denselben behufs Lösung des <hi rendition="#i">dritten Inversionsproblemes</hi> zu<lb/>
machen suchte zu einer Zeit, als mir dessen in § 19 gegebne definitive<lb/>
Lösung noch verschlossen war. Obwol diese Anwendung nicht den<lb/>
beabsichtigten Erfolg herbeiführte, erschloss sie doch den Einblick in<lb/>
eine merkwürdige Umformung der Problemstellung und ist vielleicht<lb/>
auch, nachdem das Problem schon anderweitig gelöst worden, selbst<lb/>
in objektiver Hinsicht nicht ohne Wert.</p><lb/>
          <p>Das allgemeine dritte Inversionsproblem des § 19, nämlich die Auf-<lb/>
lösung der Gleichung <hi rendition="#i">x</hi> ; <hi rendition="#i">b</hi> = <hi rendition="#i">a</hi> ; <hi rendition="#i">b</hi>, lässt sich nach 14) nun auch in der Form<lb/>
in Angriff nehmen:<lb/>
70) <hi rendition="#et"><hi rendition="#i">&#x03A3;<hi rendition="#sub">i</hi>x</hi> ; <hi rendition="#i">i</hi> · <hi rendition="#i">i&#x0306;</hi> ; <hi rendition="#i">b</hi> = <hi rendition="#i">&#x03A3;<hi rendition="#sub">i</hi>a</hi> ; <hi rendition="#i">i</hi> · <hi rendition="#i">i&#x0306;</hi> ; <hi rendition="#i">b</hi>,</hi><lb/>
und liegt es nahe, diese Gleichung zunächst nach den <hi rendition="#i">x</hi> ; <hi rendition="#i">i</hi> als Unbekannten<lb/>
aufzulösen.</p><lb/>
          <p>Diese Aufgabe fällt unter das Schema der in Bd. 2, § 51 unter Aufg. 20<lb/>
symmetrisch allgemein gelösten. Nach diesem Schema ergibt sich unschwer:<lb/>
71) <formula/><lb/>
&#x2014; worin der Faktor <hi rendition="#i">i&#x0306;</hi> ; <hi rendition="#i">b&#x0304;</hi> zunächst als <hi rendition="#i">i&#x0304;&#x0306;</hi> &#x025F; <hi rendition="#i">b&#x0304;</hi> auftrat.</p><lb/>
          <p>Mit diesem Resultat stimmt bei beliebigem <hi rendition="#i">u</hi> auch die Probe 1 &#x2014;<lb/>
wobei nur zu berücksichtigen, dass <hi rendition="#i">&#x03A3;<hi rendition="#sub">i</hi>i&#x0306;</hi> ; <hi rendition="#i">b</hi> = 1 ; <hi rendition="#i">b</hi> und <hi rendition="#i">a</hi> ; <hi rendition="#i">b</hi> · 1 ; <hi rendition="#i">b</hi> = <hi rendition="#i">a</hi> ; <hi rendition="#i">b</hi>,<lb/>
sowie dass nach 26) des § 25: <hi rendition="#i">i&#x0306;</hi> ; <hi rendition="#i">b</hi> · <hi rendition="#i">i&#x0306;</hi> ; <hi rendition="#i">b&#x0304;</hi> = <hi rendition="#i">i&#x0306;</hi> ; <hi rendition="#i">bb&#x0304;</hi> = <hi rendition="#i">i&#x0306;</hi> ; 0 = 0 ist, wonach<lb/>
sich denn die linke Seite von 70) gleich <hi rendition="#i">a</hi> ; <hi rendition="#i">b</hi> · (<hi rendition="#i">u&#x0304;</hi> &#x025F; <hi rendition="#i">b&#x0304;</hi> + <hi rendition="#i">u</hi> ; <hi rendition="#i">b</hi>) = <hi rendition="#i">a</hi> ; <hi rendition="#i">b</hi> · 1<lb/>
herausstellt, q. e. d.</p><lb/>
          <p>Nennen wir nun die rechte Seite in 71) kurz <hi rendition="#i">c</hi>, so bleibt nach <hi rendition="#i">x</hi> nur<lb/>
mehr die Gleichung aufzulösen:<lb/>
72) <hi rendition="#et"><hi rendition="#i">x</hi> ; <hi rendition="#i">i</hi> = <hi rendition="#i">c</hi>.</hi></p><lb/>
          <p>Diese zerfällt in<lb/><hi rendition="#c"><hi rendition="#i">x</hi> ; <hi rendition="#i">i</hi> &#x22F9; <hi rendition="#i">c</hi> und <hi rendition="#i">c</hi> &#x22F9; <hi rendition="#i">x</hi> ; <hi rendition="#i">i</hi> = <hi rendition="#i">x</hi> &#x025F; <hi rendition="#i">i&#x0304;</hi></hi><lb/>
mit Rücksicht auf 22) des § 25, und es lassen sich beide Teilsubsumtionen<lb/>
nach dem ersten Inversionstheorem äquivalent transformiren wie folgt:<lb/><hi rendition="#c">(<hi rendition="#i">c</hi> &#x22F9; <hi rendition="#i">x</hi> &#x025F; <hi rendition="#i">i&#x0304;</hi>) = (<hi rendition="#i">c</hi> ; <hi rendition="#i">i&#x0306;</hi> &#x22F9; <hi rendition="#i">x</hi>), (<hi rendition="#i">x</hi> ; <hi rendition="#i">i</hi> &#x22F9; <hi rendition="#i">c</hi>) = (<hi rendition="#i">x</hi> &#x22F9; <hi rendition="#i">c</hi> &#x025F; <hi rendition="#i">i&#x0304;&#x0306;</hi>),</hi><lb/></p>
        </div>
      </div>
    </body>
  </text>
</TEI>
[528/0542] Elfte Vorlesung. Stelle von 0' ein Auge trägt, erhellt im Hinblick auf S. 139 daraus, dass unter den Werten von u auch solche figuriren, welche die gedachte Stelle unparig besetzt zeigen, wo sie dann auch in uū̆ ein Auge haben wird. Etc. q. e. d. Hienach ist denn sogleich: 69) [FORMEL]. Untersuchung 17. Als in methodologischer Hinsicht von Interesse mag eine Nutzanwendung der Sätze 14) hier noch vorgetragen werden, die ich von denselben behufs Lösung des dritten Inversionsproblemes zu machen suchte zu einer Zeit, als mir dessen in § 19 gegebne definitive Lösung noch verschlossen war. Obwol diese Anwendung nicht den beabsichtigten Erfolg herbeiführte, erschloss sie doch den Einblick in eine merkwürdige Umformung der Problemstellung und ist vielleicht auch, nachdem das Problem schon anderweitig gelöst worden, selbst in objektiver Hinsicht nicht ohne Wert. Das allgemeine dritte Inversionsproblem des § 19, nämlich die Auf- lösung der Gleichung x ; b = a ; b, lässt sich nach 14) nun auch in der Form in Angriff nehmen: 70) Σix ; i · ĭ ; b = Σia ; i · ĭ ; b, und liegt es nahe, diese Gleichung zunächst nach den x ; i als Unbekannten aufzulösen. Diese Aufgabe fällt unter das Schema der in Bd. 2, § 51 unter Aufg. 20 symmetrisch allgemein gelösten. Nach diesem Schema ergibt sich unschwer: 71) [FORMEL] — worin der Faktor ĭ ; b̄ zunächst als ī̆ ɟ b̄ auftrat. Mit diesem Resultat stimmt bei beliebigem u auch die Probe 1 — wobei nur zu berücksichtigen, dass Σiĭ ; b = 1 ; b und a ; b · 1 ; b = a ; b, sowie dass nach 26) des § 25: ĭ ; b · ĭ ; b̄ = ĭ ; bb̄ = ĭ ; 0 = 0 ist, wonach sich denn die linke Seite von 70) gleich a ; b · (ū ɟ b̄ + u ; b) = a ; b · 1 herausstellt, q. e. d. Nennen wir nun die rechte Seite in 71) kurz c, so bleibt nach x nur mehr die Gleichung aufzulösen: 72) x ; i = c. Diese zerfällt in x ; i ⋹ c und c ⋹ x ; i = x ɟ ī mit Rücksicht auf 22) des § 25, und es lassen sich beide Teilsubsumtionen nach dem ersten Inversionstheorem äquivalent transformiren wie folgt: (c ⋹ x ɟ ī) = (c ; ĭ ⋹ x), (x ; i ⋹ c) = (x ⋹ c ɟ ī̆),

Suche im Werk

Hilfe

Informationen zum Werk

Download dieses Werks

XML (TEI P5) · HTML · Text
TCF (text annotation layer)
TCF (tokenisiert, serialisiert, lemmatisiert, normalisiert)
XML (TEI P5 inkl. att.linguistic)

Metadaten zum Werk

TEI-Header · CMDI · Dublin Core

Ansichten dieser Seite

Voyant Tools ?

Language Resource Switchboard?

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/542
Zitationshilfe: Schröder, Ernst: Vorlesungen über die Algebra der Logik. Bd. 3, Abt. 1. Leipzig, 1895, S. 528. In: Deutsches Textarchiv <https://www.deutschestextarchiv.de/schroeder_logik03_1895/542>, abgerufen am 17.05.2024.