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

§ 29. Produkte und Summen zweiter Stufe.

Dass in der That:
[Formel 1] ist, erhellt daraus, dass für l = k dies P gleich 1, für l k aber gleich
0 sein muss, letzteres, weil dann unter den (d. h. unter allen erdenklichen)
u sich auch solche finden, für welche uh k = 0 und zugleich uh l = 1 also
auch unh l = 0 ist, mithin ein Faktor des P verschwindet. Mit Obigem also
ist gefunden:
y = i ; (a j 1').

Im allgemeinen Falle lassen sich (wieder) zwei Grenzen finden, zwischen
welchen das unbekannte (jedoch völlig bestimmte) Relativ x jedenfalls liegt.
Diese Grenzen vorweg zu ermitteln, ist aus zwei Gründen verlohnend.
Einmal liefern sie uns -- gleichwie die vorausgeschickten Partikularfälle --
eine schätzbare Kontrole für den nachher mittelst ganz neuer Methode zu
gewinnenden exakten Wert des x. Sodann auch werden wir hierbei durch
einen Zufall geführt zur Entdeckung merkwürdiger Sätze.

Nach 14) haben wir: [Formel 2] und da, nach dem
Aussagenschema o) S. 41, SP PS ist, so muss sein:
[Formel 3] -- vergleiche 26) des § 25, also nach 12): 1 ; (a j 1')b x, was die frag-
liche untere Grenze kund gibt.

Um eine obere Grenze zu finden, schreiben wir ebenfalls nach 14):
[Formel 4] . Hierin ist es nun nicht gestattet, die
geschweifte Klammer zu ignoriren. Ihre Unterdrückung läuft vielmehr auf
eine Verschiebung derselben hinaus und muss Übergeordnetes liefern nach
dem Schema {Pa} ; b Pa ; b, welches = P{a ; b} bedeutet. Folglich ist:
[Formel 5] -- cf. Aufg. 8. Aber wegen i ; b = i · 1 ; b und 1 ; i1' = i ; 1' = i lässt sich
das erste Glied umwandeln in i · 1 ; b und entsteht:
xPii ; (1' + a ; b) · (1 ; b + Pii ; a ; b) = {0 j (1' + a ; b)}(1 ; b + 0 j a ; b) =
= 0 j a ; b + {0 j (a ; b + 1')} · 1 ; b.
Hierin ist jedoch das erste Glied, als im zweiten enthalten, auch unter-
drückbar; denn wir haben sowol 0 j a ; b 0 j (a ; b + 1'), als auch 0 j a ; b
a ; b 1 ; b. Es bleibt mithin das zweite Glied als die gesuchte obere
Grenze und ist im Ganzen sichergestellt, dass sein muss:
1 ; (a j 1')b x {0 j (a ; b + 1')} · 1 ; b = 0 j (a ; b + 1 ; b · 1').

Versuche, den exakten Wert unsres x zu ermitteln, müssen daran
scheitern, dass man beim letzten Ausdruck des x das Pi auf keine Weise
aus der geschweiften Klammer in äquivalenter Transformation heraus-
zubringen vermag, und ebensowenig imstande ist, beim erstern Ausdrucke

§ 29. Produkte und Summen zweiter Stufe.

Dass in der That:
[Formel 1] ist, erhellt daraus, dass für l = k dies Π gleich 1, für l ≠ k aber gleich
0 sein muss, letzteres, weil dann unter den (d. h. unter allen erdenklichen)
u sich auch solche finden, für welche uh k = 0 und zugleich uh l = 1 also
auch ūh l = 0 ist, mithin ein Faktor des Π verschwindet. Mit Obigem also
ist gefunden:
y = ĭ ; (ă ɟ 1').

Im allgemeinen Falle lassen sich (wieder) zwei Grenzen finden, zwischen
welchen das unbekannte (jedoch völlig bestimmte) Relativ x jedenfalls liegt.
Diese Grenzen vorweg zu ermitteln, ist aus zwei Gründen verlohnend.
Einmal liefern sie uns — gleichwie die vorausgeschickten Partikularfälle —
eine schätzbare Kontrole für den nachher mittelst ganz neuer Methode zu
gewinnenden exakten Wert des x. Sodann auch werden wir hierbei durch
einen Zufall geführt zur Entdeckung merkwürdiger Sätze.

Nach 14) haben wir: [Formel 2] und da, nach dem
Aussagenschema ο) S. 41, ΣΠ ⋹ ΠΣ ist, so muss sein:
[Formel 3] — vergleiche 26) des § 25, also nach 12): 1 ; (ă ɟ 1')b ⋹ x, was die frag-
liche untere Grenze kund gibt.

Um eine obere Grenze zu finden, schreiben wir ebenfalls nach 14):
[Formel 4] . Hierin ist es nun nicht gestattet, die
geschweifte Klammer zu ignoriren. Ihre Unterdrückung läuft vielmehr auf
eine Verschiebung derselben hinaus und muss Übergeordnetes liefern nach
dem Schema {Πa} ; b ⋹ Πa ; b, welches = Π{a ; b} bedeutet. Folglich ist:
[Formel 5] — cf. Aufg. 8. Aber wegen i ; b = i · 1 ; b und 1 ; i1' = ĭ ; 1' = ĭ lässt sich
das erste Glied umwandeln in ĭ · 1 ; b und entsteht:
x⋹Πiĭ ; (1' + a ; b) · (1 ; b + Πiĭ ; a ; b) = {0 ɟ (1' + a ; b)}(1 ; b + 0 ɟ a ; b) =
= 0 ɟ a ; b + {0 ɟ (a ; b + 1')} · 1 ; b.
Hierin ist jedoch das erste Glied, als im zweiten enthalten, auch unter-
drückbar; denn wir haben sowol 0 ɟ a ; b ⋹ 0 ɟ (a ; b + 1'), als auch 0 ɟ a ; b ⋹
⋹ a ; b ⋹ 1 ; b. Es bleibt mithin das zweite Glied als die gesuchte obere
Grenze und ist im Ganzen sichergestellt, dass sein muss:
1 ; (ă ɟ 1')b ⋹ x ⋹ {0 ɟ (a ; b + 1')} · 1 ; b = 0 ɟ (a ; b + 1 ; b · 1').

Versuche, den exakten Wert unsres x zu ermitteln, müssen daran
scheitern, dass man beim letzten Ausdruck des x das Πi auf keine Weise
aus der geschweiften Klammer in äquivalenter Transformation heraus-
zubringen vermag, und ebensowenig imstande ist, beim erstern Ausdrucke

<TEI>
  <text>
    <body>
      <div n="1">
        <div n="2">
          <p><pb facs="#f0525" n="511"/><fw place="top" type="header">§ 29. Produkte und Summen zweiter Stufe.</fw><lb/>
Dass in der That:<lb/><hi rendition="#c"><formula/></hi> ist, erhellt daraus, dass für <hi rendition="#i">l</hi> = <hi rendition="#i">k</hi> dies <hi rendition="#i">&#x03A0;</hi> gleich 1, für <hi rendition="#i">l</hi> &#x2260; <hi rendition="#i">k</hi> aber gleich<lb/>
0 sein muss, letzteres, weil dann unter den (d. h. unter allen erdenklichen)<lb/><hi rendition="#i">u</hi> sich auch solche finden, für welche <hi rendition="#i">u<hi rendition="#sub">h k</hi></hi> = 0 und zugleich <hi rendition="#i">u<hi rendition="#sub">h l</hi></hi> = 1 also<lb/>
auch <hi rendition="#i">u&#x0304;<hi rendition="#sub">h l</hi></hi> = 0 ist, mithin ein Faktor des <hi rendition="#i">&#x03A0;</hi> verschwindet. Mit Obigem also<lb/>
ist gefunden:<lb/><hi rendition="#c"><hi rendition="#i">y</hi> = <hi rendition="#i">i&#x0306;</hi> ; (<hi rendition="#i">a&#x0306;</hi> &#x025F; 1').</hi></p><lb/>
          <p>Im allgemeinen Falle lassen sich (wieder) zwei Grenzen finden, zwischen<lb/>
welchen das unbekannte (jedoch völlig bestimmte) Relativ <hi rendition="#i">x</hi> jedenfalls liegt.<lb/>
Diese Grenzen vorweg zu ermitteln, ist aus zwei Gründen verlohnend.<lb/>
Einmal liefern sie uns &#x2014; gleichwie die vorausgeschickten Partikularfälle &#x2014;<lb/>
eine schätzbare Kontrole für den nachher mittelst ganz neuer Methode zu<lb/>
gewinnenden exakten Wert des <hi rendition="#i">x</hi>. Sodann auch werden wir hierbei durch<lb/>
einen Zufall geführt zur Entdeckung merkwürdiger Sätze.</p><lb/>
          <p>Nach 14) haben wir: <formula/> und da, nach dem<lb/>
Aussagenschema <hi rendition="#i">&#x03BF;</hi>) S. 41, <hi rendition="#i">&#x03A3;&#x03A0;</hi> &#x22F9; <hi rendition="#i">&#x03A0;&#x03A3;</hi> ist, so muss sein:<lb/><hi rendition="#c"><formula/></hi> &#x2014; vergleiche 26) des § 25, also nach 12): 1 ; (<hi rendition="#i">a&#x0306;</hi> &#x025F; 1')<hi rendition="#i">b</hi> &#x22F9; <hi rendition="#i">x</hi>, was die frag-<lb/>
liche <hi rendition="#i">untere</hi> Grenze kund gibt.</p><lb/>
          <p>Um eine obere Grenze zu finden, schreiben wir ebenfalls nach 14):<lb/><formula/>. Hierin ist es nun nicht gestattet, die<lb/>
geschweifte Klammer zu ignoriren. Ihre Unterdrückung läuft vielmehr auf<lb/>
eine Verschiebung derselben hinaus und muss Übergeordnetes liefern nach<lb/>
dem Schema {<hi rendition="#i">&#x03A0;a</hi>} ; <hi rendition="#i">b</hi> &#x22F9; <hi rendition="#i">&#x03A0;a</hi> ; <hi rendition="#i">b</hi>, welches = <hi rendition="#i">&#x03A0;</hi>{<hi rendition="#i">a</hi> ; <hi rendition="#i">b</hi>} bedeutet. Folglich ist:<lb/><hi rendition="#c"><formula/></hi> &#x2014; cf. Aufg. 8. Aber wegen <hi rendition="#i">i</hi> ; <hi rendition="#i">b</hi> = <hi rendition="#i">i</hi> · 1 ; <hi rendition="#i">b</hi> und 1 ; <hi rendition="#i">i</hi>1' = <hi rendition="#i">i&#x0306;</hi> ; 1' = <hi rendition="#i">i&#x0306;</hi> lässt sich<lb/>
das erste Glied umwandeln in <hi rendition="#i">i&#x0306;</hi> · 1 ; <hi rendition="#i">b</hi> und entsteht:<lb/><hi rendition="#et"><hi rendition="#i">x</hi>&#x22F9;<hi rendition="#i">&#x03A0;<hi rendition="#sub">i</hi>i&#x0306;</hi> ; (1' + <hi rendition="#i">a</hi> ; <hi rendition="#i">b</hi>) · (1 ; <hi rendition="#i">b</hi> + <hi rendition="#i">&#x03A0;<hi rendition="#sub">i</hi>i&#x0306;</hi> ; <hi rendition="#i">a</hi> ; <hi rendition="#i">b</hi>) = {0 &#x025F; (1' + <hi rendition="#i">a</hi> ; <hi rendition="#i">b</hi>)}(1 ; <hi rendition="#i">b</hi> + 0 &#x025F; <hi rendition="#i">a</hi> ; <hi rendition="#i">b</hi>) =<lb/>
= 0 &#x025F; <hi rendition="#i">a</hi> ; <hi rendition="#i">b</hi> + {0 &#x025F; (<hi rendition="#i">a</hi> ; <hi rendition="#i">b</hi> + 1')} · 1 ; <hi rendition="#i">b</hi>.</hi><lb/>
Hierin ist jedoch das erste Glied, als im zweiten enthalten, auch unter-<lb/>
drückbar; denn wir haben sowol 0 &#x025F; <hi rendition="#i">a</hi> ; <hi rendition="#i">b</hi> &#x22F9; 0 &#x025F; (<hi rendition="#i">a</hi> ; <hi rendition="#i">b</hi> + 1'), als auch 0 &#x025F; <hi rendition="#i">a</hi> ; <hi rendition="#i">b</hi> &#x22F9;<lb/>
&#x22F9; <hi rendition="#i">a</hi> ; <hi rendition="#i">b</hi> &#x22F9; 1 ; <hi rendition="#i">b</hi>. Es bleibt mithin das zweite Glied als die gesuchte <hi rendition="#i">obere</hi><lb/>
Grenze und ist im Ganzen sichergestellt, dass sein muss:<lb/><hi rendition="#c">1 ; (<hi rendition="#i">a&#x0306;</hi> &#x025F; 1')<hi rendition="#i">b</hi> &#x22F9; <hi rendition="#i">x</hi> &#x22F9; {0 &#x025F; (<hi rendition="#i">a</hi> ; <hi rendition="#i">b</hi> + 1')} · 1 ; <hi rendition="#i">b</hi> = 0 &#x025F; (<hi rendition="#i">a</hi> ; <hi rendition="#i">b</hi> + 1 ; <hi rendition="#i">b</hi> · 1').</hi></p><lb/>
          <p>Versuche, den exakten Wert unsres <hi rendition="#i">x</hi> zu ermitteln, müssen daran<lb/>
scheitern, dass man beim letzten Ausdruck des <hi rendition="#i">x</hi> das <hi rendition="#i">&#x03A0;<hi rendition="#sub">i</hi></hi> auf keine Weise<lb/>
aus der geschweiften Klammer in äquivalenter Transformation heraus-<lb/>
zubringen vermag, und ebensowenig imstande ist, beim erstern Ausdrucke<lb/></p>
        </div>
      </div>
    </body>
  </text>
</TEI>

[511/0525] § 29. Produkte und Summen zweiter Stufe. Dass in der That: [FORMEL] ist, erhellt daraus, dass für l = k dies Π gleich 1, für l ≠ k aber gleich 0 sein muss, letzteres, weil dann unter den (d. h. unter allen erdenklichen) u sich auch solche finden, für welche uh k = 0 und zugleich uh l = 1 also auch ūh l = 0 ist, mithin ein Faktor des Π verschwindet. Mit Obigem also ist gefunden: y = ĭ ; (ă ɟ 1'). Im allgemeinen Falle lassen sich (wieder) zwei Grenzen finden, zwischen welchen das unbekannte (jedoch völlig bestimmte) Relativ x jedenfalls liegt. Diese Grenzen vorweg zu ermitteln, ist aus zwei Gründen verlohnend. Einmal liefern sie uns — gleichwie die vorausgeschickten Partikularfälle — eine schätzbare Kontrole für den nachher mittelst ganz neuer Methode zu gewinnenden exakten Wert des x. Sodann auch werden wir hierbei durch einen Zufall geführt zur Entdeckung merkwürdiger Sätze. Nach 14) haben wir: [FORMEL] und da, nach dem Aussagenschema ο) S. 41, ΣΠ ⋹ ΠΣ ist, so muss sein: [FORMEL] — vergleiche 26) des § 25, also nach 12): 1 ; (ă ɟ 1')b ⋹ x, was die frag- liche untere Grenze kund gibt. Um eine obere Grenze zu finden, schreiben wir ebenfalls nach 14): [FORMEL]. Hierin ist es nun nicht gestattet, die geschweifte Klammer zu ignoriren. Ihre Unterdrückung läuft vielmehr auf eine Verschiebung derselben hinaus und muss Übergeordnetes liefern nach dem Schema {Πa} ; b ⋹ Πa ; b, welches = Π{a ; b} bedeutet. Folglich ist: [FORMEL] — cf. Aufg. 8. Aber wegen i ; b = i · 1 ; b und 1 ; i1' = ĭ ; 1' = ĭ lässt sich das erste Glied umwandeln in ĭ · 1 ; b und entsteht: x⋹Πiĭ ; (1' + a ; b) · (1 ; b + Πiĭ ; a ; b) = {0 ɟ (1' + a ; b)}(1 ; b + 0 ɟ a ; b) = = 0 ɟ a ; b + {0 ɟ (a ; b + 1')} · 1 ; b. Hierin ist jedoch das erste Glied, als im zweiten enthalten, auch unter- drückbar; denn wir haben sowol 0 ɟ a ; b ⋹ 0 ɟ (a ; b + 1'), als auch 0 ɟ a ; b ⋹ ⋹ a ; b ⋹ 1 ; b. Es bleibt mithin das zweite Glied als die gesuchte obere Grenze und ist im Ganzen sichergestellt, dass sein muss: 1 ; (ă ɟ 1')b ⋹ x ⋹ {0 ɟ (a ; b + 1')} · 1 ; b = 0 ɟ (a ; b + 1 ; b · 1'). Versuche, den exakten Wert unsres x zu ermitteln, müssen daran scheitern, dass man beim letzten Ausdruck des x das Πi auf keine Weise aus der geschweiften Klammer in äquivalenter Transformation heraus- zubringen vermag, und ebensowenig imstande ist, beim erstern Ausdrucke

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