haben würden, wonach es mit Lambert's Ergebniss buchstäblich über- einstimmte).
Wie Herr Venn1 p. 272 bemerkt, besitzt vorstehende Aufgabe ein ge- wisses historisches Interesse als einer der frühesten Versuche, logische Auf- gaben rechnerisch (in Symbolen) zu lösen, und reiht sich unter dem gleichen Gesichtspunkt hieran auch die folgende von Lambert behandelte Frage.
9. Frage. Wenn a d = b c ist, lässt sich alsdann schliessen, dass
[Formel 1]
=
[Formel 2]
sein müsse, d. h. wenn die a mit den d die nämlichen Individuen gemein haben, wie die b mit den c, muss dann jede (resp. überhaupt eine, resp. eine bestimmte) Klasse, welche durch b determinirt sich in a zu- sammenzieht, sich decken mit jeder (resp. etc.) Klasse, welche durch d determinirt c gibt?
Wie in den Klammern schon angedeutet, unterscheiden wir mehrerlei Auffassungen der Frage, für welche alle sie verneinend zu beantworten sein wird. Herr Venn l. c. konstatirt einen Irrtum Lambert's, welcher, obwol die Nichthebbarkeit beiderseits übereinstimmender Faktoren in einer Gleichung schon bemerkend, doch mehr als einmal annehme, dass es sich also verhalte (die Frage nämlich zu bejahen sei). Indessen gibt Venn selbst, unter Äusserung berechtigter Zweifel, eine unrichtige Beantwortung der Frage, indem er ihre Bejahung an die Bedingung knüpft, dass a = c und b = d sei -- was sich bei einer jeden der Auffassungen nicht gerade als notwendig, eventuell als nicht hinreichend, herausstellen wird.
Um dies alles aufzuhellen, sei die Frage auch hier behandelt, obwol sie nicht ganz in den die übrigen Aufgaben umschliessenden Rahmen passt: wir wünschten mit § 23 die inversen Operationen des Kalkuls endgültig aus unserer Disziplin ausgemerzt zu haben, weshalb wir denn auch die Untersuchung auf gegenwärtigen Kontext beschränken.
Zur Unterscheidung von General- und Prinzipalwert des Quotienten greifen wir auf die Bezeichnungen des § 23 zurück.
Die Prämisse, rechts auf 0 gebracht lautet: a d (b1 + c1) + b c (a1 + d1) = 0, oder links nach a, b, c, d entwickelt a d (b1c1 + b1c + b c1) + b c (a1d1 + a1d + a d1) = 0; sie leugnet also die Existenz von sechsen der sechzehn zwischen a, b, c, d und ihren Negationen überhaupt denkbaren Kombinationen, welche die Mannigfaltigkeit 1 der Möglichkeiten zusammensetzen, wogegen sie über die zehn übrigen Kombinationen derselben nichts aussagt.
Soll nun überhaupt ein Wert von a : : b übereinstimmen mit einem Werte von c : : d, so müssen zunächst die beiderseitigen Valenzbedingungen erfüllt sein, welche lauten: a b1 = 0 und c d1 = 0. Um die vereinigte Gleichung der letztern a b1 + c d1 = 0 nach allen vier Symbolen zu ent- wickeln, wird man am besten das Th. 33+) links anwenden, wonach sie die Form annimmt: a b1c d1 + a b1 (c1 + d) + c d1 (a1 + b) = 0,
§ 25. Anwendungsbeispiele und Aufgaben.
haben würden, wonach es mit Lambert's Ergebniss buchstäblich über- einstimmte).
Wie Herr Venn1 p. 272 bemerkt, besitzt vorstehende Aufgabe ein ge- wisses historisches Interesse als einer der frühesten Versuche, logische Auf- gaben rechnerisch (in Symbolen) zu lösen, und reiht sich unter dem gleichen Gesichtspunkt hieran auch die folgende von Lambert behandelte Frage.
9. Frage. Wenn a d = b c ist, lässt sich alsdann schliessen, dass
[Formel 1]
=
[Formel 2]
sein müsse, d. h. wenn die a mit den d die nämlichen Individuen gemein haben, wie die b mit den c, muss dann jede (resp. überhaupt eine, resp. eine bestimmte) Klasse, welche durch b determinirt sich in a zu- sammenzieht, sich decken mit jeder (resp. etc.) Klasse, welche durch d determinirt c gibt?
Wie in den Klammern schon angedeutet, unterscheiden wir mehrerlei Auffassungen der Frage, für welche alle sie verneinend zu beantworten sein wird. Herr Venn l. c. konstatirt einen Irrtum Lambert's, welcher, obwol die Nichthebbarkeit beiderseits übereinstimmender Faktoren in einer Gleichung schon bemerkend, doch mehr als einmal annehme, dass es sich also verhalte (die Frage nämlich zu bejahen sei). Indessen gibt Venn selbst, unter Äusserung berechtigter Zweifel, eine unrichtige Beantwortung der Frage, indem er ihre Bejahung an die Bedingung knüpft, dass a = c und b = d sei — was sich bei einer jeden der Auffassungen nicht gerade als notwendig, eventuell als nicht hinreichend, herausstellen wird.
Um dies alles aufzuhellen, sei die Frage auch hier behandelt, obwol sie nicht ganz in den die übrigen Aufgaben umschliessenden Rahmen passt: wir wünschten mit § 23 die inversen Operationen des Kalkuls endgültig aus unserer Disziplin ausgemerzt zu haben, weshalb wir denn auch die Untersuchung auf gegenwärtigen Kontext beschränken.
Zur Unterscheidung von General- und Prinzipalwert des Quotienten greifen wir auf die Bezeichnungen des § 23 zurück.
Die Prämisse, rechts auf 0 gebracht lautet: a d (b1 + c1) + b c (a1 + d1) = 0, oder links nach a, b, c, d entwickelt a d (b1c1 + b1c + b c1) + b c (a1d1 + a1d + a d1) = 0; sie leugnet also die Existenz von sechsen der sechzehn zwischen a, b, c, d und ihren Negationen überhaupt denkbaren Kombinationen, welche die Mannigfaltigkeit 1 der Möglichkeiten zusammensetzen, wogegen sie über die zehn übrigen Kombinationen derselben nichts aussagt.
Soll nun überhaupt ein Wert von a : : b übereinstimmen mit einem Werte von c : : d, so müssen zunächst die beiderseitigen Valenzbedingungen erfüllt sein, welche lauten: a b1 = 0 und c d1 = 0. Um die vereinigte Gleichung der letztern a b1 + c d1 = 0 nach allen vier Symbolen zu ent- wickeln, wird man am besten das Th. 33+) links anwenden, wonach sie die Form annimmt: a b1c d1 + a b1 (c1 + d) + c d1 (a1 + b) = 0,
<TEI><text><body><divn="1"><divn="2"><p><pbfacs="#f0553"n="533"/><fwplace="top"type="header">§ 25. Anwendungsbeispiele und Aufgaben.</fw><lb/>
haben würden, wonach es mit <hirendition="#g">Lambert</hi>'s Ergebniss buchstäblich über-<lb/>
einstimmte).</p><lb/><p>Wie Herr <hirendition="#g">Venn</hi><hirendition="#sup">1</hi> p. 272 bemerkt, besitzt vorstehende Aufgabe ein ge-<lb/>
wisses historisches Interesse als einer der frühesten Versuche, logische Auf-<lb/>
gaben rechnerisch (in Symbolen) zu lösen, und reiht sich unter dem gleichen<lb/>
Gesichtspunkt hieran auch die folgende von <hirendition="#g">Lambert</hi> behandelte Frage.</p><lb/><p>9. <hirendition="#g">Frage</hi>. Wenn <hirendition="#i">a d</hi> = <hirendition="#i">b c</hi> ist, lässt sich alsdann schliessen, dass<lb/><formula/> = <formula/> sein müsse, d. h. wenn die <hirendition="#i">a</hi> mit den <hirendition="#i">d</hi> die nämlichen Individuen<lb/>
gemein haben, wie die <hirendition="#i">b</hi> mit den <hirendition="#i">c</hi>, muss dann jede (resp. überhaupt eine,<lb/>
resp. eine bestimmte) Klasse, welche durch <hirendition="#i">b</hi> determinirt sich in <hirendition="#i">a</hi> zu-<lb/>
sammenzieht, sich decken mit jeder (resp. etc.) Klasse, welche durch <hirendition="#i">d</hi><lb/>
determinirt <hirendition="#i">c</hi> gibt?</p><lb/><p>Wie in den Klammern schon angedeutet, unterscheiden wir mehrerlei<lb/>
Auffassungen der Frage, für welche alle sie <hirendition="#i">verneinend</hi> zu beantworten<lb/>
sein wird. Herr <hirendition="#g">Venn</hi> l. c. konstatirt einen Irrtum <hirendition="#g">Lambert</hi>'s, welcher,<lb/>
obwol die Nichthebbarkeit beiderseits übereinstimmender Faktoren in einer<lb/>
Gleichung schon bemerkend, doch mehr als einmal annehme, dass es sich<lb/>
also verhalte (die Frage nämlich zu bejahen sei). Indessen gibt <hirendition="#g">Venn</hi><lb/>
selbst, unter Äusserung berechtigter Zweifel, eine unrichtige Beantwortung<lb/>
der Frage, indem er ihre Bejahung an die Bedingung knüpft, dass <hirendition="#i">a</hi> = <hirendition="#i">c</hi><lb/>
und <hirendition="#i">b</hi> = <hirendition="#i">d</hi> sei — was sich bei einer jeden der Auffassungen nicht gerade<lb/>
als notwendig, eventuell als nicht hinreichend, herausstellen wird.</p><lb/><p>Um dies alles aufzuhellen, sei die Frage auch hier behandelt, obwol<lb/>
sie nicht ganz in den die übrigen Aufgaben umschliessenden Rahmen passt:<lb/>
wir wünschten mit § 23 die inversen Operationen des Kalkuls endgültig<lb/>
aus unserer Disziplin ausgemerzt zu haben, weshalb wir denn auch die<lb/>
Untersuchung auf gegenwärtigen Kontext beschränken.</p><lb/><p>Zur Unterscheidung von General- und Prinzipalwert des Quotienten<lb/>
greifen wir auf die Bezeichnungen des § 23 zurück.</p><lb/><p>Die Prämisse, rechts auf 0 gebracht lautet:<lb/><hirendition="#c"><hirendition="#i">a d</hi> (<hirendition="#i">b</hi><hirendition="#sub">1</hi> + <hirendition="#i">c</hi><hirendition="#sub">1</hi>) + <hirendition="#i">b c</hi> (<hirendition="#i">a</hi><hirendition="#sub">1</hi> + <hirendition="#i">d</hi><hirendition="#sub">1</hi>) = 0,</hi><lb/>
oder links nach <hirendition="#i">a</hi>, <hirendition="#i">b</hi>, <hirendition="#i">c</hi>, <hirendition="#i">d</hi> entwickelt<lb/><hirendition="#c"><hirendition="#i">a d</hi> (<hirendition="#i">b</hi><hirendition="#sub">1</hi><hirendition="#i">c</hi><hirendition="#sub">1</hi> + <hirendition="#i">b</hi><hirendition="#sub">1</hi><hirendition="#i">c</hi> + <hirendition="#i">b c</hi><hirendition="#sub">1</hi>) + <hirendition="#i">b c</hi> (<hirendition="#i">a</hi><hirendition="#sub">1</hi><hirendition="#i">d</hi><hirendition="#sub">1</hi> + <hirendition="#i">a</hi><hirendition="#sub">1</hi><hirendition="#i">d</hi> + <hirendition="#i">a d</hi><hirendition="#sub">1</hi>) = 0;</hi><lb/>
sie leugnet also die Existenz von sechsen der sechzehn zwischen <hirendition="#i">a</hi>, <hirendition="#i">b</hi>, <hirendition="#i">c</hi>, <hirendition="#i">d</hi><lb/>
und ihren Negationen überhaupt denkbaren Kombinationen, welche die<lb/>
Mannigfaltigkeit 1 der Möglichkeiten zusammensetzen, wogegen sie über<lb/>
die zehn übrigen Kombinationen derselben nichts aussagt.</p><lb/><p>Soll nun <hirendition="#i">überhaupt ein</hi> Wert von <hirendition="#i">a</hi> : : <hirendition="#i">b</hi> übereinstimmen mit einem<lb/>
Werte von <hirendition="#i">c</hi> : : <hirendition="#i">d</hi>, so müssen zunächst die beiderseitigen Valenzbedingungen<lb/>
erfüllt sein, welche lauten: <hirendition="#i">a b</hi><hirendition="#sub">1</hi> = 0 und <hirendition="#i">c d</hi><hirendition="#sub">1</hi> = 0. Um die vereinigte<lb/>
Gleichung der letztern <hirendition="#i">a b</hi><hirendition="#sub">1</hi> + <hirendition="#i">c d</hi><hirendition="#sub">1</hi> = 0 nach allen vier Symbolen zu ent-<lb/>
wickeln, wird man am besten das Th. 33<hirendition="#sub">+</hi>) links anwenden, wonach sie<lb/>
die Form annimmt:<lb/><hirendition="#c"><hirendition="#i">a b</hi><hirendition="#sub">1</hi><hirendition="#i">c d</hi><hirendition="#sub">1</hi> + <hirendition="#i">a b</hi><hirendition="#sub">1</hi> (<hirendition="#i">c</hi><hirendition="#sub">1</hi> + <hirendition="#i">d</hi>) + <hirendition="#i">c d</hi><hirendition="#sub">1</hi> (<hirendition="#i">a</hi><hirendition="#sub">1</hi> + <hirendition="#i">b</hi>) = 0,</hi><lb/></p></div></div></body></text></TEI>
[533/0553]
§ 25. Anwendungsbeispiele und Aufgaben.
haben würden, wonach es mit Lambert's Ergebniss buchstäblich über-
einstimmte).
Wie Herr Venn1 p. 272 bemerkt, besitzt vorstehende Aufgabe ein ge-
wisses historisches Interesse als einer der frühesten Versuche, logische Auf-
gaben rechnerisch (in Symbolen) zu lösen, und reiht sich unter dem gleichen
Gesichtspunkt hieran auch die folgende von Lambert behandelte Frage.
9. Frage. Wenn a d = b c ist, lässt sich alsdann schliessen, dass
[FORMEL] = [FORMEL] sein müsse, d. h. wenn die a mit den d die nämlichen Individuen
gemein haben, wie die b mit den c, muss dann jede (resp. überhaupt eine,
resp. eine bestimmte) Klasse, welche durch b determinirt sich in a zu-
sammenzieht, sich decken mit jeder (resp. etc.) Klasse, welche durch d
determinirt c gibt?
Wie in den Klammern schon angedeutet, unterscheiden wir mehrerlei
Auffassungen der Frage, für welche alle sie verneinend zu beantworten
sein wird. Herr Venn l. c. konstatirt einen Irrtum Lambert's, welcher,
obwol die Nichthebbarkeit beiderseits übereinstimmender Faktoren in einer
Gleichung schon bemerkend, doch mehr als einmal annehme, dass es sich
also verhalte (die Frage nämlich zu bejahen sei). Indessen gibt Venn
selbst, unter Äusserung berechtigter Zweifel, eine unrichtige Beantwortung
der Frage, indem er ihre Bejahung an die Bedingung knüpft, dass a = c
und b = d sei — was sich bei einer jeden der Auffassungen nicht gerade
als notwendig, eventuell als nicht hinreichend, herausstellen wird.
Um dies alles aufzuhellen, sei die Frage auch hier behandelt, obwol
sie nicht ganz in den die übrigen Aufgaben umschliessenden Rahmen passt:
wir wünschten mit § 23 die inversen Operationen des Kalkuls endgültig
aus unserer Disziplin ausgemerzt zu haben, weshalb wir denn auch die
Untersuchung auf gegenwärtigen Kontext beschränken.
Zur Unterscheidung von General- und Prinzipalwert des Quotienten
greifen wir auf die Bezeichnungen des § 23 zurück.
Die Prämisse, rechts auf 0 gebracht lautet:
a d (b1 + c1) + b c (a1 + d1) = 0,
oder links nach a, b, c, d entwickelt
a d (b1 c1 + b1 c + b c1) + b c (a1 d1 + a1 d + a d1) = 0;
sie leugnet also die Existenz von sechsen der sechzehn zwischen a, b, c, d
und ihren Negationen überhaupt denkbaren Kombinationen, welche die
Mannigfaltigkeit 1 der Möglichkeiten zusammensetzen, wogegen sie über
die zehn übrigen Kombinationen derselben nichts aussagt.
Soll nun überhaupt ein Wert von a : : b übereinstimmen mit einem
Werte von c : : d, so müssen zunächst die beiderseitigen Valenzbedingungen
erfüllt sein, welche lauten: a b1 = 0 und c d1 = 0. Um die vereinigte
Gleichung der letztern a b1 + c d1 = 0 nach allen vier Symbolen zu ent-
wickeln, wird man am besten das Th. 33+) links anwenden, wonach sie
die Form annimmt:
a b1 c d1 + a b1 (c1 + d) + c d1 (a1 + b) = 0,
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. 533. In: Deutsches Textarchiv <https://www.deutschestextarchiv.de/schroeder_logik01_1890/553>, abgerufen am 22.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/.
