des § 6 den Schluss zieht: a ; ba ; c, und diesen mit der ersten Teil- prämisse behufs Anwendung des Subsumtionsschlusses zusammenhält.
D 41.
[Formel 1]
-- wie der Satz nach Zerfällung der beiderseitigen Aussagen lautet, besagt:
Ist das a-Bild von b Teil einer Kette c inbezug auf a, so gibt es eine Kette u (Kette inbezug auf a) derart, dass sie b in sich enthält und ihr a-Bild in c enthalten ist, m. a. W. von der b ein Teil ist und deren a-Bild Teil von c ist.
Der Beweis (etwa beginnend mit: "Denn es ist ...") kann auch als Fortsetzung des Satzes ausgesprochen werden: "Und zwar ist" u = b + c eine solche Kette. Dieselbe erfüllt nämlich in der That die drei Forde- rungen der vorstehend zerlegten Behauptung, und zwar die dritte kraft der in 20) noch unzerlegten Prämisse, die zweite identisch wegen bb + c und die erste a fortiori mit Rücksicht auf die dritte nebst cb + c.
Die 4 hiermit erledigten Sätze könnten noch zur "Einleitung" der Kettentheorie gerechnet werden, die nun erst recht -- mit dem punc- tum saliens D 44 -- beginnt, und wenn man will schon mit D 59 ab- schliesst. In dieser werden uns nach dem Vorbemerkten 14 (zu 15 -- falls man etwa die Zusatzdefinition zum Satze D 57 gesondert zählt) -- sage vierzehn -- Erklärungen oder Sätze (noch keine halbe Druck- seite!) zu studiren bleiben.
Diese Reihe von Sätzen aber werden wir jetzt von zwei ganz ver- schiedenen Standpunkten aus durchgehen und einsehen -- man kann beinah vollkommen zutreffend sagen: in den zwei entgegengesetzten Richtungen hin und her, oder "vorwärts" und "rückwärts".
Der "Rückweg" ("Herweg") ist bei weitem kürzer, dazu bequemer und leichter, zumal er auch nicht ganz zu Ende gegangen zu werden braucht und sogar die schon als "Einleitung" erledigte Gruppe 20) von Sätzen für ihn entbehrlich bleibt. Diesen Weg zuerst zu gehn er- scheint aus didaktischen Gründen geboten.
Dagegen erweist nur der "Hinweg" ("? Vorweg"), d. h. der "vor- wärts" zurückzulegende Weg, sich als mit unserm "Hauptzwecke" der Kettentheorie vereinbar!
Jenen Rückweg zu gehn empfiehlt nachträglich auch Herr Dedekind selbst seinem Leser -- p. 40 unter D 131.
Dabei würde von dem Ergebnisse D 58 auszugehen sein, welches sich mit Rücksicht auf die unmittelbar vorhergehende Definition D 57 auch in der Gestalt schreiben lässt: a0 ; b = b + a ; a0 ; b
Neunte Vorlesung.
des § 6 den Schluss zieht: a ; b ⋹ a ; c, und diesen mit der ersten Teil- prämisse behufs Anwendung des Subsumtionsschlusses zusammenhält.
D 41.
[Formel 1]
— wie der Satz nach Zerfällung der beiderseitigen Aussagen lautet, besagt:
Ist das a-Bild von b Teil einer Kette c inbezug auf a, so gibt es eine Kette u (Kette inbezug auf a) derart, dass sie b in sich enthält und ihr a-Bild in c enthalten ist, m. a. W. von der b ein Teil ist und deren a-Bild Teil von c ist.
Der Beweis (etwa beginnend mit: „Denn es ist …“) kann auch als Fortsetzung des Satzes ausgesprochen werden: „Und zwar ist“ u = b + c eine solche Kette. Dieselbe erfüllt nämlich in der That die drei Forde- rungen der vorstehend zerlegten Behauptung, und zwar die dritte kraft der in 20) noch unzerlegten Prämisse, die zweite identisch wegen b ⋹ b + c und die erste a fortiori mit Rücksicht auf die dritte nebst c ⋹ b + c.
Die 4 hiermit erledigten Sätze könnten noch zur „Einleitung“ der Kettentheorie gerechnet werden, die nun erst recht — mit dem punc- tum saliens D 44 — beginnt, und wenn man will schon mit D 59 ab- schliesst. In dieser werden uns nach dem Vorbemerkten 14 (zu 15 — falls man etwa die Zusatzdefinition zum Satze D 57 gesondert zählt) — sage vierzehn — Erklärungen oder Sätze (noch keine halbe Druck- seite!) zu studiren bleiben.
Diese Reihe von Sätzen aber werden wir jetzt von zwei ganz ver- schiedenen Standpunkten aus durchgehen und einsehen — man kann beinah vollkommen zutreffend sagen: in den zwei entgegengesetzten Richtungen hin und her, oder „vorwärts“ und „rückwärts“.
Der „Rückweg“ („Herweg“) ist bei weitem kürzer, dazu bequemer und leichter, zumal er auch nicht ganz zu Ende gegangen zu werden braucht und sogar die schon als „Einleitung“ erledigte Gruppe 20) von Sätzen für ihn entbehrlich bleibt. Diesen Weg zuerst zu gehn er- scheint aus didaktischen Gründen geboten.
Dagegen erweist nur der „Hinweg“ („? Vorweg“), d. h. der „vor- wärts“ zurückzulegende Weg, sich als mit unserm „Hauptzwecke“ der Kettentheorie vereinbar!
Jenen Rückweg zu gehn empfiehlt nachträglich auch Herr Dedekind selbst seinem Leser — p. 40 unter D 131.
Dabei würde von dem Ergebnisse D 58 auszugehen sein, welches sich mit Rücksicht auf die unmittelbar vorhergehende Definition D 57 auch in der Gestalt schreiben lässt: a0 ; b = b + a ; a0 ; b
<TEI><text><body><divn="1"><divn="2"><p><pbfacs="#f0374"n="360"/><fwplace="top"type="header">Neunte Vorlesung.</fw><lb/>
des § 6 den Schluss zieht: <hirendition="#i">a</hi> ; <hirendition="#i">b</hi>⋹<hirendition="#i">a</hi> ; <hirendition="#i">c</hi>, und diesen mit der ersten Teil-<lb/>
prämisse behufs Anwendung des Subsumtionsschlusses zusammenhält.</p><lb/><p><hirendition="#fr">D</hi> 41. <formula/><lb/>— wie der Satz nach Zerfällung der beiderseitigen Aussagen lautet,<lb/>
besagt:</p><lb/><p><hirendition="#i">Ist das a-Bild von b Teil einer Kette c inbezug auf a</hi>, <hirendition="#i">so gibt es<lb/>
eine Kette u</hi> (<hirendition="#i">Kette inbezug auf a</hi>) <hirendition="#i">derart</hi>, <hirendition="#i">dass sie b in sich enthält und<lb/>
ihr a-Bild in c enthalten ist</hi>, m. a. W. von der <hirendition="#i">b</hi> ein Teil ist und deren<lb/><hirendition="#i">a</hi>-Bild Teil von <hirendition="#i">c</hi> ist.</p><lb/><p>Der <hirendition="#g">Beweis</hi> (etwa beginnend mit: „Denn es ist …“) kann auch als<lb/>
Fortsetzung des Satzes ausgesprochen werden: „Und zwar ist“<hirendition="#i">u</hi> = <hirendition="#i">b</hi> + <hirendition="#i">c</hi><lb/>
eine solche Kette. Dieselbe erfüllt nämlich in der That die drei Forde-<lb/>
rungen der vorstehend zerlegten Behauptung, und zwar die dritte kraft<lb/>
der in 2<hirendition="#sup">0</hi>) noch unzerlegten Prämisse, die zweite identisch wegen <hirendition="#i">b</hi>⋹<hirendition="#i">b</hi> + <hirendition="#i">c</hi><lb/>
und die erste a fortiori mit Rücksicht auf die dritte nebst <hirendition="#i">c</hi>⋹<hirendition="#i">b</hi> + <hirendition="#i">c</hi>.</p><lb/><p>Die 4 hiermit erledigten Sätze könnten noch zur „<hirendition="#i">Einleitung</hi>“ der<lb/>
Kettentheorie gerechnet werden, die nun erst recht — mit dem punc-<lb/>
tum saliens <hirendition="#fr">D</hi> 44 —<hirendition="#i">beginnt</hi>, und wenn man will schon mit <hirendition="#fr">D</hi> 59 ab-<lb/>
schliesst. In dieser werden uns nach dem Vorbemerkten 14 (zu 15 —<lb/>
falls man etwa die Zusatzdefinition zum Satze <hirendition="#fr">D</hi> 57 gesondert zählt)<lb/>— sage <hirendition="#i">vierzehn</hi>— Erklärungen oder Sätze (noch keine halbe Druck-<lb/>
seite!) zu studiren bleiben.</p><lb/><p>Diese Reihe von Sätzen aber werden wir jetzt <hirendition="#i">von zwei ganz ver-<lb/>
schiedenen Standpunkten aus</hi> durchgehen und <hirendition="#i">einsehen</hi>— man kann<lb/>
beinah vollkommen zutreffend sagen: in den zwei entgegengesetzten<lb/>
Richtungen <hirendition="#i">hin</hi> und <hirendition="#i">her</hi>, oder „<hirendition="#i">vorwärts</hi>“ und „<hirendition="#i">rückwärts</hi>“.</p><lb/><p>Der „<hirendition="#i">Rückweg</hi>“ („Herweg“) ist bei weitem kürzer, dazu bequemer<lb/>
und leichter, zumal er auch nicht ganz zu Ende gegangen zu werden<lb/>
braucht und sogar die schon als „Einleitung“ erledigte Gruppe 2<hirendition="#sup">0</hi>) von<lb/>
Sätzen für ihn entbehrlich bleibt. Diesen Weg <hirendition="#i">zuerst</hi> zu gehn er-<lb/>
scheint aus didaktischen Gründen geboten.</p><lb/><p>Dagegen erweist nur der „<hirendition="#i">Hinweg</hi>“ („? <hirendition="#i">Vor</hi>weg“), d. h. der „vor-<lb/>
wärts“ zurückzulegende Weg, sich als mit unserm „Hauptzwecke“ der<lb/>
Kettentheorie vereinbar!</p><lb/><p>Jenen Rückweg zu gehn empfiehlt nachträglich auch Herr <hirendition="#g">Dedekind</hi><lb/>
selbst seinem Leser — p. 40 unter <hirendition="#fr">D</hi> 131.</p><lb/><p>Dabei würde von dem Ergebnisse <hirendition="#fr">D</hi> 58 auszugehen sein, welches sich<lb/>
mit Rücksicht auf die unmittelbar vorhergehende Definition <hirendition="#fr">D</hi> 57 auch in<lb/>
der Gestalt schreiben lässt:<lb/><hirendition="#c"><hirendition="#i">a</hi><hirendition="#sub">0</hi> ; <hirendition="#i">b</hi> = <hirendition="#i">b</hi> + <hirendition="#i">a</hi> ; <hirendition="#i">a</hi><hirendition="#sub">0</hi> ; <hirendition="#i">b</hi></hi><lb/></p></div></div></body></text></TEI>
[360/0374]
Neunte Vorlesung.
des § 6 den Schluss zieht: a ; b ⋹ a ; c, und diesen mit der ersten Teil-
prämisse behufs Anwendung des Subsumtionsschlusses zusammenhält.
D 41. [FORMEL]
— wie der Satz nach Zerfällung der beiderseitigen Aussagen lautet,
besagt:
Ist das a-Bild von b Teil einer Kette c inbezug auf a, so gibt es
eine Kette u (Kette inbezug auf a) derart, dass sie b in sich enthält und
ihr a-Bild in c enthalten ist, m. a. W. von der b ein Teil ist und deren
a-Bild Teil von c ist.
Der Beweis (etwa beginnend mit: „Denn es ist …“) kann auch als
Fortsetzung des Satzes ausgesprochen werden: „Und zwar ist“ u = b + c
eine solche Kette. Dieselbe erfüllt nämlich in der That die drei Forde-
rungen der vorstehend zerlegten Behauptung, und zwar die dritte kraft
der in 20) noch unzerlegten Prämisse, die zweite identisch wegen b ⋹ b + c
und die erste a fortiori mit Rücksicht auf die dritte nebst c ⋹ b + c.
Die 4 hiermit erledigten Sätze könnten noch zur „Einleitung“ der
Kettentheorie gerechnet werden, die nun erst recht — mit dem punc-
tum saliens D 44 — beginnt, und wenn man will schon mit D 59 ab-
schliesst. In dieser werden uns nach dem Vorbemerkten 14 (zu 15 —
falls man etwa die Zusatzdefinition zum Satze D 57 gesondert zählt)
— sage vierzehn — Erklärungen oder Sätze (noch keine halbe Druck-
seite!) zu studiren bleiben.
Diese Reihe von Sätzen aber werden wir jetzt von zwei ganz ver-
schiedenen Standpunkten aus durchgehen und einsehen — man kann
beinah vollkommen zutreffend sagen: in den zwei entgegengesetzten
Richtungen hin und her, oder „vorwärts“ und „rückwärts“.
Der „Rückweg“ („Herweg“) ist bei weitem kürzer, dazu bequemer
und leichter, zumal er auch nicht ganz zu Ende gegangen zu werden
braucht und sogar die schon als „Einleitung“ erledigte Gruppe 20) von
Sätzen für ihn entbehrlich bleibt. Diesen Weg zuerst zu gehn er-
scheint aus didaktischen Gründen geboten.
Dagegen erweist nur der „Hinweg“ („? Vorweg“), d. h. der „vor-
wärts“ zurückzulegende Weg, sich als mit unserm „Hauptzwecke“ der
Kettentheorie vereinbar!
Jenen Rückweg zu gehn empfiehlt nachträglich auch Herr Dedekind
selbst seinem Leser — p. 40 unter D 131.
Dabei würde von dem Ergebnisse D 58 auszugehen sein, welches sich
mit Rücksicht auf die unmittelbar vorhergehende Definition D 57 auch in
der Gestalt schreiben lässt:
a0 ; b = b + a ; a0 ; b
Informationen zur CAB-Ansicht
Diese Ansicht bietet Ihnen die Darstellung des Textes in normalisierter Orthographie.
Diese Textvariante wird vollautomatisch erstellt und kann aufgrund dessen auch Fehler enthalten.
Alle veränderten Wortformen sind grau hinterlegt. Als fremdsprachliches Material erkannte
Textteile sind ausgegraut dargestellt.
Schröder, Ernst: Vorlesungen über die Algebra der Logik. Bd. 3, Abt. 1. Leipzig, 1895, S. 360. In: Deutsches Textarchiv <https://www.deutschestextarchiv.de/schroeder_logik03_1895/374>, abgerufen am 14.05.2024.
Alle Inhalte dieser Seite unterstehen, soweit nicht anders gekennzeichnet, einer
Creative-Commons-Lizenz.
Die Rechte an den angezeigten Bilddigitalisaten, soweit nicht anders gekennzeichnet, liegen bei den besitzenden Bibliotheken.
Weitere Informationen finden Sie in den DTA-Nutzungsbedingungen.
Insbesondere im Hinblick auf die §§ 86a StGB und 130 StGB wird festgestellt, dass die auf
diesen Seiten abgebildeten Inhalte weder in irgendeiner Form propagandistischen Zwecken
dienen, oder Werbung für verbotene Organisationen oder Vereinigungen darstellen, oder
nationalsozialistische Verbrechen leugnen oder verharmlosen, noch zum Zwecke der
Herabwürdigung der Menschenwürde gezeigt werden.
Die auf diesen Seiten abgebildeten Inhalte (in Wort und Bild) dienen im Sinne des
§ 86 StGB Abs. 3 ausschließlich historischen, sozial- oder kulturwissenschaftlichen
Forschungszwecken. Ihre Veröffentlichung erfolgt in der Absicht, Wissen zur Anregung
der intellektuellen Selbstständigkeit und Verantwortungsbereitschaft des Staatsbürgers zu
vermitteln und damit der Förderung seiner Mündigkeit zu dienen.
Zitierempfehlung: Deutsches Textarchiv. Grundlage für ein Referenzkorpus der neuhochdeutschen Sprache. Herausgegeben von der Berlin-Brandenburgischen Akademie der Wissenschaften, Berlin 2024. URL: https://www.deutschestextarchiv.de/.
