§ 27. Sätze über Knüpfung mit den absoluten Moduln.
Mit Rücksicht auf 29) des § 25 hat man aus 43) noch speziell: 45)
[Formel 1]
§ 27. Sätze über Knüpfung mit den absoluten Moduln. Systeme, Klassen oder absolute Terme als binäre und als uninäre Relative.
Bevor wir in die Theorie der "Systeme" eintreten, empfiehlt es sich -- grösstenteils unter Rekapitulation -- die wichtigsten Sätze übersichtlich zusammenzustellen, die Bezug nehmen auf die [in erster Instanz natürlich*) relativen] Knüpfungen zwischen irgend welchen Relativen und den absoluten Moduln 1 und 0 -- unter Beiseitelassung aller Sätze, in welchen auch relative Moduln vorkämen. Jenes sind also diejenigen Sätze, in deren Formelausdruck neben allgemeinen Buchstabenrelativen (und eventuell deren Verwandten) nur Ausdrücke von den 4 Formen: 0) a ; 1, 1 ; a, a j 0, 0 j a figuriren -- zwischen derengleichen nebst den Relativen aber noch iden- tische sowohl als relative Knüpfungen in Betracht kommen mögen.
Schon zum öftern, so namentlich in der sechsten, siebenten und in der gegenwärtigen Vorlesung, hat der Leser Gelegenheit gehabt, den Wert von dergleichen Sätzen zu erproben -- mochte ihr Formelausdruck auch blos in einer unscheinbaren Subsumtion bestehen und mochte auch der Ausdruck auf der einen Seite solcher Formel ziemlich willkürlich und vielleicht in sehr spezieller Weise aus seinen Elementarsymbolen zusammen- gesetzt erscheinen. Der Anwendungswert solcher Formeln zur Förderung der Zwecke einer Untersuchung tritt nicht selten ganz unvermutet zutage -- so vor allem dann, wenn eben Sätze von allgemeinerm Charakter nicht zur Verfügung stehen -- und rechtfertigt es, dass die Formel nebst andern ihresgleichen in eine Sammlung einregistrirt werde.
Ich hätte den bisherigen Lehrgang vielleicht mannigfach vereinfachen können, wenn ich diese Sammlung vorangenommen hätte; doch liess ich mich durch gute Gründe bestimmen, welche dafür sprachen erst das Be- dürfniss nach solcher Sammlung fühlbar werden zu lassen. Teils auch kompletirte sich die Sammlung erst nach Maassgabe der Fortentwickelung des Werkes im Lauf der Drucklegung.
Die bisher gelegentlich gebrauchten und jeweils ad hoc aufgestellten Sätze solcher Art finden sich jedenfalls zu zerstreut um einen Überblick zu gestatten, und müssen sie darum hiernächst wiederholt werden, wo- gegen sie nicht mehr bewiesen zu werden brauchen.
So seien denn zuerst die Formeln 8) .. 11) und 16) des § 15 -- hier- nächst als 1) bis 5) -- in Erinnerung gebracht, obwol sie reine Parallel- reihensätze sind. Dem letzten Gespanne, das sekundäre Modulknüpfungen
*)Identische Knüpfungen zwischen 1 oder 0 und irgend einem Relative lassen dieses ja entweder ungeändert, oder verwandeln es sogleich in 0 oder aber 1.
§ 27. Sätze über Knüpfung mit den absoluten Moduln.
Mit Rücksicht auf 29) des § 25 hat man aus 43) noch speziell: 45)
[Formel 1]
§ 27. Sätze über Knüpfung mit den absoluten Moduln. Systeme, Klassen oder absolute Terme als binäre und als uninäre Relative.
Bevor wir in die Theorie der „Systeme“ eintreten, empfiehlt es sich — grösstenteils unter Rekapitulation — die wichtigsten Sätze übersichtlich zusammenzustellen, die Bezug nehmen auf die [in erster Instanz natürlich*) relativen] Knüpfungen zwischen irgend welchen Relativen und den absoluten Moduln 1 und 0 — unter Beiseitelassung aller Sätze, in welchen auch relative Moduln vorkämen. Jenes sind also diejenigen Sätze, in deren Formelausdruck neben allgemeinen Buchstabenrelativen (und eventuell deren Verwandten) nur Ausdrücke von den 4 Formen: 0) a ; 1, 1 ; a, a ɟ 0, 0 ɟ a figuriren — zwischen derengleichen nebst den Relativen aber noch iden- tische sowohl als relative Knüpfungen in Betracht kommen mögen.
Schon zum öftern, so namentlich in der sechsten, siebenten und in der gegenwärtigen Vorlesung, hat der Leser Gelegenheit gehabt, den Wert von dergleichen Sätzen zu erproben — mochte ihr Formelausdruck auch blos in einer unscheinbaren Subsumtion bestehen und mochte auch der Ausdruck auf der einen Seite solcher Formel ziemlich willkürlich und vielleicht in sehr spezieller Weise aus seinen Elementarsymbolen zusammen- gesetzt erscheinen. Der Anwendungswert solcher Formeln zur Förderung der Zwecke einer Untersuchung tritt nicht selten ganz unvermutet zutage — so vor allem dann, wenn eben Sätze von allgemeinerm Charakter nicht zur Verfügung stehen — und rechtfertigt es, dass die Formel nebst andern ihresgleichen in eine Sammlung einregistrirt werde.
Ich hätte den bisherigen Lehrgang vielleicht mannigfach vereinfachen können, wenn ich diese Sammlung vorangenommen hätte; doch liess ich mich durch gute Gründe bestimmen, welche dafür sprachen erst das Be- dürfniss nach solcher Sammlung fühlbar werden zu lassen. Teils auch kompletirte sich die Sammlung erst nach Maassgabe der Fortentwickelung des Werkes im Lauf der Drucklegung.
Die bisher gelegentlich gebrauchten und jeweils ad hoc aufgestellten Sätze solcher Art finden sich jedenfalls zu zerstreut um einen Überblick zu gestatten, und müssen sie darum hiernächst wiederholt werden, wo- gegen sie nicht mehr bewiesen zu werden brauchen.
So seien denn zuerst die Formeln 8) ‥ 11) und 16) des § 15 — hier- nächst als 1) bis 5) — in Erinnerung gebracht, obwol sie reine Parallel- reihensätze sind. Dem letzten Gespanne, das sekundäre Modulknüpfungen
*)Identische Knüpfungen zwischen 1 oder 0 und irgend einem Relative lassen dieses ja entweder ungeändert, oder verwandeln es sogleich in 0 oder aber 1.
<TEI><text><body><divn="1"><divn="2"><pbfacs="#f0457"n="443"/><fwplace="top"type="header">§ 27. Sätze über Knüpfung mit den absoluten Moduln.</fw><lb/><p>Mit Rücksicht auf 29) des § 25 hat man aus 43) noch speziell:<lb/>
45) <formula/><lb/></p></div><divn="2"><head>§ 27. <hirendition="#b">Sätze über Knüpfung mit den absoluten Moduln. Systeme,<lb/>
Klassen oder absolute Terme als binäre und als uninäre Relative.</hi></head><lb/><p>Bevor wir in die Theorie der „Systeme“ eintreten, empfiehlt es sich<lb/>— grösstenteils unter Rekapitulation — die <hirendition="#i">wichtigsten Sätze übersichtlich<lb/>
zusammenzustellen,</hi> die Bezug nehmen auf die [in erster Instanz natürlich<noteplace="foot"n="*)"><hirendition="#i">Identische</hi> Knüpfungen zwischen 1 oder 0 und irgend einem Relative<lb/>
lassen dieses ja entweder ungeändert, oder verwandeln es sogleich in 0 oder aber 1.</note><lb/>
relativen] Knüpfungen zwischen irgend welchen Relativen und den <hirendition="#i">absoluten<lb/>
Moduln</hi> 1 und 0 — unter Beiseitelassung aller Sätze, in welchen auch<lb/>
relative Moduln vorkämen. Jenes sind also diejenigen Sätze, in deren<lb/>
Formelausdruck neben allgemeinen Buchstabenrelativen (und eventuell deren<lb/>
Verwandten) nur Ausdrücke von den 4 Formen:<lb/>
0) <hirendition="#et"><hirendition="#i">a</hi> ; 1, 1 ; <hirendition="#i">a</hi>, <hirendition="#i">a</hi>ɟ 0, 0 ɟ<hirendition="#i">a</hi></hi><lb/>
figuriren — zwischen derengleichen nebst den Relativen aber noch iden-<lb/>
tische sowohl als relative Knüpfungen in Betracht kommen mögen.</p><lb/><p>Schon zum öftern, so namentlich in der sechsten, siebenten und in<lb/>
der gegenwärtigen Vorlesung, hat der Leser Gelegenheit gehabt, den Wert<lb/>
von dergleichen Sätzen zu erproben — mochte ihr Formelausdruck auch<lb/>
blos in einer unscheinbaren Subsumtion bestehen und mochte auch der<lb/>
Ausdruck auf der einen Seite solcher Formel ziemlich willkürlich und<lb/>
vielleicht in sehr spezieller Weise aus seinen Elementarsymbolen zusammen-<lb/>
gesetzt erscheinen. Der Anwendungswert solcher Formeln zur Förderung<lb/>
der Zwecke einer Untersuchung tritt nicht selten ganz unvermutet zutage<lb/>— so vor allem dann, wenn eben Sätze von allgemeinerm Charakter nicht<lb/>
zur Verfügung stehen — und rechtfertigt es, dass die Formel nebst andern<lb/>
ihresgleichen in eine <hirendition="#i">Sammlung</hi> einregistrirt werde.</p><lb/><p>Ich hätte den bisherigen Lehrgang vielleicht mannigfach vereinfachen<lb/>
können, wenn ich diese Sammlung vorangenommen hätte; doch liess ich<lb/>
mich durch gute Gründe bestimmen, welche dafür sprachen erst das Be-<lb/>
dürfniss nach solcher Sammlung fühlbar werden zu lassen. Teils auch<lb/>
kompletirte sich die Sammlung erst nach Maassgabe der Fortentwickelung<lb/>
des Werkes im Lauf der Drucklegung.</p><lb/><p>Die bisher gelegentlich gebrauchten und jeweils ad hoc aufgestellten<lb/>
Sätze solcher Art finden sich jedenfalls zu zerstreut um einen Überblick<lb/>
zu gestatten, und müssen sie darum hiernächst wiederholt werden, wo-<lb/>
gegen sie nicht mehr bewiesen zu werden brauchen.</p><lb/><p>So seien denn zuerst die Formeln 8) ‥ 11) und 16) des § 15 — hier-<lb/>
nächst als 1) bis 5) — in Erinnerung gebracht, obwol sie reine Parallel-<lb/>
reihensätze sind. Dem letzten Gespanne, das sekundäre Modulknüpfungen<lb/></p></div></div></body></text></TEI>
[443/0457]
§ 27. Sätze über Knüpfung mit den absoluten Moduln.
Mit Rücksicht auf 29) des § 25 hat man aus 43) noch speziell:
45) [FORMEL]
§ 27. Sätze über Knüpfung mit den absoluten Moduln. Systeme,
Klassen oder absolute Terme als binäre und als uninäre Relative.
Bevor wir in die Theorie der „Systeme“ eintreten, empfiehlt es sich
— grösstenteils unter Rekapitulation — die wichtigsten Sätze übersichtlich
zusammenzustellen, die Bezug nehmen auf die [in erster Instanz natürlich *)
relativen] Knüpfungen zwischen irgend welchen Relativen und den absoluten
Moduln 1 und 0 — unter Beiseitelassung aller Sätze, in welchen auch
relative Moduln vorkämen. Jenes sind also diejenigen Sätze, in deren
Formelausdruck neben allgemeinen Buchstabenrelativen (und eventuell deren
Verwandten) nur Ausdrücke von den 4 Formen:
0) a ; 1, 1 ; a, a ɟ 0, 0 ɟ a
figuriren — zwischen derengleichen nebst den Relativen aber noch iden-
tische sowohl als relative Knüpfungen in Betracht kommen mögen.
Schon zum öftern, so namentlich in der sechsten, siebenten und in
der gegenwärtigen Vorlesung, hat der Leser Gelegenheit gehabt, den Wert
von dergleichen Sätzen zu erproben — mochte ihr Formelausdruck auch
blos in einer unscheinbaren Subsumtion bestehen und mochte auch der
Ausdruck auf der einen Seite solcher Formel ziemlich willkürlich und
vielleicht in sehr spezieller Weise aus seinen Elementarsymbolen zusammen-
gesetzt erscheinen. Der Anwendungswert solcher Formeln zur Förderung
der Zwecke einer Untersuchung tritt nicht selten ganz unvermutet zutage
— so vor allem dann, wenn eben Sätze von allgemeinerm Charakter nicht
zur Verfügung stehen — und rechtfertigt es, dass die Formel nebst andern
ihresgleichen in eine Sammlung einregistrirt werde.
Ich hätte den bisherigen Lehrgang vielleicht mannigfach vereinfachen
können, wenn ich diese Sammlung vorangenommen hätte; doch liess ich
mich durch gute Gründe bestimmen, welche dafür sprachen erst das Be-
dürfniss nach solcher Sammlung fühlbar werden zu lassen. Teils auch
kompletirte sich die Sammlung erst nach Maassgabe der Fortentwickelung
des Werkes im Lauf der Drucklegung.
Die bisher gelegentlich gebrauchten und jeweils ad hoc aufgestellten
Sätze solcher Art finden sich jedenfalls zu zerstreut um einen Überblick
zu gestatten, und müssen sie darum hiernächst wiederholt werden, wo-
gegen sie nicht mehr bewiesen zu werden brauchen.
So seien denn zuerst die Formeln 8) ‥ 11) und 16) des § 15 — hier-
nächst als 1) bis 5) — in Erinnerung gebracht, obwol sie reine Parallel-
reihensätze sind. Dem letzten Gespanne, das sekundäre Modulknüpfungen
*) Identische Knüpfungen zwischen 1 oder 0 und irgend einem Relative
lassen dieses ja entweder ungeändert, oder verwandeln es sogleich in 0 oder aber 1.
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. 443. In: Deutsches Textarchiv <https://www.deutschestextarchiv.de/schroeder_logik03_1895/457>, abgerufen am 18.12.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/.
