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.

In der That ist bei ax) die linke Seite:
A = (a b c) = (a b)1 + c = a1 + b1 + c,
und die rechte:
B = (a c) + (b c) = a1 + c + b1 + c = a1 + b1 + c
-- gemäss dem Schema l) des § 32. Ebenso sind bei a+) die beiden
Seiten dieser Gleichung äquivalent ihrer Gültigkeitsklasse, welche sich für
sie als die nämliche: c1 + a + b erweist und auch als die Aussage zu
deuten ist, dass entweder c nicht gilt oder auch a oder b gilt.

McColl3 p. 16 gibt von den obigen Sätzen wenigstens diejenigen
beiden Teilsätze, die in denselben mitgegeben erscheinen, wenn man die
Gleichungen als Subsumtionen rückwärts liest, und zwar indem er diese Ein-
ordnungen wol als selbstverständliche hinstellt.

Ich habe die Sätze systematisch gefunden, indem ich mir die Aufgabe
stellte -- bei ax) z. B. -- wenn
z = (a b c), x = (a c), y (b c)
definirt wird, unter Elimination von a, b, c die Aussage z als Unbe-
kannnte durch x und y auszudrücken. Die Ausführung ist in einer Hin-
sicht lehrreich.

Wir haben alsdann:
z = a1 + b1 + c, x = a1 + c, y = b1 + c
und können die Aufstellung der "vereinigten Gleichung" von diesen dreien,
sowie die successive Elimination von a, b und c konform den Methoden
des § 21 füglich dem Leser überlassen. Die Resultante lautet:
0 = x1 y1 z + (x + y) z1
und ist dieselbe äquivalent ihrer Auflösung nach z, als welche sich zu-
nächst ergibt:
z = x + y + u x1 y1,
wo u eine unbestimmte Aussage vorstellt. Diese letztere u ist aber hier
nicht arbiträr oder willkürlich, weil z nicht blos durch die zur Auflösung
vorgelegte Gleichung bestimmt erscheint, sondern von vornherein, schon
anderweitig, gegeben ist. Einsetzung der Werte von x, y, z in die letzte
Gleichung -- wie sie angezeigt erscheint durch die Forderung, nunmehr
die Probe der gefundnen Auflösung zu machen -- gibt:
a1 + b1 + c = a1 + b1 + c + u a b c1,
oder:
A = A + u A1.

Damit aber diese Gleichung gelten könne, muss
u A1 = 0
sein, wie man erkennt, indem man nach Th. 39) die Gleichung rechter-
hand auf 0 bringt, oder auch -- noch bequemer -- indem man sie beider-

17*
§ 45. Besonderheiten des Aussagenkalkuls.

In der That ist bei α×) die linke Seite:
A = (a b ⊆ c) = (a b)1 + c = a1 + b1 + c,
und die rechte:
B = (a ⊆ c) + (b ⊆ c) = a1 + c + b1 + c = a1 + b1 + c
— gemäss dem Schema λ) des § 32. Ebenso sind bei α+) die beiden
Seiten dieser Gleichung äquivalent ihrer Gültigkeitsklasse, welche sich für
sie als die nämliche: c1 + a + b erweist und auch als die Aussage zu
deuten ist, dass entweder c nicht gilt oder auch a oder b gilt.

McColl3 p. 16 gibt von den obigen Sätzen wenigstens diejenigen
beiden Teilsätze, die in denselben mitgegeben erscheinen, wenn man die
Gleichungen als Subsumtionen rückwärts liest, und zwar indem er diese Ein-
ordnungen wol als selbstverständliche hinstellt.

Ich habe die Sätze systematisch gefunden, indem ich mir die Aufgabe
stellte — bei α×) z. B. — wenn
z = (a b ⊆ c), x = (a ⊆ c), y ⊆ (b ⊆ c)
definirt wird, unter Elimination von a, b, c die Aussage z als Unbe-
kannnte durch x und y auszudrücken. Die Ausführung ist in einer Hin-
sicht lehrreich.

