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

Neunte Vorlesung.
nämlich ohne den oben gerügten Zirkel, bewiesen und dürfte fortan
überall angewendet werden.

Inzwischen müssen wir unsern "Hinweg" noch vollends zu Ende
gehen.

D 57. Satz und Erklärung. Es ist:
a ; (a0 ; b) = a0 ; (a ; b),
d. h. das a-Bild der a-Kette von einem Relativ b ist zugleich die a-Kette
vom a-Bilde dieses Relativs b.

Man kann daher solches Relativ kurz durch
a00 ; b
(mit demselben Vorbehalt wie S. 370 -- vorgreifend!) bezeichnen und
nach Belieben das a-Kettenbild oder die a-Bildkette von b nennen.

Beweis. Auf a ; b statt b angewendet sind D 45 und D 46 leicht
einzeln hinzuschreiben, lassen sich aber sogleich zusammenfassen zu:
a ; {b + a0 ; (a ; b)} a0 ; (a ; b).

Diese Folgerung hat nun die Form der Prämisse von D 41, worin
nur c durch den Ausdruck rechterhand vertreten erscheint. Nach diesem
Satze gibt es nun ein u -- nebenbei gesagt wäre der Ausdruck in der
geschweiften Klammer linkerhand ein solches --, welches die nachstehend
hinter dem Summenzeichen angegebnen Eigenschaften besitzt -- oder, um
ganz aussagenrechnerisch vorzugehen, es gilt die Konklusion:
[Formel 1] -- wie man durch die ersichtlichen Folgerungen aus dem ersten Aussagen-
faktor, sodann durch den Subsumtionsschluss successive ersieht [und nach
dem Tautologiegesetze der Aussagenaddition ist das Summenzeichen unter-
drückbar gewesen, sobald der allgemeine Summand konstant in Hinsicht
der Summationsvariabeln u wurde -- wodurch der Eindruck entsteht, als
ob man beim Folgern die Summe ihrem Gliede verkehrterweise gesetzt
hätte!]. Mithin ist die zuletzt gefolgerte Subsumtion bewiesen.

Andrerseits gibt D 46, mit a beiderseits relativ vormultiplizirt eine
Folgerung, welche mit D 50 vereinigt lautet:
a ; {a ; (a0 ; b)} + a ; b a ; (a0 ; b)
und wiederum die Form der Prämisse von D 47 zeigt, indem nur das dor-
tige b hier durch a ; b, das c durch die rechte Seite vertreten erscheint.
Nach dem Schema der Konklusion jenes Satzes muss also sein:
a0 ; (a ; b) a ; (a0 ; b),

Neunte Vorlesung.
nämlich ohne den oben gerügten Zirkel, bewiesen und dürfte fortan
überall angewendet werden.

Inzwischen müssen wir unsern „Hinweg“ noch vollends zu Ende
gehen.

D 57. Satz und Erklärung. Es ist:
a ; (a0 ; b) = a0 ; (a ; b),
d. h. das a-Bild der a-Kette von einem Relativ b ist zugleich die a-Kette
vom a-Bilde dieses Relativs b.

Man kann daher solches Relativ kurz durch
a00 ; b
(mit demselben Vorbehalt wie S. 370 — vorgreifend!) bezeichnen und
nach Belieben das a-Kettenbild oder die a-Bildkette von b nennen.

Beweis. Auf a ; b statt b angewendet sind D 45 und D 46 leicht
einzeln hinzuschreiben, lassen sich aber sogleich zusammenfassen zu:
a ; {b + a0 ; (a ; b)} ⋹ a0 ; (a ; b).

Diese Folgerung hat nun die Form der Prämisse von D 41, worin
nur c durch den Ausdruck rechterhand vertreten erscheint. Nach diesem
Satze gibt es nun ein u — nebenbei gesagt wäre der Ausdruck in der
geschweiften Klammer linkerhand ein solches —, welches die nachstehend
hinter dem Summenzeichen angegebnen Eigenschaften besitzt — oder, um
ganz aussagenrechnerisch vorzugehen, es gilt die Konklusion:
[Formel 1] — wie man durch die ersichtlichen Folgerungen aus dem ersten Aussagen-
faktor, sodann durch den Subsumtionsschluss successive ersieht [und nach
dem Tautologiegesetze der Aussagenaddition ist das Summenzeichen unter-
drückbar gewesen, sobald der allgemeine Summand konstant in Hinsicht
der Summationsvariabeln u wurde — wodurch der Eindruck entsteht, als
ob man beim Folgern die Summe ⋹ ihrem Gliede verkehrterweise gesetzt
hätte!]. Mithin ist die zuletzt gefolgerte Subsumtion bewiesen.

