welcher für das Folgende fundamental ist und somit den Übergang von unsrer Formelsammlung zur Theorie der Systeme bildet.
Behufs Beweises brauchen wir nur die Äquivalenz der Sub- sumtionen (a ; 1 a) = (aa j 0) darzuthun, sintemal die rückwärtigen ohnehin gelten. Sie besteht auf- grund des ersten Inversionstheorems. Zudem ist in der That (a ; 1 a) = Ph k(Slah lah k) = Ph(Slah lPkah k), (aa j 0) = Ph k(ah kPlah l) = Ph(Skah kPlah l), wobei offenbar die rechten Seiten nur in den Namen laufender Zeiger differiren, q. e. d. Die übrigen Äquivalenzen unter 40) ergeben sich aus der hiemit bewiesenen durch Kontraposition und Konjugation.
Die einander äquivalenten Gleichungen der ersten Zeile von 40) sind nun die verschiednen Formen der Charakteristik des "Systems".
Wir nennen jedes Relativ a ein System, wenn es die Forderung a ; 1 a oder also die a ; 1 = a erfüllt. 1 und 0 sind Systeme.
Da i ; 1 = i bekanntlich -- vergl. 2) des § 25 -- ist, so muss jedes Element ein System sein und kann (siehe nachher) in der That als ein "einelementiges System" bezeichnet werden.
Die Gleichungen der zweiten Zeile von 40) charakterisiren ebenso ein Relativ als Systemkonvers. Denn wenn a für a darin gesagt wird, so folgen sie (durch beiderseitiges Konvertiren) aus denen der ersten Zeile, und umgekehrt.
Auch das Negat eines Systems ist ein System, das Negat eines Systemkonverses wiederum Systemkonvers -- wie aus der Symmetrie der Formeln 40) hinsichtlich a und an unmittelbar einleuchtet.
Ebenso muss Summe und Produkt zweier Systeme wieder ein System sein, d. h. wir haben den Satz: 41) (a ; 1 = a)(c ; 1 = c) {(a + c) ; 1 = a + c}(ac ; 1 = ac).
Behufs Beweises der ersten Behauptung braucht man nur die Prä- missen mit Rücksicht auf 4) des § 6 überschiebend zu addiren; die zweite Behauptung ergibt sich mit ac ; 1 a ; 1 · c ; 1 = ac nach 5) des § 6 mit Rücksicht auf die Geltung der umgekehrten Subsumtion.
Die vorstehenden Sätze lassen sich zusammenfassend verall- gemeinern zu dem Theorem: Jede "Funktion im identischen Kalkul" von lauter Systemen muss auch ein System sein.
Für die relativen Knüpfungen eines Systems (oder "absoluten Terms", siehe weiter unten) a = a ; 1 mit einem beliebigen Relativ b gelten nun die Formeln:
Zehnte Vorlesung.
welcher für das Folgende fundamental ist und somit den Übergang von unsrer Formelsammlung zur Theorie der Systeme bildet.
Behufs Beweises brauchen wir nur die Äquivalenz der Sub- sumtionen (a ; 1 ⋹ a) = (a ⋹ a ɟ 0) darzuthun, sintemal die rückwärtigen ohnehin gelten. Sie besteht auf- grund des ersten Inversionstheorems. Zudem ist in der That (a ; 1 ⋹ a) = Πh k(Σlah l ⋹ ah k) = Πh(Σlah l ⋹ Πkah k), (a ⋹ a ɟ 0) = Πh k(ah k ⋹ Πlah l) = Πh(Σkah k ⋹ Πlah l), wobei offenbar die rechten Seiten nur in den Namen laufender Zeiger differiren, q. e. d. Die übrigen Äquivalenzen unter 40) ergeben sich aus der hiemit bewiesenen durch Kontraposition und Konjugation.
Die einander äquivalenten Gleichungen der ersten Zeile von 40) sind nun die verschiednen Formen der Charakteristik des „Systems“.
Wir nennen jedes Relativ a ein System, wenn es die Forderung a ; 1 ⋹ a oder also die a ; 1 = a erfüllt. 1 und 0 sind Systeme.
Da i ; 1 = i bekanntlich — vergl. 2) des § 25 — ist, so muss jedes Element ein System sein und kann (siehe nachher) in der That als ein „einelementiges System“ bezeichnet werden.
Die Gleichungen der zweiten Zeile von 40) charakterisiren ebenso ein Relativ als Systemkonvers. Denn wenn ă für a darin gesagt wird, so folgen sie (durch beiderseitiges Konvertiren) aus denen der ersten Zeile, und umgekehrt.
Auch das Negat eines Systems ist ein System, das Negat eines Systemkonverses wiederum Systemkonvers — wie aus der Symmetrie der Formeln 40) hinsichtlich a und ā unmittelbar einleuchtet.
Ebenso muss Summe und Produkt zweier Systeme wieder ein System sein, d. h. wir haben den Satz: 41) (a ; 1 = a)(c ; 1 = c) ⋹ {(a + c) ; 1 = a + c}(ac ; 1 = ac).
Behufs Beweises der ersten Behauptung braucht man nur die Prä- missen mit Rücksicht auf 4) des § 6 überschiebend zu addiren; die zweite Behauptung ergibt sich mit ac ; 1 ⋹ a ; 1 · c ; 1 = ac nach 5) des § 6 mit Rücksicht auf die Geltung der umgekehrten Subsumtion.
Die vorstehenden Sätze lassen sich zusammenfassend verall- gemeinern zu dem Theorem: Jede „Funktion im identischen Kalkul“ von lauter Systemen muss auch ein System sein.
Für die relativen Knüpfungen eines Systems (oder „absoluten Terms“, siehe weiter unten) a = a ; 1 mit einem beliebigen Relativ b gelten nun die Formeln:
<TEI><text><body><divn="1"><divn="2"><p><pbfacs="#f0464"n="450"/><fwplace="top"type="header">Zehnte Vorlesung.</fw><lb/>
welcher für das Folgende fundamental ist und somit den Übergang<lb/>
von unsrer Formelsammlung zur Theorie der Systeme bildet.</p><lb/><p>Behufs <hirendition="#g">Beweises</hi> brauchen wir nur die Äquivalenz der Sub-<lb/>
sumtionen<lb/><hirendition="#c">(<hirendition="#i">a</hi> ; 1 ⋹<hirendition="#i">a</hi>) = (<hirendition="#i">a</hi>⋹<hirendition="#i">a</hi>ɟ 0)</hi><lb/>
darzuthun, sintemal die rückwärtigen ohnehin gelten. Sie besteht auf-<lb/>
grund des ersten Inversionstheorems. Zudem ist in der That<lb/><hirendition="#c">(<hirendition="#i">a</hi> ; 1 ⋹<hirendition="#i">a</hi>) = <hirendition="#i">Π<hirendition="#sub">h k</hi></hi>(<hirendition="#i">Σ<hirendition="#sub">l</hi>a<hirendition="#sub">h l</hi></hi>⋹<hirendition="#i">a<hirendition="#sub">h k</hi></hi>) = <hirendition="#i">Π<hirendition="#sub">h</hi></hi>(<hirendition="#i">Σ<hirendition="#sub">l</hi>a<hirendition="#sub">h l</hi></hi>⋹<hirendition="#i">Π<hirendition="#sub">k</hi>a<hirendition="#sub">h k</hi></hi>),<lb/>
(<hirendition="#i">a</hi>⋹<hirendition="#i">a</hi>ɟ 0) = <hirendition="#i">Π<hirendition="#sub">h k</hi></hi>(<hirendition="#i">a<hirendition="#sub">h k</hi></hi>⋹<hirendition="#i">Π<hirendition="#sub">l</hi>a<hirendition="#sub">h l</hi></hi>) = <hirendition="#i">Π<hirendition="#sub">h</hi></hi>(<hirendition="#i">Σ<hirendition="#sub">k</hi>a<hirendition="#sub">h k</hi></hi>⋹<hirendition="#i">Π<hirendition="#sub">l</hi>a<hirendition="#sub">h l</hi></hi>),</hi><lb/>
wobei offenbar die rechten Seiten nur in den Namen laufender Zeiger<lb/>
differiren, q. e. d. Die übrigen Äquivalenzen unter 40) ergeben sich<lb/>
aus der hiemit bewiesenen durch Kontraposition und Konjugation.</p><lb/><p>Die einander äquivalenten Gleichungen der ersten Zeile von 40)<lb/>
sind nun die verschiednen Formen der <hirendition="#i">Charakteristik des</hi>„<hirendition="#i">Systems</hi>“.</p><lb/><p>Wir nennen jedes Relativ <hirendition="#i">a</hi> ein <hirendition="#i">System</hi>, wenn es die Forderung<lb/><hirendition="#i">a</hi> ; 1 ⋹<hirendition="#i">a</hi> oder also die <hirendition="#i">a</hi> ; 1 = <hirendition="#i">a</hi> erfüllt. 1 und 0 sind Systeme.</p><lb/><p>Da <hirendition="#i">i</hi> ; 1 = <hirendition="#i">i</hi> bekanntlich — vergl. 2) des § 25 — ist, so muss<lb/><hirendition="#i">jedes Element ein System</hi> sein und kann (siehe nachher) in der That<lb/>
als ein „<hirendition="#i">ein</hi>elementiges System“ bezeichnet werden.</p><lb/><p>Die Gleichungen der zweiten Zeile von 40) charakterisiren ebenso<lb/>
ein Relativ als <hirendition="#i">Systemkonvers</hi>. Denn wenn <hirendition="#i">ă</hi> für <hirendition="#i">a</hi> darin gesagt wird,<lb/>
so <hirendition="#i">folgen</hi> sie (durch beiderseitiges Konvertiren) aus denen der ersten<lb/>
Zeile, und umgekehrt.</p><lb/><p>Auch das <hirendition="#i">Negat eines Systems ist ein System</hi>, das <hirendition="#i">Negat eines<lb/>
Systemkonverses wiederum Systemkonvers</hi>— wie aus der Symmetrie der<lb/>
Formeln 40) hinsichtlich <hirendition="#i">a</hi> und <hirendition="#i">ā</hi> unmittelbar einleuchtet.</p><lb/><p>Ebenso muss <hirendition="#i">Summe und Produkt zweier Systeme wieder ein System</hi><lb/>
sein, d. h. wir haben den Satz:<lb/>
41) (<hirendition="#i">a</hi> ; 1 = <hirendition="#i">a</hi>)(<hirendition="#i">c</hi> ; 1 = <hirendition="#i">c</hi>) ⋹ {(<hirendition="#i">a</hi> + <hirendition="#i">c</hi>) ; 1 = <hirendition="#i">a</hi> + <hirendition="#i">c</hi>}(<hirendition="#i">ac</hi> ; 1 = <hirendition="#i">ac</hi>).</p><lb/><p>Behufs <hirendition="#g">Beweises</hi> der ersten Behauptung braucht man nur die Prä-<lb/>
missen mit Rücksicht auf 4) des § 6 überschiebend zu addiren; die zweite<lb/>
Behauptung ergibt sich mit <hirendition="#i">ac</hi> ; 1 ⋹<hirendition="#i">a</hi> ; 1 · <hirendition="#i">c</hi> ; 1 = <hirendition="#i">ac</hi> nach 5) des § 6 mit<lb/>
Rücksicht auf die Geltung der umgekehrten Subsumtion.</p><lb/><p>Die vorstehenden Sätze lassen sich zusammenfassend verall-<lb/>
gemeinern zu dem Theorem: <hirendition="#i">Jede</hi>„<hirendition="#i">Funktion im identischen Kalkul</hi>“<lb/><hirendition="#i">von lauter Systemen muss auch ein System sein</hi>.</p><lb/><p>Für die relativen Knüpfungen eines Systems (oder „absoluten<lb/>
Terms“, siehe weiter unten) <hirendition="#i">a</hi> = <hirendition="#i">a</hi> ; 1 mit einem beliebigen Relativ <hirendition="#i">b</hi><lb/>
gelten nun die Formeln:</p><lb/></div></div></body></text></TEI>
[450/0464]
Zehnte Vorlesung.
welcher für das Folgende fundamental ist und somit den Übergang
von unsrer Formelsammlung zur Theorie der Systeme bildet.
Behufs Beweises brauchen wir nur die Äquivalenz der Sub-
sumtionen
(a ; 1 ⋹ a) = (a ⋹ a ɟ 0)
darzuthun, sintemal die rückwärtigen ohnehin gelten. Sie besteht auf-
grund des ersten Inversionstheorems. Zudem ist in der That
(a ; 1 ⋹ a) = Πh k(Σlah l ⋹ ah k) = Πh(Σlah l ⋹ Πkah k),
(a ⋹ a ɟ 0) = Πh k(ah k ⋹ Πlah l) = Πh(Σkah k ⋹ Πlah l),
wobei offenbar die rechten Seiten nur in den Namen laufender Zeiger
differiren, q. e. d. Die übrigen Äquivalenzen unter 40) ergeben sich
aus der hiemit bewiesenen durch Kontraposition und Konjugation.
Die einander äquivalenten Gleichungen der ersten Zeile von 40)
sind nun die verschiednen Formen der Charakteristik des „Systems“.
Wir nennen jedes Relativ a ein System, wenn es die Forderung
a ; 1 ⋹ a oder also die a ; 1 = a erfüllt. 1 und 0 sind Systeme.
Da i ; 1 = i bekanntlich — vergl. 2) des § 25 — ist, so muss
jedes Element ein System sein und kann (siehe nachher) in der That
als ein „einelementiges System“ bezeichnet werden.
Die Gleichungen der zweiten Zeile von 40) charakterisiren ebenso
ein Relativ als Systemkonvers. Denn wenn ă für a darin gesagt wird,
so folgen sie (durch beiderseitiges Konvertiren) aus denen der ersten
Zeile, und umgekehrt.
Auch das Negat eines Systems ist ein System, das Negat eines
Systemkonverses wiederum Systemkonvers — wie aus der Symmetrie der
Formeln 40) hinsichtlich a und ā unmittelbar einleuchtet.
Ebenso muss Summe und Produkt zweier Systeme wieder ein System
sein, d. h. wir haben den Satz:
41) (a ; 1 = a)(c ; 1 = c) ⋹ {(a + c) ; 1 = a + c}(ac ; 1 = ac).
Behufs Beweises der ersten Behauptung braucht man nur die Prä-
missen mit Rücksicht auf 4) des § 6 überschiebend zu addiren; die zweite
Behauptung ergibt sich mit ac ; 1 ⋹ a ; 1 · c ; 1 = ac nach 5) des § 6 mit
Rücksicht auf die Geltung der umgekehrten Subsumtion.
Die vorstehenden Sätze lassen sich zusammenfassend verall-
gemeinern zu dem Theorem: Jede „Funktion im identischen Kalkul“
von lauter Systemen muss auch ein System sein.
Für die relativen Knüpfungen eines Systems (oder „absoluten
Terms“, siehe weiter unten) a = a ; 1 mit einem beliebigen Relativ b
gelten nun die Formeln:
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. 450. In: Deutsches Textarchiv <https://www.deutschestextarchiv.de/schroeder_logik03_1895/464>, 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/.