Wir haben alsdann:
z = a1 + b1 + c, x = a1 + c, y = b1 + c
und können die Aufstellung der „vereinigten Gleichung“ von diesen dreien,
sowie die successive Elimination von a, b und c konform den Methoden
des § 21 füglich dem Leser überlassen. Die Resultante lautet:
0 = x1 y1 z + (x + y) z1
und ist dieselbe äquivalent ihrer Auflösung nach z, als welche sich zu-
nächst ergibt:
z = x + y + u x1 y1,
wo u eine unbestimmte Aussage vorstellt. Diese letztere u ist aber hier
nicht arbiträr oder willkürlich, weil z nicht blos durch die zur Auflösung
vorgelegte Gleichung bestimmt erscheint, sondern von vornherein, schon
anderweitig, gegeben ist. Einsetzung der Werte von x, y, z in die letzte
Gleichung — wie sie angezeigt erscheint durch die Forderung, nunmehr
die Probe der gefundnen Auflösung zu machen — gibt:
a1 + b1 + c = a1 + b1 + c + u a b c1,
oder:
A = A + u A1.

Damit aber diese Gleichung gelten könne, muss
u A1 = 0
sein, wie man erkennt, indem man nach Th. 39) die Gleichung rechter-
hand auf 0 bringt, oder auch — noch bequemer — indem man sie beider-

17*
<TEI>
  <text>
    <body>
      <div n="1">
        <div n="2">
          <div n="3">
            <pb facs="#f0283" n="259"/>
            <fw place="top" type="header">§ 45. Besonderheiten des Aussagenkalkuls.</fw><lb/>
            <p>In der That ist bei <hi rendition="#i">&#x03B1;</hi><hi rendition="#sub">×</hi>) die linke Seite:<lb/><hi rendition="#c"><hi rendition="#i">A</hi> = (<hi rendition="#i">a b</hi> <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> <hi rendition="#i">c</hi>) = (<hi rendition="#i">a b</hi>)<hi rendition="#sub">1</hi> + <hi rendition="#i">c</hi> = <hi rendition="#i">a</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">b</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">c</hi>,</hi><lb/>
und die rechte:<lb/><hi rendition="#c"><hi rendition="#i">B</hi> = (<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>) = <hi rendition="#i">a</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">c</hi> + <hi rendition="#i">b</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">c</hi> = <hi rendition="#i">a</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">b</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">c</hi></hi><lb/>
&#x2014; gemäss dem Schema <hi rendition="#i">&#x03BB;</hi>) des § 32. Ebenso sind bei <hi rendition="#i">&#x03B1;</hi><hi rendition="#sub">+</hi>) die beiden<lb/>
Seiten dieser Gleichung äquivalent ihrer Gültigkeitsklasse, welche sich für<lb/>
sie als die nämliche: <hi rendition="#i">c</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">a</hi> + <hi rendition="#i">b</hi> erweist und auch als die Aussage zu<lb/>
deuten ist, dass entweder <hi rendition="#i">c</hi> nicht gilt oder auch <hi rendition="#i">a</hi> oder <hi rendition="#i">b</hi> gilt.</p><lb/>
            <p><hi rendition="#g">McColl</hi><hi rendition="#sup">3</hi> p. 16 gibt von den obigen Sätzen wenigstens diejenigen<lb/>
beiden Teilsätze, die in denselben mitgegeben erscheinen, wenn man die<lb/>
Gleichungen als Subsumtionen rückwärts liest, und zwar indem er diese Ein-<lb/>
ordnungen wol als selbstverständliche hinstellt.</p><lb/>
            <p>Ich habe die Sätze systematisch gefunden, indem ich mir die Aufgabe<lb/>
