Anmelden (DTAQ) DWDS     dlexDB     CLARIN-D

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

Bild:
<< vorherige Seite
nächste Seite >>
Anhang 3.

Es empfiehlt sich, diese Faktoren mit numerirten Buchstaben zu
bezeichnen, sie etwa
a1, a2, a3, ... an -- 1, an
zu nennen.

Das Th. 13x) zeigte uns, dass die Klammerstellung bei drei
Faktoren gleichgültig ist. Dazu gilt der

Satz 13)a. Wenn die Klammerstellung bei weniger als n Faktoren
irrelevant ist, so muss sie es auch bei n Faktoren sein.

Beweis. Nach der Voraussetzung ist es bei 3, 4, .. bis inclusive
n -- 1 Faktoren bereits als für den Wert des Ergebnisses gleichgültig
erkannt, in welcher Weise man dieselben vermittelst Klammern so in
Gruppen scheidet, dass ein Ausdruck entsteht, welcher durch lauter
Multiplikationen von immer nur zwei Faktoren hergestellt ist. Der
laut Annahme stets übereinstimmende Wert des Ergebnisses für alle
die verschiedenen hierbei noch denkbaren Bildungsweisen des Ausdrucks
kann demnach schon ohne jede Klammer geschrieben und schlechtweg
das "Produkt" der in dem Ausdruck vorkommenden Symbole oder
"Faktoren" (für die bestimmte Reihenfolge in der sie auf der Zeile
stehen) genannt werden.

Es ist dann zu zeigen, dass auf Grund der Theoreme 13x) und
16x) dasselbe auch für n Symbole zutreffen muss, wenn diese in be-
stimmter Reihenfolge angeschrieben und dann irgendwie mittelst
"binärer" Multiplikation (d. i. eben Multiplikation von immer nur
zwei Faktoren) zu einem Produkte vereinigt werden.

Nun kann der ganze Ausdruck in zwei Faktoren mittelst Klammern
nur auf folgende Arten gespalten werden, für welche wir die zuge-
hörigen Ergebnisse mit den linkerhand eingeführten Namen benennen
wollen:
x1 = a1 (a2 a3 ... an)
x2 = (a1 a2) (a3 ... an)
. . . . . . . . . . . .
xr = (a1 a2 ... ar) (ar + 1 ... an)
. . . . . . . . . . . .
xn -- 1 = (a1 a2 ... an -- 1) an,
wo r irgend eine der Indexzahlen von 1 bis n -- 1 bedeuten mag,
mithin 1 @ r n -- 1 zu denken ist.

Die Bildungsweise für die beiden Hauptfaktoren oder Teilprodukte:
a1 a2 ... ar = sr, ar + 1 ar + 2 ... an = tr
von irgend einem dieser Ausdrücke

Anhang 3.

Es empfiehlt sich, diese Faktoren mit numerirten Buchstaben zu
bezeichnen, sie etwa
a1, a2, a3, … an — 1, an
zu nennen.

Das Th. 13×) zeigte uns, dass die Klammerstellung bei drei
Faktoren gleichgültig ist. Dazu gilt der

Satz 13)a. Wenn die Klammerstellung bei weniger als n Faktoren
irrelevant ist, so muss sie es auch bei n Faktoren sein.

Beweis. Nach der Voraussetzung ist es bei 3, 4, ‥ bis inclusive
n — 1 Faktoren bereits als für den Wert des Ergebnisses gleichgültig
erkannt, in welcher Weise man dieselben vermittelst Klammern so in
Gruppen scheidet, dass ein Ausdruck entsteht, welcher durch lauter
Multiplikationen von immer nur zwei Faktoren hergestellt ist. Der
laut Annahme stets übereinstimmende Wert des Ergebnisses für alle
die verschiedenen hierbei noch denkbaren Bildungsweisen des Ausdrucks
kann demnach schon ohne jede Klammer geschrieben und schlechtweg
das „Produkt“ der in dem Ausdruck vorkommenden Symbole oder
„Faktoren“ (für die bestimmte Reihenfolge in der sie auf der Zeile
stehen) genannt werden.

Es ist dann zu zeigen, dass auf Grund der Theoreme 13×) und
16×) dasselbe auch für n Symbole zutreffen muss, wenn diese in be-
stimmter Reihenfolge angeschrieben und dann irgendwie mittelst
„binärer“ Multiplikation (d. i. eben Multiplikation von immer nur
zwei Faktoren) zu einem Produkte vereinigt werden.

Nun kann der ganze Ausdruck in zwei Faktoren mittelst Klammern
nur auf folgende Arten gespalten werden, für welche wir die zuge-
hörigen Ergebnisse mit den linkerhand eingeführten Namen benennen
wollen:
x1 = a1 (a2 a3 … an)
x2 = (a1 a2) (a3 … an)
. . . . . . . . . . . .
xr = (a1 a2 … ar) (ar + 1 … an)
. . . . . . . . . . . .
xn — 1 = (a1 a2 … an — 1) an,
wo r irgend eine der Indexzahlen von 1 bis n — 1 bedeuten mag,
mithin 1  r ≦ n — 1 zu denken ist.

