Das Theorem ist bereits von Boole gegeben; es bewirkt dass mul- tiplikative Prozesse sich im identischen Kalkul oft ausserordentlich viel be- quemer, als in der Arithmetik gestalten.
Zusatz zu Th. 45+).
Das Theorem ist noch einer naheliegenden Erweiterung fähig, nach welcher überhaupt das Ausmultipliziren von gleichvielgliedrigen Aggregaten oft sich vereinfachen wird (auch wenn diese Aggregate nicht aus "Entwickelung" nach gewissen Argumenten hervorgegangen). Zur Herstellung des Produktes zweier solchen Aggregate genügt die multiplikative Verknüpfung ihrer gleichstelligen Glieder, sobald bekannt ist, dass die Glieder des einen Aggregates disjunkt sind mit den un- gleichstelligen Gliedern des andern -- was dann immer auch umgekehrt der Fall sein wird. So muss z. B. sein: (a + b + c) (a' + b' + c') = a a' + b b' + c c', sobald a b' = 0, a c' = 0, b a' = 0, b c' = 0, c a' = 0, c b' = 0 ist. --
46+) Theorem.
Auch die Negation einer nach irgendwelchen Symbolen entwickelten Funktion wird nach ebendiesen entwickelt erhalten, indem man einfach die Koeffizienten des Ausdrucks negirt, die Konstituenten aber unver- ändert lässt; es ist: (a x + b x1)1 = a1x + b1x1, (a x y + b x y1 + c x1y + d x1y1)1 = a1x y + b1x y1 + c1x1y + d1x1y1, etc. Beweis 1. Bezeichnet f den Inhalt der Klammer links, das ist eben die zu negirende Funktion, den Neganden, und f' die rechte Seite der zu beweisenden Gleichung, sonach die angebliche Negation von f, so ist blos zu zeigen, dass f' = f1 d. h. die angebliche Negation in der That die wirkliche ist. Auf Grund der Theoreme 30), wonach ja: f f1 = 0 und f + f1 = 1 sein muss, wird dies aber nach dem Hülfstheorem 29) geleistet sein, sobald wir darthun, dass auch: f f' = 0 und f + f' = 1 ist. Beides folgt nun in der That durch Ausführung dieser Multipli- kation und Addition gemäss Th. 45+), indem bei f und f' die Produkte der gleichstelligen Koeffizienten a, a1; b, b1; etc. durchweg verschwinden, ihre Summen gleich 1 werden -- konform den Theoremen 30), wobei zuletzt Zusatz 2 zu Th. 44+) in Wirksamkeit tritt.
Zehnte Vorlesung.
Das Theorem ist bereits von Boole gegeben; es bewirkt dass mul- tiplikative Prozesse sich im identischen Kalkul oft ausserordentlich viel be- quemer, als in der Arithmetik gestalten.
Zusatz zu Th. 45+).
Das Theorem ist noch einer naheliegenden Erweiterung fähig, nach welcher überhaupt das Ausmultipliziren von gleichvielgliedrigen Aggregaten oft sich vereinfachen wird (auch wenn diese Aggregate nicht aus „Entwickelung“ nach gewissen Argumenten hervorgegangen). Zur Herstellung des Produktes zweier solchen Aggregate genügt die multiplikative Verknüpfung ihrer gleichstelligen Glieder, sobald bekannt ist, dass die Glieder des einen Aggregates disjunkt sind mit den un- gleichstelligen Gliedern des andern — was dann immer auch umgekehrt der Fall sein wird. So muss z. B. sein: (a + b + c) (a' + b' + c') = a a' + b b' + c c', sobald a b' = 0, a c' = 0, b a' = 0, b c' = 0, c a' = 0, c b' = 0 ist. —
46+) Theorem.
Auch die Negation einer nach irgendwelchen Symbolen entwickelten Funktion wird nach ebendiesen entwickelt erhalten, indem man einfach die Koeffizienten des Ausdrucks negirt, die Konstituenten aber unver- ändert lässt; es ist: (a x + b x1)1 = a1x + b1x1, (a x y + b x y1 + c x1y + d x1y1)1 = a1x y + b1x y1 + c1x1y + d1x1y1, etc. Beweis 1. Bezeichnet f den Inhalt der Klammer links, das ist eben die zu negirende Funktion, den Neganden, und f' die rechte Seite der zu beweisenden Gleichung, sonach die angebliche Negation von f, so ist blos zu zeigen, dass f' = f1 d. h. die angebliche Negation in der That die wirkliche ist. Auf Grund der Theoreme 30), wonach ja: f f1 = 0 und f + f1 = 1 sein muss, wird dies aber nach dem Hülfstheorem 29) geleistet sein, sobald wir darthun, dass auch: f f' = 0 und f + f' = 1 ist. Beides folgt nun in der That durch Ausführung dieser Multipli- kation und Addition gemäss Th. 45+), indem bei f und f' die Produkte der gleichstelligen Koeffizienten a, a1; b, b1; etc. durchweg verschwinden, ihre Summen gleich 1 werden — konform den Theoremen 30), wobei zuletzt Zusatz 2 zu Th. 44+) in Wirksamkeit tritt.
<TEI><text><body><divn="1"><divn="2"><pbfacs="#f0442"n="422"/><fwplace="top"type="header">Zehnte Vorlesung.</fw><lb/><p>Das Theorem ist bereits von <hirendition="#g">Boole</hi> gegeben; es bewirkt dass mul-<lb/>
tiplikative Prozesse sich im identischen Kalkul oft ausserordentlich viel be-<lb/>
quemer, als in der Arithmetik gestalten.</p><lb/><p><hirendition="#g">Zusatz</hi> zu Th. 45<hirendition="#sub">+</hi>).</p><lb/><p>Das Theorem ist noch einer naheliegenden Erweiterung fähig,<lb/>
nach welcher überhaupt das Ausmultipliziren von <hirendition="#i">gleichvielgliedrigen</hi><lb/>
Aggregaten oft sich vereinfachen wird (auch wenn diese Aggregate<lb/><hirendition="#i">nicht</hi> aus „Entwickelung“ nach gewissen Argumenten hervorgegangen).<lb/>
Zur Herstellung des Produktes zweier solchen Aggregate <hirendition="#i">genügt die<lb/>
multiplikative Verknüpfung ihrer gleichstelligen Glieder</hi>, sobald bekannt<lb/>
ist, dass die Glieder des einen Aggregates <hirendition="#i">disjunkt</hi> sind mit den <hirendition="#i">un-<lb/>
gleichstelligen</hi> Gliedern des andern — was dann immer auch umgekehrt<lb/>
der Fall sein wird. So muss z. B. sein:<lb/><hirendition="#c">(<hirendition="#i">a</hi> + <hirendition="#i">b</hi> + <hirendition="#i">c</hi>) (<hirendition="#i">a</hi>' + <hirendition="#i">b</hi>' + <hirendition="#i">c</hi>') = <hirendition="#i">a a</hi>' + <hirendition="#i">b b</hi>' + <hirendition="#i">c c</hi>',</hi><lb/>
sobald <hirendition="#i">a b</hi>' = 0, <hirendition="#i">a c</hi>' = 0, <hirendition="#i">b a</hi>' = 0, <hirendition="#i">b c</hi>' = 0, <hirendition="#i">c a</hi>' = 0, <hirendition="#i">c b</hi>' = 0 ist. —</p><lb/><p>46<hirendition="#sub">+</hi>) <hirendition="#g">Theorem</hi>.</p><lb/><p>Auch <hirendition="#i">die Negation einer</hi> nach irgendwelchen Symbolen <hirendition="#i">entwickelten<lb/>
Funktion wird</hi> nach ebendiesen entwickelt <hirendition="#i">erhalten</hi>, <hirendition="#i">indem man</hi> einfach<lb/><hirendition="#i">die Koeffizienten</hi> des Ausdrucks <hirendition="#i">negirt</hi>, die Konstituenten aber unver-<lb/>
ändert lässt; es ist:<lb/><hirendition="#c">(<hirendition="#i">a x</hi> + <hirendition="#i">b x</hi><hirendition="#sub">1</hi>)<hirendition="#sub">1</hi> = <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>,<lb/>
(<hirendition="#i">a x y</hi> + <hirendition="#i">b x y</hi><hirendition="#sub">1</hi> + <hirendition="#i">c x</hi><hirendition="#sub">1</hi><hirendition="#i">y</hi> + <hirendition="#i">d x</hi><hirendition="#sub">1</hi><hirendition="#i">y</hi><hirendition="#sub">1</hi>)<hirendition="#sub">1</hi> = <hirendition="#i">a</hi><hirendition="#sub">1</hi><hirendition="#i">x y</hi> + <hirendition="#i">b</hi><hirendition="#sub">1</hi><hirendition="#i">x y</hi><hirendition="#sub">1</hi> + <hirendition="#i">c</hi><hirendition="#sub">1</hi><hirendition="#i">x</hi><hirendition="#sub">1</hi><hirendition="#i">y</hi> + <hirendition="#i">d</hi><hirendition="#sub">1</hi><hirendition="#i">x</hi><hirendition="#sub">1</hi><hirendition="#i">y</hi><hirendition="#sub">1</hi>,</hi><lb/>
etc. <hirendition="#g">Beweis</hi> 1. Bezeichnet <hirendition="#i">f</hi> den Inhalt der Klammer links, das ist<lb/>
eben die zu negirende Funktion, den Neganden, und <hirendition="#i">f</hi>' die rechte Seite<lb/>
der zu beweisenden Gleichung, sonach die <hirendition="#i">angebliche</hi> Negation von <hirendition="#i">f</hi>,<lb/>
so ist blos zu zeigen, dass<lb/><hirendition="#c"><hirendition="#i">f</hi>' = <hirendition="#i">f</hi><hirendition="#sub">1</hi></hi><lb/>
d. h. die angebliche Negation in der That die wirkliche ist. Auf Grund<lb/>
der Theoreme 30), wonach ja:<lb/><hirendition="#c"><hirendition="#i">f f</hi><hirendition="#sub">1</hi> = 0 und <hirendition="#i">f</hi> + <hirendition="#i">f</hi><hirendition="#sub">1</hi> = 1</hi><lb/>
sein muss, wird dies aber nach dem Hülfstheorem 29) geleistet sein,<lb/>
sobald wir darthun, dass auch:<lb/><hirendition="#c"><hirendition="#i">f f</hi>' = 0 und <hirendition="#i">f</hi> + <hirendition="#i">f</hi>' = 1</hi><lb/>
ist. Beides folgt nun in der That durch Ausführung dieser Multipli-<lb/>
kation und Addition gemäss Th. 45<hirendition="#sub">+</hi>), indem bei <hirendition="#i">f</hi> und <hirendition="#i">f</hi>' die Produkte<lb/>
der gleichstelligen Koeffizienten <hirendition="#i">a</hi>, <hirendition="#i">a</hi><hirendition="#sub">1</hi>; <hirendition="#i">b</hi>, <hirendition="#i">b</hi><hirendition="#sub">1</hi>; etc. durchweg verschwinden,<lb/>
ihre Summen gleich 1 werden — konform den Theoremen 30), wobei<lb/>
zuletzt Zusatz 2 zu Th. 44<hirendition="#sub">+</hi>) in Wirksamkeit tritt.</p><lb/></div></div></body></text></TEI>
[422/0442]
Zehnte Vorlesung.
Das Theorem ist bereits von Boole gegeben; es bewirkt dass mul-
tiplikative Prozesse sich im identischen Kalkul oft ausserordentlich viel be-
quemer, als in der Arithmetik gestalten.
Zusatz zu Th. 45+).
Das Theorem ist noch einer naheliegenden Erweiterung fähig,
nach welcher überhaupt das Ausmultipliziren von gleichvielgliedrigen
Aggregaten oft sich vereinfachen wird (auch wenn diese Aggregate
nicht aus „Entwickelung“ nach gewissen Argumenten hervorgegangen).
Zur Herstellung des Produktes zweier solchen Aggregate genügt die
multiplikative Verknüpfung ihrer gleichstelligen Glieder, sobald bekannt
ist, dass die Glieder des einen Aggregates disjunkt sind mit den un-
gleichstelligen Gliedern des andern — was dann immer auch umgekehrt
der Fall sein wird. So muss z. B. sein:
(a + b + c) (a' + b' + c') = a a' + b b' + c c',
sobald a b' = 0, a c' = 0, b a' = 0, b c' = 0, c a' = 0, c b' = 0 ist. —
46+) Theorem.
Auch die Negation einer nach irgendwelchen Symbolen entwickelten
Funktion wird nach ebendiesen entwickelt erhalten, indem man einfach
die Koeffizienten des Ausdrucks negirt, die Konstituenten aber unver-
ändert lässt; es ist:
(a x + b x1)1 = a1 x + b1 x1,
(a x y + b x y1 + c x1 y + d x1 y1)1 = a1 x y + b1 x y1 + c1 x1 y + d1 x1 y1,
etc. Beweis 1. Bezeichnet f den Inhalt der Klammer links, das ist
eben die zu negirende Funktion, den Neganden, und f' die rechte Seite
der zu beweisenden Gleichung, sonach die angebliche Negation von f,
so ist blos zu zeigen, dass
f' = f1
d. h. die angebliche Negation in der That die wirkliche ist. Auf Grund
der Theoreme 30), wonach ja:
f f1 = 0 und f + f1 = 1
sein muss, wird dies aber nach dem Hülfstheorem 29) geleistet sein,
sobald wir darthun, dass auch:
f f' = 0 und f + f' = 1
ist. Beides folgt nun in der That durch Ausführung dieser Multipli-
kation und Addition gemäss Th. 45+), indem bei f und f' die Produkte
der gleichstelligen Koeffizienten a, a1; b, b1; etc. durchweg verschwinden,
ihre Summen gleich 1 werden — konform den Theoremen 30), wobei
zuletzt Zusatz 2 zu Th. 44+) in Wirksamkeit tritt.
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. 422. In: Deutsches Textarchiv <https://www.deutschestextarchiv.de/schroeder_logik01_1890/442>, 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/.