Schröder, Ernst: Vorlesungen über die Algebra der Logik. Bd. 2, Abt. 1. Leipzig, 1891.Dreiundzwanzigste Vorlesung. 10) = S Ax = Ax + Ax' + Ax'' + ...20) = S A = A + A' + A'' + ... so wissen wir bereits, dass auch je für sich: Ax A, Ax' A', Ax'' A'', ... ist. Sollte dies nicht aus § 41 erinnerlich sein, so geht es augenblick- lich aus dem allgemeinen Theorem ph) daselbst S. 212, das ist aus unsrer Subsumtion 10) 20) hervor, indem man selbige für eine ein- gliedrige Summe S in Anspruch nimmt. Für das Glied Ax der Prämissenaussage, die als eine Summe von Sind letztere bekannt, so -- behaupten wir -- ist auch die Ge- Dass in der That dieses K eine notwendige Bedingung für die Dass diese Bedingung K aber auch hinreicht, um die Existenz Die rechnerische Ausführung gestaltet sich im Detail freilich etwas Dreiundzwanzigste Vorlesung. 10) = Σ Ax = Ax + Ax' + Ax'' + …20) = Σ A = A + A' + A'' + … so wissen wir bereits, dass auch je für sich: Ax ⊆ A, Ax' ⊆ A', Ax'' ⊆ A'', … ist. Sollte dies nicht aus § 41 erinnerlich sein, so geht es augenblick- lich aus dem allgemeinen Theorem φ) daselbst S. 212, das ist aus unsrer Subsumtion 10) ⊆ 20) hervor, indem man selbige für eine ein- gliedrige Summe Σ in Anspruch nimmt. Für das Glied Ax der Prämissenaussage, die als eine Summe von Sind letztere bekannt, so — behaupten wir — ist auch die Ge- Dass in der That dieses K eine notwendige Bedingung für die Dass diese Bedingung K aber auch hinreicht, um die Existenz Die rechnerische Ausführung gestaltet sich im Detail freilich etwas <TEI> <text> <body> <div n="1"> <div n="2"> <div n="3"> <p><pb facs="#f0398" n="374"/><fw place="top" type="header">Dreiundzwanzigste Vorlesung.</fw><lb/><hi rendition="#et">1<hi rendition="#sup">0</hi>) = <hi rendition="#i">Σ A<hi rendition="#sub">x</hi></hi> = <hi rendition="#i">A<hi rendition="#sub">x</hi></hi> + <hi rendition="#i">A<hi rendition="#sub">x</hi></hi>' + <hi rendition="#i">A<hi rendition="#sub">x</hi></hi>'' + …<lb/> 2<hi rendition="#sup">0</hi>) = <hi rendition="#i">Σ A</hi> = <hi rendition="#i">A</hi> + <hi rendition="#i">A</hi>' + <hi rendition="#i">A</hi>'' + …</hi><lb/> so wissen wir bereits, dass auch je für sich:<lb/><hi rendition="#c"><hi rendition="#i">A<hi rendition="#sub">x</hi></hi><choice><orig></orig><reg>⊆</reg></choice><hi rendition="#i">A</hi>, <hi rendition="#i">A<hi rendition="#sub">x</hi></hi>' <choice><orig></orig><reg>⊆</reg></choice><hi rendition="#i">A</hi>', <hi rendition="#i">A<hi rendition="#sub">x</hi></hi>'' <choice><orig></orig><reg>⊆</reg></choice><hi rendition="#i">A</hi>'', …</hi><lb/> ist. Sollte dies nicht aus § 41 erinnerlich sein, so geht es augenblick-<lb/> lich aus dem allgemeinen Theorem <hi rendition="#i">φ</hi>) daselbst S. 212, das ist aus<lb/> unsrer Subsumtion 1<hi rendition="#sup">0</hi>) <choice><orig></orig><reg>⊆</reg></choice> 2<hi rendition="#sup">0</hi>) hervor, indem man selbige für eine <hi rendition="#i">ein-<lb/> gliedrige</hi> Summe <hi rendition="#i">Σ</hi> in Anspruch nimmt.</p><lb/> <p>Für das Glied <hi rendition="#i">A<hi rendition="#sub">x</hi></hi> der Prämissenaussage, die als eine Summe von<lb/> Gliedern (als alternativen Annahmen) sich darstellte, ist nun <hi rendition="#i">A</hi> zwar<lb/> eine richtige Resultante der Elimination des <hi rendition="#i">x</hi>, aber im allgemeinen<lb/> nicht die volle; vielmehr kann und muss es zu dieser erst ergänzt<lb/> werden durch multiplikative Hinzufügung einer gewissen Klausel <hi rendition="#i">k</hi> (die<lb/> nur gleich i̇ zu denken ist, falls einmal zufällig <hi rendition="#i">A</hi> schon die volle<lb/> Resultante sein sollte). Es wird m. a. W. aus <hi rendition="#i">A<hi rendition="#sub">x</hi></hi> sich <hi rendition="#i">mehr</hi> noch, als<lb/> blos <hi rendition="#i">A</hi>, in Bezug auf die Parameter folgern lassen, und was sich im<lb/> Ganzen folgern lässt, ist die volle Resultante <hi rendition="#i">A</hi> · <hi rendition="#i">k</hi>. Etc. Somit werden<lb/> erst durch:<lb/><hi rendition="#c"><hi rendition="#i">A<hi rendition="#sub">x</hi></hi><choice><orig></orig><reg>⊆</reg></choice><hi rendition="#i">A k</hi>, <hi rendition="#i">A<hi rendition="#sub">x</hi></hi>' <choice><orig></orig><reg>⊆</reg></choice><hi rendition="#i">A</hi>' <hi rendition="#i">k</hi>', <hi rendition="#i">A<hi rendition="#sub">x</hi></hi>'' <choice><orig></orig><reg>⊆</reg></choice><hi rendition="#i">A</hi>'' <hi rendition="#i">k</hi>'', …</hi><lb/> die vollen Einzelresultanten der Prämissenglieder darzustellen sein,<lb/> oder: <hi rendition="#i">es müssen auch die einzelnen Glieder unsrer Resultante aus dem<lb/> Rohen ihre eignen Klauseln haben.</hi></p><lb/> <p>Sind letztere bekannt, so — behaupten wir — ist auch die Ge-<lb/> samtklausel <hi rendition="#i">K</hi> oder volle Resultante 3<hi rendition="#sup">0</hi>) gefunden, und zwar wird sie<lb/> lauten:<lb/><hi rendition="#c">3<hi rendition="#sup">0</hi>) = <hi rendition="#i">K</hi> = <hi rendition="#i">A k</hi> + <hi rendition="#i">A</hi>' <hi rendition="#i">k</hi>' + <hi rendition="#i">A</hi>'' <hi rendition="#i">k</hi>'' + … = <hi rendition="#i">Σ A k</hi>.</hi></p><lb/> <p>Dass in der That dieses <hi rendition="#i">K</hi> eine <hi rendition="#i">notwendige</hi> Bedingung für die<lb/> Geltung von 1<hi rendition="#sup">0</hi>) vorstellt, somit eine berechtigte Folgerung aus 1<hi rendition="#sup">0</hi>)<lb/> oder „eine“ Resultante ist, erhellt durch überschiebendes Addiren, Sum-<lb/> miren der vorausgehenden Subsumtionen gemäss Th. 1̅7̅<hi rendition="#sub">+</hi>), wodurch<lb/> sich ergibt:<lb/><hi rendition="#c">1<hi rendition="#sup">0</hi>), = <hi rendition="#i">Σ A<hi rendition="#sub">x</hi></hi> <choice><orig></orig><reg>⊆</reg></choice> <hi rendition="#i">Σ A k</hi>.</hi></p><lb/> <p>Dass diese Bedingung <hi rendition="#i">K</hi> aber auch <hi rendition="#i">hinreicht</hi>, um die Existenz<lb/> eines 1<hi rendition="#sup">0</hi>) erfüllenden <hi rendition="#i">x</hi> zu garantiren, dass sie mithin die volle Resul-<lb/> tante ist, erkennt man unschwer mittelst dilemmatischen Schlusses.<lb/> Vergl. § 45, S. 267.</p><lb/> <p>Die rechnerische Ausführung gestaltet sich im Detail freilich etwas<lb/> umständlich, wie folgt.</p><lb/> </div> </div> </div> </body> </text> </TEI> [374/0398]
Dreiundzwanzigste Vorlesung.
10) = Σ Ax = Ax + Ax' + Ax'' + …
20) = Σ A = A + A' + A'' + …
so wissen wir bereits, dass auch je für sich:
Ax  A, Ax'  A', Ax''  A'', …
ist. Sollte dies nicht aus § 41 erinnerlich sein, so geht es augenblick-
lich aus dem allgemeinen Theorem φ) daselbst S. 212, das ist aus
unsrer Subsumtion 10)  20) hervor, indem man selbige für eine ein-
gliedrige Summe Σ in Anspruch nimmt.
Für das Glied Ax der Prämissenaussage, die als eine Summe von
Gliedern (als alternativen Annahmen) sich darstellte, ist nun A zwar
eine richtige Resultante der Elimination des x, aber im allgemeinen
nicht die volle; vielmehr kann und muss es zu dieser erst ergänzt
werden durch multiplikative Hinzufügung einer gewissen Klausel k (die
nur gleich i̇ zu denken ist, falls einmal zufällig A schon die volle
Resultante sein sollte). Es wird m. a. W. aus Ax sich mehr noch, als
blos A, in Bezug auf die Parameter folgern lassen, und was sich im
Ganzen folgern lässt, ist die volle Resultante A · k. Etc. Somit werden
erst durch:
Ax  A k, Ax'  A' k', Ax''  A'' k'', …
die vollen Einzelresultanten der Prämissenglieder darzustellen sein,
oder: es müssen auch die einzelnen Glieder unsrer Resultante aus dem
Rohen ihre eignen Klauseln haben.
Sind letztere bekannt, so — behaupten wir — ist auch die Ge-
samtklausel K oder volle Resultante 30) gefunden, und zwar wird sie
lauten:
30) = K = A k + A' k' + A'' k'' + … = Σ A k.
Dass in der That dieses K eine notwendige Bedingung für die
Geltung von 10) vorstellt, somit eine berechtigte Folgerung aus 10)
oder „eine“ Resultante ist, erhellt durch überschiebendes Addiren, Sum-
miren der vorausgehenden Subsumtionen gemäss Th. 1̅7̅+), wodurch
sich ergibt:
10), = Σ Ax  Σ A k.
Dass diese Bedingung K aber auch hinreicht, um die Existenz
eines 10) erfüllenden x zu garantiren, dass sie mithin die volle Resul-
tante ist, erkennt man unschwer mittelst dilemmatischen Schlusses.
Vergl. § 45, S. 267.
Die rechnerische Ausführung gestaltet sich im Detail freilich etwas
umständlich, wie folgt.
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/398 |
Zitationshilfe: | Schröder, Ernst: Vorlesungen über die Algebra der Logik. Bd. 2, Abt. 1. Leipzig, 1891, S. 374. In: Deutsches Textarchiv <https://www.deutschestextarchiv.de/schroeder_logik0201_1891/398>, abgerufen am 26.06.2024. |