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 = 2, zufolgedessen wieder für n = 3 und so fort in infinitum). Auf
diesen Teilschlüssen aber beruhte der obige Beweis. --

Beiläufig kann man denselben auch für den ganzen Satz auf einmal
führen in Gestalt einer unbegrenzten Serie von äquivalenten Aussagen-
transformationen.

Zu dem Ende schreiben wir das Schema des D 40 "voller" an in der
Gestalt:
12) (b + a ; c c) = {b + a ; (b + c) c} = (b + a ; b + a ; c c),
indem wir die Hypothesis des Satzes in der Thesis nochmals miterwähnen,
die Voraussetzung bei der Behauptung wiederholend, sie zu dieser schlagen
und mit ihr vereinigen -- was nach dem principium identitatis des Aus-
sagenkalkuls gestattet ist. Weil dann der Schluss von der Voraussetzung
auf die Behauptung auch rückwärts zulässig, indem diese ja jene mit in
sich schliesst, so geht hierbei die Aussagensubsumtion in eine Aussagen-
äquivalenz oder Gleichung über.

Diese Bemerkung, aufgrund deren auch offenbar
13) (a ; c + b c) {a ; (b + c) c}
sein muss, schlägt nebenbei eine Brücke von D 40 zu D 41, dessen Thesis
hiernach auch eine Konklusion sein muss zur Hypothesis von D 40.

Bemerkt man nun, dass die dritte Aussage 12) von derselben Form
ist wie die erste und sich von ihr blos dadurch unterscheidet, dass das
Glied b dort hier vertreten ist durch b + a ; b, so offenbart sich, dass uns
der Satz 12) ein Recht gibt, so lange fortgesetzt als wir mögen seine Aus-
sage äquivalent umzuschreiben dadurch, dass wir b durch b + a ; b ersetzen.

Nun ist blos noch die "Wahrnehmung" erforderlich, dass der Effekt
solcher Ersetzung, wenn sie durchweg mit b vorgenommen wird, ganz der-
selbe ist, wie wenn sie blos an dem letzten b vollzogen wird, und so werden
wir leicht als mit den Aussagen 12) äquivalent die folgenden hinzu-
gewinnen:
= (b + a ; b + a2 ; b + a ; c c) = (b + a ; b + a2 ; b + a3 ; b + a ; c c) = ...,
welche bei der erlaubten Unterdrückung des Gliedes a ; c -- d. h. bei Ver-
schweigung des Aussagenfaktors (a ; c c) -- uns die Konklusionen vor-
stellen, die auf eine unbegrenzte Gliedermenge ausgedehnt unsern Satz D 47
ausmachen.

Jene "Wahrnehmung" allgemein zu begründen genügt der Nachweis,
dass, wenn etwa
(1' + a + a2 + a3 + ... + an) ; b = fn(b)
genannt wird,
fn(b + a ; b) = fn + 1(b)
sein muss -- wo dann schliesslich finfinity(b) = a0 ; b ist. Dieser Nachweis unter-
liegt aber in der That keiner Schwierigkeit.

Indem f1(b) = f(b) = b + a ; b = (1' + a) ; b hier bedeutete und ohnehin
(1' + a)n ; (1' + a) = (1' + a)n + 1 sein muss -- vergl. die in § 13 unter 8)
gegebene "induktorische" oder "rekurrente" Definition der Potenz -- kann

Neunte Vorlesung.
n = 2, zufolgedessen wieder für n = 3 und so fort in infinitum). Auf
diesen Teilschlüssen aber beruhte der obige Beweis. —

Beiläufig kann man denselben auch für den ganzen Satz auf einmal
führen in Gestalt einer unbegrenzten Serie von äquivalenten Aussagen-
transformationen.

Zu dem Ende schreiben wir das Schema des D 40 „voller“ an in der
Gestalt:
12) (b + a ; c ⋹ c) = {b + a ; (b + c) ⋹ c} = (b + a ; b + a ; c ⋹ c),
indem wir die Hypothesis des Satzes in der Thesis nochmals miterwähnen,
die Voraussetzung bei der Behauptung wiederholend, sie zu dieser schlagen
und mit ihr vereinigen — was nach dem principium identitatis des Aus-
sagenkalkuls gestattet ist. Weil dann der Schluss von der Voraussetzung
auf die Behauptung auch rückwärts zulässig, indem diese ja jene mit in
sich schliesst, so geht hierbei die Aussagensubsumtion in eine Aussagen-
äquivalenz oder Gleichung über.

Diese Bemerkung, aufgrund deren auch offenbar
13) (a ; c + b ⋹ c) ⋹ {a ; (b + c) ⋹ c}
sein muss, schlägt nebenbei eine Brücke von D 40 zu D 41, dessen Thesis
hiernach auch eine Konklusion sein muss zur Hypothesis von D 40.

