Schröder, Ernst: Vorlesungen über die Algebra der Logik. Bd. 2, Abt. 1. Leipzig, 1891.§ 39. Die denkbaren Umfangsbeziehungen überhaupt. wären nach jenen vier in ihrer Gesamtheit vorkommenden Symbolen. Wegenihrer, sechzehn Millionen übersteigenden Anzahl (16 777 216) würde das aber eine übergrosse Geduldsprobe werden. Besser verfahren wir in der folgenden Weise, einen Gedankengang Behufs Ermittelung der Zahl x "entwickeln" wir den Elementar- Die sieben Glieder sind auch die Konstituenten der Entwickelung Die Logik des Umfanges mit ihren mannigfachen Beziehungs- Entwickelt nach allen vier Argumenten wird er a in jedem Gliede 10*
§ 39. Die denkbaren Umfangsbeziehungen überhaupt. wären nach jenen vier in ihrer Gesamtheit vorkommenden Symbolen. Wegenihrer, sechzehn Millionen übersteigenden Anzahl (16 777 216) würde das aber eine übergrosse Geduldsprobe werden. Besser verfahren wir in der folgenden Weise, einen Gedankengang Behufs Ermittelung der Zahl x „entwickeln“ wir den Elementar- Die sieben Glieder sind auch die Konstituenten der Entwickelung Die Logik des Umfanges mit ihren mannigfachen Beziehungs- Entwickelt nach allen vier Argumenten wird er a in jedem Gliede 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> „entwickeln“ 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 — wenn man will <hi rendition="#i">ausschliesslich</hi> — 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 „reduzirte“, dass<lb/> ihre Glieder unter sich „disjunkt“ 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 — die drei letztern negirt oder unnegirt genommen<lb/> — <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 — 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 — und zwar weil nach Th. 20<hi rendition="#sub">×</hi>) <choice><orig></orig><reg>⊆</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 WerkInformationen zum Werk
Download dieses Werks
XML (TEI P5) ·
HTML ·
Text Metadaten zum WerkTEI-Header · CMDI · Dublin Core Ansichten dieser Seite
Voyant Tools
|
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 26.08.2024. |