Anmelden (DTAQ) DWDS     dlexDB     CLARIN-D

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

Bild:
<< vorherige Seite
nächste Seite >>

§ 39. Die denkbaren Umfangsbeziehungen überhaupt.
wären nach jenen vier in ihrer Gesamtheit vorkommenden Symbolen. Wegen
ihrer, sechzehn Millionen übersteigenden Anzahl (16 777 216) würde das
aber eine übergrosse Geduldsprobe werden.

Besser verfahren wir in der folgenden Weise, einen Gedankengang
verwirklichend, auf welchen bei einem analogen Problem schon Jevons9
verfallen ist (vergl. Bd. 1, Anhang 6), dessen noch verfehlte Anwendung
aber von Miss Ladd1 zuerst richtig gestellt worden.

Behufs Ermittelung der Zahl x "entwickeln" wir den Elementar-
fall a (selbst) nach den vier Symbolen a, h, k, l, aus deren Kombi-
nationen -- wenn man will ausschliesslich -- die Unterfälle des a sich
zusammensetzen. Zu dem Ende braucht man nur a zu multipliziren
mit der Entwickelung der 1 nach den drei letztern Symbolen. Wegen
h k l = 0 fällt aber von den acht Gliedern (Konstituenten) dieser Ent-
wickelung das erste fort, und bleibt:
a = a (h k l1 + h k1 l + h k1 l1 + h1 k l + h1 k l1 + h1 k1 l + h1 k1 l1),
was mit Rücksicht auf die angeführte Relation noch weiter sich ver-
einfachen lässt zu:
a = a (h k + h l + h k1 l1 + k l + h1 k l1 + h1 k1 l + h1 k1 l1)
und mit Rücksicht auf die mehrerwähnten Hülfsrelationen auch ge-
schrieben werden könnte in einer der beiden Formen:
a = h k + h l + h k1 l1 + k l + h1 k l1 + h1 k1 l a + h1 k1 l1 a,
a = h k + h n + h k1 n1 + k m + h1 k m1 + h1 k1 l a + h1 k1 l1 a.
Bei diesen Summen sind wir nun sicher, dass sie "reduzirte", dass
ihre Glieder unter sich "disjunkt" sind.

Die sieben Glieder sind auch die Konstituenten der Entwickelung
jedes erdenklichen Unterfalles von a nach ebendiesen Symbolen h, k, l.

Die Logik des Umfanges mit ihren mannigfachen Beziehungs-
zeichen vermochte aber, wie wir gesehen haben, nur solche Unter-
fälle von a zu konstruiren, auszusprechen, zu beschreiben, in deren
Ausdruck lediglich die Symbole a, h, k, l auftreten. (Die Verwendung
der m und n liess sich ja im Elementarfall a umgehen, war daselbst
eine blos fakultative.) Also: jeder angebbare Unterfall von a ist eine
Funktion lediglich von a, h, k und l, in deren Ausdruck ausser diesen
vier Buchstaben -- die drei letztern negirt oder unnegirt genommen
-- keine weiteren Buchstabensymbole vorkommen.

Entwickelt nach allen vier Argumenten wird er a in jedem Gliede
zum ausdrücklichen oder stillschweigenden Faktor haben -- letzteres inso-
fern bei h und k der Faktor als ein selbstverständlicher unterdrückt
werden durfte -- und zwar weil nach Th. 20x) a äquivalent ist: x = x a

10*

§ 39. Die denkbaren Umfangsbeziehungen überhaupt.
wären nach jenen vier in ihrer Gesamtheit vorkommenden Symbolen. Wegen
ihrer, sechzehn Millionen übersteigenden Anzahl (16 777 216) würde das
aber eine übergrosse Geduldsprobe werden.

Besser verfahren wir in der folgenden Weise, einen Gedankengang
verwirklichend, auf welchen bei einem analogen Problem schon Jevons9
verfallen ist (vergl. Bd. 1, Anhang 6), dessen noch verfehlte Anwendung
aber von Miss Ladd1 zuerst richtig gestellt worden.

