Anmelden (DTAQ) DWDS     dlexDB     CLARIN-D

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

Bild:
<< vorherige Seite
nächste Seite >>

§ 45. Besonderheiten des Aussagenkalkuls.
Zu ax)a, b, cZu a+)a, b, c
x0 0 0*x0 0 0*
x0 0 i*0 0 i
0 i 0*x0 i 0*
xi 0 0*xi 0 0*
x0 i i*0 i i*
i 0 i*i 0 i*
i i 0xi i 0*
xi i i*xi i i*
Von diesen erfüllen die rechts mit Stern ausgezeichneten die Annahme:
a b cc a + b
sintemal 0 0, 0 i und i i, dagegen nicht i 0 ist. Für die
links mit Kreuz bezeichneten gilt sogar:
(a c) (b c),(c a) (c b),
für die erste links unbezeichnete gilt
nur a c, für die zweite nur b c.		für die letzte links unbezeichnete gilt
nur c a, für die vorletzte nur c b.

Die Kontrole stimmt also, indem die 7 Fälle, wo mindestens eine von
diesen letztern Aussagen mithin die rechte Seite des Theorems zutrifft,
zusammenfallen mit den 7 rechts besternten Fällen in welchen auch die
andre Seite des Theorems zutraf.

Der siebente Fall links und der zweite rechts ist der einzige, wo die
eine (und dann ebenso auch die andre) Seite dieser Aussagenäquivalenz
nicht zutrifft, etwas Falsches besagt. In jenen 7 Fällen lief unser Theo-
rem auf die Identität i = i, in diesem einen Falle auf 0 = 0 hinaus,
d. h. es bewahrheitete sich durchaus.

Dehnt man die Sätze a) auch auf beliebig viele Operationsglieder
(Terme) aus und verwendet dann zu ihrer abgekürzten Darstellung
Produkt- und Summenzeichen, so entstehen bei der Annahme

c = 0c = i
mit Rücksicht auf Th. 5n) die beiden ersten von den folgenden vier
Sätzen:
*bx) (P a = 0) = S (a = 0)*b+) (S a = i) = S (a = i)
(P a 0) = P (a 0)(S a i) = P (a i)
aus welchen die darunter gesetzten durch beiderseitiges Negiren, Kontra-
position, gemäss Th. 32) und 36) hervorgehn.

Dieselben bilden das Gegenstück zur ersten Zeile der Theoreme
§ 40, b), erweisen sich indessen als blosse Umschreibungen von eben-

§ 45. Besonderheiten des Aussagenkalkuls.
Zu α×)a, b, cZu α+)a, b, c
×0 0 0*×0 0 0*
×0 0 i*0 0 i
0 i 0*×0 i 0*
×i 0 0*×i 0 0*
×0 i i*0 i i*
i 0 i*i 0 i*
i i 0×i i 0*
×i i i*×i i i*
Von diesen erfüllen die rechts mit Stern ausgezeichneten die Annahme:
a b ⊆ cc ⊆ a + b
sintemal 0 ⊆ 0, 0 ⊆ i und i ⊆ i, dagegen nicht i ⊆ 0 ist. Für die
links mit Kreuz bezeichneten gilt sogar:
(a ⊆ c) (b ⊆ c),(c ⊆ a) (c ⊆ b),
für die erste links unbezeichnete gilt
nur a ⊆ c, für die zweite nur b ⊆ c.		für die letzte links unbezeichnete gilt
nur c ⊆ a, für die vorletzte nur c ⊆ b.

Die Kontrole stimmt also, indem die 7 Fälle, wo mindestens eine von
diesen letztern Aussagen mithin die rechte Seite des Theorems zutrifft,
zusammenfallen mit den 7 rechts besternten Fällen in welchen auch die
andre Seite des Theorems zutraf.

Der siebente Fall links und der zweite rechts ist der einzige, wo die
eine (und dann ebenso auch die andre) Seite dieser Aussagenäquivalenz
nicht zutrifft, etwas Falsches besagt. In jenen 7 Fällen lief unser Theo-
rem auf die Identität i = i, in diesem einen Falle auf 0 = 0 hinaus,
d. h. es bewahrheitete sich durchaus.

Dehnt man die Sätze α) auch auf beliebig viele Operationsglieder
(Terme) aus und verwendet dann zu ihrer abgekürzten Darstellung
Produkt- und Summenzeichen, so entstehen bei der Annahme

c = 0c = i
mit Rücksicht auf Th. 5̄) die beiden ersten von den folgenden vier
Sätzen:
*β×) (Π a = 0) = Σ (a = 0)*β+) (Σ a = i) = Σ (a = i)
(Π a ≠ 0) = Π (a ≠ 0)(Σ a ≠ i) = Π (a ≠ i)
aus welchen die darunter gesetzten durch beiderseitiges Negiren, Kontra-
position, gemäss Th. 3̅2̅) und 3̅6̅) hervorgehn.

Dieselben bilden das Gegenstück zur ersten Zeile der Theoreme
§ 40, β), erweisen sich indessen als blosse Umschreibungen von eben-

