Anmelden (DTAQ)

DWDS dlexDB CLARIN-D

Schröder, Ernst: Vorlesungen über die Algebra der Logik. Bd. 3, Abt. 1. Leipzig, 1895.

Bild:

<< vorherige Seite

nächste Seite >>

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 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) (a b) (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̄̆) ; 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 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
φ(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̆ ; 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) (a ∽ b) ⋹ (0 ɟ 0' ; a = 0 ɟ 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

<TEI>
  <text>
    <body>
      <div n="1">
        <div n="2">
          <p><pb facs="#f0642" n="628"/><fw place="top" type="header">Zwölfte Vorlesung.</fw><lb/><hi rendition="#i">falles allesamt von</hi> 0 <hi rendition="#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) <hi rendition="#i">a</hi> &#x22F9; <hi rendition="#i">z&#x0306;</hi> ; <hi rendition="#i">b</hi>,<lb/><hi rendition="#i">b</hi> &#x22F9; <hi rendition="#i">z</hi> ; <hi rendition="#i">a</hi> die Einzelresultanten (der Elimination von <hi rendition="#i">z</hi>): <hi rendition="#i">a</hi> &#x22F9; 1 ; <hi rendition="#i">b</hi>, <hi rendition="#i">b</hi> &#x22F9; 1 ; <hi rendition="#i">a</hi>.<lb/>
Da aber nach 49) S. 453: (<hi rendition="#i">a</hi> &#x22F9; 1 ; <hi rendition="#i">b</hi>) = (1 ; <hi rendition="#i">a</hi> &#x22F9; 1 ; <hi rendition="#i">b</hi>) und ebenso (<hi rendition="#i">b</hi> &#x22F9; 1 ; <hi rendition="#i">a</hi>) =<lb/>
= (1 ; <hi rendition="#i">b</hi> &#x22F9; 1 ; <hi rendition="#i">a</hi>), so gibt die Vereinigung dieser beiden eben die Gleichung<lb/>
1 ; <hi rendition="#i">a</hi> = 1 ; <hi rendition="#i">b</hi>, q. e. d.</p><lb/>
          <p>Es konnte aber auch <hi rendition="#i">a</hi> &#x22F9; 1 ; <hi rendition="#i">b</hi> in <hi rendition="#i">a</hi> = <hi rendition="#i">a</hi> · 1 ; <hi rendition="#i">b</hi> = <hi rendition="#i">a</hi> ; <hi rendition="#i">b</hi> umgeschrieben<lb/>
werden, sodass<lb/><hi rendition="#c">(<hi rendition="#i">a</hi> = <hi rendition="#i">a</hi> ; <hi rendition="#i">b</hi>)(<hi rendition="#i">b</hi> = <hi rendition="#i">b</hi> ; <hi rendition="#i">a</hi>)</hi><lb/>
eine andre Schreibweise derselben Resultante vorstellt. Jedoch gelten die<lb/>
beiden Hauptbedingungen auch als Gleichungen: <hi rendition="#i">a</hi> = <hi rendition="#i">z&#x0306;</hi> ; <hi rendition="#i">b</hi>, <hi rendition="#i">b</hi> = <hi rendition="#i">z</hi> ; <hi rendition="#i">a</hi> und<lb/>
geben als solche die Einzelresultanten: <hi rendition="#i">a</hi> = (<hi rendition="#i">a</hi> &#x025F; <hi rendition="#i">b&#x0304;&#x0306;</hi>) ; <hi rendition="#i">b</hi>, <hi rendition="#i">b</hi> = (<hi rendition="#i">b</hi> &#x025F; <hi rendition="#i">a&#x0304;&#x0306;</hi>) ; <hi rendition="#i">a</hi><lb/>
&#x2014; cf. § 19. Da unser <hi rendition="#i">a</hi> &#x025F; <hi rendition="#i">b&#x0304;&#x0306;</hi> = <hi rendition="#i">a</hi> &#x025F; 0 &#x025F; <hi rendition="#i">b&#x0304;&#x0306;</hi> = <hi rendition="#i">a</hi> &#x025F; 0 + 0 &#x025F; <hi rendition="#i">b&#x0304;&#x0306;</hi> = <hi rendition="#i">a</hi> + <hi rendition="#i">b&#x0304;&#x0306;</hi>, und<lb/><hi rendition="#i">b&#x0304;&#x0306;</hi> ; <hi rendition="#i">b</hi> = 1 ; <hi rendition="#i">b&#x0304;b</hi> = 0 ist, so leuchtet überdies die Identität dieser beiden letztern<lb/>
mit den vorigen <hi rendition="#i">a</hi> = <hi rendition="#i">a</hi> ; <hi rendition="#i">b</hi>, etc. unmittelbar ein.</p><lb/>
          <p>Konvertirt man die erstere Gleichung, so gelangt man mit <hi rendition="#i">a&#x0306;</hi> = <hi rendition="#i">b&#x0306;</hi> ; <hi rendition="#i">z</hi>,<lb/><hi rendition="#i">b</hi> = <hi rendition="#i">z</hi> ; <hi rendition="#i">a</hi> durch Einsetzung zu dem Schlusse: <hi rendition="#i">b&#x0306;</hi> ; <hi rendition="#i">b</hi> = <hi rendition="#i">b&#x0306;</hi> ; <hi rendition="#i">z</hi> ; <hi rendition="#i">a</hi> = <hi rendition="#i">a&#x0306;</hi> ; <hi rendition="#i">a</hi>, womit<lb/><hi rendition="#i">a&#x0306;</hi> ; <hi rendition="#i">a</hi> = <hi rendition="#i">b&#x0306;</hi> ; <hi rendition="#i">b</hi> gewonnen ist.</p><lb/>
          <p>[Denselben Schluss konnte man auch &#x2014; anstatt in <hi rendition="#i">z</hi> &#x2014; mit dem<lb/>
Werte 13) von <hi rendition="#i">y</hi> ausführen, wobei dann das blos in der Verbindung<lb/><hi rendition="#i">&#x03C6;</hi>(<hi rendition="#i">x</hi>) = (<hi rendition="#i">x&#x0304;</hi> &#x025F; 1')<hi rendition="#i">x</hi>(1' &#x025F; <hi rendition="#i">x&#x0304;</hi>) in der Ähnlichkeitsbedingung (14) vorkommende <hi rendition="#i">x</hi><lb/>
zugleich mit diesem <hi rendition="#i">&#x03C6;</hi>(<hi rendition="#i">x</hi>)(= <hi rendition="#i">y</hi>) vollständig eliminirt erscheint. Dass aber,<lb/>
wenn <hi rendition="#i">x</hi> blos als Baustein, Argument eines Ausdrucks <hi rendition="#i">&#x03C6;</hi>(<hi rendition="#i">x</hi>) vorkommt, die<lb/>
Resultante der Elimination von <hi rendition="#i">&#x03C6;</hi>(<hi rendition="#i">x</hi>) noch lange nicht <hi rendition="#i">die</hi> Resultante von <hi rendition="#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 <hi rendition="#i">a&#x0306;</hi> ; <hi rendition="#i">a</hi> = <hi rendition="#i">b&#x0306;</hi> ; <hi rendition="#i">b</hi> genügt bei weitem nicht, um die Ähn-<lb/>
lichkeit von <hi rendition="#i">a</hi> und <hi rendition="#i">b</hi> zu verbürgen. Vielmehr ist dieselbe blos äquivalent<lb/>
mit 44).]</p><lb/>
          <p>In der That ist auch <hi rendition="#i">a&#x0306;</hi> ; <hi rendition="#i">a</hi> = 1 ; <hi rendition="#i">aa</hi> = 1 ; <hi rendition="#i">a</hi>, mithin die Aussage <hi rendition="#i">a&#x0306;</hi> ; <hi rendition="#i">a</hi> = <hi rendition="#i">b&#x0306;</hi> ; <hi rendition="#i">b</hi><lb/>
von 1 ; <hi rendition="#i">a</hi> = 1 ; <hi rendition="#i">b</hi> nicht wesentlich verschieden.</p><lb/>
          <p>Die in 31) mitangeführte Resultante <hi rendition="#i">a&#x0306;</hi> ; 1 ; <hi rendition="#i">a</hi> = <hi rendition="#i">b&#x0306;</hi> ; 1 ; <hi rendition="#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 <hi rendition="#i">a&#x0306;</hi> ; 1' ; <hi rendition="#i">a</hi> = <hi rendition="#i">b&#x0306;</hi> ; 1' ; <hi rendition="#i">b</hi> zu der nach-<lb/>
