Schröder, Ernst: Vorlesungen über die Algebra der Logik. Bd. 2, Abt. 1. Leipzig, 1891.
Dass die 165 Ausdrücke der vorstehenden Tafel "in Hinsicht der Ohne Vergleich mühevoller dürfte es aber sein, diesen Nachweis der Dass die Aussagen sämtlich verschieden sind wäre unter anderm leicht "In Hinsicht der Negation" bilden die 165 Ausdrücke keine Gruppe, Schliesslich werde die Frage beantwortet, wie viele von den gefundenen
Dass die 165 Ausdrücke der vorstehenden Tafel „in Hinsicht der Ohne Vergleich mühevoller dürfte es aber sein, diesen Nachweis der Dass die Aussagen sämtlich verschieden sind wäre unter anderm leicht „In Hinsicht der Negation“ bilden die 165 Ausdrücke keine Gruppe, Schliesslich werde die Frage beantwortet, wie viele von den gefundenen <TEI> <text> <body> <div n="1"> <div n="2"> <div n="3"> <table> <pb facs="#f0190" n="166"/> <fw place="top" type="header">Achtzehnte Vorlesung.</fw><lb/> <row> <cell><hi rendition="#i">a c</hi> (<hi rendition="#i">b</hi> + <hi rendition="#i">l</hi>) + <hi rendition="#i">b l</hi></cell> <cell><hi rendition="#i">a</hi> (<hi rendition="#i">b</hi> + <hi rendition="#i">l</hi>) + <hi rendition="#i">c b</hi> + <hi rendition="#i">b l</hi> + <hi rendition="#i">l c</hi></cell> </row><lb/> <row> <cell><hi rendition="#i">a b</hi> (<hi rendition="#i">c</hi> + <hi rendition="#i">l</hi>) + <hi rendition="#i">c l</hi></cell> <cell><hi rendition="#i">a</hi> (<hi rendition="#i">c</hi> + <hi rendition="#i">l</hi>) + <hi rendition="#i">c b</hi> + <hi rendition="#i">b l</hi> + <hi rendition="#i">l c</hi></cell> </row><lb/> <row> <cell><hi rendition="#i">a l</hi> (<hi rendition="#i">c</hi> + <hi rendition="#i">b</hi>) + <hi rendition="#i">c b</hi></cell> <cell><hi rendition="#i">a</hi> (<hi rendition="#i">c</hi> + <hi rendition="#i">b</hi>) + <hi rendition="#i">c b</hi> + <hi rendition="#i">b l</hi> + <hi rendition="#i">l c</hi></cell> </row><lb/> <row> <cell><hi rendition="#i">a</hi> (<hi rendition="#i">c</hi> + <hi rendition="#i">b l</hi>) + <hi rendition="#i">c b l</hi></cell> <cell><hi rendition="#i">a</hi> (<hi rendition="#i">c</hi> + <hi rendition="#i">b</hi> + <hi rendition="#i">l</hi>) + (<hi rendition="#i">b</hi> + <hi rendition="#i">l</hi>) <hi rendition="#i">c</hi></cell> </row><lb/> <row> <cell><hi rendition="#i">a</hi> (<hi rendition="#i">b</hi> + <hi rendition="#i">c l</hi>) + <hi rendition="#i">c b l</hi></cell> <cell><hi rendition="#i">a</hi> (<hi rendition="#i">c</hi> + <hi rendition="#i">b</hi> + <hi rendition="#i">l</hi>) + (<hi rendition="#i">c</hi> + <hi rendition="#i">l</hi>) <hi rendition="#i">b</hi></cell> </row><lb/> <row> <cell><hi rendition="#i">a</hi> (<hi rendition="#i">l</hi> + <hi rendition="#i">c b</hi>) + <hi rendition="#i">c b l</hi></cell> <cell><hi rendition="#i">a</hi> (<hi rendition="#i">c</hi> + <hi rendition="#i">b</hi> + <hi rendition="#i">l</hi>) + (<hi rendition="#i">c</hi> + <hi rendition="#i">b</hi>) <hi rendition="#i">l</hi></cell> </row><lb/> <row> <cell cols="2"><hi rendition="#i">a</hi> (<hi rendition="#i">c</hi> + <hi rendition="#i">b</hi> + <hi rendition="#i">l</hi>) + <hi rendition="#i">c b l</hi>, <hi rendition="#i">a</hi> (<hi rendition="#i">c</hi> + <hi rendition="#i">b l</hi>) + (<hi rendition="#i">b</hi> + <hi rendition="#i">l</hi>) <hi rendition="#i">c</hi>, <hi rendition="#i">a</hi> (<hi rendition="#i">b</hi> + <hi rendition="#i">c l</hi>) + (<hi rendition="#i">c</hi> + <hi rendition="#i">l</hi>) <hi rendition="#i">b</hi>, <hi rendition="#i">a</hi> (<hi rendition="#i">l</hi> + <hi rendition="#i">c b</hi>) + (<hi rendition="#i">c</hi> + <hi rendition="#i">b</hi>) <hi rendition="#i">l</hi></cell> </row><lb/> <row> <cell><hi rendition="#i">a</hi> (<hi rendition="#i">c b</hi> + <hi rendition="#i">b l</hi> + <hi rendition="#i">l c</hi>) + <hi rendition="#i">c b l</hi></cell> <cell><hi rendition="#i">a</hi> (<hi rendition="#i">c</hi> + <hi rendition="#i">b</hi> + <hi rendition="#i">l</hi>) + <hi rendition="#i">c b</hi> + <hi rendition="#i">b l</hi> + <hi rendition="#i">l c</hi></cell> </row><lb/> </table> <p>Dass die 165 Ausdrücke der vorstehenden Tafel „in Hinsicht der<lb/> Multiplikation sowol als der Addition“ eine <hi rendition="#i">Gruppe</hi> bilden, nämlich dass<lb/> mittelst der beiden direkten Operationen des identischen Kalkuls durch Ver-<lb/> knüpfung irgendwelcher von ihnen kein Ausdruck gebildet werden kann, der<lb/> nicht einem unter ihnen identisch gleich sein müsste, ist oben zwar keines-<lb/> wegs mühelos erkannt worden.</p><lb/> <p>Ohne Vergleich mühevoller dürfte es aber sein, diesen Nachweis der<lb/> erwähnten Gruppennatur unseres Systems von Ausdrücken direkt zu leisten,<lb/> indem man die Ausdrücke auf jede erdenkliche Weise zu zweien multi-<lb/> plizirte, desgleichen addirte. Dies würde 13 530 Operationen einer jeden<lb/> Sorte erfordern, von denen allerdings nach Konstatirung des im System<lb/> vorliegenden Dualismus die eine Sorte unterbleiben könnte, und die Menge<lb/> erforderlicher Operationen der andern Sorte durch Rücksichtnahme auf die<lb/> Symmetrie sich noch weiter reduziren lassen würde. Nicht ganz so hoff-<lb/> nungslos dürfte allerdings ein systematisches Interaddiren sein, angewendet<lb/> auf die 14 monomischen Produkte, S. 159, und, mit Rücksicht auf deren<lb/> Symmetrie in drei Abteilungen, so geführt, dass jeder neu gewonnene Typus<lb/> sogleich permutando mit allen seinen Repräsentanten angesetzt und nur<lb/> (passiv) mit jenen zu dem Prozess des Interaddirens herangezogen würde.</p><lb/> <p>Dass die Aussagen sämtlich verschieden sind wäre unter anderm leicht<lb/> durch ihre Zerfällung in die 5 Elementarfächer zu erkennen. Diese liest<lb/> sich jedesmal leicht aus der Tafel S. 162 heraus, indem man den <hi rendition="#i">a</hi> als<lb/> Faktor enthaltenden Term des Ausdrucks in der zweiten Kolumne derselben<lb/> aufsucht, den andern Term in der ersten Kolumne; dann hat man nur noch<lb/> des letztern erstes Glied rechterhand additiv zu vermehren um das in der<lb/> Zeile jenes erstern Terms darüber oder darunter stehende. —</p><lb/> <p>„In Hinsicht der Negation“ bilden die 165 Ausdrücke keine Gruppe,<lb/> indem ihre Negationen sich sämtlich nicht in der Tafel vertreten finden.<lb/> Sie bilden also auch <hi rendition="#i">nicht</hi> eine „Gruppe“ <hi rendition="#i">schlechtweg,</hi> in dem Sinne, wie<lb/> dieser Begriff eingangs des Anhangs 6 in Bd. 1 erklärt worden — das<lb/> wäre: eine Gruppe „<hi rendition="#i">in Hinsicht aller drei Spezies</hi> des identischen Kalkuls“.</p><lb/> <p>Schliesslich werde die Frage beantwortet, wie viele von den gefundenen<lb/> 166 rein universalen Aussagen „zerfallen“, oder was auf dasselbe hinaus-<lb/> kommt, wie viele (und welche) von den weiter oben gefundenen 512 zer-<lb/></p> </div> </div> </div> </body> </text> </TEI> [166/0190]
Achtzehnte Vorlesung.
a c (b + l) + b l a (b + l) + c b + b l + l c
a b (c + l) + c l a (c + l) + c b + b l + l c
a l (c + b) + c b a (c + b) + c b + b l + l c
a (c + b l) + c b l a (c + b + l) + (b + l) c
a (b + c l) + c b l a (c + b + l) + (c + l) b
a (l + c b) + c b l a (c + b + l) + (c + b) l
a (c + b + l) + c b l, a (c + b l) + (b + l) c, a (b + c l) + (c + l) b, a (l + c b) + (c + b) l
a (c b + b l + l c) + c b l a (c + b + l) + c b + b l + l c
Dass die 165 Ausdrücke der vorstehenden Tafel „in Hinsicht der
Multiplikation sowol als der Addition“ eine Gruppe bilden, nämlich dass
mittelst der beiden direkten Operationen des identischen Kalkuls durch Ver-
knüpfung irgendwelcher von ihnen kein Ausdruck gebildet werden kann, der
nicht einem unter ihnen identisch gleich sein müsste, ist oben zwar keines-
wegs mühelos erkannt worden.
Ohne Vergleich mühevoller dürfte es aber sein, diesen Nachweis der
erwähnten Gruppennatur unseres Systems von Ausdrücken direkt zu leisten,
indem man die Ausdrücke auf jede erdenkliche Weise zu zweien multi-
plizirte, desgleichen addirte. Dies würde 13 530 Operationen einer jeden
Sorte erfordern, von denen allerdings nach Konstatirung des im System
vorliegenden Dualismus die eine Sorte unterbleiben könnte, und die Menge
erforderlicher Operationen der andern Sorte durch Rücksichtnahme auf die
Symmetrie sich noch weiter reduziren lassen würde. Nicht ganz so hoff-
nungslos dürfte allerdings ein systematisches Interaddiren sein, angewendet
auf die 14 monomischen Produkte, S. 159, und, mit Rücksicht auf deren
Symmetrie in drei Abteilungen, so geführt, dass jeder neu gewonnene Typus
sogleich permutando mit allen seinen Repräsentanten angesetzt und nur
(passiv) mit jenen zu dem Prozess des Interaddirens herangezogen würde.
Dass die Aussagen sämtlich verschieden sind wäre unter anderm leicht
durch ihre Zerfällung in die 5 Elementarfächer zu erkennen. Diese liest
sich jedesmal leicht aus der Tafel S. 162 heraus, indem man den a als
Faktor enthaltenden Term des Ausdrucks in der zweiten Kolumne derselben
aufsucht, den andern Term in der ersten Kolumne; dann hat man nur noch
des letztern erstes Glied rechterhand additiv zu vermehren um das in der
Zeile jenes erstern Terms darüber oder darunter stehende. —
„In Hinsicht der Negation“ bilden die 165 Ausdrücke keine Gruppe,
indem ihre Negationen sich sämtlich nicht in der Tafel vertreten finden.
Sie bilden also auch nicht eine „Gruppe“ schlechtweg, in dem Sinne, wie
dieser Begriff eingangs des Anhangs 6 in Bd. 1 erklärt worden — das
wäre: eine Gruppe „in Hinsicht aller drei Spezies des identischen Kalkuls“.
Schliesslich werde die Frage beantwortet, wie viele von den gefundenen
166 rein universalen Aussagen „zerfallen“, oder was auf dasselbe hinaus-
kommt, wie viele (und welche) von den weiter oben gefundenen 512 zer-
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/190 |
Zitationshilfe: | Schröder, Ernst: Vorlesungen über die Algebra der Logik. Bd. 2, Abt. 1. Leipzig, 1891, S. 166. In: Deutsches Textarchiv <https://www.deutschestextarchiv.de/schroeder_logik0201_1891/190>, abgerufen am 23.08.2024. |