falles allesamt von 0 verschieden sein. Sie lässt sich leicht und auf ver- schiedne Weisen aus unsrer Ähnlichkeitsdefinition folgern.
Man hat erstlich zu den beiden Hauptbedingungen von (17) az ; b, bz ; a die Einzelresultanten (der Elimination von z): a 1 ; b, b 1 ; a. Da aber nach 49) S. 453: (a 1 ; b) = (1 ; a 1 ; b) und ebenso (b 1 ; a) = = (1 ; b 1 ; a), so gibt die Vereinigung dieser beiden eben die Gleichung 1 ; a = 1 ; b, q. e. d.
Es konnte aber auch a 1 ; b in a = a · 1 ; b = a ; b umgeschrieben werden, sodass (a = a ; b)(b = b ; a) eine andre Schreibweise derselben Resultante vorstellt. Jedoch gelten die beiden Hauptbedingungen auch als Gleichungen: a = z ; b, b = z ; a und geben als solche die Einzelresultanten: a = (a j bn) ; b, b = (b j an) ; a -- cf. § 19. Da unser a j bn = a j 0 j bn = a j 0 + 0 j bn = a + bn, und bn ; b = 1 ; bnb = 0 ist, so leuchtet überdies die Identität dieser beiden letztern mit den vorigen a = a ; b, etc. unmittelbar ein.
Konvertirt man die erstere Gleichung, so gelangt man mit a = b ; z, b = z ; a durch Einsetzung zu dem Schlusse: b ; b = b ; z ; a = a ; a, womit a ; a = b ; b gewonnen ist.
[Denselben Schluss konnte man auch -- anstatt in z -- mit dem Werte 13) von y ausführen, wobei dann das blos in der Verbindung ph(x) = (xn j 1')x(1' j xn) in der Ähnlichkeitsbedingung (14) vorkommende x zugleich mit diesem ph(x)(= y) vollständig eliminirt erscheint. Dass aber, wenn x blos als Baustein, Argument eines Ausdrucks ph(x) vorkommt, die Resultante der Elimination von ph(x) noch lange nicht die Resultante von x, sondern blos eine Unterresultante von dieser vorstellt, hatten wir schon S. 287, Fussnote Gelegenheit zu betonen und finden wir hier bestätigt. Denn die Bedingung a ; a = b ; b genügt bei weitem nicht, um die Ähn- lichkeit von a und b zu verbürgen. Vielmehr ist dieselbe blos äquivalent mit 44).]
In der That ist auch a ; a = 1 ; aa = 1 ; a, mithin die Aussage a ; a = b ; b von 1 ; a = 1 ; b nicht wesentlich verschieden.
Die in 31) mitangeführte Resultante a ; 1 ; a = b ; 1 ; b ergibt sich, in- dem man die letzte mit der beiderseitig konvertirten übermultiplizirt, des- gleichen auch indem man sie in der Form a ; 1' ; a = b ; 1' ; b zu der nach- her zu rechtfertigenden a ; 0' ; a = b ; 0' ; b überschiebend addirt.
Als zweite Bedingung und Partialresultante war 46) (ab) (0 j 0' ; a = 0 j 0' ; b) = (a ; 0' ; a = b ; 0 ; b) = etc. mit noch viel anderen schon in 31) gegen Schluss mit aufgezählten Ausdrucksformen zu notiren. Was sie stipulirt, haben wir bereits im
Zwölfte Vorlesung.
falles allesamt von 0 verschieden sein. Sie lässt sich leicht und auf ver- schiedne Weisen aus unsrer Ähnlichkeitsdefinition folgern.
Man hat erstlich zu den beiden Hauptbedingungen von (17) a ⋹ z̆ ; b, b ⋹ z ; a die Einzelresultanten (der Elimination von z): a ⋹ 1 ; b, b ⋹ 1 ; a. Da aber nach 49) S. 453: (a ⋹ 1 ; b) = (1 ; a ⋹ 1 ; b) und ebenso (b ⋹ 1 ; a) = = (1 ; b ⋹ 1 ; a), so gibt die Vereinigung dieser beiden eben die Gleichung 1 ; a = 1 ; b, q. e. d.
Es konnte aber auch a ⋹ 1 ; b in a = a · 1 ; b = a ; b umgeschrieben werden, sodass (a = a ; b)(b = b ; a) eine andre Schreibweise derselben Resultante vorstellt. Jedoch gelten die beiden Hauptbedingungen auch als Gleichungen: a = z̆ ; b, b = z ; a und geben als solche die Einzelresultanten: a = (a ɟ b̄̆) ; b, b = (b ɟ ā̆) ; a — cf. § 19. Da unser a ɟ b̄̆ = a ɟ 0 ɟ b̄̆ = a ɟ 0 + 0 ɟ b̄̆ = a + b̄̆, und b̄̆ ; b = 1 ; b̄b = 0 ist, so leuchtet überdies die Identität dieser beiden letztern mit den vorigen a = a ; b, etc. unmittelbar ein.
Konvertirt man die erstere Gleichung, so gelangt man mit ă = b̆ ; z, b = z ; a durch Einsetzung zu dem Schlusse: b̆ ; b = b̆ ; z ; a = ă ; a, womit ă ; a = b̆ ; b gewonnen ist.
[Denselben Schluss konnte man auch — anstatt in z — mit dem Werte 13) von y ausführen, wobei dann das blos in der Verbindung φ(x) = (x̄ ɟ 1')x(1' ɟ x̄) in der Ähnlichkeitsbedingung (14) vorkommende x zugleich mit diesem φ(x)(= y) vollständig eliminirt erscheint. Dass aber, wenn x blos als Baustein, Argument eines Ausdrucks φ(x) vorkommt, die Resultante der Elimination von φ(x) noch lange nicht die Resultante von x, sondern blos eine Unterresultante von dieser vorstellt, hatten wir schon S. 287, Fussnote Gelegenheit zu betonen und finden wir hier bestätigt. Denn die Bedingung ă ; a = b̆ ; b genügt bei weitem nicht, um die Ähn- lichkeit von a und b zu verbürgen. Vielmehr ist dieselbe blos äquivalent mit 44).]
In der That ist auch ă ; a = 1 ; aa = 1 ; a, mithin die Aussage ă ; a = b̆ ; b von 1 ; a = 1 ; b nicht wesentlich verschieden.
Die in 31) mitangeführte Resultante ă ; 1 ; a = b̆ ; 1 ; b ergibt sich, in- dem man die letzte mit der beiderseitig konvertirten übermultiplizirt, des- gleichen auch indem man sie in der Form ă ; 1' ; a = b̆ ; 1' ; b zu der nach- her zu rechtfertigenden ă ; 0' ; a = b̆ ; 0' ; b überschiebend addirt.
Als zweite Bedingung und Partialresultante war 46) (a ∽ b) ⋹ (0 ɟ 0' ; a = 0 ɟ 0' ; b) = (ă ; 0' ; a = b̆ ; 0 ; b) = etc. mit noch viel anderen schon in 31) gegen Schluss mit aufgezählten Ausdrucksformen zu notiren. Was sie stipulirt, haben wir bereits im
<TEI><text><body><divn="1"><divn="2"><p><pbfacs="#f0642"n="628"/><fwplace="top"type="header">Zwölfte Vorlesung.</fw><lb/><hirendition="#i">falles allesamt von</hi> 0 <hirendition="#i">verschieden sein</hi>. Sie lässt sich leicht und auf ver-<lb/>
schiedne Weisen aus unsrer Ähnlichkeitsdefinition folgern.</p><lb/><p>Man hat erstlich zu den beiden Hauptbedingungen von (17) <hirendition="#i">a</hi>⋹<hirendition="#i">z̆</hi> ; <hirendition="#i">b</hi>,<lb/><hirendition="#i">b</hi>⋹<hirendition="#i">z</hi> ; <hirendition="#i">a</hi> die Einzelresultanten (der Elimination von <hirendition="#i">z</hi>): <hirendition="#i">a</hi>⋹ 1 ; <hirendition="#i">b</hi>, <hirendition="#i">b</hi>⋹ 1 ; <hirendition="#i">a</hi>.<lb/>
Da aber nach 49) S. 453: (<hirendition="#i">a</hi>⋹ 1 ; <hirendition="#i">b</hi>) = (1 ; <hirendition="#i">a</hi>⋹ 1 ; <hirendition="#i">b</hi>) und ebenso (<hirendition="#i">b</hi>⋹ 1 ; <hirendition="#i">a</hi>) =<lb/>
= (1 ; <hirendition="#i">b</hi>⋹ 1 ; <hirendition="#i">a</hi>), so gibt die Vereinigung dieser beiden eben die Gleichung<lb/>
1 ; <hirendition="#i">a</hi> = 1 ; <hirendition="#i">b</hi>, q. e. d.</p><lb/><p>Es konnte aber auch <hirendition="#i">a</hi>⋹ 1 ; <hirendition="#i">b</hi> in <hirendition="#i">a</hi> = <hirendition="#i">a</hi> · 1 ; <hirendition="#i">b</hi> = <hirendition="#i">a</hi> ; <hirendition="#i">b</hi> umgeschrieben<lb/>
werden, sodass<lb/><hirendition="#c">(<hirendition="#i">a</hi> = <hirendition="#i">a</hi> ; <hirendition="#i">b</hi>)(<hirendition="#i">b</hi> = <hirendition="#i">b</hi> ; <hirendition="#i">a</hi>)</hi><lb/>
eine andre Schreibweise derselben Resultante vorstellt. Jedoch gelten die<lb/>
beiden Hauptbedingungen auch als Gleichungen: <hirendition="#i">a</hi> = <hirendition="#i">z̆</hi> ; <hirendition="#i">b</hi>, <hirendition="#i">b</hi> = <hirendition="#i">z</hi> ; <hirendition="#i">a</hi> und<lb/>
geben als solche die Einzelresultanten: <hirendition="#i">a</hi> = (<hirendition="#i">a</hi>ɟ<hirendition="#i">b̄̆</hi>) ; <hirendition="#i">b</hi>, <hirendition="#i">b</hi> = (<hirendition="#i">b</hi>ɟ<hirendition="#i">ā̆</hi>) ; <hirendition="#i">a</hi><lb/>— cf. § 19. Da unser <hirendition="#i">a</hi>ɟ<hirendition="#i">b̄̆</hi> = <hirendition="#i">a</hi>ɟ 0 ɟ<hirendition="#i">b̄̆</hi> = <hirendition="#i">a</hi>ɟ 0 + 0 ɟ<hirendition="#i">b̄̆</hi> = <hirendition="#i">a</hi> + <hirendition="#i">b̄̆</hi>, und<lb/><hirendition="#i">b̄̆</hi> ; <hirendition="#i">b</hi> = 1 ; <hirendition="#i">b̄b</hi> = 0 ist, so leuchtet überdies die Identität dieser beiden letztern<lb/>
mit den vorigen <hirendition="#i">a</hi> = <hirendition="#i">a</hi> ; <hirendition="#i">b</hi>, etc. unmittelbar ein.</p><lb/><p>Konvertirt man die erstere Gleichung, so gelangt man mit <hirendition="#i">ă</hi> = <hirendition="#i">b̆</hi> ; <hirendition="#i">z</hi>,<lb/><hirendition="#i">b</hi> = <hirendition="#i">z</hi> ; <hirendition="#i">a</hi> durch Einsetzung zu dem Schlusse: <hirendition="#i">b̆</hi> ; <hirendition="#i">b</hi> = <hirendition="#i">b̆</hi> ; <hirendition="#i">z</hi> ; <hirendition="#i">a</hi> = <hirendition="#i">ă</hi> ; <hirendition="#i">a</hi>, womit<lb/><hirendition="#i">ă</hi> ; <hirendition="#i">a</hi> = <hirendition="#i">b̆</hi> ; <hirendition="#i">b</hi> gewonnen ist.</p><lb/><p>[Denselben Schluss konnte man auch — anstatt in <hirendition="#i">z</hi>— mit dem<lb/>
Werte 13) von <hirendition="#i">y</hi> ausführen, wobei dann das blos in der Verbindung<lb/><hirendition="#i">φ</hi>(<hirendition="#i">x</hi>) = (<hirendition="#i">x̄</hi>ɟ 1')<hirendition="#i">x</hi>(1' ɟ<hirendition="#i">x̄</hi>) in der Ähnlichkeitsbedingung (14) vorkommende <hirendition="#i">x</hi><lb/>
zugleich mit diesem <hirendition="#i">φ</hi>(<hirendition="#i">x</hi>)(= <hirendition="#i">y</hi>) vollständig eliminirt erscheint. Dass aber,<lb/>
wenn <hirendition="#i">x</hi> blos als Baustein, Argument eines Ausdrucks <hirendition="#i">φ</hi>(<hirendition="#i">x</hi>) vorkommt, die<lb/>
Resultante der Elimination von <hirendition="#i">φ</hi>(<hirendition="#i">x</hi>) noch lange nicht <hirendition="#i">die</hi> Resultante von <hirendition="#i">x</hi>,<lb/>
sondern blos eine Unterresultante von dieser vorstellt, hatten wir schon<lb/>
S. 287, Fussnote Gelegenheit zu betonen und finden wir hier bestätigt.<lb/>
Denn die Bedingung <hirendition="#i">ă</hi> ; <hirendition="#i">a</hi> = <hirendition="#i">b̆</hi> ; <hirendition="#i">b</hi> genügt bei weitem nicht, um die Ähn-<lb/>
lichkeit von <hirendition="#i">a</hi> und <hirendition="#i">b</hi> zu verbürgen. Vielmehr ist dieselbe blos äquivalent<lb/>
mit 44).]</p><lb/><p>In der That ist auch <hirendition="#i">ă</hi> ; <hirendition="#i">a</hi> = 1 ; <hirendition="#i">aa</hi> = 1 ; <hirendition="#i">a</hi>, mithin die Aussage <hirendition="#i">ă</hi> ; <hirendition="#i">a</hi> = <hirendition="#i">b̆</hi> ; <hirendition="#i">b</hi><lb/>
von 1 ; <hirendition="#i">a</hi> = 1 ; <hirendition="#i">b</hi> nicht wesentlich verschieden.</p><lb/><p>Die in 31) mitangeführte Resultante <hirendition="#i">ă</hi> ; 1 ; <hirendition="#i">a</hi> = <hirendition="#i">b̆</hi> ; 1 ; <hirendition="#i">b</hi> ergibt sich, in-<lb/>
dem man die letzte mit der beiderseitig konvertirten übermultiplizirt, des-<lb/>
gleichen auch indem man sie in der Form <hirendition="#i">ă</hi> ; 1' ; <hirendition="#i">a</hi> = <hirendition="#i">b̆</hi> ; 1' ; <hirendition="#i">b</hi> zu der nach-<lb/>
her zu rechtfertigenden <hirendition="#i">ă</hi> ; 0' ; <hirendition="#i">a</hi> = <hirendition="#i">b̆</hi> ; 0' ; <hirendition="#i">b</hi> überschiebend addirt.</p><lb/><p>Als <hirendition="#i">zweite</hi> Bedingung und <hirendition="#i">Partialresultante</hi> war<lb/>
46) (<hirendition="#i">a</hi>∽<hirendition="#i">b</hi>) ⋹ (0 ɟ 0' ; <hirendition="#i">a</hi> = 0 ɟ 0' ; <hirendition="#i">b</hi>) = (<hirendition="#i">ă</hi> ; 0' ; <hirendition="#i">a</hi> = <hirendition="#i">b̆</hi> ; 0 ; <hirendition="#i">b</hi>) = etc.<lb/>
mit noch viel anderen schon in 31) gegen Schluss mit aufgezählten<lb/>
Ausdrucksformen zu notiren. Was sie stipulirt, haben wir bereits im<lb/></p></div></div></body></text></TEI>
[628/0642]
Zwölfte Vorlesung.
falles allesamt von 0 verschieden sein. Sie lässt sich leicht und auf ver-
schiedne Weisen aus unsrer Ähnlichkeitsdefinition folgern.
Man hat erstlich zu den beiden Hauptbedingungen von (17) a ⋹ z̆ ; b,
b ⋹ z ; a die Einzelresultanten (der Elimination von z): a ⋹ 1 ; b, b ⋹ 1 ; a.
Da aber nach 49) S. 453: (a ⋹ 1 ; b) = (1 ; a ⋹ 1 ; b) und ebenso (b ⋹ 1 ; a) =
= (1 ; b ⋹ 1 ; a), so gibt die Vereinigung dieser beiden eben die Gleichung
1 ; a = 1 ; b, q. e. d.
Es konnte aber auch a ⋹ 1 ; b in a = a · 1 ; b = a ; b umgeschrieben
werden, sodass
(a = a ; b)(b = b ; a)
eine andre Schreibweise derselben Resultante vorstellt. Jedoch gelten die
beiden Hauptbedingungen auch als Gleichungen: a = z̆ ; b, b = z ; a und
geben als solche die Einzelresultanten: a = (a ɟ b̄̆) ; b, b = (b ɟ ā̆) ; a
— cf. § 19. Da unser a ɟ b̄̆ = a ɟ 0 ɟ b̄̆ = a ɟ 0 + 0 ɟ b̄̆ = a + b̄̆, und
b̄̆ ; b = 1 ; b̄b = 0 ist, so leuchtet überdies die Identität dieser beiden letztern
mit den vorigen a = a ; b, etc. unmittelbar ein.
Konvertirt man die erstere Gleichung, so gelangt man mit ă = b̆ ; z,
b = z ; a durch Einsetzung zu dem Schlusse: b̆ ; b = b̆ ; z ; a = ă ; a, womit
ă ; a = b̆ ; b gewonnen ist.
[Denselben Schluss konnte man auch — anstatt in z — mit dem
Werte 13) von y ausführen, wobei dann das blos in der Verbindung
φ(x) = (x̄ ɟ 1')x(1' ɟ x̄) in der Ähnlichkeitsbedingung (14) vorkommende x
zugleich mit diesem φ(x)(= y) vollständig eliminirt erscheint. Dass aber,
wenn x blos als Baustein, Argument eines Ausdrucks φ(x) vorkommt, die
Resultante der Elimination von φ(x) noch lange nicht die Resultante von x,
sondern blos eine Unterresultante von dieser vorstellt, hatten wir schon
S. 287, Fussnote Gelegenheit zu betonen und finden wir hier bestätigt.
Denn die Bedingung ă ; a = b̆ ; b genügt bei weitem nicht, um die Ähn-
lichkeit von a und b zu verbürgen. Vielmehr ist dieselbe blos äquivalent
mit 44).]
In der That ist auch ă ; a = 1 ; aa = 1 ; a, mithin die Aussage ă ; a = b̆ ; b
von 1 ; a = 1 ; b nicht wesentlich verschieden.
Die in 31) mitangeführte Resultante ă ; 1 ; a = b̆ ; 1 ; b ergibt sich, in-
dem man die letzte mit der beiderseitig konvertirten übermultiplizirt, des-
gleichen auch indem man sie in der Form ă ; 1' ; a = b̆ ; 1' ; b zu der nach-
her zu rechtfertigenden ă ; 0' ; a = b̆ ; 0' ; b überschiebend addirt.
Als zweite Bedingung und Partialresultante war
46) (a ∽ b) ⋹ (0 ɟ 0' ; a = 0 ɟ 0' ; b) = (ă ; 0' ; a = b̆ ; 0 ; b) = etc.
mit noch viel anderen schon in 31) gegen Schluss mit aufgezählten
Ausdrucksformen zu notiren. Was sie stipulirt, haben wir bereits im
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. 628. In: Deutsches Textarchiv <https://www.deutschestextarchiv.de/schroeder_logik03_1895/642>, abgerufen am 02.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/.