auf x erscheinen, indem eben behufs ihrer Gewinnung dieses x durch 1 oder 0 ersetzt werden musste. Hierauf entwickle man jeden dieser Koeffizienten nunmehr nach y, abermals gemäss dem Schema 44+), setze seinen Wert in den Ausdruck ein und multiplizire aus. Die neuen Koeffizienten werden dann nur noch als Funktionen von z, ... dagegen als konstant bezüglich x und y erscheinen; sie können nach z entwickelt eingesetzt werden, und so weiter.
Es wird genügen, den angedeuteten Beweis nur für die Funktion f(x, y) von zwei Argumenten wirklich auszuführen, da von diesem be- sonderen Falle des auszuführenden Beweises der allgemeinere sich nur quantitativ (durch grössere Häufung von Symbolen in den auch häufiger wiederholt zu machenden Ansätzen) unterscheidet. -- Dort hat man zunächst: f (x, y) = f (1, y) x + f (0, y) x1, und dann weiter: f (1, y) = f (1, 1) y + f (1, 0) y1, f (0, y) = f (0, 1) y + f (0, 0) y1.
Die Einsetzung dieser Werte in den vorigen Ausdruck gibt nach Ausmultipliziren den zu beweisenden Satz, wie er sich oben angegeben findet. --
Die im obigen Zusatz gegebene Ausdehnung des Th. 44) auf Funk- tionen von mehr als einem Argumente ist zwar theoretisch interessant und wichtig, aber für die Technik des Kalkuls von geringem prak- tischen Werte, aus dem Grunde, weil man sich bei den vielen zum Teil gleichzeitig geforderten Einsetzungen von Werten 0 und 1 (je für ein Symbol und dessen Negation, oder umgekehrt) allzuleicht ver- sieht, diese zahlreichen Substitutionen auch ermüdend und lang- weilig sind.
Sollte wirklich die Entwickelung einer gegebenen Funktion nach mehreren Argumenten angezeigt erscheinen, so schlägt man am besten den Weg ein, der uns zum Beweise dieses Zusatzes verholfen hat, d. h. man entwickelt immer nur nach einem Argument auf einmal und so nach diesen allen nur successive ("fortschreitend", "hintereinan- der"), wobei man bei jeder Zwischenoperation schon auf möglichste Vereinfachung der Koeffizienten Bedacht nehmen wird.
Wir begnügen uns, hiezu nur ein Exempel zu geben. Sei nach x, y, z zu entwickeln: f (x, y, z) = (a b x y + a1b1) (c d1x z + c1d y1) + (a1x1 + b1y + c1z + d) (y z + d1y1z1), so entwickelt man am besten zuerst nach y als demjenigen Symbole, wel- ches am häufigsten in dem Ausdrucke vorkommt -- sodass durch Ein-
Zehnte Vorlesung.
auf x erscheinen, indem eben behufs ihrer Gewinnung dieses x durch 1 oder 0 ersetzt werden musste. Hierauf entwickle man jeden dieser Koeffizienten nunmehr nach y, abermals gemäss dem Schema 44+), setze seinen Wert in den Ausdruck ein und multiplizire aus. Die neuen Koeffizienten werden dann nur noch als Funktionen von z, … dagegen als konstant bezüglich x und y erscheinen; sie können nach z entwickelt eingesetzt werden, und so weiter.
Es wird genügen, den angedeuteten Beweis nur für die Funktion f(x, y) von zwei Argumenten wirklich auszuführen, da von diesem be- sonderen Falle des auszuführenden Beweises der allgemeinere sich nur quantitativ (durch grössere Häufung von Symbolen in den auch häufiger wiederholt zu machenden Ansätzen) unterscheidet. — Dort hat man zunächst: f (x, y) = f (1, y) x + f (0, y) x1, und dann weiter: f (1, y) = f (1, 1) y + f (1, 0) y1, f (0, y) = f (0, 1) y + f (0, 0) y1.
Die Einsetzung dieser Werte in den vorigen Ausdruck gibt nach Ausmultipliziren den zu beweisenden Satz, wie er sich oben angegeben findet. —
Die im obigen Zusatz gegebene Ausdehnung des Th. 44) auf Funk- tionen von mehr als einem Argumente ist zwar theoretisch interessant und wichtig, aber für die Technik des Kalkuls von geringem prak- tischen Werte, aus dem Grunde, weil man sich bei den vielen zum Teil gleichzeitig geforderten Einsetzungen von Werten 0 und 1 (je für ein Symbol und dessen Negation, oder umgekehrt) allzuleicht ver- sieht, diese zahlreichen Substitutionen auch ermüdend und lang- weilig sind.
Sollte wirklich die Entwickelung einer gegebenen Funktion nach mehreren Argumenten angezeigt erscheinen, so schlägt man am besten den Weg ein, der uns zum Beweise dieses Zusatzes verholfen hat, d. h. man entwickelt immer nur nach einem Argument auf einmal und so nach diesen allen nur successive („fortschreitend“, „hintereinan- der“), wobei man bei jeder Zwischenoperation schon auf möglichste Vereinfachung der Koeffizienten Bedacht nehmen wird.
Wir begnügen uns, hiezu nur ein Exempel zu geben. Sei nach x, y, z zu entwickeln: f (x, y, z) = (a b x y + a1b1) (c d1x z + c1d y1) + (a1x1 + b1y + c1z + d) (y z + d1y1z1), so entwickelt man am besten zuerst nach y als demjenigen Symbole, wel- ches am häufigsten in dem Ausdrucke vorkommt — sodass durch Ein-
<TEI><text><body><divn="1"><divn="2"><p><pbfacs="#f0436"n="416"/><fwplace="top"type="header">Zehnte Vorlesung.</fw><lb/>
auf <hirendition="#i">x</hi> erscheinen, indem eben behufs ihrer Gewinnung dieses <hirendition="#i">x</hi> durch<lb/>
1 oder 0 ersetzt werden musste. Hierauf entwickle man jeden dieser<lb/>
Koeffizienten nunmehr nach <hirendition="#i">y</hi>, abermals gemäss dem Schema 44<hirendition="#sub">+</hi>),<lb/>
setze seinen Wert in den Ausdruck ein und multiplizire aus. Die<lb/>
neuen Koeffizienten werden dann nur noch als Funktionen von <hirendition="#i">z</hi>, …<lb/>
dagegen als konstant bezüglich <hirendition="#i">x</hi> und <hirendition="#i">y</hi> erscheinen; sie können nach<lb/><hirendition="#i">z</hi> entwickelt eingesetzt werden, und so weiter.</p><lb/><p>Es wird genügen, den angedeuteten Beweis nur für die Funktion<lb/><hirendition="#i">f</hi>(<hirendition="#i">x, y</hi>) von <hirendition="#i">zwei</hi> Argumenten wirklich auszuführen, da von diesem be-<lb/>
sonderen Falle des auszuführenden Beweises der allgemeinere sich nur<lb/>
quantitativ (durch grössere Häufung von Symbolen in den auch häufiger<lb/>
wiederholt zu machenden Ansätzen) unterscheidet. — Dort hat man<lb/>
zunächst: <hirendition="#et"><hirendition="#i">f</hi> (<hirendition="#i">x</hi>, <hirendition="#i">y</hi>) = <hirendition="#i">f</hi> (1, <hirendition="#i">y</hi>) <hirendition="#i">x</hi> + <hirendition="#i">f</hi> (0, <hirendition="#i">y</hi>) <hirendition="#i">x</hi><hirendition="#sub">1</hi>,</hi><lb/>
und dann weiter:<lb/><hirendition="#c"><hirendition="#i">f</hi> (1, <hirendition="#i">y</hi>) = <hirendition="#i">f</hi> (1, 1) <hirendition="#i">y</hi> + <hirendition="#i">f</hi> (1, 0) <hirendition="#i">y</hi><hirendition="#sub">1</hi>, <hirendition="#i">f</hi> (0, <hirendition="#i">y</hi>) = <hirendition="#i">f</hi> (0, 1) <hirendition="#i">y</hi> + <hirendition="#i">f</hi> (0, 0) <hirendition="#i">y</hi><hirendition="#sub">1</hi>.</hi></p><lb/><p>Die Einsetzung dieser Werte in den vorigen Ausdruck gibt nach<lb/>
Ausmultipliziren den zu beweisenden Satz, wie er sich oben angegeben<lb/>
findet. —</p><lb/><p>Die im obigen Zusatz gegebene Ausdehnung des Th. 44) auf Funk-<lb/>
tionen von mehr als <hirendition="#i">einem</hi> Argumente ist zwar theoretisch interessant<lb/>
und wichtig, aber für die Technik des Kalkuls von geringem prak-<lb/>
tischen Werte, aus dem Grunde, weil man sich bei den vielen zum<lb/>
Teil gleichzeitig geforderten Einsetzungen von Werten 0 und 1 (je<lb/>
für ein Symbol und dessen Negation, oder umgekehrt) allzuleicht ver-<lb/>
sieht, diese zahlreichen Substitutionen auch ermüdend und lang-<lb/>
weilig sind.</p><lb/><p>Sollte wirklich die Entwickelung einer gegebenen Funktion nach<lb/>
mehreren Argumenten angezeigt erscheinen, so schlägt man am besten<lb/>
den Weg ein, der uns zum Beweise dieses Zusatzes verholfen hat,<lb/>
d. h. man entwickelt immer nur nach <hirendition="#i">einem</hi> Argument auf einmal<lb/>
und so nach diesen allen nur successive („fortschreitend“, „hintereinan-<lb/>
der“), wobei man bei jeder Zwischenoperation schon auf möglichste<lb/>
Vereinfachung der Koeffizienten Bedacht nehmen wird.</p><lb/><p>Wir begnügen uns, hiezu nur ein <hirendition="#g">Exempel</hi> zu geben. Sei nach <hirendition="#i">x</hi>,<lb/><hirendition="#i">y</hi>, <hirendition="#i">z</hi> zu entwickeln: <hirendition="#et"><hirendition="#i">f</hi> (<hirendition="#i">x</hi>, <hirendition="#i">y</hi>, <hirendition="#i">z</hi>) =</hi><lb/><hirendition="#c">(<hirendition="#i">a b x y</hi> + <hirendition="#i">a</hi><hirendition="#sub">1</hi><hirendition="#i">b</hi><hirendition="#sub">1</hi>) (<hirendition="#i">c d</hi><hirendition="#sub">1</hi><hirendition="#i">x z</hi> + <hirendition="#i">c</hi><hirendition="#sub">1</hi><hirendition="#i">d y</hi><hirendition="#sub">1</hi>) + (<hirendition="#i">a</hi><hirendition="#sub">1</hi><hirendition="#i">x</hi><hirendition="#sub">1</hi> + <hirendition="#i">b</hi><hirendition="#sub">1</hi><hirendition="#i">y</hi> + <hirendition="#i">c</hi><hirendition="#sub">1</hi><hirendition="#i">z</hi> + <hirendition="#i">d</hi>) (<hirendition="#i">y z</hi> + <hirendition="#i">d</hi><hirendition="#sub">1</hi><hirendition="#i">y</hi><hirendition="#sub">1</hi><hirendition="#i">z</hi><hirendition="#sub">1</hi>),</hi><lb/>
so entwickelt man am besten zuerst nach <hirendition="#i">y</hi> als demjenigen Symbole, wel-<lb/>
ches am häufigsten in dem Ausdrucke vorkommt — sodass durch Ein-<lb/></p></div></div></body></text></TEI>
[416/0436]
Zehnte Vorlesung.
auf x erscheinen, indem eben behufs ihrer Gewinnung dieses x durch
1 oder 0 ersetzt werden musste. Hierauf entwickle man jeden dieser
Koeffizienten nunmehr nach y, abermals gemäss dem Schema 44+),
setze seinen Wert in den Ausdruck ein und multiplizire aus. Die
neuen Koeffizienten werden dann nur noch als Funktionen von z, …
dagegen als konstant bezüglich x und y erscheinen; sie können nach
z entwickelt eingesetzt werden, und so weiter.
Es wird genügen, den angedeuteten Beweis nur für die Funktion
f(x, y) von zwei Argumenten wirklich auszuführen, da von diesem be-
sonderen Falle des auszuführenden Beweises der allgemeinere sich nur
quantitativ (durch grössere Häufung von Symbolen in den auch häufiger
wiederholt zu machenden Ansätzen) unterscheidet. — Dort hat man
zunächst: f (x, y) = f (1, y) x + f (0, y) x1,
und dann weiter:
f (1, y) = f (1, 1) y + f (1, 0) y1, f (0, y) = f (0, 1) y + f (0, 0) y1.
Die Einsetzung dieser Werte in den vorigen Ausdruck gibt nach
Ausmultipliziren den zu beweisenden Satz, wie er sich oben angegeben
findet. —
Die im obigen Zusatz gegebene Ausdehnung des Th. 44) auf Funk-
tionen von mehr als einem Argumente ist zwar theoretisch interessant
und wichtig, aber für die Technik des Kalkuls von geringem prak-
tischen Werte, aus dem Grunde, weil man sich bei den vielen zum
Teil gleichzeitig geforderten Einsetzungen von Werten 0 und 1 (je
für ein Symbol und dessen Negation, oder umgekehrt) allzuleicht ver-
sieht, diese zahlreichen Substitutionen auch ermüdend und lang-
weilig sind.
Sollte wirklich die Entwickelung einer gegebenen Funktion nach
mehreren Argumenten angezeigt erscheinen, so schlägt man am besten
den Weg ein, der uns zum Beweise dieses Zusatzes verholfen hat,
d. h. man entwickelt immer nur nach einem Argument auf einmal
und so nach diesen allen nur successive („fortschreitend“, „hintereinan-
der“), wobei man bei jeder Zwischenoperation schon auf möglichste
Vereinfachung der Koeffizienten Bedacht nehmen wird.
Wir begnügen uns, hiezu nur ein Exempel zu geben. Sei nach x,
y, z zu entwickeln: f (x, y, z) =
(a b x y + a1 b1) (c d1 x z + c1 d y1) + (a1 x1 + b1 y + c1 z + d) (y z + d1 y1 z1),
so entwickelt man am besten zuerst nach y als demjenigen Symbole, wel-
ches am häufigsten in dem Ausdrucke vorkommt — sodass durch Ein-
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. 416. In: Deutsches Textarchiv <https://www.deutschestextarchiv.de/schroeder_logik01_1890/436>, abgerufen am 08.05.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/.