her zu rechtfertigenden <hi rendition="#i">a&#x0306;</hi> ; 0' ; <hi rendition="#i">a</hi> = <hi rendition="#i">b&#x0306;</hi> ; 0' ; <hi rendition="#i">b</hi> überschiebend addirt.</p><lb/>
          <p>Als <hi rendition="#i">zweite</hi> Bedingung und <hi rendition="#i">Partialresultante</hi> war<lb/>
46) (<hi rendition="#i">a</hi> &#x223D; <hi rendition="#i">b</hi>) &#x22F9; (0 &#x025F; 0' ; <hi rendition="#i">a</hi> = 0 &#x025F; 0' ; <hi rendition="#i">b</hi>) = (<hi rendition="#i">a&#x0306;</hi> ; 0' ; <hi rendition="#i">a</hi> = <hi rendition="#i">b&#x0306;</hi> ; 0 ; <hi rendition="#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̄̆) ; 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 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 φ(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̆ ; 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) (a ∽ b) ⋹ (0 ɟ 0' ; a = 0 ɟ 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

Suche im Werk

Informationen zum Werk

Titeldaten
Verfügbarkeit Text (TEI-XML-, HTML-, TCF-, E-Book-Fassung): CC BY-SA 4.0.
Nutzungsbedingungen

Download dieses Werks

XML (TEI P5) · HTML · Text
TCF (text annotation layer)
XML (TEI P5 inkl. att.linguistic)

Metadaten zum Werk

TEI-Header · CMDI · Dublin Core

Ansichten dieser Seite

Voyant Tools ^?

Language Resource Switchboard^?

Resource/URL übermitteln

Feedback

Sie haben einen Fehler gefunden? Dann können Sie diesen über unsere Qualitätssicherungsplattform DTAQ melden.

Kommentar zur DTA-Ausgabe

Dieses Werk wurde gemäß den DTA-Transkriptionsrichtlinien im Double-Keying-Verfahren von Nicht-Muttersprachlern erfasst und in XML/TEI P5 nach DTA-Basisformat kodiert.

Ansicht auf Standard zurückstellen

URL zu diesem Werk:	https://www.deutschestextarchiv.de/schroeder_logik03_1895
URL zu dieser Seite:	https://www.deutschestextarchiv.de/schroeder_logik03_1895/642
Zitationshilfe:	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 23.11.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.

2007–2024 Deutsches Textarchiv, Berlin-Brandenburgische Akademie der Wissenschaften. Kontakt: redaktion(at)deutschestextarchiv.de.

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/.