Anmelden (DTAQ) DWDS     dlexDB     CLARIN-D

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

Bild:
<< vorherige Seite
Zehnte Vorlesung.

Die letzte Tafel von 8 Formeln endlich erledigt die relativen
Knüpfungen
zwischen einem Elementepaar oder dessen Negate und einem
allgemeinen Relativ a, indem sie zeigt, wie dieselben zunächst zurück-
kommen auf die Knüpfungen von a mit einem Elementverwandten, in
letzter Instanz aber auf identische Operationen und relative Knüpfungen
blos mit den absoluten Moduln -- was die äusserste Reduktion des
Knüpfungsergebnisses vorstellt, die man allgemein auszuführen vermag:
43) [Formel 1] .

Behufs Beweises der hinzugekommnen Formeln 32) bis 43) dürfte
der Studirende, das Allgemeinere zuerst erledigend, die drei Tafeln besser
in der umgekehrten Reihenfolge durchnehmen. -- Was die letzte 43) be-
trifft, so verstehen sich die Gleichungen der ersten Kolumne (links) aus
11) und 13) des § 25, nämlich weil i : j = ij, i : j = in + jn ist, teils in An-
betracht, dass i = i ; 1, j = 1 ; j, in = in ; 1, jn = 1 ; jn nach 2) und 4) des
§ 25 gilt, aus dem Theorem 15) des § 18, welches der Leser als 7) des
§ 27 noch näher zurhand hat, teils ohne weiteres; und die übrigen Aus-
drucksformen des Ergebnisses sind davon blosse Umformungen gemäss 21)
bis 23) des § 25. -- Indem man sodann in 43) für a spezieller h, oder
h : k, etc. setzt und die frühern Relationen nach Bedarf -- eventuell die 43)
nochmals -- berücksichtigt, wird man leicht zur Rechtfertigung der For-
meln auch der beiden vorhergehenden Tafeln gelangen, ohne jemals zur
Koeffizientenevidenz seine Zuflucht nehmen zu müssen, deren Herbeiführung
übrigens ebenfalls auf eine Schwierigkeit nirgends stossen würde.

Anzuführen ist noch, dass von den -- nach den einen 43) leicht auf
andre 43) zurückzuführenden -- Sätzen:
44) [Formel 2]
die beiden rechts vom Striche sich in doppelter Ausfertigung (für an sowol
als für a ausgesprochen) bereits von Peirce5 p. 53, in gänzlich andre
Symbolik verhüllt, gegeben finden.


Zehnte Vorlesung.

Die letzte Tafel von 8 Formeln endlich erledigt die relativen
Knüpfungen
zwischen einem Elementepaar oder dessen Negate und einem
allgemeinen Relativ a, indem sie zeigt, wie dieselben zunächst zurück-
kommen auf die Knüpfungen von a mit einem Elementverwandten, in
letzter Instanz aber auf identische Operationen und relative Knüpfungen
blos mit den absoluten Moduln — was die äusserste Reduktion des
Knüpfungsergebnisses vorstellt, die man allgemein auszuführen vermag:
43) [Formel 1] .

Behufs Beweises der hinzugekommnen Formeln 32) bis 43) dürfte
der Studirende, das Allgemeinere zuerst erledigend, die drei Tafeln besser
in der umgekehrten Reihenfolge durchnehmen. — Was die letzte 43) be-
trifft, so verstehen sich die Gleichungen der ersten Kolumne (links) aus
11) und 13) des § 25, nämlich weil i : j = ij̆, ̅:̅ ̅ = + j̄̆ ist, teils in An-
betracht, dass i = i ; 1, = 1 ; , = ; 1, j̄̆ = 1 ; j̄̆ nach 2) und 4) des
§ 25 gilt, aus dem Theorem 15) des § 18, welches der Leser als 7) des
§ 27 noch näher zurhand hat, teils ohne weiteres; und die übrigen Aus-
drucksformen des Ergebnisses sind davon blosse Umformungen gemäss 21)
bis 23) des § 25. — Indem man sodann in 43) für a spezieller h, oder
h : k, etc. setzt und die frühern Relationen nach Bedarf — eventuell die 43)
nochmals — berücksichtigt, wird man leicht zur Rechtfertigung der For-
meln auch der beiden vorhergehenden Tafeln gelangen, ohne jemals zur
Koeffizientenevidenz seine Zuflucht nehmen zu müssen, deren Herbeiführung
übrigens ebenfalls auf eine Schwierigkeit nirgends stossen würde.