Behufs Ermittelung der Zahl x „entwickeln“ wir den Elementar-
fall a (selbst) nach den vier Symbolen a, h, k, l, aus deren Kombi-
nationen — wenn man will ausschliesslich — die Unterfälle des a sich
zusammensetzen. Zu dem Ende braucht man nur a zu multipliziren
mit der Entwickelung der 1 nach den drei letztern Symbolen. Wegen
h k l = 0 fällt aber von den acht Gliedern (Konstituenten) dieser Ent-
wickelung das erste fort, und bleibt:
a = a (h k l1 + h k1 l + h k1 l1 + h1 k l + h1 k l1 + h1 k1 l + h1 k1 l1),
was mit Rücksicht auf die angeführte Relation noch weiter sich ver-
einfachen lässt zu:
a = a (h k + h l + h k1 l1 + k l + h1 k l1 + h1 k1 l + h1 k1 l1)
und mit Rücksicht auf die mehrerwähnten Hülfsrelationen auch ge-
schrieben werden könnte in einer der beiden Formen:
a = h k + h l + h k1 l1 + k l + h1 k l1 + h1 k1 l a + h1 k1 l1 a,
a = h k + h n + h k1 n1 + k m + h1 k m1 + h1 k1 l a + h1 k1 l1 a.
Bei diesen Summen sind wir nun sicher, dass sie „reduzirte“, dass
ihre Glieder unter sich „disjunkt“ sind.

Die sieben Glieder sind auch die Konstituenten der Entwickelung
jedes erdenklichen Unterfalles von a nach ebendiesen Symbolen h, k, l.

Die Logik des Umfanges mit ihren mannigfachen Beziehungs-
zeichen vermochte aber, wie wir gesehen haben, nur solche Unter-
fälle von a zu konstruiren, auszusprechen, zu beschreiben, in deren
Ausdruck lediglich die Symbole a, h, k, l auftreten. (Die Verwendung
der m und n liess sich ja im Elementarfall a umgehen, war daselbst
eine blos fakultative.) Also: jeder angebbare Unterfall von a ist eine
Funktion lediglich von a, h, k und l, in deren Ausdruck ausser diesen
vier Buchstaben — die drei letztern negirt oder unnegirt genommen
— keine weiteren Buchstabensymbole vorkommen.

Entwickelt nach allen vier Argumenten wird er a in jedem Gliede
zum ausdrücklichen oder stillschweigenden Faktor haben — letzteres inso-
fern bei h und k der Faktor als ein selbstverständlicher unterdrückt
werden durfte — und zwar weil nach Th. 20×) ⊆ a äquivalent ist: x = x a

10*
<TEI>
  <text>
    <body>
      <div n="1">
        <div n="2">
          <div n="3">
            <p><pb facs="#f0171" n="147"/><fw place="top" type="header">§ 39. Die denkbaren Umfangsbeziehungen überhaupt.</fw><lb/>
wären nach jenen vier in ihrer Gesamtheit vorkommenden Symbolen. Wegen<lb/>
ihrer, sechzehn Millionen übersteigenden Anzahl (16 777 216) würde das<lb/>
aber eine übergrosse Geduldsprobe werden.</p><lb/>
            <p>Besser verfahren wir in der folgenden Weise, einen Gedankengang<lb/>
verwirklichend, auf welchen bei einem analogen Problem schon <hi rendition="#g">Jevons</hi><hi rendition="#sup">9</hi><lb/>
verfallen ist (vergl. Bd. 1, Anhang 6), dessen noch verfehlte Anwendung<lb/>
aber von Miss <hi rendition="#g">Ladd</hi><hi rendition="#sup">1</hi> zuerst richtig gestellt worden.</p><lb/>
            <p>Behufs Ermittelung der Zahl <hi rendition="#fr">x</hi> &#x201E;entwickeln&#x201C; wir den Elementar-<lb/>