Die Bildungsweise für die beiden Hauptfaktoren oder Teilprodukte:
a1 a2 … ar = sr, ar + 1 ar + 2 … an = tr
von irgend einem dieser Ausdrücke

<TEI>
  <text>
    <body>
      <div n="1">
        <div n="2">
          <pb facs="#f0630" n="610"/>
          <fw place="top" type="header">Anhang 3.</fw><lb/>
          <p>Es empfiehlt sich, diese Faktoren mit numerirten Buchstaben zu<lb/>
bezeichnen, sie etwa<lb/><hi rendition="#c"><hi rendition="#i">a</hi><hi rendition="#sub">1</hi>, <hi rendition="#i">a</hi><hi rendition="#sub">2</hi>, <hi rendition="#i">a</hi><hi rendition="#sub">3</hi>, &#x2026; <hi rendition="#i">a</hi><hi rendition="#sub"><hi rendition="#i">n</hi> &#x2014; 1</hi>, <hi rendition="#i">a<hi rendition="#sub">n</hi></hi></hi><lb/>
zu nennen.</p><lb/>
          <p>Das Th. 13<hi rendition="#sub">×</hi>) zeigte uns, dass die Klammerstellung bei drei<lb/>
Faktoren gleichgültig ist. Dazu gilt der</p><lb/>
          <p><hi rendition="#g">Satz</hi> 13)<hi rendition="#sup">a</hi>. <hi rendition="#i">Wenn die Klammerstellung bei weniger als n Faktoren<lb/>
irrelevant ist</hi>, <hi rendition="#i">so muss sie es auch bei n Faktoren sein</hi>.</p><lb/>
          <p><hi rendition="#g">Beweis</hi>. Nach der Voraussetzung ist es bei 3, 4, &#x2025; bis inclusive<lb/><hi rendition="#i">n</hi> &#x2014; 1 Faktoren bereits als für den Wert des Ergebnisses gleichgültig<lb/>
erkannt, in welcher Weise man dieselben vermittelst Klammern so in<lb/>
Gruppen scheidet, dass ein Ausdruck entsteht, welcher durch lauter<lb/>
Multiplikationen von immer nur zwei Faktoren hergestellt ist. Der<lb/>
laut Annahme stets übereinstimmende Wert des Ergebnisses für alle<lb/>
die verschiedenen hierbei noch denkbaren Bildungsweisen des Ausdrucks<lb/>
kann demnach schon <hi rendition="#i">ohne jede Klammer</hi> geschrieben und schlechtweg<lb/>
das &#x201E;<hi rendition="#i">Produkt</hi>&#x201C; der in dem Ausdruck vorkommenden Symbole oder<lb/>
&#x201E;Faktoren&#x201C; (für die bestimmte Reihenfolge in der sie auf der Zeile<lb/>
stehen) genannt werden.</p><lb/>
          <p>Es ist dann zu zeigen, dass auf Grund der Theoreme 13<hi rendition="#sub">×</hi>) und<lb/>
16<hi rendition="#sub">×</hi>) dasselbe auch für <hi rendition="#i">n</hi> Symbole zutreffen muss, wenn diese in be-<lb/>
stimmter Reihenfolge angeschrieben und dann irgendwie mittelst<lb/>
&#x201E;binärer&#x201C; Multiplikation (d. i. eben Multiplikation von immer nur<lb/>
zwei Faktoren) zu einem Produkte vereinigt werden.</p><lb/>
          <p>Nun kann der ganze Ausdruck in zwei Faktoren mittelst Klammern<lb/>
