§ 34. Elementar- und Grundbeziehungen, anschaulich eingeführt.
musste, um die identische Multiplikation A · B zu einer allgemein an- wendbaren oder unbedingt ausführbaren Operation zu machen.
Wir sind nämlich bereits verpflichtet, die Gleichung 0 = 0 als richtig anzuerkennen, das Beziehungszeichen der Gleichheit also als ein auch anwendbares gelten zu lassen, mit auszudehnen auf den Fall, wo eines der beiden verglichenen Gebiete und dann also auch das andre in 0 ausartet, degenerirt. Da für A = B = 0 auch A B = 0 ist, so gehört dieser Fall aber gar nicht zu a1 (und folglich auch nicht zu a100 oder d), sondern zu a.
Ebenso finden wir für die Zulassung des Falles A = 0 bei f und des Falles B = 0 bei e Bestimmungsgründe vor.
Beim Studium der Subsumtion kamen wir ja dazu, auch die Pro- positionen 0 B, A 0 aufzustellen -- cf. Def. (2x) -- und sollte eine solche Subsumtion 0 B nach § 1 uns ausdrücken, dass entweder 0 = B oder aber 0 B sei. Sooft nun also nicht gerade B = 0, das heisst, sooft B 0 ist, müssen wir auch: 0 B, entsprechend desgleichen A 0 für ein von 0 verschiedenes A, stets gelten lassen. In diesen beiden Fällen ist nun aber wiederum A B [ = 0 · B resp. A · 0] = 0, sodass sie unter a, nicht aber unter a1 und g, resp. b, fallen.
Die Zeichen =, , wurden schon in § 1 beschrieben, motivirt und gerechtfertigt. Das Zeichen , in dessen Wahl ich mit Wundt zu- sammentreffe, spricht für sich selbst, insofern es erstens zunächst nicht un- geeignet erscheint, vor allem nämlich gebührend symmetrisch ist -- nicht nur, was minder wichtig, in Bezug auf oben und unten, wo die Symmetrie angezeigt erscheint in Ermangelung jeden Grundes, es nach diesen Rich- tungen verschieden zu gestalten -- sondern auch, was erheblicher, in Be- zug auf links und rechts, wie es denn auch eine symmetrische Beziehung zwischen den durch dasselbe als linke und rechte Seite zu verknüpfenden Ausdrücken darzustellen hat: sooft AB, wird auch BA sich als gültig erweisen, sodass man die Propositionen dieser Art nun ohne weiteres, wird rückwärts lesen können. Zweitens aber empfiehlt sich jenes Zeichen als das allergeeignetste dadurch, dass es die wirkliche, zwischen den Gebieten A und B bestehende Beziehung in sich abbildet, den wesentlichen Teil der Figur 16 kopirt: man braucht die divergirenden Äste eines jeden der beiden in unserm Zeichen einander durchsetzenden Bögen nur fortgesetzt zu denken, sei es in's Unbegrenzte, sei es -- noch besser -- so, dass sie etwa je zu einem Ovale sich zusammenschliessen, so wird man die Kon- turen der Gebiete A und B vollständig in dem Zeichen erblicken, und
Schröder, Algebra der Logik. II. 7
§ 34. Elementar- und Grundbeziehungen, anschaulich eingeführt.
musste, um die identische Multiplikation A · B zu einer allgemein an- wendbaren oder unbedingt ausführbaren Operation zu machen.
Wir sind nämlich bereits verpflichtet, die Gleichung 0 = 0 als richtig anzuerkennen, das Beziehungszeichen der Gleichheit also als ein auch anwendbares gelten zu lassen, mit auszudehnen auf den Fall, wo eines der beiden verglichenen Gebiete und dann also auch das andre in 0 ausartet, degenerirt. Da für A = B = 0 auch A B = 0 ist, so gehört dieser Fall aber gar nicht zu a1 (und folglich auch nicht zu a100 oder δ), sondern zu a.
Ebenso finden wir für die Zulassung des Falles A = 0 bei f und des Falles B = 0 bei e Bestimmungsgründe vor.
Beim Studium der Subsumtion kamen wir ja dazu, auch die Pro- positionen 0 ⊆B, A⊆ 0 aufzustellen — cf. Def. (2×) — und sollte eine solche Subsumtion 0 ⊆B nach § 1 uns ausdrücken, dass entweder 0 = B oder aber 0 ⊂ B sei. Sooft nun also nicht gerade B = 0, das heisst, sooft B ≠ 0 ist, müssen wir auch: 0 ⊂ B, entsprechend desgleichen A ⊃ 0 für ein von 0 verschiedenes A, stets gelten lassen. In diesen beiden Fällen ist nun aber wiederum A B [ = 0 · B resp. A · 0] = 0, sodass sie unter a, nicht aber unter a1 und γ, resp. β, fallen.
Die Zeichen =, ⊂ , ⊃ wurden schon in § 1 beschrieben, motivirt und gerechtfertigt. Das Zeichen ⊆ , in dessen Wahl ich mit Wundt zu- sammentreffe, spricht für sich selbst, insofern es erstens zunächst nicht un- geeignet erscheint, vor allem nämlich gebührend symmetrisch ist — nicht nur, was minder wichtig, in Bezug auf oben und unten, wo die Symmetrie angezeigt erscheint in Ermangelung jeden Grundes, es nach diesen Rich- tungen verschieden zu gestalten — sondern auch, was erheblicher, in Be- zug auf links und rechts, wie es denn auch eine symmetrische Beziehung zwischen den durch dasselbe als linke und rechte Seite zu verknüpfenden Ausdrücken darzustellen hat: sooft A⊆B, wird auch B⊆A sich als gültig erweisen, sodass man die Propositionen dieser Art nun ohne weiteres, wird rückwärts lesen können. Zweitens aber empfiehlt sich jenes Zeichen als das allergeeignetste dadurch, dass es die wirkliche, zwischen den Gebieten A und B bestehende Beziehung in sich abbildet, den wesentlichen Teil der Figur 16 kopirt: man braucht die divergirenden Äste eines jeden der beiden in unserm Zeichen einander durchsetzenden Bögen nur fortgesetzt zu denken, sei es in’s Unbegrenzte, sei es — noch besser — so, dass sie etwa je zu einem Ovale sich zusammenschliessen, so wird man die Kon- turen der Gebiete A und B vollständig in dem Zeichen erblicken, und
Schröder, Algebra der Logik. II. 7
<TEI><text><body><divn="1"><divn="2"><divn="3"><p><pbfacs="#f0121"n="97"/><fwplace="top"type="header">§ 34. Elementar- und Grundbeziehungen, anschaulich eingeführt.</fw><lb/><hirendition="#i">musste</hi>, um die identische Multiplikation <hirendition="#i">A</hi> · <hirendition="#i">B</hi> zu einer allgemein an-<lb/>
wendbaren oder unbedingt ausführbaren Operation zu machen.</p><lb/><p>Wir sind nämlich bereits verpflichtet, die Gleichung<lb/><hirendition="#c">0 = 0</hi><lb/>
als richtig anzuerkennen, das Beziehungszeichen der Gleichheit also<lb/>
als ein auch anwendbares gelten zu lassen, mit auszudehnen auf den<lb/>
Fall, wo eines der beiden verglichenen Gebiete und dann also auch<lb/>
das andre in 0 ausartet, degenerirt. Da für <hirendition="#i">A</hi> = <hirendition="#i">B</hi> = 0 auch<lb/><hirendition="#i">A B</hi> = 0 ist, so gehört dieser Fall aber gar nicht zu <hirendition="#i">a</hi><hirendition="#sub">1</hi> (und folglich<lb/>
auch nicht zu <hirendition="#i">a</hi><hirendition="#sub">1</hi><hirendition="#sup">00</hi> oder <hirendition="#i">δ</hi>), sondern zu <hirendition="#i">a</hi>.</p><lb/><p>Ebenso finden wir für die Zulassung des Falles <hirendition="#i">A</hi> = 0 bei <hirendition="#i">f</hi> und<lb/>
des Falles <hirendition="#i">B</hi> = 0 bei <hirendition="#i">e</hi> Bestimmungsgründe vor.</p><lb/><p>Beim Studium der Subsumtion kamen wir ja dazu, auch die Pro-<lb/>
positionen<lb/><hirendition="#c">0 <choice><orig></orig><reg>⊆</reg></choice><hirendition="#i">B</hi>, <hirendition="#i">A</hi><choice><orig></orig><reg>⊆</reg></choice> 0</hi><lb/>
aufzustellen — cf. Def. (2<hirendition="#sub">×</hi>) — und sollte eine solche Subsumtion<lb/>
0 <choice><orig></orig><reg>⊆</reg></choice><hirendition="#i">B</hi> nach § 1 uns ausdrücken, dass entweder 0 = <hirendition="#i">B</hi> oder aber<lb/>
0 ⊂<hirendition="#i">B</hi> sei. Sooft nun also nicht gerade <hirendition="#i">B</hi> = 0, das heisst, sooft<lb/><hirendition="#i">B</hi>≠ 0 ist, müssen wir auch:<lb/><hirendition="#c">0 ⊂<hirendition="#i">B</hi>, entsprechend desgleichen <hirendition="#i">A</hi>⊃ 0</hi><lb/>
für ein von 0 verschiedenes <hirendition="#i">A</hi>, stets gelten lassen. In diesen beiden<lb/>
Fällen ist nun aber wiederum <hirendition="#i">A B</hi> [ = 0 · <hirendition="#i">B</hi> resp. <hirendition="#i">A</hi> · 0] = 0, sodass<lb/>
sie unter <hirendition="#i">a</hi>, nicht aber unter <hirendition="#i">a</hi><hirendition="#sub">1</hi> und <hirendition="#i">γ</hi>, resp. <hirendition="#i">β</hi>, fallen.</p><lb/><p>Die Zeichen =, ⊂ , ⊃ wurden schon in § 1 beschrieben, motivirt<lb/>
und gerechtfertigt. Das Zeichen <choice><orig></orig><reg>⊆</reg></choice> , in dessen Wahl ich mit <hirendition="#g">Wundt</hi> zu-<lb/>
sammentreffe, spricht für sich selbst, insofern es erstens zunächst <hirendition="#i">nicht un-<lb/>
geeignet</hi> erscheint, vor allem nämlich gebührend symmetrisch ist — nicht<lb/>
nur, was minder wichtig, in Bezug auf oben und unten, wo die Symmetrie<lb/>
angezeigt erscheint in Ermangelung jeden Grundes, es nach diesen Rich-<lb/>
tungen verschieden zu gestalten — sondern auch, was erheblicher, in Be-<lb/>
zug auf links und rechts, wie es denn auch eine symmetrische Beziehung<lb/>
zwischen den durch dasselbe als linke und rechte Seite zu verknüpfenden<lb/>
Ausdrücken darzustellen hat: sooft <hirendition="#i">A</hi><choice><orig></orig><reg>⊆</reg></choice><hirendition="#i">B</hi>, wird auch <hirendition="#i">B</hi><choice><orig></orig><reg>⊆</reg></choice><hirendition="#i">A</hi> sich als<lb/>
gültig erweisen, sodass man die Propositionen dieser Art nun ohne weiteres,<lb/>
wird rückwärts lesen können. Zweitens aber empfiehlt sich jenes Zeichen<lb/>
als <hirendition="#i">das allergeeignetste</hi> dadurch, dass es die wirkliche, zwischen den Gebieten<lb/><hirendition="#i">A</hi> und <hirendition="#i">B</hi> bestehende Beziehung in sich <hirendition="#i">abbildet, den wesentlichen Teil der<lb/>
Figur 16 kopirt:</hi> man braucht die divergirenden Äste eines jeden der<lb/>
beiden in unserm Zeichen einander durchsetzenden Bögen nur fortgesetzt<lb/>
zu denken, sei es in’s Unbegrenzte, sei es — noch besser — so, dass sie<lb/>
etwa je zu einem Ovale sich zusammenschliessen, so wird man die Kon-<lb/>
turen der Gebiete <hirendition="#i">A</hi> und <hirendition="#i">B</hi> vollständig in dem Zeichen erblicken, und<lb/><fwplace="bottom"type="sig"><hirendition="#k">Schröder</hi>, Algebra der Logik. II. 7</fw><lb/></p></div></div></div></body></text></TEI>
[97/0121]
§ 34. Elementar- und Grundbeziehungen, anschaulich eingeführt.
musste, um die identische Multiplikation A · B zu einer allgemein an-
wendbaren oder unbedingt ausführbaren Operation zu machen.
Wir sind nämlich bereits verpflichtet, die Gleichung
0 = 0
als richtig anzuerkennen, das Beziehungszeichen der Gleichheit also
als ein auch anwendbares gelten zu lassen, mit auszudehnen auf den
Fall, wo eines der beiden verglichenen Gebiete und dann also auch
das andre in 0 ausartet, degenerirt. Da für A = B = 0 auch
A B = 0 ist, so gehört dieser Fall aber gar nicht zu a1 (und folglich
auch nicht zu a100 oder δ), sondern zu a.
Ebenso finden wir für die Zulassung des Falles A = 0 bei f und
des Falles B = 0 bei e Bestimmungsgründe vor.
Beim Studium der Subsumtion kamen wir ja dazu, auch die Pro-
positionen
0  B, A  0
aufzustellen — cf. Def. (2×) — und sollte eine solche Subsumtion
0  B nach § 1 uns ausdrücken, dass entweder 0 = B oder aber
0 ⊂ B sei. Sooft nun also nicht gerade B = 0, das heisst, sooft
B ≠ 0 ist, müssen wir auch:
0 ⊂ B, entsprechend desgleichen A ⊃ 0
für ein von 0 verschiedenes A, stets gelten lassen. In diesen beiden
Fällen ist nun aber wiederum A B [ = 0 · B resp. A · 0] = 0, sodass
sie unter a, nicht aber unter a1 und γ, resp. β, fallen.
Die Zeichen =, ⊂ , ⊃ wurden schon in § 1 beschrieben, motivirt
und gerechtfertigt. Das Zeichen  , in dessen Wahl ich mit Wundt zu-
sammentreffe, spricht für sich selbst, insofern es erstens zunächst nicht un-
geeignet erscheint, vor allem nämlich gebührend symmetrisch ist — nicht
nur, was minder wichtig, in Bezug auf oben und unten, wo die Symmetrie
angezeigt erscheint in Ermangelung jeden Grundes, es nach diesen Rich-
tungen verschieden zu gestalten — sondern auch, was erheblicher, in Be-
zug auf links und rechts, wie es denn auch eine symmetrische Beziehung
zwischen den durch dasselbe als linke und rechte Seite zu verknüpfenden
Ausdrücken darzustellen hat: sooft A  B, wird auch B  A sich als
gültig erweisen, sodass man die Propositionen dieser Art nun ohne weiteres,
wird rückwärts lesen können. Zweitens aber empfiehlt sich jenes Zeichen
als das allergeeignetste dadurch, dass es die wirkliche, zwischen den Gebieten
A und B bestehende Beziehung in sich abbildet, den wesentlichen Teil der
Figur 16 kopirt: man braucht die divergirenden Äste eines jeden der
beiden in unserm Zeichen einander durchsetzenden Bögen nur fortgesetzt
zu denken, sei es in’s Unbegrenzte, sei es — noch besser — so, dass sie
etwa je zu einem Ovale sich zusammenschliessen, so wird man die Kon-
turen der Gebiete A und B vollständig in dem Zeichen erblicken, und
Schröder, Algebra der Logik. II. 7
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. 2, Abt. 1. Leipzig, 1891, S. 97. In: Deutsches Textarchiv <https://www.deutschestextarchiv.de/schroeder_logik0201_1891/121>, abgerufen am 14.08.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/.