§ 26. Zusammenhang mit der Individuumsdefinition identischen Kalkuls.
nach den Methoden des § 11 zusammengezogen die vereinigte Gleichung: 1 ; zun ; 1 ; zu ; 1 = 0 oder zun ; 1 ; zu = 0, welche also nur mehr zu beweisen ist.
Dabei kann z = ij eingesetzt werden.
Nennen wir Z den fraglichen Ausdruck, so ist: Z = zun ; 1 · 1 ; zu = (i ; 1)jun ; 1 · 1 ; i(1 ; j)u = i ; 1 · jun ; 1 · 1 ; j · 1 ; iu = = ij · un(1 ; j) ; 1 · 1 ; (i ; 1)u = ij · un ; j ; 1 · 1 ; i ; u = ij · un ; j · i ; u -- gemäss 6) des § 18, zu vorletzt. Dass dieser Ausdruck nun verschwindet ist einerseits daraus ersichtlich, dass nach 29) des § 25: Z = un ; j · j · i · i ; u = unj · iuuun = 0 wird; andrerseits ist es auch durch die Koeffizientenevidenz nachweisbar, indem: Zh k = ih kjk hSlunh ljl k · Smim hum k = = 1'i h1'j kSlunh l1'j l · Sm1'i mum k = 1'i h1'j kunh jui k, wo das Produkt der beiden ersten Faktoren nur für h = i und j = k nicht verschwinden wird, dafür aber das Produkt der beiden letzten Faktoren als uni j · ui j verschwindet, q. e. d.
Man hätte den Beweis auch ohne die vorhergehende Reduktion des Ausdrucks mit Z = ijun ; 1 ; iju in Gestalt von Zh k = Sl mih ljl hunh l1l mim kjk mum k = = Sl m1'i h1'j lunh l1'm1'j kum k = uni jui j = 0 noch rascher führen können.
Rückwärts ist zu zeigen, dass ein nicht verschwindendes binäres Relativ z, welches die Eigenschaft besitzt, jedem binären Relativ u gegenüber entweder in diesem oder in un enthalten zu sein, notwendig ein Elementepaar i : j sein muss, nämlich die Charakteristik 10) eben- dieses erfüllt.
Dies kann ja ganz leicht durch folgende Überlegung geschehen.
Jedes binäre Relativ ist laut Definition eine Summe von Elemente- paaren, und seine Matrix besteht dementsprechend aus Augen und Leerstellen.
Nun muss die Matrix des der rechten Seite von 24) genügenden z mindestens ein Auge haben, weil z = 0 ausgeschlossen ist. Sei i : j das einem solchen Auge entsprechende Elementepaar, so kann z kein zweites Elementepaar h : k enthalten, m. a. W. die Matrix von z kann (auch) nicht mehr als ein Auge haben. Denn im gegenteiligen Falle würden Relative u existiren und angebbar sein von der Eigenschaft, dass z nachweislich weder in ihnen noch in ihrem Negate enthalten
28*
§ 26. Zusammenhang mit der Individuumsdefinition identischen Kalkuls.
nach den Methoden des § 11 zusammengezogen die vereinigte Gleichung: 1 ; zū ; 1 ; zu ; 1 = 0 oder zū ; 1 ; zu = 0, welche also nur mehr zu beweisen ist.
Dabei kann z = ij̆ eingesetzt werden.
Nennen wir Z den fraglichen Ausdruck, so ist: Z = zū ; 1 · 1 ; zu = (i ; 1)j̆ū ; 1 · 1 ; i(1 ; j̆)u = i ; 1 · j̆ū ; 1 · 1 ; j̆ · 1 ; iu = = ij̆ · ū(1 ; j̆) ; 1 · 1 ; (i ; 1)u = ij̆ · ū ; j ; 1 · 1 ; ĭ ; u = ij̆ · ū ; j · ĭ ; u — gemäss 6) des § 18, zu vorletzt. Dass dieser Ausdruck nun verschwindet ist einerseits daraus ersichtlich, dass nach 29) des § 25: Z = ū ; j · j̆ · i · ĭ ; u = ūj̆ · iu ⋹ uū = 0 wird; andrerseits ist es auch durch die Koeffizientenevidenz nachweisbar, indem: Zh k = ih kjk hΣlūh ljl k · Σmim hum k = = 1'i h1'j kΣlūh l1'j l · Σm1'i mum k = 1'i h1'j kūh jui k, wo das Produkt der beiden ersten Faktoren nur für h = i und j = k nicht verschwinden wird, dafür aber das Produkt der beiden letzten Faktoren als ūi j · ui j verschwindet, q. e. d.
Man hätte den Beweis auch ohne die vorhergehende Reduktion des Ausdrucks mit Z = ij̆ū ; 1 ; ij̆u in Gestalt von Zh k = Σl mih ljl hūh l1l mim kjk mum k = = Σl m1'i h1'j lūh l1'm1'j kum k = ūi jui j = 0 noch rascher führen können.
Rückwärts ist zu zeigen, dass ein nicht verschwindendes binäres Relativ z, welches die Eigenschaft besitzt, jedem binären Relativ u gegenüber entweder in diesem oder in ū enthalten zu sein, notwendig ein Elementepaar i : j sein muss, nämlich die Charakteristik 10) eben- dieses erfüllt.
Dies kann ja ganz leicht durch folgende Überlegung geschehen.
Jedes binäre Relativ ist laut Definition eine Summe von Elemente- paaren, und seine Matrix besteht dementsprechend aus Augen und Leerstellen.
Nun muss die Matrix des der rechten Seite von 24) genügenden z mindestens ein Auge haben, weil z = 0 ausgeschlossen ist. Sei i : j das einem solchen Auge entsprechende Elementepaar, so kann z kein zweites Elementepaar h : k enthalten, m. a. W. die Matrix von z kann (auch) nicht mehr als ein Auge haben. Denn im gegenteiligen Falle würden Relative u existiren und angebbar sein von der Eigenschaft, dass z nachweislich weder in ihnen noch in ihrem Negate enthalten
28*
<TEI><text><body><divn="1"><divn="2"><p><pbfacs="#f0449"n="435"/><fwplace="top"type="header">§ 26. Zusammenhang mit der Individuumsdefinition identischen Kalkuls.</fw><lb/>
nach den Methoden des § 11 zusammengezogen die vereinigte Gleichung:<lb/><hirendition="#c">1 ; <hirendition="#i">zū</hi> ; 1 ; <hirendition="#i">zu</hi> ; 1 = 0 oder <hirendition="#i">zū</hi> ; 1 ; <hirendition="#i">zu</hi> = 0,</hi><lb/>
welche also nur mehr zu beweisen ist.</p><lb/><p>Dabei kann <hirendition="#i">z</hi> = <hirendition="#i">ij̆</hi> eingesetzt werden.</p><lb/><p>Nennen wir <hirendition="#i">Z</hi> den fraglichen Ausdruck, so ist:<lb/><hirendition="#et"><hirendition="#i">Z</hi> = <hirendition="#i">zū</hi> ; 1 · 1 ; <hirendition="#i">zu</hi> = (<hirendition="#i">i</hi> ; 1)<hirendition="#i">j̆ū</hi> ; 1 · 1 ; <hirendition="#i">i</hi>(1 ; <hirendition="#i">j̆</hi>)<hirendition="#i">u</hi> = <hirendition="#i">i</hi> ; 1 · <hirendition="#i">j̆ū</hi> ; 1 · 1 ; <hirendition="#i">j̆</hi> · 1 ; <hirendition="#i">iu</hi> =<lb/>
= <hirendition="#i">ij̆</hi> · <hirendition="#i">ū</hi>(1 ; <hirendition="#i">j̆</hi>) ; 1 · 1 ; (<hirendition="#i">i</hi> ; 1)<hirendition="#i">u</hi> = <hirendition="#i">ij̆</hi> · <hirendition="#i">ū</hi> ; <hirendition="#i">j</hi> ; 1 · 1 ; <hirendition="#i">ĭ</hi> ; <hirendition="#i">u</hi> = <hirendition="#i">ij̆</hi> · <hirendition="#i">ū</hi> ; <hirendition="#i">j</hi> · <hirendition="#i">ĭ</hi> ; <hirendition="#i">u</hi></hi><lb/>— gemäss 6) des § 18, zu vorletzt. Dass dieser Ausdruck nun verschwindet<lb/>
ist einerseits daraus ersichtlich, dass nach 29) des § 25:<lb/><hirendition="#c"><hirendition="#i">Z</hi> = <hirendition="#i">ū</hi> ; <hirendition="#i">j</hi> · <hirendition="#i">j̆</hi> · <hirendition="#i">i</hi> · <hirendition="#i">ĭ</hi> ; <hirendition="#i">u</hi> = <hirendition="#i">ūj̆</hi> · <hirendition="#i">iu</hi>⋹<hirendition="#i">uū</hi> = 0</hi><lb/>
wird; andrerseits ist es auch durch die Koeffizientenevidenz nachweisbar,<lb/>
indem:<lb/><hirendition="#et"><hirendition="#i">Z<hirendition="#sub">h k</hi></hi> = <hirendition="#i">i<hirendition="#sub">h k</hi>j<hirendition="#sub">k h</hi>Σ<hirendition="#sub">l</hi>ū<hirendition="#sub">h l</hi>j<hirendition="#sub">l k</hi></hi> · <hirendition="#i">Σ<hirendition="#sub">m</hi>i<hirendition="#sub">m h</hi>u<hirendition="#sub">m k</hi></hi> =<lb/>
= 1'<hirendition="#i"><hirendition="#sub">i h</hi></hi>1'<hirendition="#i"><hirendition="#sub">j k</hi>Σ<hirendition="#sub">l</hi>ū<hirendition="#sub">h l</hi></hi>1'<hirendition="#i"><hirendition="#sub">j l</hi></hi> · <hirendition="#i">Σ<hirendition="#sub">m</hi></hi>1'<hirendition="#i"><hirendition="#sub">i m</hi>u<hirendition="#sub">m k</hi></hi> = 1'<hirendition="#i"><hirendition="#sub">i h</hi></hi>1'<hirendition="#i"><hirendition="#sub">j k</hi>ū<hirendition="#sub">h j</hi>u<hirendition="#sub">i k</hi></hi>,</hi><lb/>
wo das Produkt der beiden ersten Faktoren nur für <hirendition="#i">h</hi> = <hirendition="#i">i</hi> und <hirendition="#i">j</hi> = <hirendition="#i">k</hi> nicht<lb/>
verschwinden wird, dafür aber das Produkt der beiden letzten Faktoren als<lb/><hirendition="#i">ū<hirendition="#sub">i j</hi></hi> · <hirendition="#i">u<hirendition="#sub">i j</hi></hi> verschwindet, q. e. d.</p><lb/><p>Man hätte den Beweis auch ohne die vorhergehende Reduktion des<lb/>
Ausdrucks mit <hirendition="#i">Z</hi> = <hirendition="#i">ij̆ū</hi> ; 1 ; <hirendition="#i">ij̆u</hi> in Gestalt von<lb/><hirendition="#et"><hirendition="#i">Z<hirendition="#sub">h k</hi></hi> = <hirendition="#i">Σ<hirendition="#sub">l m</hi>i<hirendition="#sub">h l</hi>j<hirendition="#sub">l h</hi>ū<hirendition="#sub">h l</hi></hi>1<hirendition="#i"><hirendition="#sub">l m</hi>i<hirendition="#sub">m k</hi>j<hirendition="#sub">k m</hi>u<hirendition="#sub">m k</hi></hi> =<lb/>
= <hirendition="#i">Σ<hirendition="#sub">l m</hi></hi>1'<hirendition="#i"><hirendition="#sub">i h</hi></hi>1'<hirendition="#i"><hirendition="#sub">j l</hi>ū<hirendition="#sub">h l</hi></hi>1'<hirendition="#i"><hirendition="#sub">m</hi></hi>1'<hirendition="#i"><hirendition="#sub">j k</hi>u<hirendition="#sub">m k</hi></hi> = <hirendition="#i">ū<hirendition="#sub">i j</hi>u<hirendition="#sub">i j</hi></hi> = 0</hi><lb/>
noch rascher führen können.</p><lb/><p><hirendition="#i">Rückwärts</hi> ist zu zeigen, dass ein nicht verschwindendes binäres<lb/>
Relativ <hirendition="#i">z</hi>, welches die Eigenschaft besitzt, jedem binären Relativ <hirendition="#i">u</hi><lb/>
gegenüber entweder in diesem oder in <hirendition="#i">ū</hi> enthalten zu sein, notwendig<lb/>
ein Elementepaar <hirendition="#i">i</hi> : <hirendition="#i">j</hi> sein muss, nämlich die Charakteristik 10) eben-<lb/>
dieses erfüllt.</p><lb/><p>Dies kann <hirendition="#i">ja</hi> ganz leicht durch folgende Überlegung geschehen.</p><lb/><p>Jedes binäre Relativ ist laut Definition eine Summe von Elemente-<lb/>
paaren, und seine Matrix besteht dementsprechend aus Augen und<lb/>
Leerstellen.</p><lb/><p>Nun muss die Matrix des der rechten Seite von 24) genügenden <hirendition="#i">z<lb/>
mindestens ein</hi> Auge haben, weil <hirendition="#i">z</hi> = 0 ausgeschlossen ist. Sei <hirendition="#i">i</hi> : <hirendition="#i">j</hi><lb/>
das einem solchen Auge entsprechende Elementepaar, so kann <hirendition="#i">z</hi> kein<lb/>
zweites Elementepaar <hirendition="#i">h</hi> : <hirendition="#i">k</hi> enthalten, m. a. W. die Matrix von <hirendition="#i">z</hi> kann<lb/>
(auch) <hirendition="#i">nicht mehr als ein</hi> Auge haben. Denn im gegenteiligen Falle<lb/>
würden Relative <hirendition="#i">u</hi> existiren und angebbar sein von der Eigenschaft,<lb/>
dass <hirendition="#i">z</hi> nachweislich weder in ihnen noch in ihrem Negate enthalten<lb/><fwplace="bottom"type="sig">28*</fw><lb/></p></div></div></body></text></TEI>
[435/0449]
§ 26. Zusammenhang mit der Individuumsdefinition identischen Kalkuls.
nach den Methoden des § 11 zusammengezogen die vereinigte Gleichung:
1 ; zū ; 1 ; zu ; 1 = 0 oder zū ; 1 ; zu = 0,
welche also nur mehr zu beweisen ist.
Dabei kann z = ij̆ eingesetzt werden.
Nennen wir Z den fraglichen Ausdruck, so ist:
Z = zū ; 1 · 1 ; zu = (i ; 1)j̆ū ; 1 · 1 ; i(1 ; j̆)u = i ; 1 · j̆ū ; 1 · 1 ; j̆ · 1 ; iu =
= ij̆ · ū(1 ; j̆) ; 1 · 1 ; (i ; 1)u = ij̆ · ū ; j ; 1 · 1 ; ĭ ; u = ij̆ · ū ; j · ĭ ; u
— gemäss 6) des § 18, zu vorletzt. Dass dieser Ausdruck nun verschwindet
ist einerseits daraus ersichtlich, dass nach 29) des § 25:
Z = ū ; j · j̆ · i · ĭ ; u = ūj̆ · iu ⋹ uū = 0
wird; andrerseits ist es auch durch die Koeffizientenevidenz nachweisbar,
indem:
Zh k = ih kjk hΣlūh ljl k · Σmim hum k =
= 1'i h1'j kΣlūh l1'j l · Σm1'i mum k = 1'i h1'j kūh jui k,
wo das Produkt der beiden ersten Faktoren nur für h = i und j = k nicht
verschwinden wird, dafür aber das Produkt der beiden letzten Faktoren als
ūi j · ui j verschwindet, q. e. d.
Man hätte den Beweis auch ohne die vorhergehende Reduktion des
Ausdrucks mit Z = ij̆ū ; 1 ; ij̆u in Gestalt von
Zh k = Σl mih ljl hūh l1l mim kjk mum k =
= Σl m1'i h1'j lūh l1'm1'j kum k = ūi jui j = 0
noch rascher führen können.
Rückwärts ist zu zeigen, dass ein nicht verschwindendes binäres
Relativ z, welches die Eigenschaft besitzt, jedem binären Relativ u
gegenüber entweder in diesem oder in ū enthalten zu sein, notwendig
ein Elementepaar i : j sein muss, nämlich die Charakteristik 10) eben-
dieses erfüllt.
Dies kann ja ganz leicht durch folgende Überlegung geschehen.
Jedes binäre Relativ ist laut Definition eine Summe von Elemente-
paaren, und seine Matrix besteht dementsprechend aus Augen und
Leerstellen.
Nun muss die Matrix des der rechten Seite von 24) genügenden z
mindestens ein Auge haben, weil z = 0 ausgeschlossen ist. Sei i : j
das einem solchen Auge entsprechende Elementepaar, so kann z kein
zweites Elementepaar h : k enthalten, m. a. W. die Matrix von z kann
(auch) nicht mehr als ein Auge haben. Denn im gegenteiligen Falle
würden Relative u existiren und angebbar sein von der Eigenschaft,
dass z nachweislich weder in ihnen noch in ihrem Negate enthalten
28*
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. 435. In: Deutsches Textarchiv <https://www.deutschestextarchiv.de/schroeder_logik03_1895/449>, abgerufen am 01.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/.