Anzuführen ist noch, dass von den — nach den einen 43) leicht auf
andre 43) zurückzuführenden — Sätzen:
44) [Formel 2]
die beiden rechts vom Striche sich in doppelter Ausfertigung (für sowol
als für a ausgesprochen) bereits von Peirce5 p. 53, in gänzlich andre
Symbolik verhüllt, gegeben finden.


<TEI>
  <text>
    <body>
      <div n="1">
        <div n="2">
          <pb facs="#f0456" n="442"/>
          <fw place="top" type="header">Zehnte Vorlesung.</fw><lb/>
          <p>Die letzte <hi rendition="#g">Tafel</hi> von 8 Formeln endlich erledigt die <hi rendition="#i">relativen<lb/>
Knüpfungen</hi> zwischen einem <hi rendition="#i">Elementepaar</hi> oder <hi rendition="#i">dessen Negate</hi> und einem<lb/><hi rendition="#i">allgemeinen Relativ a</hi>, indem sie zeigt, wie dieselben zunächst zurück-<lb/>
kommen auf die Knüpfungen von <hi rendition="#i">a</hi> mit einem <hi rendition="#i">Elementverwandten</hi>, in<lb/>
letzter Instanz aber auf identische Operationen und relative Knüpfungen<lb/>
blos mit den absoluten Moduln &#x2014; was die äusserste Reduktion des<lb/>
Knüpfungsergebnisses vorstellt, die man allgemein auszuführen vermag:<lb/>
43) <formula/>.</p><lb/>
          <p>Behufs <hi rendition="#g">Beweises</hi> der hinzugekommnen Formeln 32) bis 43) dürfte<lb/>
der Studirende, das Allgemeinere zuerst erledigend, die drei Tafeln besser<lb/>
in der umgekehrten Reihenfolge durchnehmen. &#x2014; Was die letzte 43) be-<lb/>
trifft, so verstehen sich die Gleichungen der ersten Kolumne (links) aus<lb/>
11) und 13) des § 25, nämlich weil <hi rendition="#i">i</hi> : <hi rendition="#i">j</hi> = <hi rendition="#i">ij&#x0306;</hi>, <hi rendition="#i">i&#x0305;</hi> &#x0305;:&#x0305; &#x0305;<hi rendition="#i">j&#x0305;</hi> = <hi rendition="#i">i&#x0304;</hi> + <hi rendition="#i">j&#x0304;&#x0306;</hi> ist, teils in An-<lb/>
betracht, dass <hi rendition="#i">i</hi> = <hi rendition="#i">i</hi> ; 1, <hi rendition="#i">j&#x0306;</hi> = 1 ; <hi rendition="#i">j&#x0306;</hi>, <hi rendition="#i">i&#x0304;</hi> = <hi rendition="#i">i&#x0304;</hi> ; 1, <hi rendition="#i">j&#x0304;&#x0306;</hi> = 1 ; <hi rendition="#i">j&#x0304;&#x0306;</hi> nach 2) und 4) des<lb/>
§ 25 gilt, aus dem Theorem 15) des § 18, welches der Leser als 7) des<lb/>
§ 27 noch näher zurhand hat, teils ohne weiteres; und die übrigen Aus-<lb/>
drucksformen des Ergebnisses sind davon blosse Umformungen gemäss 21)<lb/>
bis 23) des § 25. &#x2014; Indem man sodann in 43) für <hi rendition="#i">a</hi> spezieller <hi rendition="#i">h</hi>, oder<lb/><hi rendition="#i">h</hi> : <hi rendition="#i">k</hi>, etc. setzt und die frühern Relationen nach Bedarf &#x2014; eventuell die 43)<lb/>
nochmals &#x2014; berücksichtigt, wird man leicht zur Rechtfertigung der For-<lb/>
meln auch der beiden vorhergehenden Tafeln gelangen, ohne jemals zur<lb/>
Koeffizientenevidenz seine Zuflucht nehmen zu müssen, deren Herbeiführung<lb/>
übrigens ebenfalls auf eine Schwierigkeit nirgends stossen würde.</p><lb/>
          <p>Anzuführen ist noch, dass von den &#x2014; nach den einen 43) leicht auf<lb/>
