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

§ 26. Relative Knüpfungen mit Elementepaaren.
33) [Formel 1]

Die nächste Tafel erledigt die relativen Knüpfungen zwischen den
Verwandten eines Elementepaars und denen eines Elementes:
34) [Formel 2]
35) [Formel 3]
36) [Formel 4]
37) [Formel 5]
38) [Formel 6]
39) [Formel 7]

Sie umfasst -- die Doppelform der nach der Zeilenmitte zu stehen-
den Ergebnisse bei 37) ungerechnet -- 4 x 8 = 32 Formeln.

Als Sonderfälle von 34), 35) sind hervorzuheben:
40) [Formel 8]
41)

(i : j) ; jn = 0 = in ; (i : j)i j i : j = 1 = i : j j j.

Aus den einseitigen Formeln von 36) geht ferner durch Buch-
stabenvertauschung und Komparation noch hervor:
42)

i ; (h : j) = i : j = (i : h) ; ji : h j jn = i : j = in j h : j.

§ 26. Relative Knüpfungen mit Elementepaaren.
33) [Formel 1]

Die nächste Tafel erledigt die relativen Knüpfungen zwischen den
Verwandten eines Elementepaars und denen eines Elementes:
34) [Formel 2]
35) [Formel 3]
36) [Formel 4]
37) [Formel 5]
38) [Formel 6]
39) [Formel 7]

Sie umfasst — die Doppelform der nach der Zeilenmitte zu stehen-
den Ergebnisse bei 37) ungerechnet — 4 × 8 = 32 Formeln.

Als Sonderfälle von 34), 35) sind hervorzuheben:
40) [Formel 8]
41)

(i : j) ; j̄ = 0 = ī̆ ; (i : j)ĭ ɟ i : j͞ = 1 = i : j͞ ɟ j.

Aus den einseitigen Formeln von 36) geht ferner durch Buch-
stabenvertauschung und Komparation noch hervor:
42)

i ; (h : j) = i : j = (i : h) ; j̆i : h͞ ɟ j̄̆ = i : j͞ = ī ɟ h : j͞.

<TEI>
  <text>
    <body>
      <div n="1">
        <div n="2">
          <p><pb facs="#f0455" n="441"/><fw place="top" type="header">§ 26. Relative Knüpfungen mit Elementepaaren.</fw><lb/>
33) <formula/><lb/></p>
          <p>Die nächste <hi rendition="#g">Tafel</hi> erledigt die <hi rendition="#i">relativen Knüpfungen</hi> zwischen den<lb/><hi rendition="#i">Verwandten eines Elementepaars</hi> und <hi rendition="#i">denen eines Elementes</hi>:<lb/>
34) <formula/><lb/>
35) <formula/><lb/>
36) <formula/><lb/>
37) <formula/><lb/>
38) <formula/><lb/>
39) <formula/><lb/></p>
          <p>Sie umfasst &#x2014; die Doppelform der nach der Zeilenmitte zu stehen-<lb/>
den Ergebnisse bei 37) ungerechnet &#x2014; 4 × 8 = 32 Formeln.</p><lb/>
          <p>Als Sonderfälle von 34), 35) sind hervorzuheben:<lb/>
40) <formula/><lb/>
41) <table><lb/><row><cell>(<hi rendition="#i">i</hi> : <hi rendition="#i">j</hi>) ; <hi rendition="#i">j&#x0304;</hi> = 0 = <hi rendition="#i">i&#x0304;&#x0306;</hi> ; (<hi rendition="#i">i</hi> : <hi rendition="#i">j</hi>)</cell><cell><hi rendition="#i">i&#x0306;</hi> &#x025F; <hi rendition="#i">i</hi> : <hi rendition="#i">j</hi>&#x035E; = 1 = <hi rendition="#i">i</hi> : <hi rendition="#i">j</hi>&#x035E; &#x025F; <hi rendition="#i">j</hi>.</cell></row><lb/></table></p>
          <p>Aus den einseitigen Formeln von 36) geht ferner durch Buch-<lb/>
stabenvertauschung und Komparation noch hervor:<lb/>
42) <table><lb/><row><cell><hi rendition="#i">i</hi> ; (<hi rendition="#i">h</hi> : <hi rendition="#i">j</hi>) = <hi rendition="#i">i</hi> : <hi rendition="#i">j</hi> = (<hi rendition="#i">i</hi> : <hi rendition="#i">h</hi>) ; <hi rendition="#i">j&#x0306;</hi></cell><cell><hi rendition="#i">i</hi> : <hi rendition="#i">h</hi>&#x035E; &#x025F; <hi rendition="#i">j&#x0304;&#x0306;</hi> = <hi rendition="#i">i</hi> : <hi rendition="#i">j</hi>&#x035E; = <hi rendition="#i">i&#x0304;</hi> &#x025F; <hi rendition="#i">h</hi> : <hi rendition="#i">j</hi>&#x035E;.</cell></row><lb/></table></p>
        </div>
      </div>
    </body>
  </text>
</TEI>
[441/0455] § 26. Relative Knüpfungen mit Elementepaaren. 33) [FORMEL] Die nächste Tafel erledigt die relativen Knüpfungen zwischen den Verwandten eines Elementepaars und denen eines Elementes: 34) [FORMEL] 35) [FORMEL] 36) [FORMEL] 37) [FORMEL] 38) [FORMEL] 39) [FORMEL] Sie umfasst — die Doppelform der nach der Zeilenmitte zu stehen- den Ergebnisse bei 37) ungerechnet — 4 × 8 = 32 Formeln. Als Sonderfälle von 34), 35) sind hervorzuheben: 40) [FORMEL] 41) (i : j) ; j̄ = 0 = ī̆ ; (i : j) ĭ ɟ i : j͞ = 1 = i : j͞ ɟ j. Aus den einseitigen Formeln von 36) geht ferner durch Buch- stabenvertauschung und Komparation noch hervor: 42) i ; (h : j) = i : j = (i : h) ; j̆ i : h͞ ɟ j̄̆ = i : j͞ = ī ɟ h : j͞.

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/455
Zitationshilfe: Schröder, Ernst: Vorlesungen über die Algebra der Logik. Bd. 3, Abt. 1. Leipzig, 1895, S. 441. In: Deutsches Textarchiv <https://www.deutschestextarchiv.de/schroeder_logik03_1895/455>, abgerufen am 27.04.2024.