Bemerkt man nun, dass die dritte Aussage 12) von derselben Form
ist wie die erste und sich von ihr blos dadurch unterscheidet, dass das
Glied b dort hier vertreten ist durch b + a ; b, so offenbart sich, dass uns
der Satz 12) ein Recht gibt, so lange fortgesetzt als wir mögen seine Aus-
sage äquivalent umzuschreiben dadurch, dass wir b durch b + a ; b ersetzen.

Nun ist blos noch die „Wahrnehmung“ erforderlich, dass der Effekt
solcher Ersetzung, wenn sie durchweg mit b vorgenommen wird, ganz der-
selbe ist, wie wenn sie blos an dem letzten b vollzogen wird, und so werden
wir leicht als mit den Aussagen 12) äquivalent die folgenden hinzu-
gewinnen:
= (b + a ; b + a2 ; b + a ; c ⋹ c) = (b + a ; b + a2 ; b + a3 ; b + a ; c ⋹ c) = …,
welche bei der erlaubten Unterdrückung des Gliedes a ; c — d. h. bei Ver-
schweigung des Aussagenfaktors (a ; c ⋹ c) — uns die Konklusionen vor-
stellen, die auf eine unbegrenzte Gliedermenge ausgedehnt unsern Satz D 47
ausmachen.

Jene „Wahrnehmung“ allgemein zu begründen genügt der Nachweis,
dass, wenn etwa
(1' + a + a2 + a3 + … + an) ; b = fn(b)
genannt wird,
fn(b + a ; b) = fn + 1(b)
sein muss — wo dann schliesslich f∞(b) = a0 ; b ist. Dieser Nachweis unter-
liegt aber in der That keiner Schwierigkeit.

Indem f1(b) = f(b) = b + a ; b = (1' + a) ; b hier bedeutete und ohnehin
(1' + a)n ; (1' + a) = (1' + a)n + 1 sein muss — vergl. die in § 13 unter 8)
gegebene „induktorische“ oder „rekurrente“ Definition der Potenz — kann

<TEI>
  <text>
    <body>
      <div n="1">
        <div n="2">
          <p><pb facs="#f0378" n="364"/><fw place="top" type="header">Neunte Vorlesung.</fw><lb/><hi rendition="#i">n</hi> = 2, zufolgedessen wieder für <hi rendition="#i">n</hi> = 3 und so fort in infinitum). Auf<lb/>
diesen Teilschlüssen aber beruhte der obige Beweis. &#x2014;</p><lb/>
          <p>Beiläufig kann man denselben auch für den ganzen Satz auf einmal<lb/>
führen in Gestalt einer unbegrenzten Serie von äquivalenten Aussagen-<lb/>
transformationen.</p><lb/>
          <p>Zu dem Ende schreiben wir das Schema des <hi rendition="#fr">D</hi> 40 &#x201E;<hi rendition="#i">voller</hi>&#x201C; an in der<lb/>
Gestalt:<lb/>
12) <hi rendition="#et">(<hi rendition="#i">b</hi> + <hi rendition="#i">a</hi> ; <hi rendition="#i">c</hi> &#x22F9; <hi rendition="#i">c</hi>) = {<hi rendition="#i">b</hi> + <hi rendition="#i">a</hi> ; (<hi rendition="#i">b</hi> + <hi rendition="#i">c</hi>) &#x22F9; <hi rendition="#i">c</hi>} = (<hi rendition="#i">b</hi> + <hi rendition="#i">a</hi> ; <hi rendition="#i">b</hi> + <hi rendition="#i">a</hi> ; <hi rendition="#i">c</hi> &#x22F9; <hi rendition="#i">c</hi>),</hi><lb/>
indem wir die Hypothesis des Satzes in der Thesis nochmals miterwähnen,<lb/>
die Voraussetzung bei der Behauptung wiederholend, sie zu dieser schlagen<lb/>
und mit ihr vereinigen &#x2014; was nach dem principium identitatis des Aus-<lb/>
sagenkalkuls gestattet ist. Weil dann der Schluss von der Voraussetzung<lb/>
auf die Behauptung auch rückwärts zulässig, indem diese ja jene mit in<lb/>
sich schliesst, so geht hierbei die Aussagensubsumtion in eine Aussagen-<lb/>
äquivalenz oder Gleichung über.</p><lb/>
          <p>Diese Bemerkung, aufgrund deren auch offenbar<lb/>
13) <hi rendition="#et">(<hi rendition="#i">a</hi> ; <hi rendition="#i">c</hi> + <hi rendition="#i">b</hi> &#x22F9; <hi rendition="#i">c</hi>) &#x22F9; {<hi rendition="#i">a</hi> ; (<hi rendition="#i">b</hi> + <hi rendition="#i">c</hi>) &#x22F9; <hi rendition="#i">c</hi>}</hi><lb/>
sein muss, schlägt nebenbei eine Brücke von <hi rendition="#fr">D</hi> 40 zu <hi rendition="#fr">D</hi> 41, dessen Thesis<lb/>
hiernach auch eine Konklusion sein muss zur Hypothesis von <hi rendition="#fr">D</hi> 40.</p><lb/>
          <p>Bemerkt man nun, dass die dritte Aussage 12) von derselben Form<lb/>
ist wie die erste und sich von ihr blos dadurch unterscheidet, dass das<lb/>
Glied <hi rendition="#i">b</hi> dort hier vertreten ist durch <hi rendition="#i">b</hi> + <hi rendition="#i">a</hi> ; <hi rendition="#i">b</hi>, so offenbart sich, dass uns<lb/>
der Satz 12) ein Recht gibt, so lange fortgesetzt als wir mögen seine Aus-<lb/>
sage äquivalent umzuschreiben dadurch, <hi rendition="#i">dass wir b durch b</hi> + <hi rendition="#i">a</hi> ; <hi rendition="#i">b ersetzen</hi>.</p><lb/>
          <p>Nun ist blos noch die &#x201E;Wahrnehmung&#x201C; erforderlich, dass der Effekt<lb/>