Andrerseits gibt D 46, mit a beiderseits relativ vormultiplizirt eine
Folgerung, welche mit D 50 vereinigt lautet:
a ; {a ; (a0 ; b)} + a ; b ⋹ a ; (a0 ; b)
und wiederum die Form der Prämisse von D 47 zeigt, indem nur das dor-
tige b hier durch a ; b, das c durch die rechte Seite vertreten erscheint.
Nach dem Schema der Konklusion jenes Satzes muss also sein:
a0 ; (a ; b) ⋹ a ; (a0 ; b),

<TEI>
  <text>
    <body>
      <div n="1">
        <div n="2">
          <p><pb facs="#f0388" n="374"/><fw place="top" type="header">Neunte Vorlesung.</fw><lb/>
nämlich ohne den oben gerügten Zirkel, bewiesen und dürfte fortan<lb/>
überall angewendet werden.</p><lb/>
          <p>Inzwischen müssen wir unsern &#x201E;Hinweg&#x201C; noch vollends zu Ende<lb/>
gehen.</p><lb/>
          <p><hi rendition="#fr">D</hi> 57. <hi rendition="#i">Satz</hi> und <hi rendition="#i">Erklärung</hi>. Es ist:<lb/><hi rendition="#c"><hi rendition="#i">a</hi> ; (<hi rendition="#i">a</hi><hi rendition="#sub">0</hi> ; <hi rendition="#i">b</hi>) = <hi rendition="#i">a</hi><hi rendition="#sub">0</hi> ; (<hi rendition="#i">a</hi> ; <hi rendition="#i">b</hi>),</hi><lb/>
d. h. <hi rendition="#i">das a-Bild der a-Kette von einem Relativ b ist zugleich die a-Kette<lb/>
vom a-Bilde dieses Relativs b</hi>.</p><lb/>
          <p>Man kann daher solches Relativ kurz durch<lb/><hi rendition="#c"><hi rendition="#i">a</hi><hi rendition="#sub">00</hi> ; <hi rendition="#i">b</hi></hi><lb/>
