Schröder, Ernst: Vorlesungen über die Algebra der Logik. Bd. 3, Abt. 1. Leipzig, 1895.Sechste Vorlesung. 8)
[Formel 1]
Nach den Theoremen [Formel 2] liefert aber jede Subsumtion uns auch zwei Paar Gleichungen -- so die obigen hier diese: 9) [Formel 3] -- desgleichen a und an vertauscht; dazu: 10) [Formel 4] 11) [Formel 5] -- Formeln, welche in succum et sanguinem des Studirenden übergehen müssen. Weiter gelten auch noch die Einordnungen zwischen den primären Sehr bemerkenswert sind weiterhin die Sätze: Gehen wir jetzt aber zu den Sätzen höherer Stufe über, nämlich zu Sechste Vorlesung. 8)
[Formel 1]
Nach den Theoremen [Formel 2] liefert aber jede Subsumtion uns auch zwei Paar Gleichungen — so die obigen hier diese: 9) [Formel 3] — desgleichen a und ā vertauscht; dazu: 10) [Formel 4] 11) [Formel 5] — Formeln, welche in succum et sanguinem des Studirenden übergehen müssen. Weiter gelten auch noch die Einordnungen zwischen den primären Sehr bemerkenswert sind weiterhin die Sätze: Gehen wir jetzt aber zu den Sätzen höherer Stufe über, nämlich zu <TEI> <text> <body> <div n="1"> <div n="2"> <p><pb facs="#f0224" n="210"/><fw place="top" type="header">Sechste Vorlesung.</fw><lb/> 8) <formula/><lb/> Nach den Theoremen<lb/><hi rendition="#c"><formula/></hi> liefert aber jede Subsumtion uns auch zwei Paar Gleichungen — so die<lb/> obigen hier diese:<lb/> 9) <formula/><lb/> — desgleichen <hi rendition="#i">a</hi> und <hi rendition="#i">ā</hi> vertauscht; dazu:<lb/> 10) <formula/><lb/> 11) <formula/><lb/> — Formeln, welche in succum et sanguinem des Studirenden übergehen<lb/> müssen.</p><lb/> <p>Weiter gelten auch noch die Einordnungen zwischen den primären<lb/> relativen Modulknüpfungen selber:<lb/> 12) <formula/><lb/> und damit ist wiederum eine Menge von Gleichungen gegeben, von denen<lb/> im Bedarfsfalle ungenirt Gebrauch zu machen ist, ohne dass sie allesamt<lb/> chiffrirt und registrirt zu sein brauchten. Wir heben hervor:<lb/><hi rendition="#et">0 = (<hi rendition="#i">a</hi> ɟ 0)(<hi rendition="#i">ā</hi> ɟ 0) = (<hi rendition="#i">a</hi> ɟ 0) · <hi rendition="#i">ā</hi> ; 0' = (<hi rendition="#i">a</hi> ɟ 0)(<hi rendition="#i">ā</hi> ɟ 1') = (<hi rendition="#i">a</hi> ɟ 1')(<hi rendition="#i">ā</hi> ɟ 1') |<lb/> | 1 = <hi rendition="#i">a</hi> ; 1 + <hi rendition="#i">ā</hi> ; 1 = <hi rendition="#i">a</hi> ; 1 + <hi rendition="#i">ā</hi> ɟ 1' = <hi rendition="#i">a</hi> ; 1 + <hi rendition="#i">ā</hi> ; 0' = <hi rendition="#i">a</hi> ; 0' + <hi rendition="#i">ā</hi> ; 0'.</hi></p><lb/> <p>Sehr bemerkenswert sind weiterhin die Sätze:<lb/> 13) <formula/><lb/> 14) <formula/><lb/> 15) <formula/><lb/> welche in 6) und 7) schon mit vorgekommen. Man kann z. B. den oberen<lb/> Satz 13) rechts auch so beweisen: <hi rendition="#i">a</hi> ; 1 = <hi rendition="#i">a</hi> ; (1' + 0') = <hi rendition="#i">a</hi> ; 1' + <hi rendition="#i">a</hi> ; 0' = <hi rendition="#i">a</hi> + <hi rendition="#i">a</hi> ; 0',<lb/> und dergleichen mehr. In allen bisherigen finden sich die primären Modul-<lb/> knüpfungen höchstens durch identische Operationen verknüpft.</p><lb/> <p>Gehen wir jetzt aber zu den Sätzen höherer Stufe über, nämlich zu<lb/> solchen, worin Ergebnisse der eben charakterisirten Art selbst wieder in<lb/></p> </div> </div> </body> </text> </TEI> [210/0224]
Sechste Vorlesung.
8) [FORMEL]
Nach den Theoremen
[FORMEL] liefert aber jede Subsumtion uns auch zwei Paar Gleichungen — so die
obigen hier diese:
9) [FORMEL]
— desgleichen a und ā vertauscht; dazu:
10) [FORMEL]
11) [FORMEL]
— Formeln, welche in succum et sanguinem des Studirenden übergehen
müssen.
Weiter gelten auch noch die Einordnungen zwischen den primären
relativen Modulknüpfungen selber:
12) [FORMEL]
und damit ist wiederum eine Menge von Gleichungen gegeben, von denen
im Bedarfsfalle ungenirt Gebrauch zu machen ist, ohne dass sie allesamt
chiffrirt und registrirt zu sein brauchten. Wir heben hervor:
0 = (a ɟ 0)(ā ɟ 0) = (a ɟ 0) · ā ; 0' = (a ɟ 0)(ā ɟ 1') = (a ɟ 1')(ā ɟ 1') |
| 1 = a ; 1 + ā ; 1 = a ; 1 + ā ɟ 1' = a ; 1 + ā ; 0' = a ; 0' + ā ; 0'.
Sehr bemerkenswert sind weiterhin die Sätze:
13) [FORMEL]
14) [FORMEL]
15) [FORMEL]
welche in 6) und 7) schon mit vorgekommen. Man kann z. B. den oberen
Satz 13) rechts auch so beweisen: a ; 1 = a ; (1' + 0') = a ; 1' + a ; 0' = a + a ; 0',
und dergleichen mehr. In allen bisherigen finden sich die primären Modul-
knüpfungen höchstens durch identische Operationen verknüpft.
Gehen wir jetzt aber zu den Sätzen höherer Stufe über, nämlich zu
solchen, worin Ergebnisse der eben charakterisirten Art selbst wieder in
Suche im WerkInformationen zum Werk
Download dieses Werks
XML (TEI P5) ·
HTML ·
Text Metadaten zum WerkTEI-Header · CMDI · Dublin Core Ansichten dieser Seite
Voyant Tools
|
URL zu diesem Werk: | https://www.deutschestextarchiv.de/schroeder_logik03_1895 |
URL zu dieser Seite: | https://www.deutschestextarchiv.de/schroeder_logik03_1895/224 |
Zitationshilfe: | Schröder, Ernst: Vorlesungen über die Algebra der Logik. Bd. 3, Abt. 1. Leipzig, 1895, S. 210. In: Deutsches Textarchiv <https://www.deutschestextarchiv.de/schroeder_logik03_1895/224>, abgerufen am 25.08.2024. |