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.
worin der Faktor a wie sich zeigt auch weggelassen werden kann, und dies
führt b, a für an, bn gesagt zu einem tiefer liegenden Satze:
99)
ab {(a + b ; 0') j 1'} ; 0'a(b j 1') ; 0' j 1' a + b
etc., zu dessen Beweis die Koeffizientenevidenz angerufen werden muss, sinte-
mal weder a (a j 1') ; 0' noch b (b ; 0' j 1') ; 0' = b ; 0' für sich gilt.
Sagen wir für die erste Subsumtion S P, so ist Si j = ai jbi j Pi j zu
zeigen, wo
Pi j = Sh0'h jPk(ai k + Slbi l0'l k + 1'k h).

Um es ganz analytisch zu machen, fügen wir zum allgemeinen Faktor
des Pk den Term 0'k j1'k j hinzu, welcher ja = 0 ist, und zerlegen gemäss dem
Schema a + bc = (a + b)(a + c), das Pk des ersten Faktors sogleich gemäss 12+)
S. 121 evaluirend: so kommt:
Pi j = Sh0'h j(ai j + Slbi l0'l j)Pk(ai k + Slbi l0'l k + 1'k h + 1'k j).
Multipliziren wir ferner das allgemeine Glied der letzten Sl mit 1'l j + 0'l j,
welches ja = 1 ist, und evaluiren die vom ersten Terme herrührende Sl ge-
mäss 12x) S. 121, so tritt der Summand bi j · 0'j k auf, der sich wegen des
folgenden 1'k j zu bi j vereinfacht, und lässt sich dieses Glied als ein von k un-
abhängiges vor das Pk schieben. Es entsteht:
Pi j = Sh0'h j(ai j + Slbi l0'l j){bi j + Pk(ai k + Slbi l0'l k0'l j + 1'k h + 1'k j)}.
Durch Ausmultipliziren lassen sich hieraus leicht die Glieder herausheben:
ai jbi jSh0'h j = (ab)i j · 1 = Si j, womit die Einordnung und damit alles Bis-
herige bewiesen ist.

In 99) dürfte links zum Subjekte natürlich auch noch b ; 0' als Glied
hinzugefügt werden. --

Noch besser als die -- auf S. 272 unten -- angegebene Formel für x
würde diese:
x = (a ; b j bn)[(an j bn) ; b ; b + u + (un j bn) ; b]
empirisch die Resultate zusammenfassen, welche sich für b = einem der vier
Modulwerte auf S. 268 sq. für die allgemeine Wurzel von x ; b = a ; b ergeben
haben. Bei beliebigem b gelingt es mir jedoch nicht, die Lösungen S. 266
des dritten Inversionsproblems noch ähnlich zu vereinfachen.

Studie 20. Auch inbezug auf Partikularlösungen des allgemeinen
(dritten) Inversionsproblems kann ich zu dem in § 19 erreichten Stand-
punkt noch Einiges hinzufügen.

Um nachzuweisen, dass die Einsetzung von u = a · a ; b ; b in die all-
gemeine Lösung 64) unsres Problems auch x = u liefern muss, mithin dieses u
eine partikulare Lösung, Wurzel vorstellt, war die folgende fast monströs er-
scheinende Gleichung als eine allgemein gültige Formel zu beweisen:
[Formel 1] .
In dieser kommt zunächst nach einer S. 267 erwähnten aus a ; b a ; b dort
gefolgerten Formel an + (an j bn) ; b = an das unterwellte Glied in Wegfall. Weil
sodann nach 9) des § 19 a(a ; b ; b) ; b = a ; b ist, so haben wir