<TEI>
  <text>
    <body>
      <div n="1">
        <div n="2">
          <div n="3">
            <p><pb facs="#f0285" n="261"/><fw place="top" type="header">§ 45. Besonderheiten des Aussagenkalkuls.</fw><lb/><table><row><cell>Zu <hi rendition="#i">&#x03B1;</hi><hi rendition="#sub">×</hi>)</cell><cell><hi rendition="#i">a</hi>, <hi rendition="#i">b</hi>, <hi rendition="#i">c</hi></cell><cell>Zu <hi rendition="#i">&#x03B1;</hi><hi rendition="#sub">+</hi>)</cell><cell><hi rendition="#i">a</hi>, <hi rendition="#i">b</hi>, <hi rendition="#i">c</hi></cell></row><lb/><row><cell/><cell><hi rendition="#sub">×</hi>0 0 0<hi rendition="#sub">*</hi></cell><cell/><cell><hi rendition="#sub">×</hi>0 0 0<hi rendition="#sub">*</hi></cell></row><lb/><row><cell/><cell><hi rendition="#sub">×</hi>0 0 i<hi rendition="#sub">*</hi></cell><cell/><cell>0 0 i</cell></row><lb/><row><cell/><cell>0 i 0<hi rendition="#sub">*</hi></cell><cell/><cell><hi rendition="#sub">×</hi>0 i 0<hi rendition="#sub">*</hi></cell></row><lb/><row><cell/><cell><hi rendition="#sub">×</hi>i 0 0<hi rendition="#sub"><hi rendition="#u">*</hi></hi></cell><cell/><cell><hi rendition="#sub">×</hi>i 0 0<hi rendition="#sub">*</hi></cell></row><lb/><row><cell/><cell><hi rendition="#sub">×</hi>0 i i<hi rendition="#sub">*</hi></cell><cell/><cell>0 i i<hi rendition="#sub">*</hi></cell></row><lb/><row><cell/><cell>i 0 i<hi rendition="#sub">*</hi></cell><cell/><cell>i 0 i<hi rendition="#sub">*</hi></cell></row><lb/><row><cell/><cell>i i 0</cell><cell/><cell><hi rendition="#sub">×</hi>i i 0<hi rendition="#sub">*</hi></cell></row><lb/><row><cell/><cell><hi rendition="#sub">×</hi>i i i<hi rendition="#sub">*</hi></cell><cell/><cell><hi rendition="#sub">×</hi>i i i<hi rendition="#sub">*</hi></cell></row><lb/></table> Von diesen erfüllen die rechts mit Stern ausgezeichneten die Annahme:<lb/><table><row><cell><hi rendition="#i">a b</hi><choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice><hi rendition="#i">c</hi></cell><cell><hi rendition="#i">c</hi><choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice><hi rendition="#i">a</hi> + <hi rendition="#i">b</hi></cell></row><lb/></table> sintemal 0 <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> 0, 0 <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> i und i <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> i, dagegen nicht i <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> 0 ist. Für die<lb/>
links mit Kreuz bezeichneten gilt sogar:<lb/><table><row><cell>(<hi rendition="#i">a</hi> <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> <hi rendition="#i">c</hi>) (<hi rendition="#i">b</hi> <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> <hi rendition="#i">c</hi>),</cell><cell>(<hi rendition="#i">c</hi> <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> <hi rendition="#i">a</hi>) (<hi rendition="#i">c</hi> <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> <hi rendition="#i">b</hi>),</cell></row><lb/><row><cell>für die erste links unbezeichnete gilt<lb/>
nur <hi rendition="#i">a</hi> <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> <hi rendition="#i">c</hi>, für die zweite nur <hi rendition="#i">b</hi> <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> <hi rendition="#i">c</hi>.</cell><cell>für die letzte links unbezeichnete gilt<lb/>
nur <hi rendition="#i">c</hi> <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> <hi rendition="#i">a</hi>, für die vorletzte nur <hi rendition="#i">c</hi> <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> <hi rendition="#i">b</hi>.</cell></row><lb/></table></p>
            <p>Die Kontrole stimmt also, indem die 7 Fälle, wo mindestens eine von<lb/>
diesen letztern Aussagen mithin die rechte Seite des Theorems zutrifft,<lb/>
zusammenfallen mit den 7 rechts besternten Fällen in welchen auch die<lb/>
andre Seite des Theorems zutraf.</p><lb/>
            <p>Der siebente Fall links und der zweite rechts ist der einzige, wo die<lb/>
eine (und dann ebenso auch die andre) Seite dieser Aussagenäquivalenz<lb/>
nicht zutrifft, etwas Falsches besagt. In jenen 7 Fällen lief unser Theo-<lb/>
rem auf die Identität i = i, in diesem einen Falle auf 0 = 0 hinaus,<lb/>
d. h. es bewahrheitete sich durchaus.</p><lb/>
            <p>Dehnt man die Sätze <hi rendition="#i">&#x03B1;</hi>) auch auf beliebig viele Operationsglieder<lb/>
