-- das wäre, rechts auf 0 gebracht, eine Relation a ; 1 ; b · cn ; 1 ; dn = 0. Eine solche ist nicht zerfällbar und scheint sich überhaupt nicht in Alternativen oder Systeme von einfachern Relationen auflösen zu lassen. Dagegen lässt sie sich noch auf drei Arten in Relationen der näm- lichen Form umschreiben. Letzteres aufgrund des Satzes: 56)
a ; 1 ; b · c ; 1 ; d = a ; 1 ; d · c ; 1 ; b
a j 0 j b + c j 0 j d = a j 0 j d + c j 0 j b,
der nach 16) aufgrund des Kommutationsgesetzes leicht zu erweisen ist. Darnach begreift sich sogleich, dass (a ; 1 ; bc j 0 j d) = (a ; 1 ; dnc j 0 j bn) = (cn ; 1 ; ban j 0 j d) und auch = (cn ; 1 ; dnan j 0 j bn), welch letzteres aber, als aus Kontra- position der Prämisse unmittelbar ersichtlich, nicht mit aufgeführt zu werden braucht. --
Damit schliessen wir unsre auf Gewinnung einer Formelsammlung gerichtete Aufstellung von Sätzen über Systeme vorläufig ab -- ob- zwar dieselbe zweifellos noch mancher Ergänzung bedarf, die sich eben erst bei der Weiterentwicklung der Disziplin und bei ihren Anwen- dungen auf die vielseitigsten Gebiete erkennen lassen und als wünschens- wert aufdrängen wird.
Jedoch nicht ohne noch einen Ausblick auf eine nächste Gruppe von Problemen zu eröffnen.
Die Quaderrelative bilden eine nächstübergeordnete Klasse von Rela- tiven zu den Systemen und Systemkonversen. Wie schon S. 291 statuirt wurde, führen auch die Spezies der Negation und Konversion nicht aus dem Kreis der Quaderrelative heraus, und ferner ist leicht zu sehen, dass identische Multiplikation von lauter Augenquaderrelativen immer wieder ein solches liefern, desgleichen die Summe von Lückenquaderrelativen ein eben- solches Relativ sein muss.
(Spezieller gilt: System plus oder mal System gleich System. Ebenso Systemkonvers plus oder mal Systemkonvers gleich Systemkonvers. System mal Systemkonvers gleich Augenquaderrelativ. System plus Systemkonvers gleich Lückenquaderrelativ.)
Es ist z. B. a ; 1 ; b · c ; 1 ; d = a ; 1 · c ; 1 · 1 ; b · 1 ; d = System mal Systemkonvers mithin Augenquaderrelativ, wie behauptet.
Aber schon die Summe zweier Augen-, das Produkt zweier Lücken- quaderrelative, nicht minder wie Summe oder Produkt eines Augen- mit einem Lückenquaderrelativ braucht kein Quaderrelativ mehr zu sein, wie es leicht konstruirbare einfache Beispiele darthun. Von den Quaderrela- tiven (oder Systemen und deren Konversen) aus wird man also schon durch die identischen Knüpfungen zu einer noch allgemeineren Klasse von Rela- tiven geführt, und verdiente es untersucht zu werden, mit welchem Relativ- begriffe, als dem allgemeinsten so erhältlichen, die "Gruppe" derselben ab- schliesst. Dies sei Forschern empfohlen.
§ 27. Einordnung zwischen Quaderrelativen.
— das wäre, rechts auf 0 gebracht, eine Relation a ; 1 ; b · c̄ ; 1 ; d̄ = 0. Eine solche ist nicht zerfällbar und scheint sich überhaupt nicht in Alternativen oder Systeme von einfachern Relationen auflösen zu lassen. Dagegen lässt sie sich noch auf drei Arten in Relationen der näm- lichen Form umschreiben. Letzteres aufgrund des Satzes: 56)
a ; 1 ; b · c ; 1 ; d = a ; 1 ; d · c ; 1 ; b
a ɟ 0 ɟ b + c ɟ 0 ɟ d = a ɟ 0 ɟ d + c ɟ 0 ɟ b,
der nach 16) aufgrund des Kommutationsgesetzes leicht zu erweisen ist. Darnach begreift sich sogleich, dass (a ; 1 ; b ⋹ c ɟ 0 ɟ d) = (a ; 1 ; d̄ ⋹ c ɟ 0 ɟ b̄) = (c̄ ; 1 ; b ⋹ ā ɟ 0 ɟ d) und auch = (c̄ ; 1 ; d̄ ⋹ ā ɟ 0 ɟ b̄), welch letzteres aber, als aus Kontra- position der Prämisse unmittelbar ersichtlich, nicht mit aufgeführt zu werden braucht. —
Damit schliessen wir unsre auf Gewinnung einer Formelsammlung gerichtete Aufstellung von Sätzen über Systeme vorläufig ab — ob- zwar dieselbe zweifellos noch mancher Ergänzung bedarf, die sich eben erst bei der Weiterentwicklung der Disziplin und bei ihren Anwen- dungen auf die vielseitigsten Gebiete erkennen lassen und als wünschens- wert aufdrängen wird.
Jedoch nicht ohne noch einen Ausblick auf eine nächste Gruppe von Problemen zu eröffnen.
Die Quaderrelative bilden eine nächstübergeordnete Klasse von Rela- tiven zu den Systemen und Systemkonversen. Wie schon S. 291 statuirt wurde, führen auch die Spezies der Negation und Konversion nicht aus dem Kreis der Quaderrelative heraus, und ferner ist leicht zu sehen, dass identische Multiplikation von lauter Augenquaderrelativen immer wieder ein solches liefern, desgleichen die Summe von Lückenquaderrelativen ein eben- solches Relativ sein muss.
(Spezieller gilt: System plus oder mal System gleich System. Ebenso Systemkonvers plus oder mal Systemkonvers gleich Systemkonvers. System mal Systemkonvers gleich Augenquaderrelativ. System plus Systemkonvers gleich Lückenquaderrelativ.)
Es ist z. B. a ; 1 ; b · c ; 1 ; d = a ; 1 · c ; 1 · 1 ; b · 1 ; d = System mal Systemkonvers mithin Augenquaderrelativ, wie behauptet.
Aber schon die Summe zweier Augen-, das Produkt zweier Lücken- quaderrelative, nicht minder wie Summe oder Produkt eines Augen- mit einem Lückenquaderrelativ braucht kein Quaderrelativ mehr zu sein, wie es leicht konstruirbare einfache Beispiele darthun. Von den Quaderrela- tiven (oder Systemen und deren Konversen) aus wird man also schon durch die identischen Knüpfungen zu einer noch allgemeineren Klasse von Rela- tiven geführt, und verdiente es untersucht zu werden, mit welchem Relativ- begriffe, als dem allgemeinsten so erhältlichen, die „Gruppe“ derselben ab- schliesst. Dies sei Forschern empfohlen.
<TEI><text><body><divn="1"><divn="2"><p><pbfacs="#f0469"n="455"/><fwplace="top"type="header">§ 27. Einordnung zwischen Quaderrelativen.</fw><lb/>— das wäre, rechts auf 0 gebracht, eine Relation <hirendition="#i">a</hi> ; 1 ; <hirendition="#i">b</hi> · <hirendition="#i">c̄</hi> ; 1 ; <hirendition="#i">d̄</hi> = 0.<lb/>
Eine solche ist nicht zerfällbar und scheint sich überhaupt nicht in<lb/>
Alternativen oder Systeme von einfachern Relationen auflösen zu lassen.<lb/>
Dagegen lässt sie sich noch auf drei Arten in Relationen der näm-<lb/>
lichen Form umschreiben. Letzteres aufgrund des <hirendition="#g">Satzes</hi>:<lb/>
56) <table><lb/><row><cell><hirendition="#i">a</hi> ; 1 ; <hirendition="#i">b</hi> · <hirendition="#i">c</hi> ; 1 ; <hirendition="#i">d</hi> = <hirendition="#i">a</hi> ; 1 ; <hirendition="#i">d</hi> · <hirendition="#i">c</hi> ; 1 ; <hirendition="#i">b</hi></cell><cell><hirendition="#i">a</hi>ɟ 0 ɟ<hirendition="#i">b</hi> + <hirendition="#i">c</hi>ɟ 0 ɟ<hirendition="#i">d</hi> = <hirendition="#i">a</hi>ɟ 0 ɟ<hirendition="#i">d</hi> + <hirendition="#i">c</hi>ɟ 0 ɟ<hirendition="#i">b</hi>,</cell></row><lb/></table> der nach 16) aufgrund des Kommutationsgesetzes leicht zu erweisen<lb/>
ist. Darnach begreift sich sogleich, dass<lb/><hirendition="#c">(<hirendition="#i">a</hi> ; 1 ; <hirendition="#i">b</hi>⋹<hirendition="#i">c</hi>ɟ 0 ɟ<hirendition="#i">d</hi>) = (<hirendition="#i">a</hi> ; 1 ; <hirendition="#i">d̄</hi>⋹<hirendition="#i">c</hi>ɟ 0 ɟ<hirendition="#i">b̄</hi>) = (<hirendition="#i">c̄</hi> ; 1 ; <hirendition="#i">b</hi>⋹<hirendition="#i">ā</hi>ɟ 0 ɟ<hirendition="#i">d</hi>)</hi><lb/>
und auch = (<hirendition="#i">c̄</hi> ; 1 ; <hirendition="#i">d̄</hi>⋹<hirendition="#i">ā</hi>ɟ 0 ɟ<hirendition="#i">b̄</hi>), welch letzteres aber, als aus Kontra-<lb/>
position der Prämisse unmittelbar ersichtlich, nicht mit aufgeführt zu<lb/>
werden braucht. —</p><lb/><p>Damit schliessen wir unsre auf Gewinnung einer Formelsammlung<lb/>
gerichtete Aufstellung von Sätzen über Systeme vorläufig ab — ob-<lb/>
zwar dieselbe zweifellos noch mancher Ergänzung bedarf, die sich eben<lb/>
erst bei der Weiterentwicklung der Disziplin und bei ihren Anwen-<lb/>
dungen auf die vielseitigsten Gebiete erkennen lassen und als wünschens-<lb/>
wert aufdrängen wird.</p><lb/><p>Jedoch nicht ohne noch einen Ausblick auf eine nächste Gruppe von<lb/>
Problemen zu eröffnen.</p><lb/><p>Die Quaderrelative bilden eine nächstübergeordnete Klasse von Rela-<lb/>
tiven zu den Systemen und Systemkonversen. Wie schon S. 291 statuirt<lb/>
wurde, führen auch die Spezies der Negation und Konversion nicht aus<lb/>
dem Kreis der Quaderrelative heraus, und ferner ist leicht zu sehen, dass<lb/>
identische Multiplikation von lauter Augenquaderrelativen immer wieder ein<lb/>
solches liefern, desgleichen die Summe von Lückenquaderrelativen ein eben-<lb/>
solches Relativ sein muss.</p><lb/><p>(Spezieller gilt: System plus oder mal System gleich System. Ebenso<lb/>
Systemkonvers plus oder mal Systemkonvers gleich Systemkonvers. System<lb/>
mal Systemkonvers gleich Augenquaderrelativ. System plus Systemkonvers<lb/>
gleich Lückenquaderrelativ.)</p><lb/><p>Es ist z. B. <hirendition="#i">a</hi> ; 1 ; <hirendition="#i">b</hi> · <hirendition="#i">c</hi> ; 1 ; <hirendition="#i">d</hi> = <hirendition="#i">a</hi> ; 1 · <hirendition="#i">c</hi> ; 1 · 1 ; <hirendition="#i">b</hi> · 1 ; <hirendition="#i">d</hi> = System mal<lb/>
Systemkonvers mithin Augenquaderrelativ, wie behauptet.</p><lb/><p>Aber schon die Summe zweier Augen-, das Produkt zweier Lücken-<lb/>
quaderrelative, nicht minder wie Summe oder Produkt eines Augen- mit<lb/>
einem Lückenquaderrelativ braucht kein Quaderrelativ mehr zu sein, wie<lb/>
es leicht konstruirbare einfache Beispiele darthun. Von den Quaderrela-<lb/>
tiven (oder Systemen und deren Konversen) aus wird man also schon durch<lb/>
die identischen Knüpfungen zu einer noch allgemeineren Klasse von Rela-<lb/>
tiven geführt, und verdiente es untersucht zu werden, mit welchem Relativ-<lb/>
begriffe, als dem allgemeinsten so erhältlichen, die „Gruppe“ derselben ab-<lb/>
schliesst. Dies sei Forschern empfohlen.</p><lb/></div></div></body></text></TEI>
[455/0469]
§ 27. Einordnung zwischen Quaderrelativen.
— das wäre, rechts auf 0 gebracht, eine Relation a ; 1 ; b · c̄ ; 1 ; d̄ = 0.
Eine solche ist nicht zerfällbar und scheint sich überhaupt nicht in
Alternativen oder Systeme von einfachern Relationen auflösen zu lassen.
Dagegen lässt sie sich noch auf drei Arten in Relationen der näm-
lichen Form umschreiben. Letzteres aufgrund des Satzes:
56) a ; 1 ; b · c ; 1 ; d = a ; 1 ; d · c ; 1 ; b a ɟ 0 ɟ b + c ɟ 0 ɟ d = a ɟ 0 ɟ d + c ɟ 0 ɟ b,
der nach 16) aufgrund des Kommutationsgesetzes leicht zu erweisen
ist. Darnach begreift sich sogleich, dass
(a ; 1 ; b ⋹ c ɟ 0 ɟ d) = (a ; 1 ; d̄ ⋹ c ɟ 0 ɟ b̄) = (c̄ ; 1 ; b ⋹ ā ɟ 0 ɟ d)
und auch = (c̄ ; 1 ; d̄ ⋹ ā ɟ 0 ɟ b̄), welch letzteres aber, als aus Kontra-
position der Prämisse unmittelbar ersichtlich, nicht mit aufgeführt zu
werden braucht. —
Damit schliessen wir unsre auf Gewinnung einer Formelsammlung
gerichtete Aufstellung von Sätzen über Systeme vorläufig ab — ob-
zwar dieselbe zweifellos noch mancher Ergänzung bedarf, die sich eben
erst bei der Weiterentwicklung der Disziplin und bei ihren Anwen-
dungen auf die vielseitigsten Gebiete erkennen lassen und als wünschens-
wert aufdrängen wird.
Jedoch nicht ohne noch einen Ausblick auf eine nächste Gruppe von
Problemen zu eröffnen.
Die Quaderrelative bilden eine nächstübergeordnete Klasse von Rela-
tiven zu den Systemen und Systemkonversen. Wie schon S. 291 statuirt
wurde, führen auch die Spezies der Negation und Konversion nicht aus
dem Kreis der Quaderrelative heraus, und ferner ist leicht zu sehen, dass
identische Multiplikation von lauter Augenquaderrelativen immer wieder ein
solches liefern, desgleichen die Summe von Lückenquaderrelativen ein eben-
solches Relativ sein muss.
(Spezieller gilt: System plus oder mal System gleich System. Ebenso
Systemkonvers plus oder mal Systemkonvers gleich Systemkonvers. System
mal Systemkonvers gleich Augenquaderrelativ. System plus Systemkonvers
gleich Lückenquaderrelativ.)
Es ist z. B. a ; 1 ; b · c ; 1 ; d = a ; 1 · c ; 1 · 1 ; b · 1 ; d = System mal
Systemkonvers mithin Augenquaderrelativ, wie behauptet.
Aber schon die Summe zweier Augen-, das Produkt zweier Lücken-
quaderrelative, nicht minder wie Summe oder Produkt eines Augen- mit
einem Lückenquaderrelativ braucht kein Quaderrelativ mehr zu sein, wie
es leicht konstruirbare einfache Beispiele darthun. Von den Quaderrela-
tiven (oder Systemen und deren Konversen) aus wird man also schon durch
die identischen Knüpfungen zu einer noch allgemeineren Klasse von Rela-
tiven geführt, und verdiente es untersucht zu werden, mit welchem Relativ-
begriffe, als dem allgemeinsten so erhältlichen, die „Gruppe“ derselben ab-
schliesst. Dies sei Forschern empfohlen.
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. 455. In: Deutsches Textarchiv <https://www.deutschestextarchiv.de/schroeder_logik03_1895/469>, abgerufen am 17.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/.