Elfte Vorlesung.
worin der Faktor a wie sich zeigt auch weggelassen werden kann, und dies
führt b, a für , gesagt zu einem tiefer liegenden Satze:
99)
ab⋹ {(a + b ; 0') ɟ 1'} ; 0'a(b ɟ 1') ; 0' ɟ 1' ⋹ a + b
etc., zu dessen Beweis die Koeffizientenevidenz angerufen werden muss, sinte-
mal weder a ⋹ (a ɟ 1') ; 0' noch b ⋹ (b ; 0' ɟ 1') ; 0' = b ; 0' für sich gilt.
Sagen wir für die erste Subsumtion SP, so ist Si j = ai jbi jPi j zu
zeigen, wo
Pi j = Σh0'h jΠk(ai k + Σlbi l0'l k + 1'k h).

Um es ganz analytisch zu machen, fügen wir zum allgemeinen Faktor
des Πk den Term 0'k j1'k j hinzu, welcher ja = 0 ist, und zerlegen gemäss dem
Schema a + bc = (a + b)(a + c), das Πk des ersten Faktors sogleich gemäss 12+)
S. 121 evaluirend: so kommt:
Pi j = Σh0'h j(ai j + Σlbi l0'l j)Πk(ai k + Σlbi l0'l k + 1'k h + 1'k j).
Multipliziren wir ferner das allgemeine Glied der letzten Σl mit 1'l j + 0'l j,
welches ja = 1 ist, und evaluiren die vom ersten Terme herrührende Σl ge-
mäss 12×) S. 121, so tritt der Summand bi j · 0'j k auf, der sich wegen des
folgenden 1'k j zu bi j vereinfacht, und lässt sich dieses Glied als ein von k un-
abhängiges vor das Πk schieben. Es entsteht:
Pi j = Σh0'h j(ai j + Σlbi l0'l j){bi j + Πk(ai k + Σlbi l0'l k0'l j + 1'k h + 1'k j)}.
Durch Ausmultipliziren lassen sich hieraus leicht die Glieder herausheben:
ai jbi jΣh0'h j = (ab)i j · 1 = Si j, womit die Einordnung und damit alles Bis-
herige bewiesen ist.

In 99) dürfte links zum Subjekte natürlich auch noch b ; 0' als Glied
hinzugefügt werden. —

Noch besser als die — auf S. 272 unten — angegebene Formel für x
würde diese:
x = (a ; b ɟ b̄̆)[( ɟ ) ; ; b + u + ( ɟ ) ; ]
empirisch die Resultate zusammenfassen, welche sich für b = einem der vier
Modulwerte auf S. 268 sq. für die allgemeine Wurzel von x ; b = a ; b ergeben
haben. Bei beliebigem b gelingt es mir jedoch nicht, die Lösungen S. 266
des dritten Inversionsproblems noch ähnlich zu vereinfachen.

Studie 20. Auch inbezug auf Partikularlösungen des allgemeinen
(dritten) Inversionsproblems kann ich zu dem in § 19 erreichten Stand-
punkt noch Einiges hinzufügen.

Um nachzuweisen, dass die Einsetzung von u = a · a ; b ; in die all-
gemeine Lösung 64) unsres Problems auch x = u liefern muss, mithin dieses u
eine partikulare Lösung, Wurzel vorstellt, war die folgende fast monströs er-
scheinende Gleichung als eine allgemein gültige Formel zu beweisen:
[Formel 1] .
In dieser kommt zunächst nach einer S. 267 erwähnten aus a ; ba ; b dort
gefolgerten Formel + ( ɟ ) ; = das unterwellte Glied in Wegfall. Weil
sodann nach 9) des § 19 a(a ; b ; ) ; b = a ; b ist, so haben wir

<TEI>
  <text>
    <body>
      <div n="1">
        <div n="2">
          <p><pb facs="#f0554" n="540"/><fw place="top" type="header">Elfte Vorlesung.</fw><lb/>
