Anmelden (DTAQ) DWDS     dlexDB     CLARIN-D

Schröder, Ernst: Vorlesungen über die Algebra der Logik. Bd. 3, Abt. 1. Leipzig, 1895.

Bild:
<< vorherige Seite
nächste Seite >>

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
relativen Modulknüpfungen selber:
12) [Formel 6]
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 j 0)(an j 0) = (a j 0) · an ; 0' = (a j 0)(an j 1') = (a j 1')(an j 1') |
| 1 = a ; 1 + an ; 1 = a ; 1 + an j 1' = a ; 1 + an ; 0' = a ; 0' + an ; 0'.

Sehr bemerkenswert sind weiterhin die Sätze:
13) [Formel 7]
14) [Formel 8]
15) [Formel 9]
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

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
relativen Modulknüpfungen selber:
12) [Formel 6]
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 7]
14) [Formel 8]
15) [Formel 9]
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

<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 &#x2014; so die<lb/>
obigen hier diese:<lb/>
9) <formula/><lb/>
&#x2014; desgleichen <hi rendition="#i">a</hi> und <hi rendition="#i">a&#x0304;</hi> vertauscht; dazu:<lb/>
10) <formula/><lb/>
11) <formula/><lb/>
&#x2014; 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> &#x025F; 0)(<hi rendition="#i">a&#x0304;</hi> &#x025F; 0) = (<hi rendition="#i">a</hi> &#x025F; 0) · <hi rendition="#i">a&#x0304;</hi> ; 0' = (<hi rendition="#i">a</hi> &#x025F; 0)(<hi rendition="#i">a&#x0304;</hi> &#x025F; 1') = (<hi rendition="#i">a</hi> &#x025F; 1')(<hi rendition="#i">a&#x0304;</hi> &#x025F; 1') |<lb/>
| 1 = <hi rendition="#i">a</hi> ; 1 + <hi rendition="#i">a&#x0304;</hi> ; 1 = <hi rendition="#i">a</hi> ; 1 + <hi rendition="#i">a&#x0304;</hi> &#x025F; 1' = <hi rendition="#i">a</hi> ; 1 + <hi rendition="#i">a&#x0304;</hi> ; 0' = <hi rendition="#i">a</hi> ; 0' + <hi rendition="#i">a&#x0304;</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 Werk

Hilfe

Informationen zum Werk

Download dieses Werks

XML (TEI P5) · HTML · Text
TCF (text annotation layer)
TCF (tokenisiert, serialisiert, lemmatisiert, normalisiert)
XML (TEI P5 inkl. att.linguistic)

Metadaten zum Werk

TEI-Header · CMDI · Dublin Core

Ansichten dieser Seite

Voyant Tools ?

Language Resource Switchboard?

Feedback

Sie haben einen Fehler gefunden? Dann können Sie diesen über unsere Qualitätssicherungsplattform DTAQ melden.

Kommentar zur DTA-Ausgabe

Dieses Werk wurde gemäß den DTA-Transkriptionsrichtlinien im Double-Keying-Verfahren von Nicht-Muttersprachlern erfasst und in XML/TEI P5 nach DTA-Basisformat kodiert.




Ansicht auf Standard zurückstellen

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 05.05.2024.