stellte &#x2014; bei <hi rendition="#i">&#x03B1;</hi><hi rendition="#sub">×</hi>) z. B. &#x2014; wenn<lb/><hi rendition="#c"><hi rendition="#i">z</hi> = (<hi rendition="#i">a b</hi> <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> <hi rendition="#i">c</hi>), <hi rendition="#i">x</hi> = (<hi rendition="#i">a</hi> <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> <hi rendition="#i">c</hi>), <hi rendition="#i">y</hi> <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> (<hi rendition="#i">b</hi> <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> <hi rendition="#i">c</hi>)</hi><lb/>
definirt wird, unter Elimination von <hi rendition="#i">a</hi>, <hi rendition="#i">b</hi>, <hi rendition="#i">c</hi> die Aussage <hi rendition="#i">z</hi> als Unbe-<lb/>
kannnte durch <hi rendition="#i">x</hi> und <hi rendition="#i">y</hi> auszudrücken. Die Ausführung ist in einer Hin-<lb/>
sicht lehrreich.</p><lb/>
            <p>Wir haben alsdann:<lb/><hi rendition="#c"><hi rendition="#i">z</hi> = <hi rendition="#i">a</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">b</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">c</hi>, <hi rendition="#i">x</hi> = <hi rendition="#i">a</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">c</hi>, <hi rendition="#i">y</hi> = <hi rendition="#i">b</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">c</hi></hi><lb/>
und können die Aufstellung der &#x201E;vereinigten Gleichung&#x201C; von diesen dreien,<lb/>
sowie die successive Elimination von <hi rendition="#i">a</hi>, <hi rendition="#i">b</hi> und <hi rendition="#i">c</hi> konform den Methoden<lb/>
des § 21 füglich dem Leser überlassen. Die Resultante lautet:<lb/><hi rendition="#c">0 = <hi rendition="#i">x</hi><hi rendition="#sub">1</hi> <hi rendition="#i">y</hi><hi rendition="#sub">1</hi> <hi rendition="#i">z</hi> + (<hi rendition="#i">x</hi> + <hi rendition="#i">y</hi>) <hi rendition="#i">z</hi><hi rendition="#sub">1</hi></hi><lb/>
und ist dieselbe äquivalent ihrer Auflösung nach <hi rendition="#i">z</hi>, als welche sich zu-<lb/>
nächst ergibt:<lb/><hi rendition="#c"><hi rendition="#i">z</hi> = <hi rendition="#i">x</hi> + <hi rendition="#i">y</hi> + <hi rendition="#i">u x</hi><hi rendition="#sub">1</hi> <hi rendition="#i">y</hi><hi rendition="#sub">1</hi>,</hi><lb/>
wo <hi rendition="#i">u</hi> eine <hi rendition="#i">unbestimmte</hi> Aussage vorstellt. Diese letztere <hi rendition="#i">u</hi> ist aber hier<lb/><hi rendition="#i">nicht</hi> arbiträr oder willkürlich, weil <hi rendition="#i">z</hi> nicht blos durch die zur Auflösung<lb/>
vorgelegte Gleichung bestimmt erscheint, sondern von vornherein, schon<lb/>
anderweitig, <hi rendition="#i">gegeben</hi> ist. Einsetzung der Werte von <hi rendition="#i">x</hi>, <hi rendition="#i">y</hi>, <hi rendition="#i">z</hi> in die letzte<lb/>
Gleichung &#x2014; wie sie angezeigt erscheint durch die Forderung, nunmehr<lb/>
die <hi rendition="#i">Probe</hi> der gefundnen Auflösung zu machen &#x2014; gibt:<lb/><hi rendition="#c"><hi rendition="#i">a</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">b</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">c</hi> = <hi rendition="#i">a</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">b</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">c</hi> + <hi rendition="#i">u a b c</hi><hi rendition="#sub">1</hi>,</hi><lb/>
oder:<lb/><hi rendition="#c"><hi rendition="#i">A</hi> = <hi rendition="#i">A</hi> + <hi rendition="#i">u A</hi><hi rendition="#sub">1</hi>.</hi></p><lb/>
            <p>Damit aber diese Gleichung gelten könne, muss<lb/><hi rendition="#c"><hi rendition="#i">u A</hi><hi rendition="#sub">1</hi> = 0</hi><lb/>
