Anmelden (DTAQ) DWDS     dlexDB     CLARIN-D

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

Bild:
<< vorherige Seite
§ 29. Sichtbarmachen von Termen behufs Produktevaluation.

Das dual Entsprechende für die S zu statuiren überlassen wir
zumeist dem Leser.

Als Problem kann daher nur die Ermittelung solcher P, S ein
Interesse bieten, bei denen im allgemeinen Term f(u) neben u oder u
auch un
oder un wesentlich vorkommt.

Aufgaben dieser Art haben wir in 1) und 6) gelöst. Dieselben
lassen sich durch nachher zur Kenntniss zu nehmende Methoden noch-
mals verallgemeinern zu dem Satze
111) [Formel 1] ,
worin die Summen nach k und l sich über irgendwelche Reihen oder
Gebiete von Suffixwerten, wie 1, 2, 3, ... erstrecken.

Allgemeinern Erörterungen über die Methode wollen wir noch ein
paar konkrete Beispiele vorausschicken, die nach Herleitung und Re-
sultat von Interesse.

Aufgabe 22. Beim Anblick von 5) drängt sich als Gegenstück
die Frage auf nach dem Werte der nächstfolgenden Produkte P, hinter
die wir aber sogleich die sie beantwortende Wertangabe setzen:
112) [Formel 2]
-- wobei das zweite Ergebniss sich auch durch Buchstabenvertauschung
mit Rücksicht auf 109) aus dem ersten ableiten lässt.

Behufs Herleitung und Beweises nennen wir x das gesuchte erste P,
und U dessen allgemeinen Faktor, so ist:
[Formel 3] Ui j = Shai hbh jui h + Skci kdk junk j.

Diesen Ausdruck "entwickeln" wir nun nach ui j, indem wir letztres
(und sein Negat) sozusagen "prominent machen" oder "in Evidenz bringen".
Zu dem Ende ist nämlich erforderlich und ausreichend, dass man die Glieder
oder Terme, in welchen u oder un mit diesem bestimmten Suffixe ij behaftet
ist, überall wo sie sich finden können, hervor- oder heraustreten lasse.

Dies kann rein rechnerisch gemacht werden, in unserm Falle: indem
man das allgemeine Glied der Sh mit (1 =)(1'h j + 0'h j), das der Sk mit
(1 =)(1'k i + 0'k i) multiplizirt, dann zerlegt, und auf die ersten Teile das
Schema 12x) von S. 121 anwendet. So kommt in der That:
Ui j = ai jbj jui j + ci idi juni j + Sh0'h jai hbh jui h + Sk0'i kci kdk junk j,
wo nun also in den beiden letzten Summen nur von einander und von ui j
verschieden bezeigerte u-Koeffizienten vorkommen. Diese werden im [Formel 4]

Schröder, Algebra der Relative. 35
§ 29. Sichtbarmachen von Termen behufs Produktevaluation.

Das dual Entsprechende für die Σ zu statuiren überlassen wir
zumeist dem Leser.

Als Problem kann daher nur die Ermittelung solcher Π, Σ ein
Interesse bieten, bei denen im allgemeinen Term f(u) neben u oder
auch ū
oder ū̆ wesentlich vorkommt.

Aufgaben dieser Art haben wir in 1) und 6) gelöst. Dieselben
lassen sich durch nachher zur Kenntniss zu nehmende Methoden noch-
mals verallgemeinern zu dem Satze
111) [Formel 1] ,
worin die Summen nach ϰ und λ sich über irgendwelche Reihen oder
Gebiete von Suffixwerten, wie 1, 2, 3, … erstrecken.

Allgemeinern Erörterungen über die Methode wollen wir noch ein
paar konkrete Beispiele vorausschicken, die nach Herleitung und Re-
sultat von Interesse.

Aufgabe 22. Beim Anblick von 5) drängt sich als Gegenstück
die Frage auf nach dem Werte der nächstfolgenden Produkte Π, hinter
die wir aber sogleich die sie beantwortende Wertangabe setzen:
112) [Formel 2]
— wobei das zweite Ergebniss sich auch durch Buchstabenvertauschung
mit Rücksicht auf 109) aus dem ersten ableiten lässt.

Behufs Herleitung und Beweises nennen wir x das gesuchte erste Π,
und U dessen allgemeinen Faktor, so ist:
[Formel 3] Ui j = Σhai hbh jui h + Σkci kdk jk j.

Diesen Ausdruck „entwickeln“ wir nun nach ui j, indem wir letztres
(und sein Negat) sozusagen „prominent machen“ oder „in Evidenz bringen“.
Zu dem Ende ist nämlich erforderlich und ausreichend, dass man die Glieder
oder Terme, in welchen u oder ū mit diesem bestimmten Suffixe ij behaftet
ist, überall wo sie sich finden können, hervor- oder heraustreten lasse.