fall <hi rendition="#i">a</hi> (selbst) nach den vier Symbolen <hi rendition="#i">a</hi>, <hi rendition="#i">h</hi>, <hi rendition="#i">k</hi>, <hi rendition="#i">l</hi>, aus deren Kombi-<lb/>
nationen &#x2014; wenn man will <hi rendition="#i">ausschliesslich</hi> &#x2014; die Unterfälle des <hi rendition="#i">a</hi> sich<lb/>
zusammensetzen. Zu dem Ende braucht man nur <hi rendition="#i">a</hi> zu multipliziren<lb/>
mit der Entwickelung der 1 nach den drei letztern Symbolen. Wegen<lb/><hi rendition="#i">h k l</hi> = 0 fällt aber von den acht Gliedern (Konstituenten) dieser Ent-<lb/>
wickelung das erste fort, und bleibt:<lb/><hi rendition="#c"><hi rendition="#i">a</hi> = <hi rendition="#i">a</hi> (<hi rendition="#i">h k l</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">h k</hi><hi rendition="#sub">1</hi> <hi rendition="#i">l</hi> + <hi rendition="#i">h k</hi><hi rendition="#sub">1</hi> <hi rendition="#i">l</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">h</hi><hi rendition="#sub">1</hi> <hi rendition="#i">k l</hi> + <hi rendition="#i">h</hi><hi rendition="#sub">1</hi> <hi rendition="#i">k l</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">h</hi><hi rendition="#sub">1</hi> <hi rendition="#i">k</hi><hi rendition="#sub">1</hi> <hi rendition="#i">l</hi> + <hi rendition="#i">h</hi><hi rendition="#sub">1</hi> <hi rendition="#i">k</hi><hi rendition="#sub">1</hi> <hi rendition="#i">l</hi><hi rendition="#sub">1</hi>),</hi><lb/>
was mit Rücksicht auf die angeführte Relation noch weiter sich ver-<lb/>
einfachen lässt zu:<lb/><hi rendition="#c"><hi rendition="#i">a</hi> = <hi rendition="#i">a</hi> (<hi rendition="#i">h k</hi> + <hi rendition="#i">h l</hi> + <hi rendition="#i">h k</hi><hi rendition="#sub">1</hi> <hi rendition="#i">l</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">k l</hi> + <hi rendition="#i">h</hi><hi rendition="#sub">1</hi> <hi rendition="#i">k l</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">h</hi><hi rendition="#sub">1</hi> <hi rendition="#i">k</hi><hi rendition="#sub">1</hi> <hi rendition="#i">l</hi> + <hi rendition="#i">h</hi><hi rendition="#sub">1</hi> <hi rendition="#i">k</hi><hi rendition="#sub">1</hi> <hi rendition="#i">l</hi><hi rendition="#sub">1</hi>)</hi><lb/>
und mit Rücksicht auf die mehrerwähnten Hülfsrelationen auch ge-<lb/>
schrieben werden könnte in einer der beiden Formen:<lb/><hi rendition="#et"><hi rendition="#i">a</hi> = <hi rendition="#i">h k</hi> + <hi rendition="#i">h l</hi> + <hi rendition="#i">h k</hi><hi rendition="#sub">1</hi> <hi rendition="#i">l</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">k l</hi> + <hi rendition="#i">h</hi><hi rendition="#sub">1</hi> <hi rendition="#i">k l</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">h</hi><hi rendition="#sub">1</hi> <hi rendition="#i">k</hi><hi rendition="#sub">1</hi> <hi rendition="#i">l a</hi> + <hi rendition="#i">h</hi><hi rendition="#sub">1</hi> <hi rendition="#i">k</hi><hi rendition="#sub">1</hi> <hi rendition="#i">l</hi><hi rendition="#sub">1</hi> <hi rendition="#i">a</hi>,<lb/><hi rendition="#i">a</hi> = <hi rendition="#i">h k</hi> + <hi rendition="#i">h n</hi> + <hi rendition="#i">h k</hi><hi rendition="#sub">1</hi> <hi rendition="#i">n</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">k m</hi> + <hi rendition="#i">h</hi><hi rendition="#sub">1</hi> <hi rendition="#i">k m</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">h</hi><hi rendition="#sub">1</hi> <hi rendition="#i">k</hi><hi rendition="#sub">1</hi> <hi rendition="#i">l a</hi> + <hi rendition="#i">h</hi><hi rendition="#sub">1</hi> <hi rendition="#i">k</hi><hi rendition="#sub">1</hi> <hi rendition="#i">l</hi><hi rendition="#sub">1</hi> <hi rendition="#i">a</hi>.</hi><lb/>
Bei diesen Summen sind wir nun sicher, dass sie &#x201E;reduzirte&#x201C;, dass<lb/>
ihre Glieder unter sich &#x201E;disjunkt&#x201C; sind.</p><lb/>
            <p>Die <hi rendition="#i">sieben</hi> Glieder sind auch die Konstituenten der Entwickelung<lb/>
jedes erdenklichen Unterfalles von <hi rendition="#i">a</hi> nach ebendiesen Symbolen <hi rendition="#i">h</hi>, <hi rendition="#i">k</hi>, <hi rendition="#i">l</hi>.</p><lb/>
            <p>Die Logik des Umfanges mit ihren mannigfachen Beziehungs-<lb/>
zeichen vermochte aber, wie wir gesehen haben, nur solche Unter-<lb/>
fälle von <hi rendition="#i">a</hi> zu konstruiren, auszusprechen, zu beschreiben, in deren<lb/>
Ausdruck lediglich die Symbole <hi rendition="#i">a</hi>, <hi rendition="#i">h</hi>, <hi rendition="#i">k</hi>, <hi rendition="#i">l</hi> auftreten. (Die Verwendung<lb/>
der <hi rendition="#i">m</hi> und <hi rendition="#i">n</hi> liess sich ja im Elementarfall <hi rendition="#i">a</hi> umgehen, war daselbst<lb/>
eine blos fakultative.) Also: <hi rendition="#i">jeder angebbare Unterfall von a ist eine<lb/>
Funktion lediglich von a</hi>, <hi rendition="#i">h</hi>, <hi rendition="#i">k und l</hi>, in deren Ausdruck ausser diesen<lb/>
vier Buchstaben &#x2014; die drei letztern negirt oder unnegirt genommen<lb/>
&#x2014; <hi rendition="#i">keine weiteren Buchstaben</hi>symbole vorkommen.</p><lb/>
            <p>Entwickelt nach allen vier Argumenten wird er <hi rendition="#i">a</hi> in jedem Gliede<lb/>
zum ausdrücklichen oder stillschweigenden Faktor haben &#x2014; letzteres inso-<lb/>
fern bei <hi rendition="#i">h</hi> und <hi rendition="#i">k</hi> der Faktor als ein selbstverständlicher unterdrückt<lb/>
werden durfte &#x2014; und zwar weil nach Th. 20<hi rendition="#sub">×</hi>) <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> a äquivalent ist: <hi rendition="#i">x</hi> = <hi rendition="#i">x a</hi></p><lb/>
            <fw place="bottom" type="sig">10*</fw><lb/>
          </div>
        </div>
      </div>
    </body>
  </text>
</TEI>
[147/0171] § 39. Die denkbaren Umfangsbeziehungen überhaupt. wären nach jenen vier in ihrer Gesamtheit vorkommenden Symbolen. Wegen ihrer, sechzehn Millionen übersteigenden Anzahl (16 777 216) würde das aber eine übergrosse Geduldsprobe werden. Besser verfahren wir in der folgenden Weise, einen Gedankengang verwirklichend, auf welchen bei einem analogen Problem schon Jevons9 verfallen ist (vergl. Bd. 1, Anhang 6), dessen noch verfehlte Anwendung aber von Miss Ladd1 zuerst richtig gestellt worden. Behufs Ermittelung der Zahl x „entwickeln“ wir den Elementar- fall a (selbst) nach den vier Symbolen a, h, k, l, aus deren Kombi- nationen — wenn man will ausschliesslich — die Unterfälle des a sich zusammensetzen. Zu dem Ende braucht man nur a zu multipliziren mit der Entwickelung der 1 nach den drei letztern Symbolen. Wegen h k l = 0 fällt aber von den acht Gliedern (Konstituenten) dieser Ent- wickelung das erste fort, und bleibt: a = a (h k l1 + h k1 l + h k1 l1 + h1 k l + h1 k l1 + h1 k1 l + h1 k1 l1), was mit Rücksicht auf die angeführte Relation noch weiter sich ver- einfachen lässt zu: a = a (h k + h l + h k1 l1 + k l + h1 k l1 + h1 k1 l + h1 k1 l1) und mit Rücksicht auf die mehrerwähnten Hülfsrelationen auch ge- schrieben werden könnte in einer der beiden Formen: a = h k + h l + h k1 l1 + k l + h1 k l1 + h1 k1 l a + h1 k1 l1 a, a = h k + h n + h k1 n1 + k m + h1 k m1 + h1 k1 l a + h1 k1 l1 a. Bei diesen Summen sind wir nun sicher, dass sie „reduzirte“, dass ihre Glieder unter sich „disjunkt“ sind. Die sieben Glieder sind auch die Konstituenten der Entwickelung jedes erdenklichen Unterfalles von a nach ebendiesen Symbolen h, k, l. Die Logik des Umfanges mit ihren mannigfachen Beziehungs- zeichen vermochte aber, wie wir gesehen haben, nur solche Unter- fälle von a zu konstruiren, auszusprechen, zu beschreiben, in deren Ausdruck lediglich die Symbole a, h, k, l auftreten. (Die Verwendung der m und n liess sich ja im Elementarfall a umgehen, war daselbst eine blos fakultative.) Also: jeder angebbare Unterfall von a ist eine Funktion lediglich von a, h, k und l, in deren Ausdruck ausser diesen vier Buchstaben — die drei letztern negirt oder unnegirt genommen — keine weiteren Buchstabensymbole vorkommen. Entwickelt nach allen vier Argumenten wird er a in jedem Gliede zum ausdrücklichen oder stillschweigenden Faktor haben — letzteres inso- fern bei h und k der Faktor als ein selbstverständlicher unterdrückt werden durfte — und zwar weil nach Th. 20×)  a äquivalent ist: x = x a 10*

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_logik0201_1891
URL zu dieser Seite: https://www.deutschestextarchiv.de/schroeder_logik0201_1891/171
Zitationshilfe: Schröder, Ernst: Vorlesungen über die Algebra der Logik. Bd. 2, Abt. 1. Leipzig, 1891, S. 147. In: Deutsches Textarchiv <https://www.deutschestextarchiv.de/schroeder_logik0201_1891/171>, abgerufen am 25.11.2024.