sein, wie man erkennt, indem man nach Th. 39) die Gleichung rechter-<lb/>
hand auf 0 bringt, oder auch &#x2014; noch bequemer &#x2014; indem man sie beider-<lb/>
<fw place="bottom" type="sig">17*</fw><lb/></p>
          </div>
        </div>
      </div>
    </body>
  </text>
</TEI>
[259/0283] § 45. Besonderheiten des Aussagenkalkuls. In der That ist bei α×) die linke Seite: A = (a b  c) = (a b)1 + c = a1 + b1 + c, und die rechte: B = (a  c) + (b  c) = a1 + c + b1 + c = a1 + b1 + c — gemäss dem Schema λ) des § 32. Ebenso sind bei α+) die beiden Seiten dieser Gleichung äquivalent ihrer Gültigkeitsklasse, welche sich für sie als die nämliche: c1 + a + b erweist und auch als die Aussage zu deuten ist, dass entweder c nicht gilt oder auch a oder b gilt. McColl3 p. 16 gibt von den obigen Sätzen wenigstens diejenigen beiden Teilsätze, die in denselben mitgegeben erscheinen, wenn man die Gleichungen als Subsumtionen rückwärts liest, und zwar indem er diese Ein- ordnungen wol als selbstverständliche hinstellt. Ich habe die Sätze systematisch gefunden, indem ich mir die Aufgabe stellte — bei α×) z. B. — wenn z = (a b  c), x = (a  c), y  (b  c) definirt wird, unter Elimination von a, b, c die Aussage z als Unbe- kannnte durch x und y auszudrücken. Die Ausführung ist in einer Hin- sicht lehrreich. Wir haben alsdann: z = a1 + b1 + c, x = a1 + c, y = b1 + c und können die Aufstellung der „vereinigten Gleichung“ von diesen dreien, sowie die successive Elimination von a, b und c konform den Methoden des § 21 füglich dem Leser überlassen. Die Resultante lautet: 0 = x1 y1 z + (x + y) z1 und ist dieselbe äquivalent ihrer Auflösung nach z, als welche sich zu- nächst ergibt: z = x + y + u x1 y1, wo u eine unbestimmte Aussage vorstellt. Diese letztere u ist aber hier nicht arbiträr oder willkürlich, weil z nicht blos durch die zur Auflösung vorgelegte Gleichung bestimmt erscheint, sondern von vornherein, schon anderweitig, gegeben ist. Einsetzung der Werte von x, y, z in die letzte Gleichung — wie sie angezeigt erscheint durch die Forderung, nunmehr die Probe der gefundnen Auflösung zu machen — gibt: a1 + b1 + c = a1 + b1 + c + u a b c1, oder: A = A + u A1. Damit aber diese Gleichung gelten könne, muss u A1 = 0 sein, wie man erkennt, indem man nach Th. 39) die Gleichung rechter- hand auf 0 bringt, oder auch — noch bequemer — indem man sie beider- 17*

Suche im Werk

Hilfe

Informationen zum Werk

Download dieses Werks

XML (TEI P5) · HTML · Text
TCF (text annotation layer)
TCF (tokenisiert, serialisiert, lemmatisiert, normalisiert)
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/283
Zitationshilfe: Schröder, Ernst: Vorlesungen über die Algebra der Logik. Bd. 2, Abt. 1. Leipzig, 1891, S. 259. In: Deutsches Textarchiv <https://www.deutschestextarchiv.de/schroeder_logik0201_1891/283>, abgerufen am 09.05.2024.