Schröder, Ernst: Vorlesungen über die Algebra der Logik. Bd. 3, Abt. 1. Leipzig, 1895.Zwölfte Vorlesung. Nun ist auch die in D 33 statuirte Transitivität der Ähnlichkeits- Etwas mehr Umstände macht uns der Beweis von D 35, S. 610. Zu dem Ende mögen wir uns etwa die Ähnlichkeitsdefinition in der Wenn nun gemäss der zur Voraussetzung erhobnen rechten Seite *) Hiefür unterlässt Herr Dedekind leider eine Begründung anzugeben,
indem er p. 10 das System sogleich mit dem prädikativen Attribute als das "mit c ähnliche System" z ; c einführt. Es ist ja freilich, ebenso wie schon der ganze Satz D 35, aus der Anschauung der gegenseitig eindeutigen Zuordnung ohne weitres einleuchtend. Die Behauptung sollte gleichwol, als beweisbar, nicht ohne Beweis gelassen werden, und dass sie eines solchen im Sinne unsrer Disziplin bedarf, wird die Fortsetzung der Überlegung zeigen. Zwölfte Vorlesung. Nun ist auch die in D 33 statuirte Transitivität der Ähnlichkeits- Etwas mehr Umstände macht uns der Beweis von D 35, S. 610. Zu dem Ende mögen wir uns etwa die Ähnlichkeitsdefinition in der Wenn nun gemäss der zur Voraussetzung erhobnen rechten Seite *) Hiefür unterlässt Herr Dedekind leider eine Begründung anzugeben,
indem er p. 10 das System sogleich mit dem prädikativen Attribute als das „mit c ähnliche System“ z ; c einführt. Es ist ja freilich, ebenso wie schon der ganze Satz D 35, aus der Anschauung der gegenseitig eindeutigen Zuordnung ohne weitres einleuchtend. Die Behauptung sollte gleichwol, als beweisbar, nicht ohne Beweis gelassen werden, und dass sie eines solchen im Sinne unsrer Disziplin bedarf, wird die Fortsetzung der Überlegung zeigen. <TEI> <text> <body> <div n="1"> <div n="2"> <pb facs="#f0636" n="622"/> <fw place="top" type="header">Zwölfte Vorlesung.</fw><lb/> <p>Nun ist auch die in <hi rendition="#fr">D</hi> 33 statuirte Transitivität der Ähnlichkeits-<lb/> beziehung zwischen den Systemen <hi rendition="#i">a</hi>, <hi rendition="#i">b</hi>, <hi rendition="#i">c</hi> offenbar. Denn wenn es eine<lb/> ähnliche Abbildung <hi rendition="#i">x</hi> von <hi rendition="#i">a</hi> in <hi rendition="#i">b</hi> und eine solche <hi rendition="#i">y</hi> von <hi rendition="#i">b</hi> in <hi rendition="#i">c gibt</hi>, so<lb/> gibt es nach <hi rendition="#fr">D</hi> 31 auch in Gestalt von <hi rendition="#i">y</hi> ; <hi rendition="#i">x</hi> eine ähnliche Abbildung <hi rendition="#i">z</hi> von<lb/><hi rendition="#i">a</hi> in <hi rendition="#i">c</hi>, q. e. d.</p><lb/> <p>Etwas mehr Umstände macht uns der Beweis von <hi rendition="#fr">D</hi> 35, S. 610.</p><lb/> <p>Zu dem Ende mögen wir uns etwa die Ähnlichkeitsdefinition in der<lb/> Fassung aus 1) und (4) vergegenwärtigen:<lb/> 40) <hi rendition="#et">(<hi rendition="#i">a</hi> ∽ <hi rendition="#i">b</hi>) =</hi><lb/><formula/>,<lb/> wo für <hi rendition="#i">Z<hi rendition="#sub">h k</hi></hi> = <hi rendition="#i">Π<hi rendition="#sub">m</hi></hi>{(<hi rendition="#i">m</hi> ≠ <hi rendition="#i">h</hi>) ⋹ (<hi rendition="#i">k</hi> ≠ <hi rendition="#i">z</hi> ; <hi rendition="#i">m</hi>)}<hi rendition="#i">Π<hi rendition="#sub">n</hi></hi>{(<hi rendition="#i">n</hi> ≠ <hi rendition="#i">k</hi>) ⋹ (<hi rendition="#i">n</hi> ≠ <hi rendition="#i">z</hi> ; <hi rendition="#i">h</hi>)}<lb/> etwas bequemer wie bei 1) der in 12) für <hi rendition="#i">Z<hi rendition="#sub">k h</hi></hi> gegebne Ausdruck ge-<lb/> nommen werden mag, und wo die Ersetzung der Einordnungszeichen und<lb/> ihrer Negation bei den Thesen (sive Aussagensubsumtionsprädikaten, wie<lb/><hi rendition="#i">k</hi> ⋹ <hi rendition="#i">z</hi> ; <hi rendition="#i">h</hi>) durch Gleichheitszeichen und deren Negation aus 26) bereits ge-<lb/> rechtfertigt erscheint.</p><lb/> <p>Wenn nun gemäss der zur Voraussetzung erhobnen rechten Seite<lb/> von 40) <hi rendition="#i">z</hi> das System <hi rendition="#i">a</hi> ähnlich in das <hi rendition="#i">b</hi> abbildet, also <hi rendition="#i">b</hi> = <hi rendition="#i">z</hi> ; <hi rendition="#i">a</hi>, <hi rendition="#i">z̆</hi> ; <hi rendition="#i">b</hi> = <hi rendition="#i">a</hi><lb/> ist und <hi rendition="#i">c</hi> = <hi rendition="#i">c</hi> ; 1 ⋹ <hi rendition="#i">a</hi> ein Teilsystem von <hi rendition="#i">a</hi> vorstellt, so folgt auch <hi rendition="#i">z</hi> ; <hi rendition="#i">c</hi> ⋹ <hi rendition="#i">z</hi> ; <hi rendition="#i">a</hi>,<lb/> und falls <hi rendition="#i">z</hi> ; <hi rendition="#i">c</hi> = <hi rendition="#i">d</hi> genannt wird: <hi rendition="#i">d</hi> ⋹ <hi rendition="#i">b</hi>. Es wird nun zu zeigen sein, dass<lb/> dieses System <hi rendition="#i">d</hi> = <hi rendition="#i">z</hi> ; <hi rendition="#i">c</hi> ähnlich mit <hi rendition="#i">c</hi> sein<note place="foot" n="*)">Hiefür unterlässt Herr <hi rendition="#g">Dedekind</hi> leider eine Begründung anzugeben,<lb/> indem er p. 10 das System sogleich mit dem prädikativen Attribute als das „mit <hi rendition="#i">c</hi><lb/> ähnliche System“ <hi rendition="#i">z</hi> ; <hi rendition="#i">c</hi> einführt. Es ist ja freilich, <hi rendition="#i">ebenso wie schon der ganze<lb/> Satz</hi> <hi rendition="#fr">D</hi> 35, aus der Anschauung der gegenseitig eindeutigen Zuordnung ohne<lb/> weitres einleuchtend. Die Behauptung sollte gleichwol, als beweisbar, nicht ohne<lb/> Beweis gelassen werden, und dass sie eines solchen im Sinne unsrer Disziplin<lb/><hi rendition="#i">bedarf</hi>, wird die Fortsetzung der Überlegung zeigen.</note>, mithin gelten muss:<lb/><hi rendition="#c"><hi rendition="#i">Π<hi rendition="#sub">h</hi></hi>{(<hi rendition="#i">h</hi>⋹<hi rendition="#i">c</hi>) ⋹<hi rendition="#i">Σ<hi rendition="#sub">k</hi></hi>(<hi rendition="#i">z</hi> ; <hi rendition="#i">h</hi> = <hi rendition="#i">k</hi> ⋹ <hi rendition="#i">d</hi>)<hi rendition="#i">Z<hi rendition="#sub">k h</hi></hi>}<hi rendition="#i">Π<hi rendition="#sub">k</hi></hi>{(<hi rendition="#i">k</hi> ⋹ <hi rendition="#i">d</hi>) ⋹ <hi rendition="#i">Σ<hi rendition="#sub">h</hi></hi>(<hi rendition="#i">z̆</hi> ; <hi rendition="#i">k</hi> = <hi rendition="#i">h</hi> ⋹ <hi rendition="#i">c</hi>)<hi rendition="#i">Z<hi rendition="#sub">k h</hi></hi>}.</hi><lb/> Da nun mit <hi rendition="#i">h</hi> ⋹ <hi rendition="#i">c</hi>, resp. <hi rendition="#i">k</hi> ⋹ <hi rendition="#i">d</hi>, a fortiori auch <hi rendition="#i">h</hi> ⋹ <hi rendition="#i">a</hi> resp. <hi rendition="#i">k</hi> ⋹ <hi rendition="#i">b</hi> folgt,<lb/> so erscheinen in der That mit Einschluss von <hi rendition="#i">Z<hi rendition="#sub">k h</hi></hi> sämtliche Teilbehaup-<lb/> tungen unsrer Thesis mit 40) sogleich verbürgt <hi rendition="#i">bis auf diese</hi> beiden,<lb/><hi rendition="#c">dass links <hi rendition="#i">k</hi> ⋹ <hi rendition="#i">d</hi>, rechts <hi rendition="#i">h</hi> ⋹ <hi rendition="#i">c</hi> sei.</hi><lb/> [In dem <hi rendition="#i">Π<hi rendition="#sub">h</hi></hi> und dem <hi rendition="#i">Π<hi rendition="#sub">k</hi></hi> sind <hi rendition="#i">h</hi> und <hi rendition="#i">k</hi> durch verschiedne Voraussetzungen<lb/> eingeführt, haben also a priori verschiedne Bedeutungen und nichts mit-<lb/> einander zu schaffen. Wenn nun für das erstre <hi rendition="#i">h</hi>, welches ⋹ <hi rendition="#i">c</hi> ⋹ <hi rendition="#i">a</hi>, so-<lb/> gleich feststeht, dass es ein <hi rendition="#i">k</hi> ⋹ <hi rendition="#i">b</hi> gebe so, dass <hi rendition="#i">z</hi> ; <hi rendition="#i">h</hi> = <hi rendition="#i">k</hi> ist, so sind wir<lb/> doch nicht am Ziele, weil ja zu beweisen bleibt, dass dieses <hi rendition="#i">k</hi> sogar ⋹ <hi rendition="#i">d</hi><lb/> sei. Etc.] Nun gilt: (<hi rendition="#i">k</hi> ⋹ <hi rendition="#i">d</hi>) + (<hi rendition="#i">k</hi> ⋹ <hi rendition="#i">d̄</hi>), (<hi rendition="#i">h</hi> ⋹ <hi rendition="#i">c</hi>) + (<hi rendition="#i">h</hi> ⋹ <hi rendition="#i">c̄</hi>), ebenso für das<lb/> schon dem System <hi rendition="#i">b</hi> erwiesnermaassen angehörige Element <hi rendition="#i">k</hi>:<lb/><hi rendition="#c">(<hi rendition="#i">k</hi> ⋹ <hi rendition="#i">bd</hi> = <hi rendition="#i">d</hi>) + (<hi rendition="#i">k</hi> ⋹ <hi rendition="#i">bd</hi>),</hi><lb/> und für das dem <hi rendition="#i">a</hi> angehörige <hi rendition="#i">h</hi>: (<hi rendition="#i">h</hi> ⋹ <hi rendition="#i">ac</hi> = <hi rendition="#i">c</hi>) + (<hi rendition="#i">h</hi> ⋹ <hi rendition="#i">ac̄</hi>), wobei jeweils<lb/> die beiden Möglichkeiten einander ausschliessen.</p><lb/> </div> </div> </body> </text> </TEI> [622/0636]
Zwölfte Vorlesung.
Nun ist auch die in D 33 statuirte Transitivität der Ähnlichkeits-
beziehung zwischen den Systemen a, b, c offenbar. Denn wenn es eine
ähnliche Abbildung x von a in b und eine solche y von b in c gibt, so
gibt es nach D 31 auch in Gestalt von y ; x eine ähnliche Abbildung z von
a in c, q. e. d.
Etwas mehr Umstände macht uns der Beweis von D 35, S. 610.
Zu dem Ende mögen wir uns etwa die Ähnlichkeitsdefinition in der
Fassung aus 1) und (4) vergegenwärtigen:
40) (a ∽ b) =
[FORMEL],
wo für Zh k = Πm{(m ≠ h) ⋹ (k ≠ z ; m)}Πn{(n ≠ k) ⋹ (n ≠ z ; h)}
etwas bequemer wie bei 1) der in 12) für Zk h gegebne Ausdruck ge-
nommen werden mag, und wo die Ersetzung der Einordnungszeichen und
ihrer Negation bei den Thesen (sive Aussagensubsumtionsprädikaten, wie
k ⋹ z ; h) durch Gleichheitszeichen und deren Negation aus 26) bereits ge-
rechtfertigt erscheint.
Wenn nun gemäss der zur Voraussetzung erhobnen rechten Seite
von 40) z das System a ähnlich in das b abbildet, also b = z ; a, z̆ ; b = a
ist und c = c ; 1 ⋹ a ein Teilsystem von a vorstellt, so folgt auch z ; c ⋹ z ; a,
und falls z ; c = d genannt wird: d ⋹ b. Es wird nun zu zeigen sein, dass
dieses System d = z ; c ähnlich mit c sein *), mithin gelten muss:
Πh{(h⋹c) ⋹Σk(z ; h = k ⋹ d)Zk h}Πk{(k ⋹ d) ⋹ Σh(z̆ ; k = h ⋹ c)Zk h}.
Da nun mit h ⋹ c, resp. k ⋹ d, a fortiori auch h ⋹ a resp. k ⋹ b folgt,
so erscheinen in der That mit Einschluss von Zk h sämtliche Teilbehaup-
tungen unsrer Thesis mit 40) sogleich verbürgt bis auf diese beiden,
dass links k ⋹ d, rechts h ⋹ c sei.
[In dem Πh und dem Πk sind h und k durch verschiedne Voraussetzungen
eingeführt, haben also a priori verschiedne Bedeutungen und nichts mit-
einander zu schaffen. Wenn nun für das erstre h, welches ⋹ c ⋹ a, so-
gleich feststeht, dass es ein k ⋹ b gebe so, dass z ; h = k ist, so sind wir
doch nicht am Ziele, weil ja zu beweisen bleibt, dass dieses k sogar ⋹ d
sei. Etc.] Nun gilt: (k ⋹ d) + (k ⋹ d̄), (h ⋹ c) + (h ⋹ c̄), ebenso für das
schon dem System b erwiesnermaassen angehörige Element k:
(k ⋹ bd = d) + (k ⋹ bd),
und für das dem a angehörige h: (h ⋹ ac = c) + (h ⋹ ac̄), wobei jeweils
die beiden Möglichkeiten einander ausschliessen.
*) Hiefür unterlässt Herr Dedekind leider eine Begründung anzugeben,
indem er p. 10 das System sogleich mit dem prädikativen Attribute als das „mit c
ähnliche System“ z ; c einführt. Es ist ja freilich, ebenso wie schon der ganze
Satz D 35, aus der Anschauung der gegenseitig eindeutigen Zuordnung ohne
weitres einleuchtend. Die Behauptung sollte gleichwol, als beweisbar, nicht ohne
Beweis gelassen werden, und dass sie eines solchen im Sinne unsrer Disziplin
bedarf, wird die Fortsetzung der Überlegung zeigen.
Suche im WerkInformationen zum Werk
Download dieses Werks
XML (TEI P5) ·
HTML ·
Text Metadaten zum WerkTEI-Header · CMDI · Dublin Core Ansichten dieser Seite
Voyant Tools
|
URL zu diesem Werk: | https://www.deutschestextarchiv.de/schroeder_logik03_1895 |
URL zu dieser Seite: | https://www.deutschestextarchiv.de/schroeder_logik03_1895/636 |
Zitationshilfe: | Schröder, Ernst: Vorlesungen über die Algebra der Logik. Bd. 3, Abt. 1. Leipzig, 1895, S. 622. In: Deutsches Textarchiv <https://www.deutschestextarchiv.de/schroeder_logik03_1895/636>, abgerufen am 02.09.2024. |