solcher Ersetzung, wenn sie durchweg mit <hi rendition="#i">b</hi> vorgenommen wird, ganz der-<lb/>
selbe ist, wie wenn sie <hi rendition="#i">blos an dem letzten b</hi> vollzogen wird, und so werden<lb/>
wir leicht als mit den Aussagen 12) äquivalent die folgenden hinzu-<lb/>
gewinnen:<lb/><hi rendition="#c">= (<hi rendition="#i">b</hi> + <hi rendition="#i">a</hi> ; <hi rendition="#i">b</hi> + <hi rendition="#i">a</hi><hi rendition="#sup">2</hi> ; <hi rendition="#i">b</hi> + <hi rendition="#i">a</hi> ; <hi rendition="#i">c</hi> &#x22F9; <hi rendition="#i">c</hi>) = (<hi rendition="#i">b</hi> + <hi rendition="#i">a</hi> ; <hi rendition="#i">b</hi> + <hi rendition="#i">a</hi><hi rendition="#sup">2</hi> ; <hi rendition="#i">b</hi> + <hi rendition="#i">a</hi><hi rendition="#sup">3</hi> ; <hi rendition="#i">b</hi> + <hi rendition="#i">a</hi> ; <hi rendition="#i">c</hi> &#x22F9; <hi rendition="#i">c</hi>) = &#x2026;,</hi><lb/>
welche bei der erlaubten Unterdrückung des <hi rendition="#i">Gliedes a</hi> ; <hi rendition="#i">c</hi> &#x2014; d. h. bei Ver-<lb/>
schweigung des Aussagen<hi rendition="#i">faktors</hi> (<hi rendition="#i">a</hi> ; <hi rendition="#i">c</hi> &#x22F9; <hi rendition="#i">c</hi>) &#x2014; uns die Konklusionen vor-<lb/>
stellen, die auf eine unbegrenzte Gliedermenge ausgedehnt unsern Satz <hi rendition="#fr">D</hi> 47<lb/>
ausmachen.</p><lb/>
          <p>Jene &#x201E;Wahrnehmung&#x201C; allgemein zu begründen genügt der Nachweis,<lb/>
dass, wenn etwa<lb/><hi rendition="#c">(1' + <hi rendition="#i">a</hi> + <hi rendition="#i">a</hi><hi rendition="#sup">2</hi> + <hi rendition="#i">a</hi><hi rendition="#sup">3</hi> + &#x2026; + <hi rendition="#i">a<hi rendition="#sup">n</hi></hi>) ; <hi rendition="#i">b</hi> = <hi rendition="#i">f<hi rendition="#sup">n</hi></hi>(<hi rendition="#i">b</hi>)</hi><lb/>
genannt wird,<lb/><hi rendition="#c"><hi rendition="#i">f<hi rendition="#sup">n</hi></hi>(<hi rendition="#i">b</hi> + <hi rendition="#i">a</hi> ; <hi rendition="#i">b</hi>) = <hi rendition="#i">f</hi><hi rendition="#sup"><hi rendition="#i">n</hi> + 1</hi>(<hi rendition="#i">b</hi>)</hi><lb/>
sein muss &#x2014; wo dann schliesslich <hi rendition="#i">f</hi><hi rendition="#sup">&#x221E;</hi>(<hi rendition="#i">b</hi>) = <hi rendition="#i">a</hi><hi rendition="#sub">0</hi> ; <hi rendition="#i">b</hi> ist. Dieser Nachweis unter-<lb/>
liegt aber in der That keiner Schwierigkeit.</p><lb/>
          <p>Indem <hi rendition="#i">f</hi><hi rendition="#sup">1</hi>(<hi rendition="#i">b</hi>) = <hi rendition="#i">f</hi>(<hi rendition="#i">b</hi>) = <hi rendition="#i">b</hi> + <hi rendition="#i">a</hi> ; <hi rendition="#i">b</hi> = (1' + <hi rendition="#i">a</hi>) ; <hi rendition="#i">b</hi> hier bedeutete und ohnehin<lb/>
(1' + <hi rendition="#i">a</hi>)<hi rendition="#i"><hi rendition="#sup">n</hi></hi> ; (1' + <hi rendition="#i">a</hi>) = (1' + <hi rendition="#i">a</hi>)<hi rendition="#sup"><hi rendition="#i">n</hi> + 1</hi> sein muss &#x2014; vergl. die in § 13 unter 8)<lb/>
gegebene &#x201E;induktorische&#x201C; oder &#x201E;rekurrente&#x201C; Definition der Potenz &#x2014; kann<lb/></p>
        </div>
      </div>
    </body>
  </text>
</TEI>
[364/0378] Neunte Vorlesung. n = 2, zufolgedessen wieder für n = 3 und so fort in infinitum). Auf diesen Teilschlüssen aber beruhte der obige Beweis. — Beiläufig kann man denselben auch für den ganzen Satz auf einmal führen in Gestalt einer unbegrenzten Serie von äquivalenten Aussagen- transformationen. Zu dem Ende schreiben wir das Schema des D 40 „voller“ an in der Gestalt: 12) (b + a ; c ⋹ c) = {b + a ; (b + c) ⋹ c} = (b + a ; b + a ; c ⋹ c), indem wir die Hypothesis des Satzes in der Thesis nochmals miterwähnen, die Voraussetzung bei der Behauptung wiederholend, sie zu dieser schlagen und mit ihr vereinigen — was nach dem principium identitatis des Aus- sagenkalkuls gestattet ist. Weil dann der Schluss von der Voraussetzung auf die Behauptung auch rückwärts zulässig, indem diese ja jene mit in sich schliesst, so geht hierbei die Aussagensubsumtion in eine Aussagen- äquivalenz oder Gleichung über. Diese Bemerkung, aufgrund deren auch offenbar 13) (a ; c + b ⋹ c) ⋹ {a ; (b + c) ⋹ c} sein muss, schlägt nebenbei eine Brücke von D 40 zu D 41, dessen Thesis hiernach auch eine Konklusion sein muss zur Hypothesis von D 40. Bemerkt man nun, dass die dritte Aussage 12) von derselben Form ist wie die erste und sich von ihr blos dadurch unterscheidet, dass das Glied b dort hier vertreten ist durch b + a ; b, so offenbart sich, dass uns der Satz 12) ein Recht gibt, so lange fortgesetzt als wir mögen seine Aus- sage äquivalent umzuschreiben dadurch, dass wir b durch b + a ; b ersetzen. Nun ist blos noch die „Wahrnehmung“ erforderlich, dass der Effekt solcher Ersetzung, wenn sie durchweg mit b vorgenommen wird, ganz der- selbe ist, wie wenn sie blos an dem letzten b vollzogen wird, und so werden wir leicht als mit den Aussagen 12) äquivalent die folgenden hinzu- gewinnen: = (b + a ; b + a2 ; b + a ; c ⋹ c) = (b + a ; b + a2 ; b + a3 ; b + a ; c ⋹ c) = …, welche bei der erlaubten Unterdrückung des Gliedes a ; c — d. h. bei Ver- schweigung des Aussagenfaktors (a ; c ⋹ c) — uns die Konklusionen vor- stellen, die auf eine unbegrenzte Gliedermenge ausgedehnt unsern Satz D 47 ausmachen. Jene „Wahrnehmung“ allgemein zu begründen genügt der Nachweis, dass, wenn etwa (1' + a + a2 + a3 + … + an) ; b = fn(b) genannt wird, fn(b + a ; b) = fn + 1(b) sein muss — wo dann schliesslich f∞(b) = a0 ; b ist. Dieser Nachweis unter- liegt aber in der That keiner Schwierigkeit. Indem f1(b) = f(b) = b + a ; b = (1' + a) ; b hier bedeutete und ohnehin (1' + a)n ; (1' + a) = (1' + a)n + 1 sein muss — vergl. die in § 13 unter 8) gegebene „induktorische“ oder „rekurrente“ Definition der Potenz — kann

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