Mit Rücksicht auf die Definition (1) der Gleichheit ist der nächste Satz, D 28, sodann ein ganz nahe liegendes Korollar des vorhergehenden.
Die Voraussetzungen c + da, etc. dürfen hierbei nicht unterdrückt werden, denn da die z-Bilder für alle ausserhalb a befindlichen Elemente (wegen z ; an = 0) verschwinden, so bräuchte in der That ein dem a nicht angehöriger Teil von c durchaus nicht in d enthalten zu sein.
Anders beim nächsten Satze, weil da die z-Bilder der ausserhalb a befindlichen Teilsysteme von c, d, cd, ... ohnehin wegfallen: 30) D 29. z ; cd .. = z ; c · z ; d ..., z ; cd .. = z ; c · z ; d ... Diese Gleichungen verstehen sich als vorwärtige Subsumtionen nach 5) des § 6 ohnehin.
Um sie als rückwärtige zu beweisen, kann man mit Dedekind überlegen:
Jedes Element von z ; c · z ; d ... ist jedenfalls in z ; a enthalten, also das Bild k = z ; h eines in a enthaltnen Elements h. Da aber z ; h gemein- sames Element von z ; c und z ; d, .., so muss nach 28) h gemeinsames Element von c und d, .. sein. Mithin ist jedes Element k von z ; c · z ; d ... das z-Bild eines Elementes h von cd .., also Element von z ; cd .. -- q. e. d.
Zweifellos würden sich für die drei letzten Sätze mit vorangeschriebnem P nach c, d, .. auch noch andre analytische Beweise, die, statt auf die Elemente zu argumentiren, mehr rechnerisch zuwerke gingen, liefern lassen.
Mit 30) erscheint eine Bemerkung auf S. 354 oben gerechtfertigt.
Der Satz D 30 statuirt blos, dass die identische Abbildung eines Systems a auch eine ähnliche Abbildung desselben sei -- und ist für uns nicht minder selbstverständlich.
In b hinein ist eine solche jedoch nur möglich soferne ab ist.
Ist ab und das Abbildungsprinzip z durch die normalen Be- dingungen (17) charakterisirt, so darf man überhaupt von jeder der nachfolgend im Überblick zusammengestellten Relationen Gebrauch machen: 31)
[Formel 1]
Zwölfte Vorlesung.
Mit Rücksicht auf die Definition (1) der Gleichheit ist der nächste Satz, D 28, sodann ein ganz nahe liegendes Korollar des vorhergehenden.
Die Voraussetzungen c + d ⋹ a, etc. dürfen hierbei nicht unterdrückt werden, denn da die z-Bilder für alle ausserhalb a befindlichen Elemente (wegen z ; ā = 0) verschwinden, so bräuchte in der That ein dem a nicht angehöriger Teil von c durchaus nicht in d enthalten zu sein.
Anders beim nächsten Satze, weil da die z-Bilder der ausserhalb a befindlichen Teilsysteme von c, d, cd, … ohnehin wegfallen: 30) D 29. z ; cd ‥ = z ; c · z ; d …, z̆ ; cd ‥ = z̆ ; c · z̆ ; d … Diese Gleichungen verstehen sich als vorwärtige Subsumtionen nach 5) des § 6 ohnehin.
Um sie als rückwärtige zu beweisen, kann man mit Dedekind überlegen:
Jedes Element von z ; c · z ; d … ist jedenfalls in z ; a enthalten, also das Bild k = z ; h eines in a enthaltnen Elements h. Da aber z ; h gemein- sames Element von z ; c und z ; d, ‥, so muss nach 28) h gemeinsames Element von c und d, ‥ sein. Mithin ist jedes Element k von z ; c · z ; d … das z-Bild eines Elementes h von cd ‥, also Element von z ; cd ‥ — q. e. d.
Zweifellos würden sich für die drei letzten Sätze mit vorangeschriebnem Π nach c, d, ‥ auch noch andre analytische Beweise, die, statt auf die Elemente zu argumentiren, mehr rechnerisch zuwerke gingen, liefern lassen.
Mit 30) erscheint eine Bemerkung auf S. 354 oben gerechtfertigt.
Der Satz D 30 statuirt blos, dass die identische Abbildung eines Systems a auch eine ähnliche Abbildung desselben sei — und ist für uns nicht minder selbstverständlich.
In b hinein ist eine solche jedoch nur möglich soferne a ⋹ b ist.
Ist a ∽ b und das Abbildungsprinzip z durch die normalen Be- dingungen (17) charakterisirt, so darf man überhaupt von jeder der nachfolgend im Überblick zusammengestellten Relationen Gebrauch machen: 31)
[Formel 1]
<TEI><text><body><divn="1"><divn="2"><pbfacs="#f0630"n="616"/><fwplace="top"type="header">Zwölfte Vorlesung.</fw><lb/><p>Mit Rücksicht auf die Definition (1) der Gleichheit ist der nächste<lb/>
Satz, <hirendition="#fr">D</hi> 28, sodann ein ganz nahe liegendes Korollar des vorhergehenden.</p><lb/><p>Die Voraussetzungen <hirendition="#i">c</hi> + <hirendition="#i">d</hi>⋹<hirendition="#i">a</hi>, etc. dürfen hierbei nicht unterdrückt<lb/>
werden, denn da die <hirendition="#i">z</hi>-Bilder für alle ausserhalb <hirendition="#i">a</hi> befindlichen Elemente<lb/>
(wegen <hirendition="#i">z</hi> ; <hirendition="#i">ā</hi> = 0) verschwinden, so bräuchte in der That ein dem <hirendition="#i">a</hi> nicht<lb/>
angehöriger Teil von <hirendition="#i">c</hi> durchaus nicht in <hirendition="#i">d</hi> enthalten zu sein.</p><lb/><p>Anders beim nächsten Satze, weil da die <hirendition="#i">z</hi>-Bilder der ausserhalb <hirendition="#i">a</hi><lb/>
befindlichen Teilsysteme von <hirendition="#i">c</hi>, <hirendition="#i">d</hi>, <hirendition="#i">cd</hi>, … ohnehin wegfallen:<lb/>
30) <hirendition="#fr">D</hi> 29. <hirendition="#i">z</hi> ; <hirendition="#i">cd</hi>‥ = <hirendition="#i">z</hi> ; <hirendition="#i">c</hi> · <hirendition="#i">z</hi> ; <hirendition="#i">d</hi>…, <hirendition="#i">z̆</hi> ; <hirendition="#i">cd</hi>‥ = <hirendition="#i">z̆</hi> ; <hirendition="#i">c</hi> · <hirendition="#i">z̆</hi> ; <hirendition="#i">d</hi>…<lb/>
Diese Gleichungen verstehen sich als vorwärtige Subsumtionen nach 5)<lb/>
des § 6 ohnehin.</p><lb/><p>Um sie als rückwärtige zu <hirendition="#g">beweisen</hi>, kann man mit <hirendition="#g">Dedekind</hi><lb/>
überlegen:</p><lb/><p>Jedes Element von <hirendition="#i">z</hi> ; <hirendition="#i">c</hi> · <hirendition="#i">z</hi> ; <hirendition="#i">d</hi>… ist jedenfalls in <hirendition="#i">z</hi> ; <hirendition="#i">a</hi> enthalten, also<lb/>
das Bild <hirendition="#i">k</hi> = <hirendition="#i">z</hi> ; <hirendition="#i">h</hi> eines in <hirendition="#i">a</hi> enthaltnen Elements <hirendition="#i">h</hi>. Da aber <hirendition="#i">z</hi> ; <hirendition="#i">h</hi> gemein-<lb/>
sames Element von <hirendition="#i">z</hi> ; <hirendition="#i">c</hi> und <hirendition="#i">z</hi> ; <hirendition="#i">d</hi>, ‥, so muss nach 28) <hirendition="#i">h</hi> gemeinsames<lb/>
Element von <hirendition="#i">c</hi> und <hirendition="#i">d</hi>, ‥ sein. Mithin ist jedes Element <hirendition="#i">k</hi> von <hirendition="#i">z</hi> ; <hirendition="#i">c</hi> · <hirendition="#i">z</hi> ; <hirendition="#i">d</hi>…<lb/>
das <hirendition="#i">z</hi>-Bild eines Elementes <hirendition="#i">h</hi> von <hirendition="#i">cd</hi>‥, also Element von <hirendition="#i">z</hi> ; <hirendition="#i">cd</hi>‥— q. e. d.</p><lb/><p>Zweifellos würden sich für die drei letzten Sätze mit vorangeschriebnem<lb/><hirendition="#i">Π</hi> nach <hirendition="#i">c</hi>, <hirendition="#i">d</hi>, ‥ auch noch andre analytische Beweise, die, statt auf die<lb/>
Elemente zu argumentiren, mehr rechnerisch zuwerke gingen, liefern lassen.</p><lb/><p>Mit 30) erscheint eine Bemerkung auf S. 354 oben gerechtfertigt.</p><lb/><p>Der Satz <hirendition="#fr">D</hi> 30 statuirt blos, dass die identische Abbildung eines<lb/>
Systems <hirendition="#i">a</hi> auch eine ähnliche Abbildung desselben sei — und ist für<lb/>
uns nicht minder selbstverständlich.</p><lb/><p>In <hirendition="#i">b</hi> hinein ist eine solche jedoch nur möglich soferne <hirendition="#i">a</hi>⋹<hirendition="#i">b</hi> ist.</p><lb/><p>Ist <hirendition="#i">a</hi>∽<hirendition="#i">b</hi> und das Abbildungsprinzip <hirendition="#i">z</hi> durch die normalen Be-<lb/>
dingungen (17) charakterisirt, so darf man überhaupt von jeder der<lb/>
nachfolgend im Überblick zusammengestellten Relationen Gebrauch<lb/>
machen:<lb/>
31) <formula/><lb/></p></div></div></body></text></TEI>
[616/0630]
Zwölfte Vorlesung.
Mit Rücksicht auf die Definition (1) der Gleichheit ist der nächste
Satz, D 28, sodann ein ganz nahe liegendes Korollar des vorhergehenden.
Die Voraussetzungen c + d ⋹ a, etc. dürfen hierbei nicht unterdrückt
werden, denn da die z-Bilder für alle ausserhalb a befindlichen Elemente
(wegen z ; ā = 0) verschwinden, so bräuchte in der That ein dem a nicht
angehöriger Teil von c durchaus nicht in d enthalten zu sein.
Anders beim nächsten Satze, weil da die z-Bilder der ausserhalb a
befindlichen Teilsysteme von c, d, cd, … ohnehin wegfallen:
30) D 29. z ; cd ‥ = z ; c · z ; d …, z̆ ; cd ‥ = z̆ ; c · z̆ ; d …
Diese Gleichungen verstehen sich als vorwärtige Subsumtionen nach 5)
des § 6 ohnehin.
Um sie als rückwärtige zu beweisen, kann man mit Dedekind
überlegen:
Jedes Element von z ; c · z ; d … ist jedenfalls in z ; a enthalten, also
das Bild k = z ; h eines in a enthaltnen Elements h. Da aber z ; h gemein-
sames Element von z ; c und z ; d, ‥, so muss nach 28) h gemeinsames
Element von c und d, ‥ sein. Mithin ist jedes Element k von z ; c · z ; d …
das z-Bild eines Elementes h von cd ‥, also Element von z ; cd ‥ — q. e. d.
Zweifellos würden sich für die drei letzten Sätze mit vorangeschriebnem
Π nach c, d, ‥ auch noch andre analytische Beweise, die, statt auf die
Elemente zu argumentiren, mehr rechnerisch zuwerke gingen, liefern lassen.
Mit 30) erscheint eine Bemerkung auf S. 354 oben gerechtfertigt.
Der Satz D 30 statuirt blos, dass die identische Abbildung eines
Systems a auch eine ähnliche Abbildung desselben sei — und ist für
uns nicht minder selbstverständlich.
In b hinein ist eine solche jedoch nur möglich soferne a ⋹ b ist.
Ist a ∽ b und das Abbildungsprinzip z durch die normalen Be-
dingungen (17) charakterisirt, so darf man überhaupt von jeder der
nachfolgend im Überblick zusammengestellten Relationen Gebrauch
machen:
31) [FORMEL]
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. 616. In: Deutsches Textarchiv <https://www.deutschestextarchiv.de/schroeder_logik03_1895/630>, abgerufen am 03.09.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/.