und hienach wird a fortiori: (zn j 0)(0 j zn) z + 0' ; z + 0' ; z ; 0' + z ; 0' + z = 1 ; z + 0' ; z ; 0' + z ; 1 wegen 13) des § 15. Dies reduzirt sich zu: (zn j 0)(0 j zn) 0' ; z ; 0', indem die beiden äussersten Glieder negirt als Faktoren nach links ge- schlagen mit den dortselbst bereits vorhandenen zusammenfallen. Hiemit ist 10) als Subsumtion vor- und rückwärts aus 8) abgeleitet, q. e. d.
Die beiden sind also als äquivalent auch rechnerisch bewiesen.
Den unterweges bewiesnen Satz mit seinem dualen Gegenstück zu einem Gespann ergänzt, wollen wir übrigens zu gelegentlicher Anwendung ausdrücklich notiren: 22)
1 ; a ; 1 = a ; 1 + 1 ; a + 0' ; a ; 1 + 1 ; a ; 0'
0 j a j 0 = (a j 0)(0 j a)(1' j a j 0)(0 j a j 1').
Derselbe ergibt sich linkerhand auch rasch, indem man den ersten und letzten relativen Faktor 1 durch 1' + 0' ersetzt.
Nach alledem muss also die Gleichung 10) 1' j zn j 1' = z ; 1 + 1 ; z als die -- soweit bekannt -- konziseste Definition des "Indivi- duums im zweiten Denkbereiche" angesehen werden.
Auf dieser fussend wollen wir nun die ganze Theorie des Individuums streng wissenschaftlich aufbauen.
Es würde imposanter gewesen sein, wenn ich jene ohne weitre Moti- virung an die Spitze derselben gestellt hätte; instruktiver schien mir's, dem Leser auch einen Einblick in das Werden, die Heuristik der Theorie zu verschaffen.
Ein erstes Kunststück ist, die Gesetze der Modulknüpfungen 15) bis 21) direkt aus der Gleichung 10) rechnerisch abzuleiten so, wie es schon mit dieser 1 ; z ; 1 = 1 oben geschah. Dabei dürften wir überhaupt die bereits mit Gleichung 8) deduzirten Ergebnisse benutzen. Das Kunststück ist trotzdem nicht gerade leicht, und da seine Ausführung bei der grossen Menge zu rechtfertigender Formeln einen erheblichen Druckaufwand er- forderte, so will ich mich begnügen, die Aufgabe zur Selbstbethätigung für Vorgerücktere zu empfehlen. Ihre Lösung mache ich für die nach- stehende Theorie dadurch entbehrlich, dass ich von der Gleichung 10) aus möglichst rasch zur Darstellung des z durch ij eile, aus der sich ja oben auf die leichteste Weise alle Modulknüpfungsformeln ergeben haben.
Ein erster Satz dieser Theorie lautet: 23)
[Formel 1]
. Diese Aussagenäquivalenz muss als Subsumtion vor- und rückwärts bewiesen werden.
Zehnte Vorlesung.
und hienach wird a fortiori: (z̄ ɟ 0)(0 ɟ z̄) ⋹ z + 0' ; z + 0' ; z ; 0' + z ; 0' + z = ⋹ 1 ; z + 0' ; z ; 0' + z ; 1 wegen 13) des § 15. Dies reduzirt sich zu: (z̄ ɟ 0)(0 ɟ z̄) ⋹ 0' ; z ; 0', indem die beiden äussersten Glieder negirt als Faktoren nach links ge- schlagen mit den dortselbst bereits vorhandenen zusammenfallen. Hiemit ist 10) als Subsumtion vor- und rückwärts aus 8) abgeleitet, q. e. d.
Die beiden sind also als äquivalent auch rechnerisch bewiesen.
Den unterweges bewiesnen Satz mit seinem dualen Gegenstück zu einem Gespann ergänzt, wollen wir übrigens zu gelegentlicher Anwendung ausdrücklich notiren: 22)
1 ; a ; 1 = a ; 1 + 1 ; a + 0' ; a ; 1 + 1 ; a ; 0'
0 ɟ a ɟ 0 = (a ɟ 0)(0 ɟ a)(1' ɟ a ɟ 0)(0 ɟ a ɟ 1').
Derselbe ergibt sich linkerhand auch rasch, indem man den ersten und letzten relativen Faktor 1 durch 1' + 0' ersetzt.
Nach alledem muss also die Gleichung 10) 1' ɟ z̄ ɟ 1' = z ; 1 + 1 ; z als die — soweit bekannt — konziseste Definition des „Indivi- duums im zweiten Denkbereiche“ angesehen werden.
Auf dieser fussend wollen wir nun die ganze Theorie des Individuums streng wissenschaftlich aufbauen.
Es würde imposanter gewesen sein, wenn ich jene ohne weitre Moti- virung an die Spitze derselben gestellt hätte; instruktiver schien mir’s, dem Leser auch einen Einblick in das Werden, die Heuristik der Theorie zu verschaffen.
Ein erstes Kunststück ist, die Gesetze der Modulknüpfungen 15) bis 21) direkt aus der Gleichung 10) rechnerisch abzuleiten so, wie es schon mit dieser 1 ; z ; 1 = 1 oben geschah. Dabei dürften wir überhaupt die bereits mit Gleichung 8) deduzirten Ergebnisse benutzen. Das Kunststück ist trotzdem nicht gerade leicht, und da seine Ausführung bei der grossen Menge zu rechtfertigender Formeln einen erheblichen Druckaufwand er- forderte, so will ich mich begnügen, die Aufgabe zur Selbstbethätigung für Vorgerücktere zu empfehlen. Ihre Lösung mache ich für die nach- stehende Theorie dadurch entbehrlich, dass ich von der Gleichung 10) aus möglichst rasch zur Darstellung des z durch ij̆ eile, aus der sich ja oben auf die leichteste Weise alle Modulknüpfungsformeln ergeben haben.
Ein erster Satz dieser Theorie lautet: 23)
[Formel 1]
. Diese Aussagenäquivalenz muss als Subsumtion vor- und rückwärts bewiesen werden.
<TEI><text><body><divn="1"><divn="2"><p><pbfacs="#f0446"n="432"/><fwplace="top"type="header">Zehnte Vorlesung.</fw><lb/>
und hienach wird a fortiori:<lb/><hirendition="#c">(<hirendition="#i">z̄</hi>ɟ 0)(0 ɟ<hirendition="#i">z̄</hi>) ⋹<hirendition="#i">z</hi> + 0' ; <hirendition="#i">z</hi> + 0' ; <hirendition="#i">z</hi> ; 0' + <hirendition="#i">z</hi> ; 0' + <hirendition="#i">z</hi> =<lb/>⋹ 1 ; <hirendition="#i">z</hi> + 0' ; <hirendition="#i">z</hi> ; 0' + <hirendition="#i">z</hi> ; 1</hi><lb/>
wegen 13) des § 15. Dies reduzirt sich zu:<lb/><hirendition="#c">(<hirendition="#i">z̄</hi>ɟ 0)(0 ɟ<hirendition="#i">z̄</hi>) ⋹ 0' ; <hirendition="#i">z</hi> ; 0',</hi><lb/>
indem die beiden äussersten Glieder negirt als Faktoren nach links ge-<lb/>
schlagen mit den dortselbst bereits vorhandenen zusammenfallen. Hiemit<lb/>
ist 10) als Subsumtion vor- und rückwärts aus 8) abgeleitet, q. e. d.</p><lb/><p>Die beiden sind also als äquivalent auch rechnerisch bewiesen.</p><lb/><p>Den unterweges bewiesnen <hirendition="#g">Satz</hi> mit seinem dualen Gegenstück zu<lb/>
einem Gespann ergänzt, wollen wir übrigens zu gelegentlicher Anwendung<lb/>
ausdrücklich notiren:<lb/>
22) <table><lb/><row><cell>1 ; <hirendition="#i">a</hi> ; 1 = <hirendition="#i">a</hi> ; 1 + 1 ; <hirendition="#i">a</hi> + 0' ; <hirendition="#i">a</hi> ; 1 + 1 ; <hirendition="#i">a</hi> ; 0'</cell><cell>0 ɟ<hirendition="#i">a</hi>ɟ 0 = (<hirendition="#i">a</hi>ɟ 0)(0 ɟ<hirendition="#i">a</hi>)(1' ɟ<hirendition="#i">a</hi>ɟ 0)(0 ɟ<hirendition="#i">a</hi>ɟ 1').</cell></row><lb/></table></p><p>Derselbe ergibt sich linkerhand auch rasch, indem man den ersten<lb/>
und letzten relativen Faktor 1 durch 1' + 0' ersetzt.</p><lb/><p>Nach alledem muss also die Gleichung 10)<lb/><hirendition="#c">1' ɟ<hirendition="#i">z̄</hi>ɟ 1' = <hirendition="#i">z</hi> ; 1 + 1 ; <hirendition="#i">z</hi></hi><lb/>
als die — soweit bekannt — konziseste <hirendition="#g">Definition des</hi>„<hirendition="#g">Indivi-<lb/>
duums im zweiten Denkbereiche</hi>“ angesehen werden.</p><lb/><p>Auf dieser fussend wollen wir nun die ganze Theorie des Individuums<lb/>
streng wissenschaftlich aufbauen.</p><lb/><p>Es würde imposanter gewesen sein, wenn ich jene ohne weitre Moti-<lb/>
virung an die Spitze derselben gestellt hätte; instruktiver schien mir’s, dem<lb/>
Leser auch einen Einblick in das Werden, die Heuristik der Theorie zu<lb/>
verschaffen.</p><lb/><p>Ein erstes Kunststück ist, die Gesetze der Modulknüpfungen 15) bis 21)<lb/>
direkt aus der Gleichung 10) rechnerisch abzuleiten so, wie es schon mit<lb/>
dieser 1 ; <hirendition="#i">z</hi> ; 1 = 1 oben geschah. Dabei dürften wir überhaupt die bereits<lb/>
mit Gleichung 8) deduzirten Ergebnisse benutzen. Das Kunststück ist<lb/>
trotzdem nicht gerade leicht, und da seine Ausführung bei der grossen<lb/>
Menge zu rechtfertigender Formeln einen erheblichen Druckaufwand er-<lb/>
forderte, so will ich mich begnügen, die Aufgabe zur Selbstbethätigung<lb/>
für Vorgerücktere zu empfehlen. Ihre Lösung mache ich für die nach-<lb/>
stehende Theorie dadurch entbehrlich, dass ich von der Gleichung 10) aus<lb/>
möglichst rasch zur Darstellung des <hirendition="#i">z</hi> durch <hirendition="#i">ij̆</hi> eile, aus der sich ja oben<lb/>
auf die leichteste Weise alle Modulknüpfungsformeln ergeben haben.</p><lb/><p>Ein erster <hirendition="#g">Satz</hi> dieser Theorie lautet:<lb/>
23) <formula/>.<lb/>
Diese Aussagenäquivalenz muss als Subsumtion vor- und rückwärts<lb/>
bewiesen werden.</p><lb/></div></div></body></text></TEI>
[432/0446]
Zehnte Vorlesung.
und hienach wird a fortiori:
(z̄ ɟ 0)(0 ɟ z̄) ⋹ z + 0' ; z + 0' ; z ; 0' + z ; 0' + z =
⋹ 1 ; z + 0' ; z ; 0' + z ; 1
wegen 13) des § 15. Dies reduzirt sich zu:
(z̄ ɟ 0)(0 ɟ z̄) ⋹ 0' ; z ; 0',
indem die beiden äussersten Glieder negirt als Faktoren nach links ge-
schlagen mit den dortselbst bereits vorhandenen zusammenfallen. Hiemit
ist 10) als Subsumtion vor- und rückwärts aus 8) abgeleitet, q. e. d.
Die beiden sind also als äquivalent auch rechnerisch bewiesen.
Den unterweges bewiesnen Satz mit seinem dualen Gegenstück zu
einem Gespann ergänzt, wollen wir übrigens zu gelegentlicher Anwendung
ausdrücklich notiren:
22) 1 ; a ; 1 = a ; 1 + 1 ; a + 0' ; a ; 1 + 1 ; a ; 0' 0 ɟ a ɟ 0 = (a ɟ 0)(0 ɟ a)(1' ɟ a ɟ 0)(0 ɟ a ɟ 1').
Derselbe ergibt sich linkerhand auch rasch, indem man den ersten
und letzten relativen Faktor 1 durch 1' + 0' ersetzt.
Nach alledem muss also die Gleichung 10)
1' ɟ z̄ ɟ 1' = z ; 1 + 1 ; z
als die — soweit bekannt — konziseste Definition des „Indivi-
duums im zweiten Denkbereiche“ angesehen werden.
Auf dieser fussend wollen wir nun die ganze Theorie des Individuums
streng wissenschaftlich aufbauen.
Es würde imposanter gewesen sein, wenn ich jene ohne weitre Moti-
virung an die Spitze derselben gestellt hätte; instruktiver schien mir’s, dem
Leser auch einen Einblick in das Werden, die Heuristik der Theorie zu
verschaffen.
Ein erstes Kunststück ist, die Gesetze der Modulknüpfungen 15) bis 21)
direkt aus der Gleichung 10) rechnerisch abzuleiten so, wie es schon mit
dieser 1 ; z ; 1 = 1 oben geschah. Dabei dürften wir überhaupt die bereits
mit Gleichung 8) deduzirten Ergebnisse benutzen. Das Kunststück ist
trotzdem nicht gerade leicht, und da seine Ausführung bei der grossen
Menge zu rechtfertigender Formeln einen erheblichen Druckaufwand er-
forderte, so will ich mich begnügen, die Aufgabe zur Selbstbethätigung
für Vorgerücktere zu empfehlen. Ihre Lösung mache ich für die nach-
stehende Theorie dadurch entbehrlich, dass ich von der Gleichung 10) aus
möglichst rasch zur Darstellung des z durch ij̆ eile, aus der sich ja oben
auf die leichteste Weise alle Modulknüpfungsformeln ergeben haben.
Ein erster Satz dieser Theorie lautet:
23) [FORMEL].
Diese Aussagenäquivalenz muss als Subsumtion vor- und rückwärts
bewiesen werden.
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. 432. In: Deutsches Textarchiv <https://www.deutschestextarchiv.de/schroeder_logik03_1895/446>, 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/.