Um nun jene zwei von diesen auch noch auf die Formen 34), 35) zu bringen, statuiren wir den Hülfssatz: 36)
[Formel 1]
Es soll darin a ein beliebiges Relativ, und b ; 1 nur irgend ein System vorstellen, das also auch durch b j 0 vertreten werden konnte.
Obwol für a = 1abg0 ist: a ; 0' · a = 1ab00, dagegen a ; 0' j 0 = 11100, demnach die beiden Subjekte in 36) differiren, muss dieser Satz doch gelten, und liesse er sich schon zeilenrechnerisch einsehn. Eleganter ist er als L = R so zu beweisen. Wegen a ; 0' · aa ; 0' j 0 folgt L aus R, d. h. gilt RL a fortiori. Umgekehrt folgt aus L auch (a ; 0')a ; 1 b ; 1, was wegen (a ; 0')a ; 1 = a ; 0' j 0, vergl. 30) des § 15, S. 216, in R über- geht, d. h. es gilt auch LR, q. e. d.
Nach diesem Schema 36) verwandelt sich nun z. B. g4 aus 33), ge- schrieben als xa ; 0' · xabn(= bn ; 1), mit Leichtigkeit in xa ; 0' j 0 bn, d. h. in 34) -- und konjugirt entsprechend g2 aus 33) in 34), sowie um- gekehrt, q. e. d. Von 34) aber ist 35) nur eine naheliegende Umformung nach bekannten Sätzen über Systeme.
Sehr beachtenswert ist, dass, während als Relation zwischen den Systemen a und b betrachtet, die Beziehungen g1 und g3transitive sind, ein gleiches mit denen g2 und g4keineswegs der Fall ist.
Jenes ist mit den a fortiori gültigen Folgerungen: (ax ; b)(by ; c) (ax ; y ; c), = (az ; c) für z = y ; x, (bx ; a)(cy ; b) (cy ; x ; a), = (cz ; a) " " " sofort analytisch beweisbar, wie es denn auch ohne weitres einleuchtet, dass, wenn zu jedem a (nach einer Vorschrift x) mindestens ein b ge- hört, und zu jedem b (nach einer andern Vorschrift y) mindestens ein c gehört, dann auch zu jedem a (nach beiden Vorschriften zusammen) mindestens ein c gehören müsse.
Ersetzt man hierin das Wort "mindestens" durchweg durch "höchstens", so findet vielleicht Mancher den Satz ganz ebenso einleuchtend. Dennoch hat die rhetorische Evidenz hierbei nur irre geführt (es können nämlich zu solchen a, zu denen -- als "höchstens ein" -- kein b gehört, vielmehr direkt doch beliebig viele c gehören!). Auch lässt sich zeigen, dass ein Schluss von (x ; 0'a j 0 bn)(y ; 0'b j 0 cn) auf z ; 0'a j 0 cn weder mit z = y ; x, noch mit sonst einem z, zwingend sein kann, indem die fragliche Konklusion ja eine Resultante der Elimination von b aus den Prämissen sein müsste. Eine solche ist aber gar nicht vorhanden, weil die Prämissen sich für b = 0 als stets erfüllt erweisen. Die Konklusion müsste sonach als eine Relation nichtssagend sein, m. a. W. für beliebige a, c und z wie eine allgemeine Formel gelten, was leicht als absurd zu erkennen.
§ 31. Sechste Fassung der Ähnlichkeitsbedingung.
Um nun jene zwei von diesen auch noch auf die Formen 34), 35) zu bringen, statuiren wir den Hülfssatz: 36)
[Formel 1]
Es soll darin a ein beliebiges Relativ, und b ; 1 nur irgend ein System vorstellen, das also auch durch b ɟ 0 vertreten werden konnte.
Obwol für a = 1αβγ0 ist: a ; 0' · a = 1αβ00, dagegen a ; 0' ɟ 0 = 11100, demnach die beiden Subjekte in 36) differiren, muss dieser Satz doch gelten, und liesse er sich schon zeilenrechnerisch einsehn. Eleganter ist er als L = R so zu beweisen. Wegen a ; 0' · a ⋹ a ; 0' ɟ 0 folgt L aus R, d. h. gilt R ⋹ L a fortiori. Umgekehrt folgt aus L auch (a ; 0')a ; 1 ⋹ b ; 1, was wegen (a ; 0')a ; 1 = a ; 0' ɟ 0, vergl. 30) des § 15, S. 216, in R über- geht, d. h. es gilt auch L ⋹ R, q. e. d.
Nach diesem Schema 36) verwandelt sich nun z. B. γ4 aus 33), ge- schrieben als xă ; 0' · xă ⋹ b̄(= b̄ ; 1), mit Leichtigkeit in xă ; 0' ɟ 0 ⋹ b̄, d. h. in 34) — und konjugirt entsprechend γ2 aus 33) in 34), sowie um- gekehrt, q. e. d. Von 34) aber ist 35) nur eine naheliegende Umformung nach bekannten Sätzen über Systeme.
Sehr beachtenswert ist, dass, während als Relation zwischen den Systemen a und b betrachtet, die Beziehungen γ1 und γ3transitive sind, ein gleiches mit denen γ2 und γ4keineswegs der Fall ist.
Jenes ist mit den a fortiori gültigen Folgerungen: (a ⋹ x̆ ; b)(b ⋹ y̆ ; c) ⋹ (a ⋹ x̆ ; y̆ ; c), = (a ⋹ z̆ ; c) für z = y ; x, (b ⋹ x ; a)(c ⋹ y ; b) ⋹ (c ⋹ y ; x ; a), = (c ⋹ z ; a) „ „ „ sofort analytisch beweisbar, wie es denn auch ohne weitres einleuchtet, dass, wenn zu jedem a (nach einer Vorschrift x) mindestens ein b ge- hört, und zu jedem b (nach einer andern Vorschrift y) mindestens ein c gehört, dann auch zu jedem a (nach beiden Vorschriften zusammen) mindestens ein c gehören müsse.
Ersetzt man hierin das Wort „mindestens“ durchweg durch „höchstens“, so findet vielleicht Mancher den Satz ganz ebenso einleuchtend. Dennoch hat die rhetorische Evidenz hierbei nur irre geführt (es können nämlich zu solchen a, zu denen — als „höchstens ein“ — kein b gehört, vielmehr direkt doch beliebig viele c gehören!). Auch lässt sich zeigen, dass ein Schluss von (x ; 0'a ɟ 0 ⋹ b̄)(y ; 0'b ɟ 0 ⋹ c̄) auf z ; 0'a ɟ 0 ⋹ c̄ weder mit z = y ; x, noch mit sonst einem z, zwingend sein kann, indem die fragliche Konklusion ja eine Resultante der Elimination von b aus den Prämissen sein müsste. Eine solche ist aber gar nicht vorhanden, weil die Prämissen sich für b = 0 als stets erfüllt erweisen. Die Konklusion müsste sonach als eine Relation nichtssagend sein, m. a. W. für beliebige a, c und z wie eine allgemeine Formel gelten, was leicht als absurd zu erkennen.
<TEI><text><body><divn="1"><divn="2"><pbfacs="#f0633"n="619"/><fwplace="top"type="header">§ 31. Sechste Fassung der Ähnlichkeitsbedingung.</fw><lb/><p>Um nun jene zwei von diesen auch noch auf die Formen 34), 35) zu<lb/>
bringen, statuiren wir den <hirendition="#g">Hülfssatz</hi>:<lb/>
36) <formula/><lb/></p><p>Es soll darin <hirendition="#i">a</hi> ein beliebiges Relativ, und <hirendition="#i">b</hi> ; 1 nur irgend ein <hirendition="#i">System</hi><lb/>
vorstellen, das also auch durch <hirendition="#i">b</hi>ɟ 0 vertreten werden konnte.</p><lb/><p>Obwol für <hirendition="#i">a</hi> = 1<hirendition="#i">αβγ</hi>0 ist: <hirendition="#i">a</hi> ; 0' · <hirendition="#i">a</hi> = 1<hirendition="#i">αβ</hi>00, dagegen <hirendition="#i">a</hi> ; 0' ɟ 0 = 11100,<lb/>
demnach die beiden Subjekte in 36) differiren, muss dieser Satz doch gelten,<lb/>
und liesse er sich schon zeilenrechnerisch einsehn. Eleganter ist er als<lb/><hirendition="#i">L</hi> = <hirendition="#i">R</hi> so zu <hirendition="#g">beweisen</hi>. Wegen <hirendition="#i">a</hi> ; 0' · <hirendition="#i">a</hi>⋹<hirendition="#i">a</hi> ; 0' ɟ 0 folgt <hirendition="#i">L</hi> aus <hirendition="#i">R</hi>, d. h.<lb/>
gilt <hirendition="#i">R</hi>⋹<hirendition="#i">L</hi> a fortiori. Umgekehrt folgt aus <hirendition="#i">L</hi> auch (<hirendition="#i">a</hi> ; 0')<hirendition="#i">a</hi> ; 1 ⋹<hirendition="#i">b</hi> ; 1,<lb/>
was wegen (<hirendition="#i">a</hi> ; 0')<hirendition="#i">a</hi> ; 1 = <hirendition="#i">a</hi> ; 0' ɟ 0, vergl. 30) des § 15, S. 216, in <hirendition="#i">R</hi> über-<lb/>
geht, d. h. es gilt auch <hirendition="#i">L</hi>⋹<hirendition="#i">R</hi>, q. e. d.</p><lb/><p>Nach diesem Schema 36) verwandelt sich nun z. B. <hirendition="#i">γ</hi><hirendition="#sub">4</hi> aus 33), ge-<lb/>
schrieben als <hirendition="#i">xă</hi> ; 0' · <hirendition="#i">xă</hi>⋹<hirendition="#i">b̄</hi>(= <hirendition="#i">b̄</hi> ; 1), mit Leichtigkeit in <hirendition="#i">xă</hi> ; 0' ɟ 0 ⋹<hirendition="#i">b̄</hi>,<lb/>
d. h. in 34) — und konjugirt entsprechend <hirendition="#i">γ</hi><hirendition="#sub">2</hi> aus 33) in 34), sowie um-<lb/>
gekehrt, q. e. d. Von 34) aber ist 35) nur eine naheliegende Umformung<lb/>
nach bekannten Sätzen über Systeme.</p><lb/><p>Sehr beachtenswert ist, dass, während als Relation zwischen den<lb/>
Systemen <hirendition="#i">a</hi> und <hirendition="#i">b</hi> betrachtet, die Beziehungen <hirendition="#i">γ</hi><hirendition="#sub">1</hi> und <hirendition="#i">γ</hi><hirendition="#sub">3</hi><hirendition="#i">transitive</hi><lb/>
sind, ein gleiches mit denen <hirendition="#i">γ</hi><hirendition="#sub">2</hi> und <hirendition="#i">γ</hi><hirendition="#sub">4</hi><hirendition="#i">keineswegs</hi> der Fall ist.</p><lb/><p><hirendition="#i">Jenes</hi> ist mit den a fortiori gültigen Folgerungen:<lb/><hirendition="#et">(<hirendition="#i">a</hi>⋹<hirendition="#i">x̆</hi> ; <hirendition="#i">b</hi>)(<hirendition="#i">b</hi>⋹<hirendition="#i">y̆</hi> ; <hirendition="#i">c</hi>) ⋹ (<hirendition="#i">a</hi>⋹<hirendition="#i">x̆</hi> ; <hirendition="#i">y̆</hi> ; <hirendition="#i">c</hi>), = (<hirendition="#i">a</hi>⋹<hirendition="#i">z̆</hi> ; <hirendition="#i">c</hi>) für <hirendition="#i">z</hi> = <hirendition="#i">y</hi> ; <hirendition="#i">x</hi>,<lb/>
(<hirendition="#i">b</hi>⋹<hirendition="#i">x</hi> ; <hirendition="#i">a</hi>)(<hirendition="#i">c</hi>⋹<hirendition="#i">y</hi> ; <hirendition="#i">b</hi>) ⋹ (<hirendition="#i">c</hi>⋹<hirendition="#i">y</hi> ; <hirendition="#i">x</hi> ; <hirendition="#i">a</hi>), = (<hirendition="#i">c</hi>⋹<hirendition="#i">z</hi> ; <hirendition="#i">a</hi>) „„„</hi><lb/>
sofort analytisch beweisbar, wie es denn auch ohne weitres einleuchtet,<lb/>
dass, wenn zu jedem <hirendition="#i">a</hi> (nach einer Vorschrift <hirendition="#i">x</hi>) <hirendition="#i">mindestens</hi> ein <hirendition="#i">b</hi> ge-<lb/>
hört, und zu jedem <hirendition="#i">b</hi> (nach einer andern Vorschrift <hirendition="#i">y</hi>) <hirendition="#i">mindestens</hi> ein <hirendition="#i">c</hi><lb/>
gehört, dann auch zu jedem <hirendition="#i">a</hi> (nach beiden Vorschriften zusammen)<lb/><hirendition="#i">mindestens</hi> ein <hirendition="#i">c</hi> gehören müsse.</p><lb/><p>Ersetzt man hierin das Wort „mindestens“ durchweg durch „<hirendition="#i">höchstens</hi>“,<lb/>
so findet vielleicht Mancher den Satz ganz ebenso einleuchtend. Dennoch<lb/>
hat die rhetorische Evidenz hierbei nur irre geführt (es können nämlich<lb/>
zu solchen <hirendition="#i">a</hi>, zu denen — als „höchstens ein“—<hirendition="#i">kein b</hi> gehört, vielmehr<lb/>
direkt doch beliebig viele <hirendition="#i">c</hi> gehören!). Auch lässt sich zeigen, dass ein<lb/>
Schluss von<lb/><hirendition="#c">(<hirendition="#i">x</hi> ; 0'<hirendition="#i">a</hi>ɟ 0 ⋹<hirendition="#i">b̄</hi>)(<hirendition="#i">y</hi> ; 0'<hirendition="#i">b</hi>ɟ 0 ⋹<hirendition="#i">c̄</hi>) auf <hirendition="#i">z</hi> ; 0'<hirendition="#i">a</hi>ɟ 0 ⋹<hirendition="#i">c̄</hi></hi><lb/>
weder mit <hirendition="#i">z</hi> = <hirendition="#i">y</hi> ; <hirendition="#i">x</hi>, noch mit sonst einem <hirendition="#i">z</hi>, zwingend sein kann, indem<lb/>
die fragliche Konklusion ja eine Resultante der Elimination von <hirendition="#i">b</hi> aus den<lb/>
Prämissen sein müsste. Eine solche ist aber gar nicht vorhanden, weil die<lb/>
Prämissen sich für <hirendition="#i">b</hi> = 0 als stets erfüllt erweisen. Die Konklusion müsste<lb/>
sonach als eine Relation nichtssagend sein, m. a. W. für beliebige <hirendition="#i">a</hi>, <hirendition="#i">c</hi><lb/>
und <hirendition="#i">z</hi> wie eine allgemeine Formel gelten, was leicht als absurd zu erkennen.</p><lb/></div></div></body></text></TEI>
[619/0633]
§ 31. Sechste Fassung der Ähnlichkeitsbedingung.
Um nun jene zwei von diesen auch noch auf die Formen 34), 35) zu
bringen, statuiren wir den Hülfssatz:
36) [FORMEL]
Es soll darin a ein beliebiges Relativ, und b ; 1 nur irgend ein System
vorstellen, das also auch durch b ɟ 0 vertreten werden konnte.
Obwol für a = 1αβγ0 ist: a ; 0' · a = 1αβ00, dagegen a ; 0' ɟ 0 = 11100,
demnach die beiden Subjekte in 36) differiren, muss dieser Satz doch gelten,
und liesse er sich schon zeilenrechnerisch einsehn. Eleganter ist er als
L = R so zu beweisen. Wegen a ; 0' · a ⋹ a ; 0' ɟ 0 folgt L aus R, d. h.
gilt R ⋹ L a fortiori. Umgekehrt folgt aus L auch (a ; 0')a ; 1 ⋹ b ; 1,
was wegen (a ; 0')a ; 1 = a ; 0' ɟ 0, vergl. 30) des § 15, S. 216, in R über-
geht, d. h. es gilt auch L ⋹ R, q. e. d.
Nach diesem Schema 36) verwandelt sich nun z. B. γ4 aus 33), ge-
schrieben als xă ; 0' · xă ⋹ b̄(= b̄ ; 1), mit Leichtigkeit in xă ; 0' ɟ 0 ⋹ b̄,
d. h. in 34) — und konjugirt entsprechend γ2 aus 33) in 34), sowie um-
gekehrt, q. e. d. Von 34) aber ist 35) nur eine naheliegende Umformung
nach bekannten Sätzen über Systeme.
Sehr beachtenswert ist, dass, während als Relation zwischen den
Systemen a und b betrachtet, die Beziehungen γ1 und γ3 transitive
sind, ein gleiches mit denen γ2 und γ4 keineswegs der Fall ist.
Jenes ist mit den a fortiori gültigen Folgerungen:
(a ⋹ x̆ ; b)(b ⋹ y̆ ; c) ⋹ (a ⋹ x̆ ; y̆ ; c), = (a ⋹ z̆ ; c) für z = y ; x,
(b ⋹ x ; a)(c ⋹ y ; b) ⋹ (c ⋹ y ; x ; a), = (c ⋹ z ; a) „ „ „
sofort analytisch beweisbar, wie es denn auch ohne weitres einleuchtet,
dass, wenn zu jedem a (nach einer Vorschrift x) mindestens ein b ge-
hört, und zu jedem b (nach einer andern Vorschrift y) mindestens ein c
gehört, dann auch zu jedem a (nach beiden Vorschriften zusammen)
mindestens ein c gehören müsse.
Ersetzt man hierin das Wort „mindestens“ durchweg durch „höchstens“,
so findet vielleicht Mancher den Satz ganz ebenso einleuchtend. Dennoch
hat die rhetorische Evidenz hierbei nur irre geführt (es können nämlich
zu solchen a, zu denen — als „höchstens ein“ — kein b gehört, vielmehr
direkt doch beliebig viele c gehören!). Auch lässt sich zeigen, dass ein
Schluss von
(x ; 0'a ɟ 0 ⋹ b̄)(y ; 0'b ɟ 0 ⋹ c̄) auf z ; 0'a ɟ 0 ⋹ c̄
weder mit z = y ; x, noch mit sonst einem z, zwingend sein kann, indem
die fragliche Konklusion ja eine Resultante der Elimination von b aus den
Prämissen sein müsste. Eine solche ist aber gar nicht vorhanden, weil die
Prämissen sich für b = 0 als stets erfüllt erweisen. Die Konklusion müsste
sonach als eine Relation nichtssagend sein, m. a. W. für beliebige a, c
und z wie eine allgemeine Formel gelten, was leicht als absurd zu erkennen.
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. 619. In: Deutsches Textarchiv <https://www.deutschestextarchiv.de/schroeder_logik03_1895/633>, 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/.