7) y = {yn j (an + 1')}y{(1' + bn) j yn} d. h. für x = y angesetzt, die Gleichung 2) in ihrer zweiten Form. Die Gleichung 2) für ein arbiträres x angesetzt, muss demnach die allgemeine Wurzel y der Subsumtion 6) vorstellen, wobei es obendrein erlaubt sein muss: einzeln oder gleichzeitig, a durch a sowie a + a, und b durch b sowie b + b zu ersetzen.
Verwenden wir, um die chiffrirten Propositionen nicht nochmals in eckige Klammern wiederholt hineinschreiben zu müssen, für diese selbst ihre Chiffren, so ist bis jetzt erwiesen:
[Formel 1]
dazu aber auch 6) = 7), wobei 6) = 61) = 62).
Gibt es nun ein x, welches die rechte Seite der Äquivalenz 4) wahr macht, so gibt es auch ein y, nämlich das durch 2) dargestellte, welches die rechte Seite der Äquivalenz 5) erfüllt, und umgekehrt: gibt es ein der letztern Forderung genügendes y, so auch ein der erstern genügendes x, und zwar mindestens schon in Gestalt von x gleich y. Die Forderungen 4), 5) bedingen also einander gegenseitig oder sind äquivalent.
Falls man will, kann man auch die eine rechnerisch geradezu in die andre transformiren. Ersetzt man z. B. in 5) den ersten Aussagenfaktor hinter dem
[Formel 2]
, welcher die Subsumtion 6) ist, durch das ihm äquivalent erwiesene
[Formel 3]
2), so kann man diese S nach x auf alles folgende beziehen; macht man dann hinter dem
[Formel 4]
für y durchweg von dem ihm in 2) gleich- gesetzten Ausdrucke in x als dem ausdrucksvolleren Namen Gebrauch, so wird der Aussagenfaktor 2), als eine Identität, gleich 1 und unterdrück- bar, ebenso das vorangeschriebene
[Formel 5]
als gegenstandslos hinfällig, sintemal der dahinter stehende allgemeine Term konstant bezüglich y, nämlich frei davon geworden, und man hat die Äquivalenz 4).
Um jetzt zu zeigen, dass in 5) die beiden letzten Subsumtionen wie behauptet die Kraft von Gleichungen haben, müssen wir blos aus by ; a und ay ; b vermittelst 6) auch die beiden rückwärtigen Subsumtionen ableiten. Nun folgt zwar sogleich: y ; by ; y ; a, y ; ay ; y ; b.
Doch wird es ohne einen absonderlichen Kunstgriff nicht gelingen. Zwar lässt sich nämlich in der erstern Subsumtion das Prädikat umgestalten in: y ; ay ; 1 = (y ; y)a ; 1 -- vergleiche über 61) -- was nun kraft 61) sein wird 1' ; 1 = 1. Doch gelangt man so blos zu dem wertlosen Schlusse:
§ 31. Zweite Fassung der Ähnlichkeitsbedingung.
7) y = {ȳ ɟ (ā + 1')}y{(1' + b̄̆) ɟ ȳ} d. h. für x = y angesetzt, die Gleichung 2) in ihrer zweiten Form. Die Gleichung 2) für ein arbiträres x angesetzt, muss demnach die allgemeine Wurzel y der Subsumtion 6) vorstellen, wobei es obendrein erlaubt sein muss: einzeln oder gleichzeitig, a durch ă sowie a + ă, und b durch b̆ sowie b + b̆ zu ersetzen.
Verwenden wir, um die chiffrirten Propositionen nicht nochmals in eckige Klammern wiederholt hineinschreiben zu müssen, für diese selbst ihre Chiffren, so ist bis jetzt erwiesen:
[Formel 1]
dazu aber auch 6) = 7), wobei 6) = 61) = 62).
Gibt es nun ein x, welches die rechte Seite der Äquivalenz 4) wahr macht, so gibt es auch ein y, nämlich das durch 2) dargestellte, welches die rechte Seite der Äquivalenz 5) erfüllt, und umgekehrt: gibt es ein der letztern Forderung genügendes y, so auch ein der erstern genügendes x, und zwar mindestens schon in Gestalt von x gleich y. Die Forderungen 4), 5) bedingen also einander gegenseitig oder sind äquivalent.
Falls man will, kann man auch die eine rechnerisch geradezu in die andre transformiren. Ersetzt man z. B. in 5) den ersten Aussagenfaktor hinter dem
[Formel 2]
, welcher die Subsumtion 6) ist, durch das ihm äquivalent erwiesene
[Formel 3]
2), so kann man diese Σ nach x auf alles folgende beziehen; macht man dann hinter dem
[Formel 4]
für y durchweg von dem ihm in 2) gleich- gesetzten Ausdrucke in x als dem ausdrucksvolleren Namen Gebrauch, so wird der Aussagenfaktor 2), als eine Identität, gleich 1 und unterdrück- bar, ebenso das vorangeschriebene
[Formel 5]
als gegenstandslos hinfällig, sintemal der dahinter stehende allgemeine Term konstant bezüglich y, nämlich frei davon geworden, und man hat die Äquivalenz 4).
Um jetzt zu zeigen, dass in 5) die beiden letzten Subsumtionen wie behauptet die Kraft von Gleichungen haben, müssen wir blos aus b⋹y ; a und a ⋹ y̆ ; b vermittelst 6) auch die beiden rückwärtigen Subsumtionen ableiten. Nun folgt zwar sogleich: y̆ ; b ⋹ y̆ ; y ; a, y ; a ⋹ y ; y̆ ; b.
Doch wird es ohne einen absonderlichen Kunstgriff nicht gelingen. Zwar lässt sich nämlich in der erstern Subsumtion das Prädikat umgestalten in: y̆ ; ăy ; 1 = (y̆ ; y)ă ; 1 — vergleiche über 61) — was nun kraft 61) sein wird ⋹ 1' ; 1 = 1. Doch gelangt man so blos zu dem wertlosen Schlusse:
<TEI><text><body><divn="1"><divn="2"><p><pbfacs="#f0617"n="603"/><fwplace="top"type="header">§ 31. Zweite Fassung der Ähnlichkeitsbedingung.</fw><lb/>
7) <hirendition="#et"><hirendition="#i">y</hi> = {<hirendition="#i">ȳ</hi>ɟ (<hirendition="#i">ā</hi> + 1')}<hirendition="#i">y</hi>{(1' + <hirendition="#i">b̄̆</hi>) ɟ<hirendition="#i">ȳ</hi>}</hi><lb/>
d. h. für <hirendition="#i">x</hi> = <hirendition="#i">y</hi> angesetzt, die Gleichung 2) in ihrer zweiten Form.<lb/>
Die Gleichung 2) für ein arbiträres <hirendition="#i">x</hi> angesetzt, muss demnach die<lb/>
allgemeine Wurzel <hirendition="#i">y</hi> der Subsumtion 6) vorstellen, wobei es obendrein<lb/>
erlaubt sein muss: einzeln oder gleichzeitig, <hirendition="#i">a</hi> durch <hirendition="#i">ă</hi> sowie <hirendition="#i">a</hi> + <hirendition="#i">ă</hi>,<lb/>
und <hirendition="#i">b</hi> durch <hirendition="#i">b̆</hi> sowie <hirendition="#i">b</hi> + <hirendition="#i">b̆</hi> zu ersetzen.</p><lb/><p>Verwenden wir, um die chiffrirten Propositionen nicht nochmals<lb/>
in eckige Klammern wiederholt hineinschreiben zu müssen, für diese<lb/>
selbst ihre Chiffren, so ist bis jetzt erwiesen:<lb/><hirendition="#c"><formula/></hi> dazu aber auch 6) = 7), wobei 6) = 6<hirendition="#sub">1</hi>) = 6<hirendition="#sub">2</hi>).</p><lb/><p>Gibt es nun ein <hirendition="#i">x</hi>, welches die rechte Seite der Äquivalenz 4)<lb/>
wahr macht, so gibt es auch ein <hirendition="#i">y</hi>, nämlich das durch 2) dargestellte,<lb/>
welches die rechte Seite der Äquivalenz 5) erfüllt, und umgekehrt:<lb/>
gibt es ein der letztern Forderung genügendes <hirendition="#i">y</hi>, so auch ein der<lb/>
erstern genügendes <hirendition="#i">x</hi>, und zwar mindestens schon in Gestalt von <hirendition="#i">x</hi><lb/>
gleich <hirendition="#i">y</hi>. Die Forderungen 4), 5) bedingen also einander gegenseitig<lb/>
oder sind äquivalent.</p><lb/><p>Falls man will, kann man auch die eine rechnerisch geradezu in die<lb/>
andre transformiren. Ersetzt man z. B. in 5) den ersten Aussagenfaktor<lb/>
hinter dem <formula/>, welcher die Subsumtion 6) ist, durch das ihm äquivalent<lb/>
erwiesene <formula/>2), so kann man diese <hirendition="#i">Σ</hi> nach <hirendition="#i">x</hi> auf alles folgende beziehen;<lb/>
macht man dann hinter dem <formula/> für <hirendition="#i">y durchweg</hi> von dem ihm in 2) gleich-<lb/>
gesetzten Ausdrucke in <hirendition="#i">x</hi> als dem ausdrucksvolleren Namen Gebrauch, so<lb/>
wird der Aussagenfaktor 2), als eine Identität, gleich 1 und unterdrück-<lb/>
bar, ebenso das vorangeschriebene <formula/> als gegenstandslos hinfällig, sintemal<lb/>
der dahinter stehende allgemeine Term konstant bezüglich <hirendition="#i">y</hi>, nämlich frei<lb/>
davon geworden, und man hat die Äquivalenz 4).</p><lb/><p>Um jetzt zu zeigen, dass in 5) die beiden letzten Subsumtionen<lb/>
wie behauptet die Kraft von Gleichungen haben, müssen wir blos aus<lb/><hirendition="#c"><hirendition="#i">b</hi>⋹<hirendition="#i">y</hi> ; <hirendition="#i">a</hi> und <hirendition="#i">a</hi>⋹<hirendition="#i">y̆</hi> ; <hirendition="#i">b</hi></hi><lb/>
vermittelst 6) auch die beiden rückwärtigen Subsumtionen ableiten.<lb/>
Nun folgt zwar sogleich:<lb/><hirendition="#c"><hirendition="#i">y̆</hi> ; <hirendition="#i">b</hi>⋹<hirendition="#i">y̆</hi> ; <hirendition="#i">y</hi> ; <hirendition="#i">a</hi>, <hirendition="#i">y</hi> ; <hirendition="#i">a</hi>⋹<hirendition="#i">y</hi> ; <hirendition="#i">y̆</hi> ; <hirendition="#i">b</hi>.</hi></p><lb/><p>Doch wird es ohne einen absonderlichen Kunstgriff nicht gelingen.<lb/>
Zwar lässt sich nämlich in der erstern Subsumtion das Prädikat umgestalten<lb/>
in: <hirendition="#i">y̆</hi> ; <hirendition="#i">ăy</hi> ; 1 = (<hirendition="#i">y̆</hi> ; <hirendition="#i">y</hi>)<hirendition="#i">ă</hi> ; 1 — vergleiche über 6<hirendition="#sub">1</hi>) — was nun <hirendition="#i">kraft</hi> 6<hirendition="#sub">1</hi>) sein<lb/>
wird ⋹ 1' ; 1 = 1. Doch gelangt man so blos zu dem wertlosen Schlusse:<lb/></p></div></div></body></text></TEI>
[603/0617]
§ 31. Zweite Fassung der Ähnlichkeitsbedingung.
7) y = {ȳ ɟ (ā + 1')}y{(1' + b̄̆) ɟ ȳ}
d. h. für x = y angesetzt, die Gleichung 2) in ihrer zweiten Form.
Die Gleichung 2) für ein arbiträres x angesetzt, muss demnach die
allgemeine Wurzel y der Subsumtion 6) vorstellen, wobei es obendrein
erlaubt sein muss: einzeln oder gleichzeitig, a durch ă sowie a + ă,
und b durch b̆ sowie b + b̆ zu ersetzen.
Verwenden wir, um die chiffrirten Propositionen nicht nochmals
in eckige Klammern wiederholt hineinschreiben zu müssen, für diese
selbst ihre Chiffren, so ist bis jetzt erwiesen:
[FORMEL] dazu aber auch 6) = 7), wobei 6) = 61) = 62).
Gibt es nun ein x, welches die rechte Seite der Äquivalenz 4)
wahr macht, so gibt es auch ein y, nämlich das durch 2) dargestellte,
welches die rechte Seite der Äquivalenz 5) erfüllt, und umgekehrt:
gibt es ein der letztern Forderung genügendes y, so auch ein der
erstern genügendes x, und zwar mindestens schon in Gestalt von x
gleich y. Die Forderungen 4), 5) bedingen also einander gegenseitig
oder sind äquivalent.
Falls man will, kann man auch die eine rechnerisch geradezu in die
andre transformiren. Ersetzt man z. B. in 5) den ersten Aussagenfaktor
hinter dem [FORMEL], welcher die Subsumtion 6) ist, durch das ihm äquivalent
erwiesene [FORMEL]2), so kann man diese Σ nach x auf alles folgende beziehen;
macht man dann hinter dem [FORMEL] für y durchweg von dem ihm in 2) gleich-
gesetzten Ausdrucke in x als dem ausdrucksvolleren Namen Gebrauch, so
wird der Aussagenfaktor 2), als eine Identität, gleich 1 und unterdrück-
bar, ebenso das vorangeschriebene [FORMEL] als gegenstandslos hinfällig, sintemal
der dahinter stehende allgemeine Term konstant bezüglich y, nämlich frei
davon geworden, und man hat die Äquivalenz 4).
Um jetzt zu zeigen, dass in 5) die beiden letzten Subsumtionen
wie behauptet die Kraft von Gleichungen haben, müssen wir blos aus
b⋹y ; a und a ⋹ y̆ ; b
vermittelst 6) auch die beiden rückwärtigen Subsumtionen ableiten.
Nun folgt zwar sogleich:
y̆ ; b ⋹ y̆ ; y ; a, y ; a ⋹ y ; y̆ ; b.
Doch wird es ohne einen absonderlichen Kunstgriff nicht gelingen.
Zwar lässt sich nämlich in der erstern Subsumtion das Prädikat umgestalten
in: y̆ ; ăy ; 1 = (y̆ ; y)ă ; 1 — vergleiche über 61) — was nun kraft 61) sein
wird ⋹ 1' ; 1 = 1. Doch gelangt man so blos zu dem wertlosen Schlusse:
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. 603. In: Deutsches Textarchiv <https://www.deutschestextarchiv.de/schroeder_logik03_1895/617>, abgerufen am 04.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/.