§ 31. Die Ähnlichkeitsbedingung als Eliminationsresultante.
Wäre nun links kdn wo d = z ; c, so folgte: kzn j cn also z ; kcn, und da mit z ; h = k also kz ; h auch hz ; k gilt, a fortiori: hcn im Widerspruch mit der Voraus- setzung hc.
Wäre rechts hcn, so können wir nicht ebenso einfach weiter schliessen, weil für c die Darstellung als z ; d hier noch nicht verfügbar ist -- es sei denn, dass man sie erst so, wie S. 610 von uns geschehn, beweise -- viel- mehr wird, wenn wir beim Argumentiren auf die Elemente bleiben wollen, nun so zum Ziel zu kommen sein.
Mit kd = z ; c und z ; k = h folgt: z ; kz ; z ; c 1' ; c = c also hc auch in direktem Beweise.
Ebenso wäre auch für die vorige Behauptung statt des apagogischen ein direkter Beweis erbringlich -- wofern wir dort wie hier von der Charakteristik A2A4 oder z ; z + z ; z 1' des Abbildungsprinzips Gebrauch machen. Und dies scheint wenigstens im letzten Falle unumgänglich zu sein. Q. e. d.
Die Bedingung für die Ähnlichkeit oder Gleichmächtigkeit zweier Systeme a und b ist als eine Relation rein logischer Art zwischen diesen anzusehn, zu deren adäquatem Ausdruck unsre Disziplin die Mittel besitzt. Sie präsentirt sich als die Resultante der Elimination des Abbildungsprinzips x, resp. y oder z, aus den Forderungen unsrer Ähnlichkeitsdefinition in irgend einer ihrer Fassungen.
Solange die Elimination nicht wirklich vollzogen, die S oder P, mit Hülfe deren sich die Resultante ja nach allgemeinen Sätzen dar- stellen lässt, nicht ausgewertet sind -- kurz: solange der Name des Abbildungsprinzips als eines unbestimmten binären Relativs noch im Ausdruck dieser Resultante figurirt -- mögen wir die Ähnlichkeits- definition noch eine implizite nennen.
Um die Elimination vorzubereiten, wird man etwa die vereinigte Null- gleichung sämtlicher Teilbedingungen unsrer Ähnlichkeitsforderung bilden: f(z) = 0, wobei man jedoch unter mancherlei Ausdrücken für deren Po- lynom f(z) noch die Wahl haben wird, selbst wenn man eine bestimmte wie (10) oder (17) von unsern Fassungen zugrunde legt. Die Charakte- ristik z ; z + z ; z 1' setzt man am besten wol in der Form an z ; 0' j 0 + 0 j 0' ; z = 0, weil man dadurch den Vorteil erreicht, dass in jedem Gliede von f(z) der Name des Eliminanden z blos einmal vorkommt. Man kann ferner die beiden Hauptbedingungen in (10) etc. blos als Subsumtionen, oder aber auch als Gleichungen berücksichtigen, wobei erstres insofern als das ein- fachere erscheint als man (um zweie) weniger Glieder bei f(z) bekommt. Auch die Adventivbedingung in (17) kann mitberücksichtigt oder unter-
§ 31. Die Ähnlichkeitsbedingung als Eliminationsresultante.
Wäre nun links k ⋹ d̄ wo d = z ; c, so folgte: k⋹z̄ ɟ c̄ also z̆ ; k ⋹ c̄, und da mit z ; h = k also k ⋹ z ; h auch h ⋹ z̆ ; k gilt, a fortiori: h ⋹ c̄ im Widerspruch mit der Voraus- setzung h ⋹ c.
Wäre rechts h ⋹ c̄, so können wir nicht ebenso einfach weiter schliessen, weil für c die Darstellung als z̆ ; d hier noch nicht verfügbar ist — es sei denn, dass man sie erst so, wie S. 610 von uns geschehn, beweise — viel- mehr wird, wenn wir beim Argumentiren auf die Elemente bleiben wollen, nun so zum Ziel zu kommen sein.
Mit k ⋹ d = z ; c und z̆ ; k = h folgt: z̆ ; k ⋹ z̆ ; z ; c ⋹ 1' ; c = c also h ⋹ c auch in direktem Beweise.
Ebenso wäre auch für die vorige Behauptung statt des apagogischen ein direkter Beweis erbringlich — wofern wir dort wie hier von der Charakteristik A2A4 oder z ; z̆ + z̆ ; z ⋹ 1' des Abbildungsprinzips Gebrauch machen. Und dies scheint wenigstens im letzten Falle unumgänglich zu sein. Q. e. d.
Die Bedingung für die Ähnlichkeit oder Gleichmächtigkeit zweier Systeme a und b ist als eine Relation rein logischer Art zwischen diesen anzusehn, zu deren adäquatem Ausdruck unsre Disziplin die Mittel besitzt. Sie präsentirt sich als die Resultante der Elimination des Abbildungsprinzips x, resp. y oder z, aus den Forderungen unsrer Ähnlichkeitsdefinition in irgend einer ihrer Fassungen.
Solange die Elimination nicht wirklich vollzogen, die Σ oder Π, mit Hülfe deren sich die Resultante ja nach allgemeinen Sätzen dar- stellen lässt, nicht ausgewertet sind — kurz: solange der Name des Abbildungsprinzips als eines unbestimmten binären Relativs noch im Ausdruck dieser Resultante figurirt — mögen wir die Ähnlichkeits- definition noch eine implizite nennen.
Um die Elimination vorzubereiten, wird man etwa die vereinigte Null- gleichung sämtlicher Teilbedingungen unsrer Ähnlichkeitsforderung bilden: f(z) = 0, wobei man jedoch unter mancherlei Ausdrücken für deren Po- lynom f(z) noch die Wahl haben wird, selbst wenn man eine bestimmte wie (10) oder (17) von unsern Fassungen zugrunde legt. Die Charakte- ristik z ; z̆ + z̆ ; z ⋹ 1' setzt man am besten wol in der Form an z ; 0' ɟ 0 + 0 ɟ 0' ; z = 0, weil man dadurch den Vorteil erreicht, dass in jedem Gliede von f(z) der Name des Eliminanden z blos einmal vorkommt. Man kann ferner die beiden Hauptbedingungen in (10) etc. blos als Subsumtionen, oder aber auch als Gleichungen berücksichtigen, wobei erstres insofern als das ein- fachere erscheint als man (um zweie) weniger Glieder bei f(z) bekommt. Auch die Adventivbedingung in (17) kann mitberücksichtigt oder unter-
<TEI><text><body><divn="1"><divn="2"><pbfacs="#f0637"n="623"/><fwplace="top"type="header">§ 31. Die Ähnlichkeitsbedingung als Eliminationsresultante.</fw><lb/><p>Wäre nun links <hirendition="#i">k</hi>⋹<hirendition="#i">d̄</hi> wo <hirendition="#i">d</hi> = <hirendition="#i">z</hi> ; <hirendition="#i">c</hi>, so folgte:<lb/><hirendition="#c"><hirendition="#i">k</hi>⋹<hirendition="#i">z̄</hi>ɟ<hirendition="#i">c̄</hi> also <hirendition="#i">z̆</hi> ; <hirendition="#i">k</hi>⋹<hirendition="#i">c̄</hi>, und da mit <hirendition="#i">z</hi> ; <hirendition="#i">h</hi> = <hirendition="#i">k</hi> also <hirendition="#i">k</hi>⋹<hirendition="#i">z</hi> ; <hirendition="#i">h</hi></hi><lb/>
auch <hirendition="#i">h</hi>⋹<hirendition="#i">z̆</hi> ; <hirendition="#i">k</hi> gilt, a fortiori: <hirendition="#i">h</hi>⋹<hirendition="#i">c̄</hi> im Widerspruch mit der Voraus-<lb/>
setzung <hirendition="#i">h</hi>⋹<hirendition="#i">c</hi>.</p><lb/><p>Wäre rechts <hirendition="#i">h</hi>⋹<hirendition="#i">c̄</hi>, so können wir nicht ebenso einfach weiter schliessen,<lb/>
weil für <hirendition="#i">c</hi> die Darstellung als <hirendition="#i">z̆</hi> ; <hirendition="#i">d</hi> hier noch nicht verfügbar ist — es sei<lb/>
denn, dass man sie erst so, wie S. 610 von uns geschehn, beweise — viel-<lb/>
mehr wird, wenn wir beim Argumentiren auf die Elemente bleiben wollen,<lb/>
nun so zum Ziel zu kommen sein.</p><lb/><p>Mit <hirendition="#i">k</hi>⋹<hirendition="#i">d</hi> = <hirendition="#i">z</hi> ; <hirendition="#i">c</hi> und <hirendition="#i">z̆</hi> ; <hirendition="#i">k</hi> = <hirendition="#i">h</hi> folgt: <hirendition="#i">z̆</hi> ; <hirendition="#i">k</hi>⋹<hirendition="#i">z̆</hi> ; <hirendition="#i">z</hi> ; <hirendition="#i">c</hi>⋹ 1' ; <hirendition="#i">c</hi> = <hirendition="#i">c</hi><lb/>
also <hirendition="#i">h</hi>⋹<hirendition="#i">c</hi> auch in direktem Beweise.</p><lb/><p>Ebenso wäre auch für die vorige Behauptung statt des apagogischen<lb/>
ein direkter Beweis erbringlich — wofern wir dort wie hier von der<lb/>
Charakteristik <hirendition="#i">A</hi><hirendition="#sub">2</hi><hirendition="#i">A</hi><hirendition="#sub">4</hi> oder <hirendition="#i">z</hi> ; <hirendition="#i">z̆</hi> + <hirendition="#i">z̆</hi> ; <hirendition="#i">z</hi>⋹ 1' des Abbildungsprinzips Gebrauch<lb/>
machen. Und dies scheint wenigstens im letzten Falle unumgänglich zu<lb/>
sein. Q. e. d.</p><lb/><p>Die Bedingung für die Ähnlichkeit oder Gleichmächtigkeit zweier<lb/>
Systeme <hirendition="#i">a</hi> und <hirendition="#i">b</hi> ist als eine Relation rein logischer Art zwischen<lb/>
diesen anzusehn, zu deren adäquatem Ausdruck unsre Disziplin die<lb/>
Mittel besitzt. Sie präsentirt sich als die <hirendition="#i">Resultante der Elimination<lb/>
des Abbildungsprinzips x</hi>, resp. <hirendition="#i">y</hi> oder <hirendition="#i">z</hi>, aus den Forderungen unsrer<lb/>
Ähnlichkeitsdefinition in irgend einer ihrer Fassungen.</p><lb/><p>Solange die Elimination nicht wirklich vollzogen, die <hirendition="#i">Σ</hi> oder <hirendition="#i">Π</hi>,<lb/>
mit Hülfe deren sich die Resultante ja nach allgemeinen Sätzen dar-<lb/>
stellen lässt, nicht ausgewertet sind — kurz: solange der Name des<lb/>
Abbildungsprinzips als eines unbestimmten binären Relativs noch im<lb/>
Ausdruck dieser Resultante figurirt — mögen wir die Ähnlichkeits-<lb/>
definition noch eine <hirendition="#i">implizite</hi> nennen.</p><lb/><p>Um die Elimination vorzubereiten, wird man etwa die vereinigte Null-<lb/>
gleichung sämtlicher Teilbedingungen unsrer Ähnlichkeitsforderung bilden:<lb/><hirendition="#i">f</hi>(<hirendition="#i">z</hi>) = 0, wobei man jedoch unter mancherlei Ausdrücken für deren Po-<lb/>
lynom <hirendition="#i">f</hi>(<hirendition="#i">z</hi>) noch die Wahl haben wird, selbst wenn man eine bestimmte<lb/>
wie (10) oder (17) von unsern Fassungen zugrunde legt. Die Charakte-<lb/>
ristik <hirendition="#i">z</hi> ; <hirendition="#i">z̆</hi> + <hirendition="#i">z̆</hi> ; <hirendition="#i">z</hi>⋹ 1' setzt man am besten wol in der Form an<lb/><hirendition="#c"><hirendition="#i">z</hi> ; 0' ɟ 0 + 0 ɟ 0' ; <hirendition="#i">z</hi> = 0,</hi><lb/>
weil man dadurch den Vorteil erreicht, dass in jedem Gliede von <hirendition="#i">f</hi>(<hirendition="#i">z</hi>) der<lb/>
Name des Eliminanden <hirendition="#i">z</hi> blos <hirendition="#i">ein</hi>mal vorkommt. Man kann ferner die<lb/>
beiden Hauptbedingungen in (10) etc. blos als Subsumtionen, oder aber<lb/>
auch als Gleichungen berücksichtigen, wobei erstres insofern als das ein-<lb/>
fachere erscheint als man (um zweie) weniger Glieder bei <hirendition="#i">f</hi>(<hirendition="#i">z</hi>) bekommt.<lb/>
Auch die Adventivbedingung in (17) kann mitberücksichtigt oder unter-<lb/></p></div></div></body></text></TEI>
[623/0637]
§ 31. Die Ähnlichkeitsbedingung als Eliminationsresultante.
Wäre nun links k ⋹ d̄ wo d = z ; c, so folgte:
k⋹z̄ ɟ c̄ also z̆ ; k ⋹ c̄, und da mit z ; h = k also k ⋹ z ; h
auch h ⋹ z̆ ; k gilt, a fortiori: h ⋹ c̄ im Widerspruch mit der Voraus-
setzung h ⋹ c.
Wäre rechts h ⋹ c̄, so können wir nicht ebenso einfach weiter schliessen,
weil für c die Darstellung als z̆ ; d hier noch nicht verfügbar ist — es sei
denn, dass man sie erst so, wie S. 610 von uns geschehn, beweise — viel-
mehr wird, wenn wir beim Argumentiren auf die Elemente bleiben wollen,
nun so zum Ziel zu kommen sein.
Mit k ⋹ d = z ; c und z̆ ; k = h folgt: z̆ ; k ⋹ z̆ ; z ; c ⋹ 1' ; c = c
also h ⋹ c auch in direktem Beweise.
Ebenso wäre auch für die vorige Behauptung statt des apagogischen
ein direkter Beweis erbringlich — wofern wir dort wie hier von der
Charakteristik A2A4 oder z ; z̆ + z̆ ; z ⋹ 1' des Abbildungsprinzips Gebrauch
machen. Und dies scheint wenigstens im letzten Falle unumgänglich zu
sein. Q. e. d.
Die Bedingung für die Ähnlichkeit oder Gleichmächtigkeit zweier
Systeme a und b ist als eine Relation rein logischer Art zwischen
diesen anzusehn, zu deren adäquatem Ausdruck unsre Disziplin die
Mittel besitzt. Sie präsentirt sich als die Resultante der Elimination
des Abbildungsprinzips x, resp. y oder z, aus den Forderungen unsrer
Ähnlichkeitsdefinition in irgend einer ihrer Fassungen.
Solange die Elimination nicht wirklich vollzogen, die Σ oder Π,
mit Hülfe deren sich die Resultante ja nach allgemeinen Sätzen dar-
stellen lässt, nicht ausgewertet sind — kurz: solange der Name des
Abbildungsprinzips als eines unbestimmten binären Relativs noch im
Ausdruck dieser Resultante figurirt — mögen wir die Ähnlichkeits-
definition noch eine implizite nennen.
Um die Elimination vorzubereiten, wird man etwa die vereinigte Null-
gleichung sämtlicher Teilbedingungen unsrer Ähnlichkeitsforderung bilden:
f(z) = 0, wobei man jedoch unter mancherlei Ausdrücken für deren Po-
lynom f(z) noch die Wahl haben wird, selbst wenn man eine bestimmte
wie (10) oder (17) von unsern Fassungen zugrunde legt. Die Charakte-
ristik z ; z̆ + z̆ ; z ⋹ 1' setzt man am besten wol in der Form an
z ; 0' ɟ 0 + 0 ɟ 0' ; z = 0,
weil man dadurch den Vorteil erreicht, dass in jedem Gliede von f(z) der
Name des Eliminanden z blos einmal vorkommt. Man kann ferner die
beiden Hauptbedingungen in (10) etc. blos als Subsumtionen, oder aber
auch als Gleichungen berücksichtigen, wobei erstres insofern als das ein-
fachere erscheint als man (um zweie) weniger Glieder bei f(z) bekommt.
Auch die Adventivbedingung in (17) kann mitberücksichtigt oder unter-
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. 3, Abt. 1. Leipzig, 1895, S. 623. In: Deutsches Textarchiv <https://www.deutschestextarchiv.de/schroeder_logik03_1895/637>, abgerufen am 02.09.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/.