worin der Faktor <hi rendition="#i">a</hi> wie sich zeigt auch weggelassen werden kann, und dies<lb/>
führt <hi rendition="#i">b</hi>, <hi rendition="#i">a</hi> für <hi rendition="#i">a&#x0304;</hi>, <hi rendition="#i">b&#x0304;</hi> gesagt zu einem tiefer liegenden <hi rendition="#g">Satze</hi>:<lb/>
99) <table><lb/><row><cell><hi rendition="#i">ab</hi>&#x22F9; {(<hi rendition="#i">a</hi> + <hi rendition="#i">b</hi> ; 0') &#x025F; 1'} ; 0'</cell><cell><hi rendition="#i">a</hi>(<hi rendition="#i">b</hi> &#x025F; 1') ; 0' &#x025F; 1' &#x22F9; <hi rendition="#i">a</hi> + <hi rendition="#i">b</hi></cell></row><lb/></table> etc., zu dessen <hi rendition="#g">Beweis</hi> die Koeffizientenevidenz angerufen werden muss, sinte-<lb/>
mal weder <hi rendition="#i">a</hi> &#x22F9; (<hi rendition="#i">a</hi> &#x025F; 1') ; 0' noch <hi rendition="#i">b</hi> &#x22F9; (<hi rendition="#i">b</hi> ; 0' &#x025F; 1') ; 0' = <hi rendition="#i">b</hi> ; 0' für sich gilt.<lb/>
Sagen wir für die erste Subsumtion <hi rendition="#i">S</hi> &#x22F9; <hi rendition="#i">P</hi>, so ist <hi rendition="#i">S<hi rendition="#sub">i j</hi></hi> = <hi rendition="#i">a<hi rendition="#sub">i j</hi>b<hi rendition="#sub">i j</hi></hi> &#x22F9; <hi rendition="#i">P<hi rendition="#sub">i j</hi></hi> zu<lb/>
zeigen, wo<lb/><hi rendition="#c"><hi rendition="#i">P<hi rendition="#sub">i j</hi></hi> = <hi rendition="#i">&#x03A3;<hi rendition="#sub">h</hi></hi>0'<hi rendition="#i"><hi rendition="#sub">h j</hi>&#x03A0;<hi rendition="#sub">k</hi></hi>(<hi rendition="#i">a<hi rendition="#sub">i k</hi></hi> + <hi rendition="#i">&#x03A3;<hi rendition="#sub">l</hi>b<hi rendition="#sub">i l</hi></hi>0'<hi rendition="#i"><hi rendition="#sub">l k</hi></hi> + 1'<hi rendition="#i"><hi rendition="#sub">k h</hi></hi>).</hi></p><lb/>
          <p>Um es ganz analytisch zu machen, fügen wir zum allgemeinen Faktor<lb/>