Dies kann rein rechnerisch gemacht werden, in unserm Falle: indem
man das allgemeine Glied der Σh mit (1 =)(1'h j + 0'h j), das der Σk mit
(1 =)(1'k i + 0'k i) multiplizirt, dann zerlegt, und auf die ersten Teile das
Schema 12×) von S. 121 anwendet. So kommt in der That:
Ui j = ai jbj jui j + ci idi ji j + Σh0'h jai hbh jui h + Σk0'i kci kdk jk j,
wo nun also in den beiden letzten Summen nur von einander und von ui j
verschieden bezeigerte u-Koeffizienten vorkommen. Diese werden im [Formel 4]

Schröder, Algebra der Relative. 35
<TEI>
  <text>
    <body>
      <div n="1">
        <div n="2">
          <pb facs="#f0559" n="545"/>
          <fw place="top" type="header">§ 29. Sichtbarmachen von Termen behufs Produktevaluation.</fw><lb/>
          <p>Das dual Entsprechende für die <hi rendition="#i">&#x03A3;</hi> zu statuiren überlassen wir<lb/>
zumeist dem Leser.</p><lb/>
          <p>Als Problem kann daher nur die Ermittelung solcher <hi rendition="#i">&#x03A0;</hi>, <hi rendition="#i">&#x03A3;</hi> ein<lb/>
Interesse bieten, bei denen im allgemeinen Term <hi rendition="#i">f</hi>(<hi rendition="#i">u</hi>) <hi rendition="#i">neben u</hi> oder <hi rendition="#i">u&#x0306;<lb/>
auch u&#x0304;</hi> oder <hi rendition="#i">u&#x0304;&#x0306;</hi> wesentlich vorkommt.</p><lb/>
          <p>Aufgaben dieser Art haben wir in 1) und 6) gelöst. Dieselben<lb/>
lassen sich durch nachher zur Kenntniss zu nehmende Methoden noch-<lb/>
mals verallgemeinern zu dem Satze<lb/>
111) <hi rendition="#et"><formula/>,</hi><lb/>
worin die Summen nach <hi rendition="#i">&#x03F0;</hi> und <hi rendition="#i">&#x03BB;</hi> sich über irgendwelche Reihen oder<lb/>
Gebiete von Suffixwerten, wie 1, 2, 3, &#x2026; erstrecken.</p><lb/>
          <p>Allgemeinern Erörterungen über die Methode wollen wir noch ein<lb/>
paar konkrete Beispiele vorausschicken, die nach Herleitung und Re-<lb/>
sultat von Interesse.</p><lb/>
          <p><hi rendition="#g">Aufgabe</hi> 22. Beim Anblick von 5) drängt sich als Gegenstück<lb/>
die Frage auf nach dem Werte der nächstfolgenden Produkte <hi rendition="#i">&#x03A0;</hi>, hinter<lb/>
die wir aber sogleich die sie beantwortende Wertangabe setzen:<lb/>
112) <formula/><lb/>
&#x2014; wobei das zweite Ergebniss sich auch durch Buchstabenvertauschung<lb/>
mit Rücksicht auf 109) aus dem ersten ableiten lässt.</p><lb/>
          <p>Behufs <hi rendition="#g">Herleitung</hi> und Beweises nennen wir <hi rendition="#i">x</hi> das gesuchte erste <hi rendition="#i">&#x03A0;</hi>,<lb/>
und <hi rendition="#i">U</hi> dessen allgemeinen Faktor, so ist:<lb/><hi rendition="#c"><formula/><hi rendition="#i">U<hi rendition="#sub">i j</hi></hi> = <hi rendition="#i">&#x03A3;<hi rendition="#sub">h</hi>a<hi rendition="#sub">i h</hi>b<hi rendition="#sub">h j</hi>u<hi rendition="#sub">i h</hi></hi> + <hi rendition="#i">&#x03A3;<hi rendition="#sub">k</hi>c<hi rendition="#sub">i k</hi>d<hi rendition="#sub">k j</hi>u&#x0304;<hi rendition="#sub">k j</hi></hi>.</hi></p><lb/>
          <p>Diesen Ausdruck &#x201E;<hi rendition="#i">entwickeln</hi>&#x201C; wir nun nach <hi rendition="#i">u<hi rendition="#sub">i j</hi></hi>, indem wir letztres<lb/>
(und sein Negat) sozusagen &#x201E;<hi rendition="#i">prominent machen</hi>&#x201C; oder &#x201E;<hi rendition="#i">in Evidenz bringen</hi>&#x201C;.<lb/>
Zu dem Ende ist nämlich erforderlich und ausreichend, dass man die Glieder<lb/>
oder Terme, in welchen <hi rendition="#i">u</hi> oder <hi rendition="#i">u&#x0304; mit diesem bestimmten</hi> Suffixe <hi rendition="#i">ij</hi> behaftet<lb/>
ist, überall wo sie sich finden können, hervor- oder <hi rendition="#i">heraustreten</hi> lasse.</p><lb/>
          <p>Dies kann rein rechnerisch gemacht werden, in unserm Falle: indem<lb/>
