können als (ein- oder mehrfaktorige) Produkte aus einfachen Gebiet- symbolen, irgendwie herausgegriffen aus der Gruppe der in den Aus- druck ursprünglich eingehenden literalen Gebiete. q. e. d.
Man sagt von einem in solcher Weise dargestellten Ausdruck: derselbe sei in seine letzten Glieder ("ultimate aggregants") zerfällt, auf- gelöst (oder entwickelt).
Bemerkenswert ist, dass er dann keine Klammern mehr enthalten wird. In der That nur beim Multipliziren von Summen durfte die Klammer (um diese herum) nicht ohne weiteres weggelassen werden, wogegen beim Addiren von Produkten dem herrschenden Gebrauch gemäss die Klammern jeweils gespart werden.
Es versteht sich, dass man bei der geschilderten Zerfällungsarbeit von den Gesetzen der Tautologie und Absorption, -- Th. 14) und 23) -- im Sinne der Vereinfachung des Resultates umfassendsten Ge- brauch machen wird.
Geschieht letzteres nach Möglichkeit, also dass kein Term wiederholt angesetzt und jeder unterdrückt wird, der einen andern als Faktor ent- hält, so würde sich wol zeigen lassen, dass die Zerfällung eines Ausdruckes in seine letzten Aggreganten immer nur auf eine Weise möglich, dass sie eine vollkommen eindentig bestimmte ist, sobald wenigstens die in den Ausdruck eingehenden "einfachen" Gebiete von einander unabhängig be- liebige sind [solange also insbesondre unter diesen Gebieten auch keine vorkommen, welche die "Negation" von andern sind]. Indessen im Hin- blick auf spätere viel wichtigere Ausdehnungen unsres Satzes (vergl. § 19) dürfte es kaum verlohnen, diesen immerhin schwierig erscheinenden Nach- weis zu liefern.
Zur Illustration werde die Aufgabe gelöst den folgenden Ausdruck in seine letzten Aggreganten zu zerfällen: x = {a b c + (a b d + a c d)} + + {(a b + c d) (a c + b d) (a d + b c) + (a + b + c) (a + b + d) (a + c + d) (b + c + d)} x · {(a + b) (c + d) + (a + c) (b + d)} (a + b c) (a + b d) (a + c d) (a + b c d).
Als Nebenrechnung entwickle man erst die beiden Glieder in der zweiten Zeile.
Das erste wird (durch Ausmultipliziren): a b c d + a b c + a b d + a c d + b c d, wovon auch noch der erste Term eingeht; das zweite wird: (a + b + c d) (a b + c + d) = a b + a c + a d + b c + b d + c d + a b c d, wovon der letzte Term absorbirt wird.
Die stehen bleibenden sechs Terme absorbiren aber auch noch die sämtlichen des vorhergehenden Gliedes, und da die Entwickelung des In- haltes der geschwungenen Klammer in der dritten Zeile gerade die näm- lichen sechs Terme liefert, so erhalten wir:
§ 13. Auf Negation gründbare Sätze.
können als (ein- oder mehrfaktorige) Produkte aus einfachen Gebiet- symbolen, irgendwie herausgegriffen aus der Gruppe der in den Aus- druck ursprünglich eingehenden literalen Gebiete. q. e. d.
Man sagt von einem in solcher Weise dargestellten Ausdruck: derselbe sei in seine letzten Glieder („ultimate aggregants“) zerfällt, auf- gelöst (oder entwickelt).
Bemerkenswert ist, dass er dann keine Klammern mehr enthalten wird. In der That nur beim Multipliziren von Summen durfte die Klammer (um diese herum) nicht ohne weiteres weggelassen werden, wogegen beim Addiren von Produkten dem herrschenden Gebrauch gemäss die Klammern jeweils gespart werden.
Es versteht sich, dass man bei der geschilderten Zerfällungsarbeit von den Gesetzen der Tautologie und Absorption, — Th. 14) und 23) — im Sinne der Vereinfachung des Resultates umfassendsten Ge- brauch machen wird.
Geschieht letzteres nach Möglichkeit, also dass kein Term wiederholt angesetzt und jeder unterdrückt wird, der einen andern als Faktor ent- hält, so würde sich wol zeigen lassen, dass die Zerfällung eines Ausdruckes in seine letzten Aggreganten immer nur auf eine Weise möglich, dass sie eine vollkommen eindentig bestimmte ist, sobald wenigstens die in den Ausdruck eingehenden „einfachen“ Gebiete von einander unabhängig be- liebige sind [solange also insbesondre unter diesen Gebieten auch keine vorkommen, welche die „Negation“ von andern sind]. Indessen im Hin- blick auf spätere viel wichtigere Ausdehnungen unsres Satzes (vergl. § 19) dürfte es kaum verlohnen, diesen immerhin schwierig erscheinenden Nach- weis zu liefern.
Zur Illustration werde die Aufgabe gelöst den folgenden Ausdruck in seine letzten Aggreganten zu zerfällen: x = {a b c + (a b d + a c d)} + + {(a b + c d) (a c + b d) (a d + b c) + (a + b + c) (a + b + d) (a + c + d) (b + c + d)} × · {(a + b) (c + d) + (a + c) (b + d)} (a + b c) (a + b d) (a + c d) (a + b c d).
Als Nebenrechnung entwickle man erst die beiden Glieder in der zweiten Zeile.
Das erste wird (durch Ausmultipliziren): a b c d + a b c + a b d + a c d + b c d, wovon auch noch der erste Term eingeht; das zweite wird: (a + b + c d) (a b + c + d) = a b + a c + a d + b c + b d + c d + a b c d, wovon der letzte Term absorbirt wird.
Die stehen bleibenden sechs Terme absorbiren aber auch noch die sämtlichen des vorhergehenden Gliedes, und da die Entwickelung des In- haltes der geschwungenen Klammer in der dritten Zeile gerade die näm- lichen sechs Terme liefert, so erhalten wir:
<TEI><text><body><divn="1"><divn="2"><p><pbfacs="#f0333"n="313"/><fwplace="top"type="header">§ 13. Auf Negation gründbare Sätze.</fw><lb/>
können als (<hirendition="#i">ein</hi>- oder mehrfaktorige) Produkte aus einfachen Gebiet-<lb/>
symbolen, irgendwie herausgegriffen aus der Gruppe der in den Aus-<lb/>
druck ursprünglich eingehenden literalen Gebiete. q. e. d.</p><lb/><p>Man sagt von einem in solcher Weise dargestellten Ausdruck:<lb/>
derselbe sei <hirendition="#i">in seine letzten Glieder</hi> („ultimate aggregants“) <hirendition="#i">zerfällt</hi>, auf-<lb/>
gelöst (oder entwickelt).</p><lb/><p>Bemerkenswert ist, dass er dann <hirendition="#i">keine Klammern mehr enthalten</hi><lb/>
wird. In der That nur beim Multipliziren von Summen durfte die<lb/>
Klammer (um diese herum) nicht ohne weiteres weggelassen werden,<lb/>
wogegen beim Addiren von Produkten dem herrschenden Gebrauch<lb/>
gemäss die Klammern jeweils gespart werden.</p><lb/><p>Es versteht sich, dass man bei der geschilderten Zerfällungsarbeit<lb/>
von den Gesetzen der Tautologie und Absorption, — Th. 14) und<lb/>
23) — im Sinne der Vereinfachung des Resultates umfassendsten Ge-<lb/>
brauch machen wird.</p><lb/><p>Geschieht letzteres nach Möglichkeit, also dass kein Term wiederholt<lb/>
angesetzt und jeder unterdrückt wird, der einen andern als Faktor ent-<lb/>
hält, so würde sich wol zeigen lassen, dass die Zerfällung eines Ausdruckes<lb/>
in seine letzten Aggreganten immer nur auf <hirendition="#i">eine</hi> Weise möglich, dass sie<lb/>
eine vollkommen eindentig bestimmte ist, sobald wenigstens die in den<lb/>
Ausdruck eingehenden „einfachen“ Gebiete von einander unabhängig be-<lb/>
liebige sind [solange also insbesondre unter diesen Gebieten auch keine<lb/>
vorkommen, welche die „Negation“ von andern sind]. Indessen im Hin-<lb/>
blick auf spätere viel wichtigere Ausdehnungen unsres Satzes (vergl. § 19)<lb/>
dürfte es kaum verlohnen, diesen immerhin schwierig erscheinenden Nach-<lb/>
weis zu liefern.</p><lb/><p>Zur Illustration werde die <hirendition="#g">Aufgabe</hi> gelöst den folgenden Ausdruck in<lb/>
seine letzten Aggreganten zu zerfällen:<lb/><hirendition="#i">x</hi> = {<hirendition="#i">a b c</hi> + (<hirendition="#i">a b d</hi> + <hirendition="#i">a c d</hi>)} +<lb/>
+ {(<hirendition="#i">a b</hi> + <hirendition="#i">c d</hi>) (<hirendition="#i">a c</hi> + <hirendition="#i">b d</hi>) (<hirendition="#i">a d</hi> + <hirendition="#i">b c</hi>) + (<hirendition="#i">a</hi> + <hirendition="#i">b</hi> + <hirendition="#i">c</hi>) (<hirendition="#i">a</hi> + <hirendition="#i">b</hi> + <hirendition="#i">d</hi>) (<hirendition="#i">a</hi> + <hirendition="#i">c</hi> + <hirendition="#i">d</hi>) (<hirendition="#i">b</hi> + <hirendition="#i">c</hi> + <hirendition="#i">d</hi>)} ×<lb/>
· {(<hirendition="#i">a</hi> + <hirendition="#i">b</hi>) (<hirendition="#i">c</hi> + <hirendition="#i">d</hi>) + (<hirendition="#i">a</hi> + <hirendition="#i">c</hi>) (<hirendition="#i">b</hi> + <hirendition="#i">d</hi>)} (<hirendition="#i">a</hi> + <hirendition="#i">b c</hi>) (<hirendition="#i">a</hi> + <hirendition="#i">b d</hi>) (<hirendition="#i">a</hi> + <hirendition="#i">c d</hi>) (<hirendition="#i">a</hi> + <hirendition="#i">b c d</hi>).</p><lb/><p>Als Nebenrechnung entwickle man erst die beiden Glieder in der<lb/>
zweiten Zeile.</p><lb/><p>Das erste wird (durch Ausmultipliziren):<lb/><hirendition="#c"><hirendition="#i">a b c d</hi> + <hirendition="#i">a b c</hi> + <hirendition="#i">a b d</hi> + <hirendition="#i">a c d</hi> + <hirendition="#i">b c d</hi>,</hi><lb/>
wovon auch noch der erste Term eingeht; das zweite wird:<lb/><hirendition="#c">(<hirendition="#i">a</hi> + <hirendition="#i">b</hi> + <hirendition="#i">c d</hi>) (<hirendition="#i">a b</hi> + <hirendition="#i">c</hi> + <hirendition="#i">d</hi>) = <hirendition="#i">a b</hi> + <hirendition="#i">a c</hi> + <hirendition="#i">a d</hi> + <hirendition="#i">b c</hi> + <hirendition="#i">b d</hi> + <hirendition="#i">c d</hi> + <hirendition="#i">a b c d</hi>,</hi><lb/>
wovon der letzte Term absorbirt wird.</p><lb/><p>Die stehen bleibenden sechs Terme absorbiren aber auch noch die<lb/>
sämtlichen des vorhergehenden Gliedes, und da die Entwickelung des In-<lb/>
haltes der geschwungenen Klammer in der dritten Zeile gerade die näm-<lb/>
lichen sechs Terme liefert, so erhalten wir:<lb/></p></div></div></body></text></TEI>
[313/0333]
§ 13. Auf Negation gründbare Sätze.
können als (ein- oder mehrfaktorige) Produkte aus einfachen Gebiet-
symbolen, irgendwie herausgegriffen aus der Gruppe der in den Aus-
druck ursprünglich eingehenden literalen Gebiete. q. e. d.
Man sagt von einem in solcher Weise dargestellten Ausdruck:
derselbe sei in seine letzten Glieder („ultimate aggregants“) zerfällt, auf-
gelöst (oder entwickelt).
Bemerkenswert ist, dass er dann keine Klammern mehr enthalten
wird. In der That nur beim Multipliziren von Summen durfte die
Klammer (um diese herum) nicht ohne weiteres weggelassen werden,
wogegen beim Addiren von Produkten dem herrschenden Gebrauch
gemäss die Klammern jeweils gespart werden.
Es versteht sich, dass man bei der geschilderten Zerfällungsarbeit
von den Gesetzen der Tautologie und Absorption, — Th. 14) und
23) — im Sinne der Vereinfachung des Resultates umfassendsten Ge-
brauch machen wird.
Geschieht letzteres nach Möglichkeit, also dass kein Term wiederholt
angesetzt und jeder unterdrückt wird, der einen andern als Faktor ent-
hält, so würde sich wol zeigen lassen, dass die Zerfällung eines Ausdruckes
in seine letzten Aggreganten immer nur auf eine Weise möglich, dass sie
eine vollkommen eindentig bestimmte ist, sobald wenigstens die in den
Ausdruck eingehenden „einfachen“ Gebiete von einander unabhängig be-
liebige sind [solange also insbesondre unter diesen Gebieten auch keine
vorkommen, welche die „Negation“ von andern sind]. Indessen im Hin-
blick auf spätere viel wichtigere Ausdehnungen unsres Satzes (vergl. § 19)
dürfte es kaum verlohnen, diesen immerhin schwierig erscheinenden Nach-
weis zu liefern.
Zur Illustration werde die Aufgabe gelöst den folgenden Ausdruck in
seine letzten Aggreganten zu zerfällen:
x = {a b c + (a b d + a c d)} +
+ {(a b + c d) (a c + b d) (a d + b c) + (a + b + c) (a + b + d) (a + c + d) (b + c + d)} ×
· {(a + b) (c + d) + (a + c) (b + d)} (a + b c) (a + b d) (a + c d) (a + b c d).
Als Nebenrechnung entwickle man erst die beiden Glieder in der
zweiten Zeile.
Das erste wird (durch Ausmultipliziren):
a b c d + a b c + a b d + a c d + b c d,
wovon auch noch der erste Term eingeht; das zweite wird:
(a + b + c d) (a b + c + d) = a b + a c + a d + b c + b d + c d + a b c d,
wovon der letzte Term absorbirt wird.
Die stehen bleibenden sechs Terme absorbiren aber auch noch die
sämtlichen des vorhergehenden Gliedes, und da die Entwickelung des In-
haltes der geschwungenen Klammer in der dritten Zeile gerade die näm-
lichen sechs Terme liefert, so erhalten wir:
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. 313. In: Deutsches Textarchiv <https://www.deutschestextarchiv.de/schroeder_logik01_1890/333>, abgerufen am 27.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/.