(mit demselben Vorbehalt wie S. 370 &#x2014; vorgreifend!) bezeichnen und<lb/>
nach Belieben das <hi rendition="#i">a-Kettenbild</hi> oder die <hi rendition="#i">a-Bildkette von b</hi> nennen.</p><lb/>
          <p><hi rendition="#g">Beweis</hi>. Auf <hi rendition="#i">a</hi> ; <hi rendition="#i">b</hi> statt <hi rendition="#i">b</hi> angewendet sind <hi rendition="#fr">D</hi> 45 und <hi rendition="#fr">D</hi> 46 leicht<lb/>
einzeln hinzuschreiben, lassen sich aber sogleich zusammenfassen zu:<lb/><hi rendition="#c"><hi rendition="#i">a</hi> ; {<hi rendition="#i">b</hi> + <hi rendition="#i">a</hi><hi rendition="#sub">0</hi> ; (<hi rendition="#i">a</hi> ; <hi rendition="#i">b</hi>)} &#x22F9; <hi rendition="#i">a</hi><hi rendition="#sub">0</hi> ; (<hi rendition="#i">a</hi> ; <hi rendition="#i">b</hi>).</hi></p><lb/>
          <p>Diese Folgerung hat nun die Form der Prämisse von <hi rendition="#fr">D</hi> 41, worin<lb/>
nur <hi rendition="#i">c</hi> durch den Ausdruck rechterhand vertreten erscheint. Nach diesem<lb/>
Satze gibt es nun ein <hi rendition="#i">u</hi> &#x2014; nebenbei gesagt wäre der Ausdruck in der<lb/>
geschweiften Klammer linkerhand ein solches &#x2014;, welches die nachstehend<lb/>
hinter dem Summenzeichen angegebnen Eigenschaften besitzt &#x2014; oder, um<lb/>
ganz aussagenrechnerisch vorzugehen, es gilt die Konklusion:<lb/><hi rendition="#et"><formula/></hi> &#x2014; wie man durch die ersichtlichen Folgerungen aus dem ersten Aussagen-<lb/>
faktor, sodann durch den Subsumtionsschluss successive ersieht [und nach<lb/>
dem Tautologiegesetze der Aussagenaddition ist das Summenzeichen unter-<lb/>
drückbar gewesen, sobald der allgemeine Summand konstant in Hinsicht<lb/>
der Summationsvariabeln <hi rendition="#i">u</hi> wurde &#x2014; wodurch der Eindruck entsteht, als<lb/>
ob man beim Folgern die Summe &#x22F9; ihrem Gliede verkehrterweise gesetzt<lb/>
hätte!]. Mithin ist die zuletzt gefolgerte Subsumtion bewiesen.</p><lb/>
          <p>Andrerseits gibt <hi rendition="#fr">D</hi> 46, mit <hi rendition="#i">a</hi> beiderseits relativ vormultiplizirt eine<lb/>
Folgerung, welche mit <hi rendition="#fr">D</hi> 50 vereinigt lautet:<lb/><hi rendition="#c"><hi rendition="#i">a</hi> ; {<hi rendition="#i">a</hi> ; (<hi rendition="#i">a</hi><hi rendition="#sub">0</hi> ; <hi rendition="#i">b</hi>)} + <hi rendition="#i">a</hi> ; <hi rendition="#i">b</hi> &#x22F9; <hi rendition="#i">a</hi> ; (<hi rendition="#i">a</hi><hi rendition="#sub">0</hi> ; <hi rendition="#i">b</hi>)</hi><lb/>
und wiederum die Form der Prämisse von <hi rendition="#fr">D</hi> 47 zeigt, indem nur das dor-<lb/>
tige <hi rendition="#i">b</hi> hier durch <hi rendition="#i">a</hi> ; <hi rendition="#i">b</hi>, das <hi rendition="#i">c</hi> durch die rechte Seite vertreten erscheint.<lb/>
Nach dem Schema der Konklusion jenes Satzes muss also sein:<lb/><hi rendition="#c"><hi rendition="#i">a</hi><hi rendition="#sub">0</hi> ; (<hi rendition="#i">a</hi> ; <hi rendition="#i">b</hi>) &#x22F9; <hi rendition="#i">a</hi> ; (<hi rendition="#i">a</hi><hi rendition="#sub">0</hi> ; <hi rendition="#i">b</hi>),</hi><lb/></p>
        </div>
      </div>
    </body>
  </text>
</TEI>
[374/0388] Neunte Vorlesung. nämlich ohne den oben gerügten Zirkel, bewiesen und dürfte fortan überall angewendet werden. Inzwischen müssen wir unsern „Hinweg“ noch vollends zu Ende gehen. D 57. Satz und Erklärung. Es ist: a ; (a0 ; b) = a0 ; (a ; b), d. h. das a-Bild der a-Kette von einem Relativ b ist zugleich die a-Kette vom a-Bilde dieses Relativs b. Man kann daher solches Relativ kurz durch a00 ; b (mit demselben Vorbehalt wie S. 370 — vorgreifend!) bezeichnen und nach Belieben das a-Kettenbild oder die a-Bildkette von b nennen. Beweis. Auf a ; b statt b angewendet sind D 45 und D 46 leicht einzeln hinzuschreiben, lassen sich aber sogleich zusammenfassen zu: a ; {b + a0 ; (a ; b)} ⋹ a0 ; (a ; b). Diese Folgerung hat nun die Form der Prämisse von D 41, worin nur c durch den Ausdruck rechterhand vertreten erscheint. Nach diesem Satze gibt es nun ein u — nebenbei gesagt wäre der Ausdruck in der geschweiften Klammer linkerhand ein solches —, welches die nachstehend hinter dem Summenzeichen angegebnen Eigenschaften besitzt — oder, um ganz aussagenrechnerisch vorzugehen, es gilt die Konklusion: [FORMEL] — wie man durch die ersichtlichen Folgerungen aus dem ersten Aussagen- faktor, sodann durch den Subsumtionsschluss successive ersieht [und nach dem Tautologiegesetze der Aussagenaddition ist das Summenzeichen unter- drückbar gewesen, sobald der allgemeine Summand konstant in Hinsicht der Summationsvariabeln u wurde — wodurch der Eindruck entsteht, als ob man beim Folgern die Summe ⋹ ihrem Gliede verkehrterweise gesetzt hätte!]. Mithin ist die zuletzt gefolgerte Subsumtion bewiesen. Andrerseits gibt D 46, mit a beiderseits relativ vormultiplizirt eine Folgerung, welche mit D 50 vereinigt lautet: a ; {a ; (a0 ; b)} + a ; b ⋹ a ; (a0 ; b) und wiederum die Form der Prämisse von D 47 zeigt, indem nur das dor- tige b hier durch a ; b, das c durch die rechte Seite vertreten erscheint. Nach dem Schema der Konklusion jenes Satzes muss also sein: a0 ; (a ; b) ⋹ a ; (a0 ; b),

Suche im Werk

Hilfe

Informationen zum Werk

Download dieses Werks

XML (TEI P5) · HTML · Text
TCF (text annotation layer)
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/388
Zitationshilfe: Schröder, Ernst: Vorlesungen über die Algebra der Logik. Bd. 3, Abt. 1. Leipzig, 1895, S. 374. In: Deutsches Textarchiv <https://www.deutschestextarchiv.de/schroeder_logik03_1895/388>, abgerufen am 23.11.2024.