(Terme) aus und verwendet dann zu ihrer abgekürzten Darstellung<lb/>
Produkt- und Summenzeichen, so entstehen bei der Annahme<lb/><table><row><cell><hi rendition="#i">c</hi> = 0</cell><cell><hi rendition="#i">c</hi> = i</cell></row><lb/></table> mit Rücksicht auf Th. 5&#x0304;) die beiden ersten von den folgenden vier<lb/>
Sätzen:<lb/><table><row><cell>*<hi rendition="#i">&#x03B2;</hi><hi rendition="#sub">×</hi>) (<hi rendition="#i">&#x03A0; a</hi> = 0) = <hi rendition="#i">&#x03A3;</hi> (<hi rendition="#i">a</hi> = 0)</cell><cell>*<hi rendition="#i">&#x03B2;</hi><hi rendition="#sub">+</hi>) (<hi rendition="#i">&#x03A3; a</hi> = i) = <hi rendition="#i">&#x03A3;</hi> (<hi rendition="#i">a</hi> = i)</cell></row><lb/><row><cell>(<hi rendition="#i">&#x03A0; a</hi> &#x2260; 0) = <hi rendition="#i">&#x03A0;</hi> (<hi rendition="#i">a</hi> &#x2260; 0)</cell><cell>(<hi rendition="#i">&#x03A3; a</hi> &#x2260; i) = <hi rendition="#i">&#x03A0;</hi> (<hi rendition="#i">a</hi> &#x2260; i)</cell></row><lb/></table> aus welchen die darunter gesetzten durch beiderseitiges Negiren, Kontra-<lb/>
position, gemäss Th. 3&#x0305;2&#x0305;) und 3&#x0305;6&#x0305;) hervorgehn.</p><lb/>
            <p>Dieselben bilden das Gegenstück zur ersten Zeile der Theoreme<lb/>
§ 40, <hi rendition="#i">&#x03B2;</hi>), erweisen sich indessen als blosse Umschreibungen von eben-<lb/></p>
          </div>
        </div>
      </div>
    </body>
  </text>
</TEI>
[261/0285] § 45. Besonderheiten des Aussagenkalkuls. Zu α×) a, b, c Zu α+) a, b, c ×0 0 0* ×0 0 0* ×0 0 i* 0 0 i 0 i 0* ×0 i 0* ×i 0 0* ×i 0 0* ×0 i i* 0 i i* i 0 i* i 0 i* i i 0 ×i i 0* ×i i i* ×i i i* Von diesen erfüllen die rechts mit Stern ausgezeichneten die Annahme: a b  c c  a + b sintemal 0  0, 0  i und i  i, dagegen nicht i  0 ist. Für die links mit Kreuz bezeichneten gilt sogar: (a  c) (b  c), (c  a) (c  b), für die erste links unbezeichnete gilt nur a  c, für die zweite nur b  c. für die letzte links unbezeichnete gilt nur c  a, für die vorletzte nur c  b. Die Kontrole stimmt also, indem die 7 Fälle, wo mindestens eine von diesen letztern Aussagen mithin die rechte Seite des Theorems zutrifft, zusammenfallen mit den 7 rechts besternten Fällen in welchen auch die andre Seite des Theorems zutraf. Der siebente Fall links und der zweite rechts ist der einzige, wo die eine (und dann ebenso auch die andre) Seite dieser Aussagenäquivalenz nicht zutrifft, etwas Falsches besagt. In jenen 7 Fällen lief unser Theo- rem auf die Identität i = i, in diesem einen Falle auf 0 = 0 hinaus, d. h. es bewahrheitete sich durchaus. Dehnt man die Sätze α) auch auf beliebig viele Operationsglieder (Terme) aus und verwendet dann zu ihrer abgekürzten Darstellung Produkt- und Summenzeichen, so entstehen bei der Annahme c = 0 c = i mit Rücksicht auf Th. 5̄) die beiden ersten von den folgenden vier Sätzen: *β×) (Π a = 0) = Σ (a = 0) *β+) (Σ a = i) = Σ (a = i) (Π a ≠ 0) = Π (a ≠ 0) (Σ a ≠ i) = Π (a ≠ i) aus welchen die darunter gesetzten durch beiderseitiges Negiren, Kontra- position, gemäss Th. 3̅2̅) und 3̅6̅) hervorgehn. Dieselben bilden das Gegenstück zur ersten Zeile der Theoreme § 40, β), erweisen sich indessen als blosse Umschreibungen von eben-

Suche im Werk

Hilfe

Informationen zum Werk

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?

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_logik0201_1891
URL zu dieser Seite: https://www.deutschestextarchiv.de/schroeder_logik0201_1891/285
Zitationshilfe: Schröder, Ernst: Vorlesungen über die Algebra der Logik. Bd. 2, Abt. 1. Leipzig, 1891, S. 261. In: Deutsches Textarchiv <https://www.deutschestextarchiv.de/schroeder_logik0201_1891/285>, abgerufen am 18.02.2025.