Resultante der Elimination von x aus den beiden Subsumtionen des-Paares, welches aus den Zeilen a) und b) je eine Subsumtion enthält, ist nun die Subsumtion: g) a cb + d.
Beweis. Die vereinigte Gleichung von a) und b) würde in der That (in der von mir bevorzugten Schreibweise) lauten: a b1x + c d1x1 = 0, somit als Resultante liefern: a b1c d1 = 0, was nach Th. 38x) mit der Sub- sumtion g) äquivalent ist.
Die Regel für solche Einzelelimination lautet also: Man multipli- zire die Subjekte und addire die Prädikate der zusammengehaltenen Sub- sumtionen unter Weglassung des Eliminanden.
Von den so gewonnenen Resultanten müssen die nicht analytisch erfüllten (diejenigen, welche "Relationen" sind) vollständig registrirt werden, sofern sie nicht in bereits registrirten mitenthalten sind. Zusammen mit denjenigen Subsumtionen, in welchen der Eliminand gar nicht vorkam, werden sie in Gestalt eines Propositionensystems die volle Resultante darstellen.
Es ist nicht erforderlich, eine Subsumtion der Form a) mit einer andern von ebendieser Form a) behufs Elimination des x zusammenzuhalten, und ebensowenig braucht man x aus irgend zwei Subsumtionen der Form b) apart zu eliminiren, weil in solchen Fällen die Resultanten stets auf die Identität 0 = 0 hinauslaufen müssen.
In der That würde bei zwei Subsumtionen der Form a): a xb und c xd (oder cd + x1) die vereinigte Gleichung lauten: (a b1 + c d1) x + 0 · x1 = 0, sonach bei Eli- mination des x nur fordern, dass (a b1 + c d1) · 0 = 0 sei, was von selbst der Fall ist. Und ähnlich verhält es sich bei irgend zwei Subsumtionen der Form b), wie: ab + x und cd + x (oder c x1d), welche vereinigt 0 · x + (a b1 + c d1) x1 = 0 geben. Im übrigen müsste, dass hier die Gesamtheit der Einzelresultanten die volle Resultante darstellt, doch eigentlich noch bewiesen werden!
Fünfter Prozess. Derselbe bezweckt (in Verbindung mit dem nächstfolgenden und letzten Prozesse) das Äquivalent dessen zu leisten, was wir seinerzeit als die Auflösung des Propositionensystems nach einer Unbekannten (x) bezeichneten. Nach § 21, o) kommt diese hinaus auf die Ermittelung erstens eines (x nicht als Operationsglied ent- haltenden) Prädikates, zu welchem x Subjekt ist, und zweitens eines (ebenfalls von x freien) Subjektes, zu welchem x Prädikat ist.
Schröder, Algebra der Logik. 37
§ 27. Methoden von McColl und Peirce.
Resultante der Elimination von x aus den beiden Subsumtionen des-Paares, welches aus den Zeilen α) und β) je eine Subsumtion enthält, ist nun die Subsumtion: γ) a c ⋹ b + d.
Beweis. Die vereinigte Gleichung von α) und β) würde in der That (in der von mir bevorzugten Schreibweise) lauten: a b1x + c d1x1 = 0, somit als Resultante liefern: a b1c d1 = 0, was nach Th. 38×) mit der Sub- sumtion γ) äquivalent ist.
Die Regel für solche Einzelelimination lautet also: Man multipli- zire die Subjekte und addire die Prädikate der zusammengehaltenen Sub- sumtionen unter Weglassung des Eliminanden.
Von den so gewonnenen Resultanten müssen die nicht analytisch erfüllten (diejenigen, welche „Relationen“ sind) vollständig registrirt werden, sofern sie nicht in bereits registrirten mitenthalten sind. Zusammen mit denjenigen Subsumtionen, in welchen der Eliminand gar nicht vorkam, werden sie in Gestalt eines Propositionensystems die volle Resultante darstellen.
Es ist nicht erforderlich, eine Subsumtion der Form α) mit einer andern von ebendieser Form α) behufs Elimination des x zusammenzuhalten, und ebensowenig braucht man x aus irgend zwei Subsumtionen der Form β) apart zu eliminiren, weil in solchen Fällen die Resultanten stets auf die Identität 0 = 0 hinauslaufen müssen.
In der That würde bei zwei Subsumtionen der Form α): a x ⋹ b und c x ⋹ d (oder c ⋹ d + x1) die vereinigte Gleichung lauten: (a b1 + c d1) x + 0 · x1 = 0, sonach bei Eli- mination des x nur fordern, dass (a b1 + c d1) · 0 = 0 sei, was von selbst der Fall ist. Und ähnlich verhält es sich bei irgend zwei Subsumtionen der Form β), wie: a ⋹ b + x und c ⋹ d + x (oder c x1 ⋹ d), welche vereinigt 0 · x + (a b1 + c d1) x1 = 0 geben. Im übrigen müsste, dass hier die Gesamtheit der Einzelresultanten die volle Resultante darstellt, doch eigentlich noch bewiesen werden!
Fünfter Prozess. Derselbe bezweckt (in Verbindung mit dem nächstfolgenden und letzten Prozesse) das Äquivalent dessen zu leisten, was wir seinerzeit als die Auflösung des Propositionensystems nach einer Unbekannten (x) bezeichneten. Nach § 21, ο) kommt diese hinaus auf die Ermittelung erstens eines (x nicht als Operationsglied ent- haltenden) Prädikates, zu welchem x Subjekt ist, und zweitens eines (ebenfalls von x freien) Subjektes, zu welchem x Prädikat ist.
Schröder, Algebra der Logik. 37
<TEI><text><body><divn="1"><divn="2"><pbfacs="#f0597"n="577"/><fwplace="top"type="header">§ 27. Methoden von <hirendition="#g">McColl</hi> und <hirendition="#g">Peirce</hi>.</fw><lb/><p><hirendition="#g">Resultante</hi> der Elimination von <hirendition="#i">x</hi> aus den beiden Subsumtionen<lb/>
des-Paares, welches aus den Zeilen <hirendition="#i">α</hi>) und <hirendition="#i">β</hi>) je eine Subsumtion<lb/>
enthält, ist nun die Subsumtion:<lb/><hirendition="#i">γ</hi>) <hirendition="#et"><hirendition="#i">a c</hi>⋹<hirendition="#i">b</hi> + <hirendition="#i">d</hi>.</hi></p><lb/><p><hirendition="#g">Beweis</hi>. Die vereinigte Gleichung von <hirendition="#i">α</hi>) und <hirendition="#i">β</hi>) würde in der That<lb/>
(in der von mir bevorzugten Schreibweise) lauten:<lb/><hirendition="#c"><hirendition="#i">a b</hi><hirendition="#sub">1</hi><hirendition="#i">x</hi> + <hirendition="#i">c d</hi><hirendition="#sub">1</hi><hirendition="#i">x</hi><hirendition="#sub">1</hi> = 0,</hi><lb/>
somit als Resultante liefern: <hirendition="#i">a b</hi><hirendition="#sub">1</hi><hirendition="#i">c d</hi><hirendition="#sub">1</hi> = 0, was nach Th. 38<hirendition="#sub">×</hi>) mit der Sub-<lb/>
sumtion <hirendition="#i">γ</hi>) äquivalent ist.</p><lb/><p>Die Regel für solche Einzelelimination lautet also: <hirendition="#i">Man multipli-<lb/>
zire die Subjekte und addire die Prädikate der zusammengehaltenen Sub-<lb/>
sumtionen unter Weglassung des Eliminanden.</hi></p><lb/><p>Von den so gewonnenen Resultanten müssen die nicht analytisch<lb/>
erfüllten (diejenigen, welche „Relationen“ sind) vollständig registrirt<lb/>
werden, sofern sie nicht in bereits registrirten mitenthalten sind.<lb/>
Zusammen mit denjenigen Subsumtionen, in welchen der Eliminand<lb/>
gar nicht vorkam, werden sie in Gestalt eines Propositionensystems<lb/>
die volle Resultante darstellen.</p><lb/><p>Es ist <hirendition="#i">nicht</hi> erforderlich, eine Subsumtion der Form <hirendition="#i">α</hi>) mit einer<lb/>
andern von ebendieser Form <hirendition="#i">α</hi>) behufs Elimination des <hirendition="#i">x</hi> zusammenzuhalten,<lb/>
und ebensowenig braucht man <hirendition="#i">x</hi> aus irgend zwei Subsumtionen der Form <hirendition="#i">β</hi>)<lb/>
apart zu eliminiren, weil in solchen Fällen die Resultanten stets auf die<lb/>
Identität 0 = 0 hinauslaufen müssen.</p><lb/><p>In der That würde bei zwei Subsumtionen der Form <hirendition="#i">α</hi>):<lb/><hirendition="#c"><hirendition="#i">a x</hi>⋹<hirendition="#i">b</hi> und <hirendition="#i">c x</hi>⋹<hirendition="#i">d</hi> (oder <hirendition="#i">c</hi>⋹<hirendition="#i">d</hi> + <hirendition="#i">x</hi><hirendition="#sub">1</hi>)</hi><lb/>
die vereinigte Gleichung lauten: (<hirendition="#i">a b</hi><hirendition="#sub">1</hi> + <hirendition="#i">c d</hi><hirendition="#sub">1</hi>) <hirendition="#i">x</hi> + 0 · <hirendition="#i">x</hi><hirendition="#sub">1</hi> = 0, sonach bei Eli-<lb/>
mination des <hirendition="#i">x</hi> nur fordern, dass (<hirendition="#i">a b</hi><hirendition="#sub">1</hi> + <hirendition="#i">c d</hi><hirendition="#sub">1</hi>) · 0 = 0 sei, was von selbst<lb/>
der Fall ist. Und ähnlich verhält es sich bei irgend zwei Subsumtionen<lb/>
der Form <hirendition="#i">β</hi>), wie:<lb/><hirendition="#c"><hirendition="#i">a</hi>⋹<hirendition="#i">b</hi> + <hirendition="#i">x</hi> und <hirendition="#i">c</hi>⋹<hirendition="#i">d</hi> + <hirendition="#i">x</hi> (oder <hirendition="#i">c x</hi><hirendition="#sub">1</hi>⋹<hirendition="#i">d</hi>),</hi><lb/>
welche vereinigt 0 · <hirendition="#i">x</hi> + (<hirendition="#i">a b</hi><hirendition="#sub">1</hi> + <hirendition="#i">c d</hi><hirendition="#sub">1</hi>) <hirendition="#i">x</hi><hirendition="#sub">1</hi> = 0 geben. Im übrigen müsste, dass<lb/>
hier die Gesamtheit der Einzelresultanten die volle Resultante darstellt,<lb/>
doch eigentlich noch bewiesen werden!</p><lb/><p><hirendition="#g">Fünfter Prozess</hi>. Derselbe bezweckt (in Verbindung mit dem<lb/>
nächstfolgenden und letzten Prozesse) das Äquivalent dessen zu leisten,<lb/>
was wir seinerzeit als die <hirendition="#i">Auflösung</hi> des Propositionensystems <hirendition="#i">nach<lb/>
einer Unbekannten</hi> (<hirendition="#i">x</hi>) bezeichneten. Nach § 21, <hirendition="#i">ο</hi>) kommt diese hinaus<lb/>
auf die Ermittelung erstens eines (<hirendition="#i">x</hi> nicht als Operationsglied ent-<lb/>
haltenden) Prädikates, zu welchem <hirendition="#i">x</hi> Subjekt ist, und zweitens eines<lb/>
(ebenfalls von <hirendition="#i">x</hi> freien) Subjektes, zu welchem <hirendition="#i">x</hi> Prädikat ist.</p><lb/><fwplace="bottom"type="sig"><hirendition="#k">Schröder</hi>, Algebra der Logik. 37</fw><lb/></div></div></body></text></TEI>
[577/0597]
§ 27. Methoden von McColl und Peirce.
Resultante der Elimination von x aus den beiden Subsumtionen
des-Paares, welches aus den Zeilen α) und β) je eine Subsumtion
enthält, ist nun die Subsumtion:
γ) a c ⋹ b + d.
Beweis. Die vereinigte Gleichung von α) und β) würde in der That
(in der von mir bevorzugten Schreibweise) lauten:
a b1 x + c d1 x1 = 0,
somit als Resultante liefern: a b1 c d1 = 0, was nach Th. 38×) mit der Sub-
sumtion γ) äquivalent ist.
Die Regel für solche Einzelelimination lautet also: Man multipli-
zire die Subjekte und addire die Prädikate der zusammengehaltenen Sub-
sumtionen unter Weglassung des Eliminanden.
Von den so gewonnenen Resultanten müssen die nicht analytisch
erfüllten (diejenigen, welche „Relationen“ sind) vollständig registrirt
werden, sofern sie nicht in bereits registrirten mitenthalten sind.
Zusammen mit denjenigen Subsumtionen, in welchen der Eliminand
gar nicht vorkam, werden sie in Gestalt eines Propositionensystems
die volle Resultante darstellen.
Es ist nicht erforderlich, eine Subsumtion der Form α) mit einer
andern von ebendieser Form α) behufs Elimination des x zusammenzuhalten,
und ebensowenig braucht man x aus irgend zwei Subsumtionen der Form β)
apart zu eliminiren, weil in solchen Fällen die Resultanten stets auf die
Identität 0 = 0 hinauslaufen müssen.
In der That würde bei zwei Subsumtionen der Form α):
a x ⋹ b und c x ⋹ d (oder c ⋹ d + x1)
die vereinigte Gleichung lauten: (a b1 + c d1) x + 0 · x1 = 0, sonach bei Eli-
mination des x nur fordern, dass (a b1 + c d1) · 0 = 0 sei, was von selbst
der Fall ist. Und ähnlich verhält es sich bei irgend zwei Subsumtionen
der Form β), wie:
a ⋹ b + x und c ⋹ d + x (oder c x1 ⋹ d),
welche vereinigt 0 · x + (a b1 + c d1) x1 = 0 geben. Im übrigen müsste, dass
hier die Gesamtheit der Einzelresultanten die volle Resultante darstellt,
doch eigentlich noch bewiesen werden!
Fünfter Prozess. Derselbe bezweckt (in Verbindung mit dem
nächstfolgenden und letzten Prozesse) das Äquivalent dessen zu leisten,
was wir seinerzeit als die Auflösung des Propositionensystems nach
einer Unbekannten (x) bezeichneten. Nach § 21, ο) kommt diese hinaus
auf die Ermittelung erstens eines (x nicht als Operationsglied ent-
haltenden) Prädikates, zu welchem x Subjekt ist, und zweitens eines
(ebenfalls von x freien) Subjektes, zu welchem x Prädikat ist.
Schröder, Algebra der Logik. 37
Informationen zur CAB-Ansicht
Diese Ansicht bietet Ihnen die Darstellung des Textes in normalisierter Orthographie.
Diese Textvariante wird vollautomatisch erstellt und kann aufgrund dessen auch Fehler enthalten.
Alle veränderten Wortformen sind grau hinterlegt. Als fremdsprachliches Material erkannte
Textteile sind ausgegraut dargestellt.
Schröder, Ernst: Vorlesungen über die Algebra der Logik. Bd. 1. Leipzig, 1890, S. 577. In: Deutsches Textarchiv <https://www.deutschestextarchiv.de/schroeder_logik01_1890/597>, abgerufen am 25.08.2024.
Alle Inhalte dieser Seite unterstehen, soweit nicht anders gekennzeichnet, einer
Creative-Commons-Lizenz.
Die Rechte an den angezeigten Bilddigitalisaten, soweit nicht anders gekennzeichnet, liegen bei den besitzenden Bibliotheken.
Weitere Informationen finden Sie in den DTA-Nutzungsbedingungen.
Insbesondere im Hinblick auf die §§ 86a StGB und 130 StGB wird festgestellt, dass die auf
diesen Seiten abgebildeten Inhalte weder in irgendeiner Form propagandistischen Zwecken
dienen, oder Werbung für verbotene Organisationen oder Vereinigungen darstellen, oder
nationalsozialistische Verbrechen leugnen oder verharmlosen, noch zum Zwecke der
Herabwürdigung der Menschenwürde gezeigt werden.
Die auf diesen Seiten abgebildeten Inhalte (in Wort und Bild) dienen im Sinne des
§ 86 StGB Abs. 3 ausschließlich historischen, sozial- oder kulturwissenschaftlichen
Forschungszwecken. Ihre Veröffentlichung erfolgt in der Absicht, Wissen zur Anregung
der intellektuellen Selbstständigkeit und Verantwortungsbereitschaft des Staatsbürgers zu
vermitteln und damit der Förderung seiner Mündigkeit zu dienen.
Zitierempfehlung: Deutsches Textarchiv. Grundlage für ein Referenzkorpus der neuhochdeutschen Sprache. Herausgegeben von der Berlin-Brandenburgischen Akademie der Wissenschaften, Berlin 2024. URL: https://www.deutschestextarchiv.de/.