des <hi rendition="#i">&#x03A0;<hi rendition="#sub">k</hi></hi> den Term 0'<hi rendition="#i"><hi rendition="#sub">k j</hi></hi>1'<hi rendition="#i"><hi rendition="#sub">k j</hi></hi> hinzu, welcher ja = 0 ist, und zerlegen gemäss dem<lb/>
Schema <hi rendition="#i">a</hi> + <hi rendition="#i">bc</hi> = (<hi rendition="#i">a</hi> + <hi rendition="#i">b</hi>)(<hi rendition="#i">a</hi> + <hi rendition="#i">c</hi>), das <hi rendition="#i">&#x03A0;<hi rendition="#sub">k</hi></hi> des ersten Faktors sogleich gemäss 12<hi rendition="#sub">+</hi>)<lb/>
S. 121 evaluirend: so kommt:<lb/><hi rendition="#c"><hi rendition="#i">P<hi rendition="#sub">i j</hi></hi> = <hi rendition="#i">&#x03A3;<hi rendition="#sub">h</hi></hi>0'<hi rendition="#i"><hi rendition="#sub">h j</hi></hi>(<hi rendition="#i">a<hi rendition="#sub">i j</hi></hi> + <hi rendition="#i">&#x03A3;<hi rendition="#sub">l</hi>b<hi rendition="#sub">i l</hi></hi>0'<hi rendition="#i"><hi rendition="#sub">l j</hi></hi>)<hi rendition="#i">&#x03A0;<hi rendition="#sub">k</hi></hi>(<hi rendition="#i">a<hi rendition="#sub">i k</hi></hi> + <hi rendition="#i">&#x03A3;<hi rendition="#sub">l</hi>b<hi rendition="#sub">i l</hi></hi>0'<hi rendition="#i"><hi rendition="#sub">l k</hi></hi> + 1'<hi rendition="#i"><hi rendition="#sub">k h</hi></hi> + 1'<hi rendition="#i"><hi rendition="#sub">k j</hi></hi>).</hi><lb/>
Multipliziren wir ferner das allgemeine Glied der letzten <hi rendition="#i">&#x03A3;<hi rendition="#sub">l</hi></hi> mit 1'<hi rendition="#i"><hi rendition="#sub">l j</hi></hi> + 0'<hi rendition="#i"><hi rendition="#sub">l j</hi></hi>,<lb/>
welches ja = 1 ist, und evaluiren die vom ersten Terme herrührende <hi rendition="#i">&#x03A3;<hi rendition="#sub">l</hi></hi> ge-<lb/>
mäss 12<hi rendition="#sub">×</hi>) S. 121, so tritt der Summand <hi rendition="#i">b<hi rendition="#sub">i j</hi></hi> · 0'<hi rendition="#i"><hi rendition="#sub">j k</hi></hi> auf, der sich wegen des<lb/>
folgenden 1'<hi rendition="#i"><hi rendition="#sub">k j</hi></hi> zu <hi rendition="#i">b<hi rendition="#sub">i j</hi></hi> vereinfacht, und lässt sich dieses Glied als ein von <hi rendition="#i">k</hi> un-<lb/>
abhängiges vor das <hi rendition="#i">&#x03A0;<hi rendition="#sub">k</hi></hi> schieben. Es entsteht:<lb/><hi rendition="#c"><hi rendition="#i">P<hi rendition="#sub">i j</hi></hi> = <hi rendition="#i">&#x03A3;<hi rendition="#sub">h</hi></hi>0'<hi rendition="#i"><hi rendition="#sub">h j</hi></hi>(<hi rendition="#i">a<hi rendition="#sub">i j</hi></hi> + <hi rendition="#i">&#x03A3;<hi rendition="#sub">l</hi>b<hi rendition="#sub">i l</hi></hi>0'<hi rendition="#i"><hi rendition="#sub">l j</hi></hi>){<hi rendition="#i">b<hi rendition="#sub">i j</hi></hi> + <hi rendition="#i">&#x03A0;<hi rendition="#sub">k</hi></hi>(<hi rendition="#i">a<hi rendition="#sub">i k</hi></hi> + <hi rendition="#i">&#x03A3;<hi rendition="#sub">l</hi>b<hi rendition="#sub">i l</hi></hi>0'<hi rendition="#i"><hi rendition="#sub">l k</hi></hi>0'<hi rendition="#i"><hi rendition="#sub">l j</hi></hi> + 1'<hi rendition="#i"><hi rendition="#sub">k h</hi></hi> + 1'<hi rendition="#i"><hi rendition="#sub">k j</hi></hi>)}.</hi><lb/>
Durch Ausmultipliziren lassen sich hieraus leicht die Glieder herausheben:<lb/><hi rendition="#i">a<hi rendition="#sub">i j</hi>b<hi rendition="#sub">i j</hi>&#x03A3;<hi rendition="#sub">h</hi></hi>0'<hi rendition="#i"><hi rendition="#sub">h j</hi></hi> = (<hi rendition="#i">ab</hi>)<hi rendition="#i"><hi rendition="#sub">i j</hi></hi> · 1 = <hi rendition="#i">S<hi rendition="#sub">i j</hi></hi>, womit die Einordnung und damit alles Bis-<lb/>
herige bewiesen ist.</p><lb/>
          <p>In 99) dürfte links zum Subjekte natürlich auch noch <hi rendition="#i">b</hi> ; 0' als Glied<lb/>