andre 43) zurückzuführenden &#x2014; <hi rendition="#g">Sätzen</hi>:<lb/>
44) <formula/><lb/>
die beiden rechts vom Striche sich in doppelter Ausfertigung (für <hi rendition="#i">a&#x0304;</hi> sowol<lb/>
als für <hi rendition="#i">a</hi> ausgesprochen) bereits von <hi rendition="#g">Peirce</hi><hi rendition="#sup">5</hi> p. 53, in gänzlich andre<lb/>
Symbolik verhüllt, gegeben finden.</p><lb/>
        </div>
      </div>
    </body>
  </text>
</TEI>
[442/0456] Zehnte Vorlesung. Die letzte Tafel von 8 Formeln endlich erledigt die relativen Knüpfungen zwischen einem Elementepaar oder dessen Negate und einem allgemeinen Relativ a, indem sie zeigt, wie dieselben zunächst zurück- kommen auf die Knüpfungen von a mit einem Elementverwandten, in letzter Instanz aber auf identische Operationen und relative Knüpfungen blos mit den absoluten Moduln — was die äusserste Reduktion des Knüpfungsergebnisses vorstellt, die man allgemein auszuführen vermag: 43) [FORMEL]. Behufs Beweises der hinzugekommnen Formeln 32) bis 43) dürfte der Studirende, das Allgemeinere zuerst erledigend, die drei Tafeln besser in der umgekehrten Reihenfolge durchnehmen. — Was die letzte 43) be- trifft, so verstehen sich die Gleichungen der ersten Kolumne (links) aus 11) und 13) des § 25, nämlich weil i : j = ij̆, i̅ ̅:̅ ̅j̅ = ī + j̄̆ ist, teils in An- betracht, dass i = i ; 1, j̆ = 1 ; j̆, ī = ī ; 1, j̄̆ = 1 ; j̄̆ nach 2) und 4) des § 25 gilt, aus dem Theorem 15) des § 18, welches der Leser als 7) des § 27 noch näher zurhand hat, teils ohne weiteres; und die übrigen Aus- drucksformen des Ergebnisses sind davon blosse Umformungen gemäss 21) bis 23) des § 25. — Indem man sodann in 43) für a spezieller h, oder h : k, etc. setzt und die frühern Relationen nach Bedarf — eventuell die 43) nochmals — berücksichtigt, wird man leicht zur Rechtfertigung der For- meln auch der beiden vorhergehenden Tafeln gelangen, ohne jemals zur Koeffizientenevidenz seine Zuflucht nehmen zu müssen, deren Herbeiführung übrigens ebenfalls auf eine Schwierigkeit nirgends stossen würde. Anzuführen ist noch, dass von den — nach den einen 43) leicht auf andre 43) zurückzuführenden — Sätzen: 44) [FORMEL] die beiden rechts vom Striche sich in doppelter Ausfertigung (für ā sowol als für a ausgesprochen) bereits von Peirce5 p. 53, in gänzlich andre Symbolik verhüllt, gegeben finden.

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