man das allgemeine Glied der <hi rendition="#i">&#x03A3;<hi rendition="#sub">h</hi></hi> mit (1 =)(1'<hi rendition="#i"><hi rendition="#sub">h j</hi></hi> + 0'<hi rendition="#i"><hi rendition="#sub">h j</hi></hi>), das der <hi rendition="#i">&#x03A3;<hi rendition="#sub">k</hi></hi> mit<lb/>
(1 =)(1'<hi rendition="#i"><hi rendition="#sub">k i</hi></hi> + 0'<hi rendition="#i"><hi rendition="#sub">k i</hi></hi>) multiplizirt, dann zerlegt, und auf die ersten Teile das<lb/>
Schema 12<hi rendition="#sub">×</hi>) von S. 121 anwendet. So kommt in der That:<lb/><hi rendition="#c"><hi rendition="#i">U<hi rendition="#sub">i j</hi></hi> = <hi rendition="#i">a<hi rendition="#sub">i j</hi>b<hi rendition="#sub">j j</hi>u<hi rendition="#sub">i j</hi></hi> + <hi rendition="#i">c<hi rendition="#sub">i i</hi>d<hi rendition="#sub">i j</hi>u&#x0304;<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>a<hi rendition="#sub">i h</hi>b<hi rendition="#sub">h j</hi>u<hi rendition="#sub">i h</hi></hi> + <hi rendition="#i">&#x03A3;<hi rendition="#sub">k</hi></hi>0'<hi rendition="#i"><hi rendition="#sub">i k</hi>c<hi rendition="#sub">i k</hi>d<hi rendition="#sub">k j</hi>u&#x0304;<hi rendition="#sub">k j</hi></hi>,</hi><lb/>
wo nun also in den beiden letzten Summen nur von einander und von <hi rendition="#i">u<hi rendition="#sub">i j</hi></hi><lb/>
verschieden bezeigerte <hi rendition="#i">u</hi>-Koeffizienten vorkommen. Diese werden im <formula/><lb/>
<fw place="bottom" type="sig"><hi rendition="#k">Schröder</hi>, Algebra der Relative. 35</fw><lb/></p>
        </div>
      </div>
    </body>
  </text>
</TEI>
[545/0559] § 29. Sichtbarmachen von Termen behufs Produktevaluation. Das dual Entsprechende für die Σ zu statuiren überlassen wir zumeist dem Leser. Als Problem kann daher nur die Ermittelung solcher Π, Σ ein Interesse bieten, bei denen im allgemeinen Term f(u) neben u oder ŭ auch ū oder ū̆ wesentlich vorkommt. Aufgaben dieser Art haben wir in 1) und 6) gelöst. Dieselben lassen sich durch nachher zur Kenntniss zu nehmende Methoden noch- mals verallgemeinern zu dem Satze 111) [FORMEL], worin die Summen nach ϰ und λ sich über irgendwelche Reihen oder Gebiete von Suffixwerten, wie 1, 2, 3, … erstrecken. Allgemeinern Erörterungen über die Methode wollen wir noch ein paar konkrete Beispiele vorausschicken, die nach Herleitung und Re- sultat von Interesse. Aufgabe 22. Beim Anblick von 5) drängt sich als Gegenstück die Frage auf nach dem Werte der nächstfolgenden Produkte Π, hinter die wir aber sogleich die sie beantwortende Wertangabe setzen: 112) [FORMEL] — wobei das zweite Ergebniss sich auch durch Buchstabenvertauschung mit Rücksicht auf 109) aus dem ersten ableiten lässt. Behufs Herleitung und Beweises nennen wir x das gesuchte erste Π, und U dessen allgemeinen Faktor, so ist: [FORMEL]Ui j = Σhai hbh jui h + Σkci kdk jūk j. Diesen Ausdruck „entwickeln“ wir nun nach ui j, indem wir letztres (und sein Negat) sozusagen „prominent machen“ oder „in Evidenz bringen“. Zu dem Ende ist nämlich erforderlich und ausreichend, dass man die Glieder oder Terme, in welchen u oder ū mit diesem bestimmten Suffixe ij behaftet ist, überall wo sie sich finden können, hervor- oder heraustreten lasse. Dies kann rein rechnerisch gemacht werden, in unserm Falle: indem man das allgemeine Glied der Σh mit (1 =)(1'h j + 0'h j), das der Σk mit (1 =)(1'k i + 0'k i) multiplizirt, dann zerlegt, und auf die ersten Teile das Schema 12×) von S. 121 anwendet. So kommt in der That: Ui j = ai jbj jui j + ci idi jūi j + Σh0'h jai hbh jui h + Σk0'i kci kdk jūk j, wo nun also in den beiden letzten Summen nur von einander und von ui j verschieden bezeigerte u-Koeffizienten vorkommen. Diese werden im [FORMEL] Schröder, Algebra der Relative. 35

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