hinzugefügt werden. &#x2014;</p><lb/>
          <p>Noch besser als die &#x2014; auf S. 272 unten &#x2014; angegebene Formel für <hi rendition="#i">x</hi><lb/>
würde diese:<lb/><hi rendition="#c"><hi rendition="#i">x</hi> = (<hi rendition="#i">a</hi> ; <hi rendition="#i">b</hi> &#x025F; <hi rendition="#i">b&#x0304;&#x0306;</hi>)[(<hi rendition="#i">a&#x0304;</hi> &#x025F; <hi rendition="#i">b&#x0304;</hi>) ; <hi rendition="#i">b&#x0306;</hi> ; <hi rendition="#i">b</hi> + <hi rendition="#i">u</hi> + (<hi rendition="#i">u&#x0304;</hi> &#x025F; <hi rendition="#i">b&#x0304;</hi>) ; <hi rendition="#i">b&#x0306;</hi>]</hi><lb/>
empirisch die Resultate zusammenfassen, welche sich für <hi rendition="#i">b</hi> = einem der vier<lb/>
Modulwerte auf S. 268 sq. für die allgemeine Wurzel von <hi rendition="#i">x</hi> ; <hi rendition="#i">b</hi> = <hi rendition="#i">a</hi> ; <hi rendition="#i">b</hi> ergeben<lb/>
haben. Bei beliebigem <hi rendition="#i">b</hi> gelingt es mir jedoch nicht, die Lösungen S. 266<lb/>
des dritten Inversionsproblems noch ähnlich zu vereinfachen.</p><lb/>
          <p><hi rendition="#g">Studie</hi> 20. Auch inbezug auf Partikular<hi rendition="#i">lösungen</hi> des allgemeinen<lb/>
(dritten) Inversionsproblems kann ich zu dem in § 19 erreichten Stand-<lb/>
punkt noch Einiges hinzufügen.</p><lb/>
          <p>Um nachzuweisen, dass die Einsetzung von <hi rendition="#i">u</hi> = <hi rendition="#i">a</hi> · <hi rendition="#i">a</hi> ; <hi rendition="#i">b</hi> ; <hi rendition="#i">b&#x0306;</hi> in die all-<lb/>
gemeine Lösung 64) unsres Problems auch <hi rendition="#i">x</hi> = <hi rendition="#i">u</hi> liefern muss, mithin dieses <hi rendition="#i">u</hi><lb/>
eine partikulare Lösung, Wurzel vorstellt, war die folgende fast monströs er-<lb/>
scheinende Gleichung als eine allgemein gültige Formel zu beweisen:<lb/><formula/>.<lb/>
In dieser kommt zunächst nach einer S. 267 erwähnten aus <hi rendition="#i">a</hi> ; <hi rendition="#i">b</hi> &#x22F9; <hi rendition="#i">a</hi> ; <hi rendition="#i">b</hi> dort<lb/>
gefolgerten Formel <hi rendition="#i">a&#x0304;</hi> + (<hi rendition="#i">a&#x0304;</hi> &#x025F; <hi rendition="#i">b&#x0304;</hi>) ; <hi rendition="#i">b&#x0306;</hi> = <hi rendition="#i">a&#x0304;</hi> das unterwellte Glied in Wegfall. Weil<lb/>
sodann nach 9) des § 19 <hi rendition="#i">a</hi>(<hi rendition="#i">a</hi> ; <hi rendition="#i">b</hi> ; <hi rendition="#i">b&#x0306;</hi>) ; <hi rendition="#i">b</hi> = <hi rendition="#i">a</hi> ; <hi rendition="#i">b</hi> ist, so haben wir<lb/></p>
        </div>
      </div>
    </body>
  </text>
</TEI>
[540/0554] Elfte Vorlesung. worin der Faktor a wie sich zeigt auch weggelassen werden kann, und dies führt b, a für ā, b̄ gesagt zu einem tiefer liegenden Satze: 99) ab⋹ {(a + b ; 0') ɟ 1'} ; 0' a(b ɟ 1') ; 0' ɟ 1' ⋹ a + b etc., zu dessen Beweis die Koeffizientenevidenz angerufen werden muss, sinte- mal weder a ⋹ (a ɟ 1') ; 0' noch b ⋹ (b ; 0' ɟ 1') ; 0' = b ; 0' für sich gilt. Sagen wir für die erste Subsumtion S ⋹ P, so ist Si j = ai jbi j ⋹ Pi j zu zeigen, wo Pi j = Σh0'h jΠk(ai k + Σlbi l0'l k + 1'k h). Um es ganz analytisch zu machen, fügen wir zum allgemeinen Faktor des Πk den Term 0'k j1'k j hinzu, welcher ja = 0 ist, und zerlegen gemäss dem Schema a + bc = (a + b)(a + c), das Πk des ersten Faktors sogleich gemäss 12+) S. 121 evaluirend: so kommt: Pi j = Σh0'h j(ai j + Σlbi l0'l j)Πk(ai k + Σlbi l0'l k + 1'k h + 1'k j). Multipliziren wir ferner das allgemeine Glied der letzten Σl mit 1'l j + 0'l j, welches ja = 1 ist, und evaluiren die vom ersten Terme herrührende Σl ge- mäss 12×) S. 121, so tritt der Summand bi j · 0'j k auf, der sich wegen des folgenden 1'k j zu bi j vereinfacht, und lässt sich dieses Glied als ein von k un- abhängiges vor das Πk schieben. Es entsteht: Pi j = Σh0'h j(ai j + Σlbi l0'l j){bi j + Πk(ai k + Σlbi l0'l k0'l j + 1'k h + 1'k j)}. Durch Ausmultipliziren lassen sich hieraus leicht die Glieder herausheben: ai jbi jΣh0'h j = (ab)i j · 1 = Si j, womit die Einordnung und damit alles Bis- herige bewiesen ist. In 99) dürfte links zum Subjekte natürlich auch noch b ; 0' als Glied hinzugefügt werden. — Noch besser als die — auf S. 272 unten — angegebene Formel für x würde diese: x = (a ; b ɟ b̄̆)[(ā ɟ b̄) ; b̆ ; b + u + (ū ɟ b̄) ; b̆] empirisch die Resultate zusammenfassen, welche sich für b = einem der vier Modulwerte auf S. 268 sq. für die allgemeine Wurzel von x ; b = a ; b ergeben haben. Bei beliebigem b gelingt es mir jedoch nicht, die Lösungen S. 266 des dritten Inversionsproblems noch ähnlich zu vereinfachen. Studie 20. Auch inbezug auf Partikularlösungen des allgemeinen (dritten) Inversionsproblems kann ich zu dem in § 19 erreichten Stand- punkt noch Einiges hinzufügen. Um nachzuweisen, dass die Einsetzung von u = a · a ; b ; b̆ in die all- gemeine Lösung 64) unsres Problems auch x = u liefern muss, mithin dieses u eine partikulare Lösung, Wurzel vorstellt, war die folgende fast monströs er- scheinende Gleichung als eine allgemein gültige Formel zu beweisen: [FORMEL]. In dieser kommt zunächst nach einer S. 267 erwähnten aus a ; b ⋹ a ; b dort gefolgerten Formel ā + (ā ɟ b̄) ; b̆ = ā das unterwellte Glied in Wegfall. Weil sodann nach 9) des § 19 a(a ; b ; b̆) ; b = a ; b ist, so haben wir

Suche im Werk

Hilfe

Informationen zum Werk

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?

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