wir etwa später anstatt der nach dem Schema ph), t) gebildeten viel- mehr die durch Zuzug der "Klausel" vervollständigten Resultanten in's Auge fassen werden.
Die Glieder der resultirenden und die der Prämissenaussage ent- sprechen nach dem Gesagten einander gegenseitig eindeutig und sollen die zugeordneten "korrespondirende" Glieder heissen. Jedes Glied der Konklusion ist die Resultante (der Elimination von x aus) zu seinem korrespondirenden Glied der Prämissenaussage.
In einem solchen Glied der Resultante, mithin bei dem Major von u), möge derjenige Faktor -- hier (a b = 0) -- welcher eine Gleichung ist, der "Boole'sche Faktor" genannt werden (und analog auch bei der Prämissenaussage). Derselbe kann natürlich auch, anstatt mecha- nisch nach dem gegebenen Schema, gewünschtenfalles unter Anwendung irgend welcher andern Methoden -- wie solche in der 14ten Vorlesung auseinandergesetzt -- sowie der raffinirtesten zur Vereinfachung der Arbeit ersinnbaren Kunstgriffe hergestellt werden.
Anscheinend verdient es im allgemeinen den Vorzug, den Boole- schen Faktor schon in den Prämissen rechts auf 1 -- statt wie oben auf 0 -- gebracht anzusetzen, für a x + b x1 = 0, also a1x + b1x1 = 1 zu nehmen, aus dem Grunde, weil man alsdann die Faktoren a1, b1 mit welchen die p, q, r, s, ... bei der Elimination des x zu multipliziren sein werden, schon als Koeffizienten vorgebildet findet, mithin sie nicht erst negando auszurechnen braucht.
Ersetzen wir die Bezeichnungen a1, b1 hernach durch die a, b, so erhält unser Theorem in der That die folgende eleganteste und zu- weilen auch bequemst anzuwendende Gestalt: ph) S (a x + b x1 = 1) (p x + q x1 0) (r x + s x1 0) ... S (a + b = 1) (p a + q b 0) (r a + s b 0) ... worin es auch erlaubt, sich die Summen eingliedrig zu denken, mithin die Summenzeichen wegzulassen.
Beim Operiren nach diesem Schema wird man jedoch behufs Her- stellung der "vereinigten" Boole'schen Gleichungen, anstatt des bisher gewohnten Theorems 24+), das Th. 24x) nämlich (a = 1) (b = 1) = (a b = 1) zum Vorbild nehmen, d. h. man wird die Polynome der zu vereinigenden Gleichungen jeweils miteinander multipliziren müssen, wo wir bisher summirten. Und da das Multipliziren nun, mit den oft noch unent- wickelten Aggregaten, welche als Polynome der Boole'schen Faktoren auftreten, so sehr viel unbequemer auszuführen ist, als wie das Ad- diren derselben, und diesem Unterschied gegenüber die Arbeit des Ne-
Neunzehnte Vorlesung.
wir etwa später anstatt der nach dem Schema φ), τ) gebildeten viel- mehr die durch Zuzug der „Klausel“ vervollständigten Resultanten in’s Auge fassen werden.
Die Glieder der resultirenden und die der Prämissenaussage ent- sprechen nach dem Gesagten einander gegenseitig eindeutig und sollen die zugeordneten „korrespondirende“ Glieder heissen. Jedes Glied der Konklusion ist die Resultante (der Elimination von x aus) zu seinem korrespondirenden Glied der Prämissenaussage.
In einem solchen Glied der Resultante, mithin bei dem Major von υ), möge derjenige Faktor — hier (a b = 0) — welcher eine Gleichung ist, der „Boole’sche Faktor“ genannt werden (und analog auch bei der Prämissenaussage). Derselbe kann natürlich auch, anstatt mecha- nisch nach dem gegebenen Schema, gewünschtenfalles unter Anwendung irgend welcher andern Methoden — wie solche in der 14ten Vorlesung auseinandergesetzt — sowie der raffinirtesten zur Vereinfachung der Arbeit ersinnbaren Kunstgriffe hergestellt werden.
Anscheinend verdient es im allgemeinen den Vorzug, den Boole- schen Faktor schon in den Prämissen rechts auf 1 — statt wie oben auf 0 — gebracht anzusetzen, für a x + b x1 = 0, also a1x + b1x1 = 1 zu nehmen, aus dem Grunde, weil man alsdann die Faktoren a1, b1 mit welchen die p, q, r, s, … bei der Elimination des x zu multipliziren sein werden, schon als Koeffizienten vorgebildet findet, mithin sie nicht erst negando auszurechnen braucht.
Ersetzen wir die Bezeichnungen a1, b1 hernach durch die a, b, so erhält unser Theorem in der That die folgende eleganteste und zu- weilen auch bequemst anzuwendende Gestalt: φ) Σ (a x + b x1 = 1) (p x + q x1 ≠ 0) (r x + s x1 ≠ 0) … ⊆ ⊆Σ (a + b = 1) (p a + q b ≠ 0) (r a + s b ≠ 0) … worin es auch erlaubt, sich die Summen eingliedrig zu denken, mithin die Summenzeichen wegzulassen.
Beim Operiren nach diesem Schema wird man jedoch behufs Her- stellung der „vereinigten“ Boole’schen Gleichungen, anstatt des bisher gewohnten Theorems 24+), das Th. 24×) nämlich (a = 1) (b = 1) = (a b = 1) zum Vorbild nehmen, d. h. man wird die Polynome der zu vereinigenden Gleichungen jeweils miteinander multipliziren müssen, wo wir bisher summirten. Und da das Multipliziren nun, mit den oft noch unent- wickelten Aggregaten, welche als Polynome der Boole’schen Faktoren auftreten, so sehr viel unbequemer auszuführen ist, als wie das Ad- diren derselben, und diesem Unterschied gegenüber die Arbeit des Ne-
<TEI><text><body><divn="1"><divn="2"><divn="3"><p><pbfacs="#f0236"n="212"/><fwplace="top"type="header">Neunzehnte Vorlesung.</fw><lb/>
wir etwa später anstatt der nach dem Schema <hirendition="#i">φ</hi>), <hirendition="#i">τ</hi>) gebildeten viel-<lb/>
mehr die durch Zuzug der „Klausel“ vervollständigten Resultanten in’s<lb/>
Auge fassen werden.</p><lb/><p>Die Glieder der resultirenden und die der Prämissenaussage ent-<lb/>
sprechen nach dem Gesagten einander gegenseitig eindeutig und sollen<lb/>
die zugeordneten „<hirendition="#i">korrespondirende</hi>“ Glieder heissen. Jedes Glied der<lb/>
Konklusion ist die Resultante (der Elimination von <hirendition="#i">x</hi> aus) zu seinem<lb/>
korrespondirenden Glied der Prämissenaussage.</p><lb/><p>In einem solchen Glied der Resultante, mithin bei dem Major von<lb/><hirendition="#i">υ</hi>), möge derjenige Faktor — hier (<hirendition="#i">a b</hi> = 0) — welcher eine Gleichung<lb/>
ist, der „<hirendition="#g">Boole’</hi>sche Faktor“ genannt werden (und analog auch bei<lb/>
der Prämissenaussage). Derselbe kann natürlich auch, anstatt mecha-<lb/>
nisch nach dem gegebenen Schema, gewünschtenfalles unter Anwendung<lb/>
irgend welcher andern Methoden — wie solche in der 14<hirendition="#sup">ten</hi> Vorlesung<lb/>
auseinandergesetzt — sowie der raffinirtesten zur Vereinfachung der<lb/>
Arbeit ersinnbaren Kunstgriffe hergestellt werden.</p><lb/><p>Anscheinend verdient es im allgemeinen den Vorzug, den <hirendition="#g">Boole</hi>-<lb/>
schen Faktor schon in den Prämissen rechts auf 1 — statt wie oben<lb/>
auf 0 — gebracht anzusetzen, für <hirendition="#i">a x</hi> + <hirendition="#i">b x</hi><hirendition="#sub">1</hi> = 0, also <hirendition="#i">a</hi><hirendition="#sub">1</hi><hirendition="#i">x</hi> + <hirendition="#i">b</hi><hirendition="#sub">1</hi><hirendition="#i">x</hi><hirendition="#sub">1</hi> = 1 zu<lb/>
nehmen, aus dem Grunde, weil man alsdann die Faktoren <hirendition="#i">a</hi><hirendition="#sub">1</hi>, <hirendition="#i">b</hi><hirendition="#sub">1</hi> mit<lb/>
welchen die <hirendition="#i">p</hi>, <hirendition="#i">q</hi>, <hirendition="#i">r</hi>, <hirendition="#i">s</hi>, … bei der Elimination des <hirendition="#i">x</hi> zu multipliziren<lb/>
sein werden, schon als Koeffizienten vorgebildet findet, mithin sie nicht<lb/>
erst negando auszurechnen braucht.</p><lb/><p>Ersetzen wir die Bezeichnungen <hirendition="#i">a</hi><hirendition="#sub">1</hi>, <hirendition="#i">b</hi><hirendition="#sub">1</hi> hernach durch die <hirendition="#i">a</hi>, <hirendition="#i">b</hi>, so<lb/>
erhält unser Theorem in der That die folgende eleganteste und zu-<lb/>
weilen auch bequemst anzuwendende Gestalt:<lb/><hirendition="#i">φ</hi>) <hirendition="#et"><hirendition="#i">Σ</hi> (<hirendition="#i">a x</hi> + <hirendition="#i">b x</hi><hirendition="#sub">1</hi> = 1) (<hirendition="#i">p x</hi> + <hirendition="#i">q x</hi><hirendition="#sub">1</hi>≠ 0) (<hirendition="#i">r x</hi> + <hirendition="#i">s x</hi><hirendition="#sub">1</hi>≠ 0) …<choice><orig></orig><reg>⊆</reg></choice><lb/><choice><orig></orig><reg>⊆</reg></choice><hirendition="#i">Σ</hi> (<hirendition="#i">a</hi> + <hirendition="#i">b</hi> = 1) (<hirendition="#i">p a</hi> + <hirendition="#i">q b</hi>≠ 0) (<hirendition="#i">r a</hi> + <hirendition="#i">s b</hi>≠ 0) …</hi><lb/>
worin es auch erlaubt, sich die Summen eingliedrig zu denken, mithin<lb/>
die Summenzeichen wegzulassen.</p><lb/><p>Beim Operiren nach diesem Schema wird man jedoch behufs Her-<lb/>
stellung der „vereinigten“<hirendition="#g">Boole’</hi>schen Gleichungen, anstatt des bisher<lb/>
gewohnten Theorems 24<hirendition="#sub">+</hi>), das Th. 24<hirendition="#sub">×</hi>) nämlich (<hirendition="#i">a</hi> = 1) (<hirendition="#i">b</hi> = 1) = (<hirendition="#i">a b</hi> = 1)<lb/>
zum Vorbild nehmen, d. h. man wird die Polynome der zu vereinigenden<lb/>
Gleichungen jeweils miteinander <hirendition="#i">multipliziren</hi> müssen, wo wir bisher<lb/>
summirten. Und da das Multipliziren nun, mit den oft noch unent-<lb/>
wickelten Aggregaten, welche als Polynome der <hirendition="#g">Boole’</hi>schen Faktoren<lb/>
auftreten, so sehr viel unbequemer auszuführen ist, als wie das Ad-<lb/>
diren derselben, und diesem Unterschied gegenüber die Arbeit des Ne-<lb/></p></div></div></div></body></text></TEI>
[212/0236]
Neunzehnte Vorlesung.
wir etwa später anstatt der nach dem Schema φ), τ) gebildeten viel-
mehr die durch Zuzug der „Klausel“ vervollständigten Resultanten in’s
Auge fassen werden.
Die Glieder der resultirenden und die der Prämissenaussage ent-
sprechen nach dem Gesagten einander gegenseitig eindeutig und sollen
die zugeordneten „korrespondirende“ Glieder heissen. Jedes Glied der
Konklusion ist die Resultante (der Elimination von x aus) zu seinem
korrespondirenden Glied der Prämissenaussage.
In einem solchen Glied der Resultante, mithin bei dem Major von
υ), möge derjenige Faktor — hier (a b = 0) — welcher eine Gleichung
ist, der „Boole’sche Faktor“ genannt werden (und analog auch bei
der Prämissenaussage). Derselbe kann natürlich auch, anstatt mecha-
nisch nach dem gegebenen Schema, gewünschtenfalles unter Anwendung
irgend welcher andern Methoden — wie solche in der 14ten Vorlesung
auseinandergesetzt — sowie der raffinirtesten zur Vereinfachung der
Arbeit ersinnbaren Kunstgriffe hergestellt werden.
Anscheinend verdient es im allgemeinen den Vorzug, den Boole-
schen Faktor schon in den Prämissen rechts auf 1 — statt wie oben
auf 0 — gebracht anzusetzen, für a x + b x1 = 0, also a1 x + b1 x1 = 1 zu
nehmen, aus dem Grunde, weil man alsdann die Faktoren a1, b1 mit
welchen die p, q, r, s, … bei der Elimination des x zu multipliziren
sein werden, schon als Koeffizienten vorgebildet findet, mithin sie nicht
erst negando auszurechnen braucht.
Ersetzen wir die Bezeichnungen a1, b1 hernach durch die a, b, so
erhält unser Theorem in der That die folgende eleganteste und zu-
weilen auch bequemst anzuwendende Gestalt:
φ) Σ (a x + b x1 = 1) (p x + q x1 ≠ 0) (r x + s x1 ≠ 0) … 
 Σ (a + b = 1) (p a + q b ≠ 0) (r a + s b ≠ 0) …
worin es auch erlaubt, sich die Summen eingliedrig zu denken, mithin
die Summenzeichen wegzulassen.
Beim Operiren nach diesem Schema wird man jedoch behufs Her-
stellung der „vereinigten“ Boole’schen Gleichungen, anstatt des bisher
gewohnten Theorems 24+), das Th. 24×) nämlich (a = 1) (b = 1) = (a b = 1)
zum Vorbild nehmen, d. h. man wird die Polynome der zu vereinigenden
Gleichungen jeweils miteinander multipliziren müssen, wo wir bisher
summirten. Und da das Multipliziren nun, mit den oft noch unent-
wickelten Aggregaten, welche als Polynome der Boole’schen Faktoren
auftreten, so sehr viel unbequemer auszuführen ist, als wie das Ad-
diren derselben, und diesem Unterschied gegenüber die Arbeit des Ne-
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. 2, Abt. 1. Leipzig, 1891, S. 212. In: Deutsches Textarchiv <https://www.deutschestextarchiv.de/schroeder_logik0201_1891/236>, abgerufen am 25.11.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/.
