ai j = (1 ; a)i j = Shah j = Shaj h = aj i = aj, also ai j = aj. Und wird hierin a = b genannt, so entsteht mit der Unterstellung b = 1 ; b, das ist, als für Systemkonverse b gültig: 66) bi j = bh j = bk j = ... = bj.
Diese Abkürzung: in bj -- im Gegensatz zu der wie gezeigt ver- werflichen in bj -- ist legitim, und sie erklärt den Sinn des Symbols oder Koeffizienten bj für die Fälle, wo ihm eine Erklärung bislang zuteil geworden, nämlich für die, wo b ein System vorstellt.
Etabliren wir jetzt auch noch die Sätze: 67)
(ab)i = aibi
(a + b)i = ai + bi
68)
(Pa)i = Sai
(Sa)i = Sai
als geltend, sofern alle a und b Systeme vorstellen, immer a = a ; 1, b = b ; 1 ist -- welche Sätze in der That mit Rücksicht auf (58) durch die Festsetzungen (10) und (15) des § 3 unmittelbar gewähr- leistet erscheinen -- so haben wir schon alles wesentliche Material gewonnen, um eine sehr wichtige Bemerkung vorzubereiten.
Dieser wollen wir jedoch noch eine weitere lehrreiche Betrachtung voraufgehn lassen.
Fundamental ist auch noch dieser Satz: 69)
[Formel 1]
. Derselbe ist vor- und rückwärts als eine Aussagensubsumtion zunächst zu beweisen.
Vorwärts. Ist die linkseitige Aussage L erfüllt, so dürfen wir nach § 25 das dadurch als ein "Element" charakterisirte Relativ x etwa i nennen. Dann sind die Folgerungen i 0 und i ; 1 = i bereits längst aus dieser Charakteristik gezogen und handelt es sich nur noch darum darzuthun, dass für jedes System u sein müsse: (iu) + (iun) = 1.
Nach 63) läuft dies aber in der That hinaus auf die Selbstverständ- lichkeit ui + uni = 1.
Rückwärts ist aus den Voraussetzungen R der rechten Seite von 69) die Behauptung linkerhand oder die nach 8) des § 25 mit ihr äquivalente Aussage: Si(x = i) zu schliessen. Nun können wir in R unter den Relativen u auch die Elemente i des ersten Denkbereiches hervorhebend verstehen, indem wir
Zehnte Vorlesung.
ăi j = (1 ; ă)i j = Σhăh j = Σhaj h = aj i = aj, also ăi j = aj. Und wird hierin ă = b genannt, so entsteht mit der Unterstellung b = 1 ; b, das ist, als für Systemkonverse b gültig: 66) bi j = bh j = bk j = … = b̆j.
Diese Abkürzung: in b̆j — im Gegensatz zu der wie gezeigt ver- werflichen in bj — ist legitim, und sie erklärt den Sinn des Symbols oder Koeffizienten b̆j für die Fälle, wo ihm eine Erklärung bislang zuteil geworden, nämlich für die, wo b̆ ein System vorstellt.
Etabliren wir jetzt auch noch die Sätze: 67)
(ab)i = aibi
(a + b)i = ai + bi
68)
(Πa)i = Σai
(Σa)i = Σai
als geltend, sofern alle a und b Systeme vorstellen, immer a = a ; 1, b = b ; 1 ist — welche Sätze in der That mit Rücksicht auf (58) durch die Festsetzungen (10) und (15) des § 3 unmittelbar gewähr- leistet erscheinen — so haben wir schon alles wesentliche Material gewonnen, um eine sehr wichtige Bemerkung vorzubereiten.
Dieser wollen wir jedoch noch eine weitere lehrreiche Betrachtung voraufgehn lassen.
Fundamental ist auch noch dieser Satz: 69)
[Formel 1]
. Derselbe ist vor- und rückwärts als eine Aussagensubsumtion zunächst zu beweisen.
Vorwärts. Ist die linkseitige Aussage L erfüllt, so dürfen wir nach § 25 das dadurch als ein „Element“ charakterisirte Relativ x etwa i nennen. Dann sind die Folgerungen i ≠ 0 und i ; 1 = i bereits längst aus dieser Charakteristik gezogen und handelt es sich nur noch darum darzuthun, dass für jedes System u sein müsse: (i ⋹ u) + (i ⋹ ū) = 1.
Nach 63) läuft dies aber in der That hinaus auf die Selbstverständ- lichkeit ui + ūi = 1.
Rückwärts ist aus den Voraussetzungen R der rechten Seite von 69) die Behauptung linkerhand oder die nach 8) des § 25 mit ihr äquivalente Aussage: Σi(x = i) zu schliessen. Nun können wir in R unter den Relativen u auch die Elemente i des ersten Denkbereiches hervorhebend verstehen, indem wir
<TEI><text><body><divn="1"><divn="2"><p><pbfacs="#f0474"n="460"/><fwplace="top"type="header">Zehnte Vorlesung.</fw><lb/><hirendition="#c"><hirendition="#i">ă<hirendition="#sub">i j</hi></hi> = (1 ; <hirendition="#i">ă</hi>)<hirendition="#i"><hirendition="#sub">i j</hi></hi> = <hirendition="#i">Σ<hirendition="#sub">h</hi>ă<hirendition="#sub">h j</hi></hi> = <hirendition="#i">Σ<hirendition="#sub">h</hi>a<hirendition="#sub">j h</hi></hi> = <hirendition="#i">a<hirendition="#sub">j i</hi></hi> = <hirendition="#i">a<hirendition="#sub">j</hi></hi>,</hi><lb/>
also <hirendition="#i">ă<hirendition="#sub">i j</hi></hi> = <hirendition="#i">a<hirendition="#sub">j</hi></hi>. Und wird hierin <hirendition="#i">ă</hi> = <hirendition="#i">b</hi> genannt, so entsteht mit der<lb/>
Unterstellung <hirendition="#i">b</hi> = 1 ; <hirendition="#i">b</hi>, das ist, als für <hirendition="#i">Systemkonverse b</hi> gültig:<lb/>
66) <hirendition="#et"><hirendition="#i">b<hirendition="#sub">i j</hi></hi> = <hirendition="#i">b<hirendition="#sub">h j</hi></hi> = <hirendition="#i">b<hirendition="#sub">k j</hi></hi> = … = <hirendition="#i">b̆<hirendition="#sub">j</hi></hi>.</hi></p><lb/><p><hirendition="#i">Diese</hi> Abkürzung: in <hirendition="#i">b̆<hirendition="#sub">j</hi></hi>— im Gegensatz zu der wie gezeigt ver-<lb/>
werflichen in <hirendition="#i">b<hirendition="#sub">j</hi></hi>— ist <hirendition="#i">legitim</hi>, und sie erklärt den Sinn des Symbols<lb/>
oder Koeffizienten <hirendition="#i">b̆<hirendition="#sub">j</hi></hi> für die Fälle, wo ihm eine Erklärung bislang<lb/>
zuteil geworden, nämlich für die, wo <hirendition="#i">b̆</hi> ein System vorstellt.</p><lb/><p>Etabliren wir jetzt auch noch die <hirendition="#g">Sätze</hi>:<lb/>
67) <table><lb/><row><cell>(<hirendition="#i">ab</hi>)<hirendition="#i"><hirendition="#sub">i</hi></hi> = <hirendition="#i">a<hirendition="#sub">i</hi>b<hirendition="#sub">i</hi></hi></cell><cell>(<hirendition="#i">a</hi> + <hirendition="#i">b</hi>)<hirendition="#i"><hirendition="#sub">i</hi></hi> = <hirendition="#i">a<hirendition="#sub">i</hi></hi> + <hirendition="#i">b<hirendition="#sub">i</hi></hi></cell></row><lb/></table> 68) <table><lb/><row><cell>(<hirendition="#i">Πa</hi>)<hirendition="#i"><hirendition="#sub">i</hi></hi> = <hirendition="#i">Σa<hirendition="#sub">i</hi></hi></cell><cell>(<hirendition="#i">Σa</hi>)<hirendition="#i"><hirendition="#sub">i</hi></hi> = <hirendition="#i">Σa<hirendition="#sub">i</hi></hi></cell></row><lb/></table> als geltend, sofern alle <hirendition="#i">a</hi> und <hirendition="#i">b</hi> Systeme vorstellen, immer <hirendition="#i">a</hi> = <hirendition="#i">a</hi> ; 1,<lb/><hirendition="#i">b</hi> = <hirendition="#i">b</hi> ; 1 ist — welche Sätze in der That mit Rücksicht auf (58)<lb/>
durch die Festsetzungen (10) und (15) des § 3 unmittelbar gewähr-<lb/>
leistet erscheinen — so haben wir schon alles wesentliche Material<lb/>
gewonnen, um eine sehr wichtige Bemerkung vorzubereiten.</p><lb/><p>Dieser wollen wir jedoch noch eine weitere lehrreiche Betrachtung<lb/>
voraufgehn lassen.</p><lb/><p>Fundamental ist auch noch dieser <hirendition="#g">Satz</hi>:<lb/>
69) <formula/>.<lb/>
Derselbe ist vor- und rückwärts als eine Aussagensubsumtion zunächst<lb/>
zu <hirendition="#g">beweisen</hi>.</p><lb/><p>Vorwärts. Ist die linkseitige Aussage <hirendition="#i">L</hi> erfüllt, so dürfen wir nach<lb/>
§ 25 das dadurch als ein „Element“ charakterisirte Relativ <hirendition="#i">x</hi> etwa <hirendition="#i">i</hi> nennen.<lb/>
Dann sind die Folgerungen <hirendition="#i">i</hi>≠ 0 und <hirendition="#i">i</hi> ; 1 = <hirendition="#i">i</hi> bereits längst aus dieser<lb/>
Charakteristik gezogen und handelt es sich nur noch darum darzuthun,<lb/>
dass für jedes <hirendition="#i">System u</hi> sein müsse:<lb/><hirendition="#c">(<hirendition="#i">i</hi>⋹<hirendition="#i">u</hi>) + (<hirendition="#i">i</hi>⋹<hirendition="#i">ū</hi>) = 1.</hi></p><lb/><p>Nach 63) läuft dies aber in der That hinaus auf die Selbstverständ-<lb/>
lichkeit<lb/><hirendition="#c"><hirendition="#i">u<hirendition="#sub">i</hi></hi> + <hirendition="#i">ū<hirendition="#sub">i</hi></hi> = 1.</hi></p><lb/><p>Rückwärts ist aus den Voraussetzungen <hirendition="#i">R</hi> der rechten Seite von 69)<lb/>
die Behauptung linkerhand oder die nach 8) des § 25 mit ihr äquivalente<lb/>
Aussage:<lb/><hirendition="#c"><hirendition="#i">Σ<hirendition="#sub">i</hi></hi>(<hirendition="#i">x</hi> = <hirendition="#i">i</hi>)</hi><lb/>
zu schliessen. Nun können wir in <hirendition="#i">R</hi> unter den Relativen <hirendition="#i">u</hi> auch die<lb/>
Elemente <hirendition="#i">i</hi> des ersten Denkbereiches hervorhebend verstehen, indem wir<lb/></p></div></div></body></text></TEI>
[460/0474]
Zehnte Vorlesung.
ăi j = (1 ; ă)i j = Σhăh j = Σhaj h = aj i = aj,
also ăi j = aj. Und wird hierin ă = b genannt, so entsteht mit der
Unterstellung b = 1 ; b, das ist, als für Systemkonverse b gültig:
66) bi j = bh j = bk j = … = b̆j.
Diese Abkürzung: in b̆j — im Gegensatz zu der wie gezeigt ver-
werflichen in bj — ist legitim, und sie erklärt den Sinn des Symbols
oder Koeffizienten b̆j für die Fälle, wo ihm eine Erklärung bislang
zuteil geworden, nämlich für die, wo b̆ ein System vorstellt.
Etabliren wir jetzt auch noch die Sätze:
67) (ab)i = aibi (a + b)i = ai + bi
68) (Πa)i = Σai (Σa)i = Σai
als geltend, sofern alle a und b Systeme vorstellen, immer a = a ; 1,
b = b ; 1 ist — welche Sätze in der That mit Rücksicht auf (58)
durch die Festsetzungen (10) und (15) des § 3 unmittelbar gewähr-
leistet erscheinen — so haben wir schon alles wesentliche Material
gewonnen, um eine sehr wichtige Bemerkung vorzubereiten.
Dieser wollen wir jedoch noch eine weitere lehrreiche Betrachtung
voraufgehn lassen.
Fundamental ist auch noch dieser Satz:
69) [FORMEL].
Derselbe ist vor- und rückwärts als eine Aussagensubsumtion zunächst
zu beweisen.
Vorwärts. Ist die linkseitige Aussage L erfüllt, so dürfen wir nach
§ 25 das dadurch als ein „Element“ charakterisirte Relativ x etwa i nennen.
Dann sind die Folgerungen i ≠ 0 und i ; 1 = i bereits längst aus dieser
Charakteristik gezogen und handelt es sich nur noch darum darzuthun,
dass für jedes System u sein müsse:
(i ⋹ u) + (i ⋹ ū) = 1.
Nach 63) läuft dies aber in der That hinaus auf die Selbstverständ-
lichkeit
ui + ūi = 1.
Rückwärts ist aus den Voraussetzungen R der rechten Seite von 69)
die Behauptung linkerhand oder die nach 8) des § 25 mit ihr äquivalente
Aussage:
Σi(x = i)
zu schliessen. Nun können wir in R unter den Relativen u auch die
Elemente i des ersten Denkbereiches hervorhebend verstehen, indem wir
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. 460. In: Deutsches Textarchiv <https://www.deutschestextarchiv.de/schroeder_logik03_1895/474>, 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/.
