§ 29. Über von Peirce so genannte Entwicklungsformeln.
zu beweisen, am besten exemplificando. Für b = an, c = 0' z. B. müsste sich erweisen: 0' an j 0 + a j 0, wo für a = 1abg0 das Prädikat 10001 mit beliebigen Leerzeilen ausgestattet ist und folglich das Subjekt 0' nicht unter sich enthalten kann.
Unser Satz 1) ist hienach bis jetzt blos für den Fall, wo die Resul- tante erfüllt ist, erwiesen.
Man könnte nun, weil es einen Wert x von u der gesuchten Art nicht unbedingt gibt, versuchen ob sich nicht vielleicht zwei Werte x und y von u finden lassen, so, dass bedingungslos: (a ; xc + b ; xnc)(a ; yc + b ; ync) ab ; c wird, und falls auch hiefür wieder eine Bedingung resultiren sollte, nach drei Werten x, y, z von u fahnden, für welche das Produkt der ein- schlägigen Faktoren ab ; c wäre, und so fort. Doch dürfte ein weiteres Vordringen auf diesem Wege immer schwieriger werden; auch erscheint es fraglich, ob solchem Verfahren ein endlicher Erfolg zufallen würde -- der: den Satz 1) als bedingungslos gültigen bewiesen zu haben.
Bevor wir die Digression dieses Kontextes verlassen, sei noch darauf aufmerksam gemacht, dass der Satz 3) für c = 1 -- wenn zuletzt für d dann c gesagt wird -- in Gestalt von ab ; 1 a ; c + b ; cn eine Verstärkung, Steigerung unsres Satzes 14) des § 6 vorstellt: nicht blos ab, sondern, was noch mehr besagt, sogar ab ; 1 ist der rechten Seite eingeordnet.
Ebenso ist der Spezialfall für c = 1 resp. 0 des Satzes 1): 4)
[Tabelle]
besonders bemerkenswert.
Endlich sei als schätzenswerte Übung dem Anfänger empfohlen, auch die Gleichung a ; x + b ; xn = ab, welche mit ihrer vorwärtigen Untersubsumtion äquivalent ist, in analoger Weise aufzulösen. Man findet b ; (an + bn) xan j ab, und lässt die Resultante 1 = an j ab + bn j ab sich in vielen merkwürdigen Formen schreiben, z. B. (scheinbar unsymmetrisch) als 1' an j ab j ab j bn, sowie als a ; b + b ; aab j ab, wo von den zwei Gliedern links auch eines unterdrückbar. Man zeige, dass dann auch ab = ab j 0 = ab ; 1, mithin ab "System" sein muss.
Mit einem Schlage beweist sich unser Satz 1) aus 2) durch den Nachweis, dass hier rechterhand das letzte Glied verschwindet. Wir haben in der That die Sätze:
§ 29. Über von Peirce so genannte Entwicklungsformeln.
zu beweisen, am besten exemplificando. Für b = ā, c = 0' z. B. müsste sich erweisen: 0' ⋹ ā̆ ɟ 0 + ă ɟ 0, wo für ă = 1αβγ0 das Prädikat 10001 mit beliebigen Leerzeilen ausgestattet ist und folglich das Subjekt 0' nicht unter sich enthalten kann.
Unser Satz 1) ist hienach bis jetzt blos für den Fall, wo die Resul- tante erfüllt ist, erwiesen.
Man könnte nun, weil es einen Wert x von u der gesuchten Art nicht unbedingt gibt, versuchen ob sich nicht vielleicht zwei Werte x und y von u finden lassen, so, dass bedingungslos: (a ; xc + b ; x̄c)(a ; yc + b ; ȳc) ⋹ ab ; c wird, und falls auch hiefür wieder eine Bedingung resultiren sollte, nach drei Werten x, y, z von u fahnden, für welche das Produkt der ein- schlägigen Faktoren ⋹ ab ; c wäre, und so fort. Doch dürfte ein weiteres Vordringen auf diesem Wege immer schwieriger werden; auch erscheint es fraglich, ob solchem Verfahren ein endlicher Erfolg zufallen würde — der: den Satz 1) als bedingungslos gültigen bewiesen zu haben.
Bevor wir die Digression dieses Kontextes verlassen, sei noch darauf aufmerksam gemacht, dass der Satz 3) für c = 1 — wenn zuletzt für d dann c gesagt wird — in Gestalt von ab ; 1 ⋹ a ; c + b ; c̄ eine Verstärkung, Steigerung unsres Satzes 14) des § 6 vorstellt: nicht blos ab, sondern, was noch mehr besagt, sogar ab ; 1 ist der rechten Seite eingeordnet.
Ebenso ist der Spezialfall für c = 1 resp. 0 des Satzes 1): 4)
[Tabelle]
besonders bemerkenswert.
Endlich sei als schätzenswerte Übung dem Anfänger empfohlen, auch die Gleichung a ; x + b ; x̄ = ab, welche mit ihrer vorwärtigen Untersubsumtion äquivalent ist, in analoger Weise aufzulösen. Man findet b̆ ; (ā + b̄) ⋹ x ⋹ ā̆ ɟ ab, und lässt die Resultante 1 = ā̆ ɟ ab + b̄̆ ɟ ab sich in vielen merkwürdigen Formen schreiben, z. B. (scheinbar unsymmetrisch) als 1' ⋹ ā̆ ɟ ab ɟ ăb̆ ɟ b̄, sowie als a ; b̆ + b ; ă ⋹ ab ɟ ăb̆, wo von den zwei Gliedern links auch eines unterdrückbar. Man zeige, dass dann auch ab = ab ɟ 0 = ab ; 1, mithin ab „System“ sein muss.
Mit einem Schlage beweist sich unser Satz 1) aus 2) durch den Nachweis, dass hier rechterhand das letzte Glied verschwindet. Wir haben in der That die Sätze:
<TEI><text><body><divn="1"><divn="2"><p><pbfacs="#f0507"n="493"/><fwplace="top"type="header">§ 29. Über von <hirendition="#g">Peirce</hi> so genannte Entwicklungsformeln.</fw><lb/>
zu beweisen, am besten exemplificando. Für <hirendition="#i">b</hi> = <hirendition="#i">ā</hi>, <hirendition="#i">c</hi> = 0' z. B. müsste<lb/>
sich erweisen: 0' ⋹<hirendition="#i">ā̆</hi>ɟ 0 + <hirendition="#i">ă</hi>ɟ 0, wo für <hirendition="#i">ă</hi> = 1<hirendition="#i">αβγ</hi>0 das Prädikat 10001<lb/>
mit beliebigen Leerzeilen ausgestattet ist und folglich das Subjekt 0' nicht<lb/>
unter sich enthalten kann.</p><lb/><p>Unser Satz 1) ist hienach bis jetzt blos für den Fall, wo die Resul-<lb/>
tante erfüllt ist, erwiesen.</p><lb/><p>Man könnte nun, weil es <hirendition="#i">einen</hi> Wert <hirendition="#i">x</hi> von <hirendition="#i">u</hi> der gesuchten Art nicht<lb/>
unbedingt gibt, versuchen ob sich nicht vielleicht <hirendition="#i">zwei</hi> Werte <hirendition="#i">x</hi> und <hirendition="#i">y</hi><lb/>
von <hirendition="#i">u</hi> finden lassen, so, dass bedingungslos:<lb/><hirendition="#c">(<hirendition="#i">a</hi> ; <hirendition="#i">xc</hi> + <hirendition="#i">b</hi> ; <hirendition="#i">x̄c</hi>)(<hirendition="#i">a</hi> ; <hirendition="#i">yc</hi> + <hirendition="#i">b</hi> ; <hirendition="#i">ȳc</hi>) ⋹<hirendition="#i">ab</hi> ; <hirendition="#i">c</hi></hi><lb/>
wird, und falls auch hiefür wieder eine Bedingung resultiren sollte, nach<lb/>
drei Werten <hirendition="#i">x</hi>, <hirendition="#i">y</hi>, <hirendition="#i">z</hi> von <hirendition="#i">u</hi> fahnden, für welche das Produkt der ein-<lb/>
schlägigen Faktoren ⋹<hirendition="#i">ab</hi> ; <hirendition="#i">c</hi> wäre, und so fort. Doch dürfte ein weiteres<lb/>
Vordringen auf diesem Wege immer schwieriger werden; auch erscheint es<lb/>
fraglich, ob solchem Verfahren ein endlicher Erfolg zufallen würde — der:<lb/>
den Satz 1) als bedingungslos gültigen bewiesen zu haben.</p><lb/><p>Bevor wir die Digression dieses Kontextes verlassen, sei noch darauf<lb/>
aufmerksam gemacht, dass der Satz 3) für <hirendition="#i">c</hi> = 1 — wenn zuletzt für <hirendition="#i">d</hi><lb/>
dann <hirendition="#i">c</hi> gesagt wird — in Gestalt von<lb/><hirendition="#c"><hirendition="#i">ab</hi> ; 1 ⋹<hirendition="#i">a</hi> ; <hirendition="#i">c</hi> + <hirendition="#i">b</hi> ; <hirendition="#i">c̄</hi></hi><lb/>
eine Verstärkung, Steigerung unsres Satzes 14) des § 6 vorstellt: nicht<lb/>
blos <hirendition="#i">ab</hi>, sondern, was noch mehr besagt, sogar <hirendition="#i">ab</hi> ; 1 ist der rechten Seite<lb/>
eingeordnet.</p><lb/><p>Ebenso ist der Spezialfall für <hirendition="#i">c</hi> = 1 resp. 0 des Satzes 1):<lb/>
4) <table><row><cell/></row></table><lb/>
besonders bemerkenswert.</p><lb/><p>Endlich sei als schätzenswerte Übung dem Anfänger empfohlen, auch<lb/>
die Gleichung<lb/><hirendition="#c"><hirendition="#i">a</hi> ; <hirendition="#i">x</hi> + <hirendition="#i">b</hi> ; <hirendition="#i">x̄</hi> = <hirendition="#i">ab</hi>,</hi><lb/>
welche mit ihrer vorwärtigen Untersubsumtion äquivalent ist, in analoger<lb/>
Weise aufzulösen. Man findet<lb/><hirendition="#c"><hirendition="#i">b̆</hi> ; (<hirendition="#i">ā</hi> + <hirendition="#i">b̄</hi>) ⋹<hirendition="#i">x</hi>⋹<hirendition="#i">ā̆</hi>ɟ<hirendition="#i">ab</hi>,</hi><lb/>
und lässt die Resultante 1 = <hirendition="#i">ā̆</hi>ɟ<hirendition="#i">ab</hi> + <hirendition="#i">b̄̆</hi>ɟ<hirendition="#i">ab</hi> sich in vielen merkwürdigen<lb/>
Formen schreiben, z. B. (scheinbar unsymmetrisch) als<lb/><hirendition="#c">1' ⋹<hirendition="#i">ā̆</hi>ɟ<hirendition="#i">ab</hi>ɟ<hirendition="#i">ăb̆</hi>ɟ<hirendition="#i">b̄</hi>, sowie als <hirendition="#i">a</hi> ; <hirendition="#i">b̆</hi> + <hirendition="#i">b</hi> ; <hirendition="#i">ă</hi>⋹<hirendition="#i">ab</hi>ɟ<hirendition="#i">ăb̆</hi>,</hi><lb/>
wo von den zwei Gliedern links auch eines unterdrückbar. Man zeige,<lb/>
dass dann auch <hirendition="#i">ab</hi> = <hirendition="#i">ab</hi>ɟ 0 = <hirendition="#i">ab</hi> ; 1, mithin <hirendition="#i">ab</hi>„System“ sein muss.</p><lb/><p>Mit einem Schlage beweist sich unser Satz 1) aus 2) durch den<lb/>
Nachweis, dass hier rechterhand das letzte Glied verschwindet. Wir<lb/>
haben in der That die <hirendition="#g">Sätze</hi>:<lb/></p></div></div></body></text></TEI>
[493/0507]
§ 29. Über von Peirce so genannte Entwicklungsformeln.
zu beweisen, am besten exemplificando. Für b = ā, c = 0' z. B. müsste
sich erweisen: 0' ⋹ ā̆ ɟ 0 + ă ɟ 0, wo für ă = 1αβγ0 das Prädikat 10001
mit beliebigen Leerzeilen ausgestattet ist und folglich das Subjekt 0' nicht
unter sich enthalten kann.
Unser Satz 1) ist hienach bis jetzt blos für den Fall, wo die Resul-
tante erfüllt ist, erwiesen.
Man könnte nun, weil es einen Wert x von u der gesuchten Art nicht
unbedingt gibt, versuchen ob sich nicht vielleicht zwei Werte x und y
von u finden lassen, so, dass bedingungslos:
(a ; xc + b ; x̄c)(a ; yc + b ; ȳc) ⋹ ab ; c
wird, und falls auch hiefür wieder eine Bedingung resultiren sollte, nach
drei Werten x, y, z von u fahnden, für welche das Produkt der ein-
schlägigen Faktoren ⋹ ab ; c wäre, und so fort. Doch dürfte ein weiteres
Vordringen auf diesem Wege immer schwieriger werden; auch erscheint es
fraglich, ob solchem Verfahren ein endlicher Erfolg zufallen würde — der:
den Satz 1) als bedingungslos gültigen bewiesen zu haben.
Bevor wir die Digression dieses Kontextes verlassen, sei noch darauf
aufmerksam gemacht, dass der Satz 3) für c = 1 — wenn zuletzt für d
dann c gesagt wird — in Gestalt von
ab ; 1 ⋹ a ; c + b ; c̄
eine Verstärkung, Steigerung unsres Satzes 14) des § 6 vorstellt: nicht
blos ab, sondern, was noch mehr besagt, sogar ab ; 1 ist der rechten Seite
eingeordnet.
Ebenso ist der Spezialfall für c = 1 resp. 0 des Satzes 1):
4)
besonders bemerkenswert.
Endlich sei als schätzenswerte Übung dem Anfänger empfohlen, auch
die Gleichung
a ; x + b ; x̄ = ab,
welche mit ihrer vorwärtigen Untersubsumtion äquivalent ist, in analoger
Weise aufzulösen. Man findet
b̆ ; (ā + b̄) ⋹ x ⋹ ā̆ ɟ ab,
und lässt die Resultante 1 = ā̆ ɟ ab + b̄̆ ɟ ab sich in vielen merkwürdigen
Formen schreiben, z. B. (scheinbar unsymmetrisch) als
1' ⋹ ā̆ ɟ ab ɟ ăb̆ ɟ b̄, sowie als a ; b̆ + b ; ă ⋹ ab ɟ ăb̆,
wo von den zwei Gliedern links auch eines unterdrückbar. Man zeige,
dass dann auch ab = ab ɟ 0 = ab ; 1, mithin ab „System“ sein muss.
Mit einem Schlage beweist sich unser Satz 1) aus 2) durch den
Nachweis, dass hier rechterhand das letzte Glied verschwindet. Wir
haben in der That die Sätze:
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. 493. In: Deutsches Textarchiv <https://www.deutschestextarchiv.de/schroeder_logik03_1895/507>, abgerufen am 23.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/.