nur auf folgende Arten gespalten werden, für welche wir die zuge-<lb/>
hörigen Ergebnisse mit den linkerhand eingeführten Namen benennen<lb/>
wollen:<lb/><hi rendition="#et"><hi rendition="#i">x</hi><hi rendition="#sub">1</hi> = <hi rendition="#i">a</hi><hi rendition="#sub">1</hi> (<hi rendition="#i">a</hi><hi rendition="#sub">2</hi> <hi rendition="#i">a</hi><hi rendition="#sub">3</hi> &#x2026; <hi rendition="#i">a<hi rendition="#sub">n</hi></hi>)<lb/><hi rendition="#i">x</hi><hi rendition="#sub">2</hi> = (<hi rendition="#i">a</hi><hi rendition="#sub">1</hi> <hi rendition="#i">a</hi><hi rendition="#sub">2</hi>) (<hi rendition="#i">a</hi><hi rendition="#sub">3</hi> &#x2026; <hi rendition="#i">a<hi rendition="#sub">n</hi></hi>)<lb/>
. . . . . . . . . . . .<lb/><hi rendition="#i">x<hi rendition="#sub">r</hi></hi> = (<hi rendition="#i">a</hi><hi rendition="#sub">1</hi> <hi rendition="#i">a</hi><hi rendition="#sub">2</hi> &#x2026; <hi rendition="#i">a<hi rendition="#sub">r</hi></hi>) (<hi rendition="#i">a</hi><hi rendition="#sub"><hi rendition="#i">r</hi> + 1</hi> &#x2026; <hi rendition="#i">a<hi rendition="#sub">n</hi></hi>)<lb/>
. . . . . . . . . . . .<lb/><hi rendition="#i">x</hi><hi rendition="#sub"><hi rendition="#i">n</hi> &#x2014; 1</hi> = (<hi rendition="#i">a</hi><hi rendition="#sub">1</hi> <hi rendition="#i">a</hi><hi rendition="#sub">2</hi> &#x2026; <hi rendition="#i">a</hi><hi rendition="#sub"><hi rendition="#i">n</hi> &#x2014; 1</hi>) <hi rendition="#i">a<hi rendition="#sub">n</hi></hi>,</hi><lb/>
wo <hi rendition="#i">r</hi> irgend eine der Indexzahlen von 1 bis <hi rendition="#i">n</hi> &#x2014; 1 bedeuten mag,<lb/>
mithin 1 &#xFFFC; <hi rendition="#i">r</hi> &#x2266; <hi rendition="#i">n</hi> &#x2014; 1 zu denken ist.</p><lb/>
          <p>Die Bildungsweise für die beiden Hauptfaktoren oder Teilprodukte:<lb/><hi rendition="#c"><hi rendition="#i">a</hi><hi rendition="#sub">1</hi><hi rendition="#i">a</hi><hi rendition="#sub">2</hi> &#x2026; <hi rendition="#i">a<hi rendition="#sub">r</hi></hi> = <hi rendition="#i">s<hi rendition="#sub">r</hi></hi>, <hi rendition="#i">a</hi><hi rendition="#sub"><hi rendition="#i">r</hi> + 1</hi> <hi rendition="#i">a</hi><hi rendition="#sub"><hi rendition="#i">r</hi> + 2</hi> &#x2026; <hi rendition="#i">a<hi rendition="#sub">n</hi></hi> = <hi rendition="#i">t<hi rendition="#sub">r</hi></hi></hi><lb/>
von irgend einem dieser Ausdrücke<lb/></p>
        </div>
      </div>
    </body>
  </text>
</TEI>
[610/0630] Anhang 3. Es empfiehlt sich, diese Faktoren mit numerirten Buchstaben zu bezeichnen, sie etwa a1, a2, a3, … an — 1, an zu nennen. Das Th. 13×) zeigte uns, dass die Klammerstellung bei drei Faktoren gleichgültig ist. Dazu gilt der Satz 13)a. Wenn die Klammerstellung bei weniger als n Faktoren irrelevant ist, so muss sie es auch bei n Faktoren sein. Beweis. Nach der Voraussetzung ist es bei 3, 4, ‥ bis inclusive n — 1 Faktoren bereits als für den Wert des Ergebnisses gleichgültig erkannt, in welcher Weise man dieselben vermittelst Klammern so in Gruppen scheidet, dass ein Ausdruck entsteht, welcher durch lauter Multiplikationen von immer nur zwei Faktoren hergestellt ist. Der laut Annahme stets übereinstimmende Wert des Ergebnisses für alle die verschiedenen hierbei noch denkbaren Bildungsweisen des Ausdrucks kann demnach schon ohne jede Klammer geschrieben und schlechtweg das „Produkt“ der in dem Ausdruck vorkommenden Symbole oder „Faktoren“ (für die bestimmte Reihenfolge in der sie auf der Zeile stehen) genannt werden. Es ist dann zu zeigen, dass auf Grund der Theoreme 13×) und 16×) dasselbe auch für n Symbole zutreffen muss, wenn diese in be- stimmter Reihenfolge angeschrieben und dann irgendwie mittelst „binärer“ Multiplikation (d. i. eben Multiplikation von immer nur zwei Faktoren) zu einem Produkte vereinigt werden. Nun kann der ganze Ausdruck in zwei Faktoren mittelst Klammern nur auf folgende Arten gespalten werden, für welche wir die zuge- hörigen Ergebnisse mit den linkerhand eingeführten Namen benennen wollen: x1 = a1 (a2 a3 … an) x2 = (a1 a2) (a3 … an) . . . . . . . . . . . . xr = (a1 a2 … ar) (ar + 1 … an) . . . . . . . . . . . . xn — 1 = (a1 a2 … an — 1) an, wo r irgend eine der Indexzahlen von 1 bis n — 1 bedeuten mag, mithin 1  r ≦ n — 1 zu denken ist. Die Bildungsweise für die beiden Hauptfaktoren oder Teilprodukte: a1 a2 … ar = sr, ar + 1 ar + 2 … an = tr von irgend einem dieser Ausdrücke

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_logik01_1890
URL zu dieser Seite: https://www.deutschestextarchiv.de/schroeder_logik01_1890/630
Zitationshilfe: Schröder, Ernst: Vorlesungen über die Algebra der Logik. Bd. 1. Leipzig, 1890, S. 610. In: Deutsches Textarchiv <https://www.deutschestextarchiv.de/schroeder_logik01_1890/630>, abgerufen am 03.12.2024.