Anmelden (DTAQ) DWDS     dlexDB     CLARIN-D

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

Bild:
<< vorherige Seite

Sechzehnte Vorlesung.
gültigkeitsklasse verschwinden -- im Einklang mit Th. 39x) -- die
Gültigkeitsklasse aber muss = i sein, nämlich die ganze Mannigfaltig-
keit der Gelegenheiten, resp. die ganze Zeit repräsentiren.

In der siebzehnten und folgenden Vorlesung werden wir alle denk-
baren Beziehungen zwischen Gebieten zurückführen auf Gleichungen
und Ungleichungen. Und da im eigentlichen Aussagenkalkul nach Th. k)
die Ungleichung sich immer auch als Gleichung schreiben liess, so ist
es jedenfalls schon ausreichend, die gestellte Aufgabe für die Gleichung
gelöst zu haben in Gestalt des Theorems m) -- und zum Überfluss für
die Subsumtion durch Th. l) -- um sich ihrer Lösung auch für alle
denkbaren Propositionen zu versichern.

Nach § 28 durften nun in den Formeln des identischen Kalkuls,
wie sie in § 29 sich rekapitulirt finden, alle Gebiete 1, a, b, ... auch
ausgelegt werden als Aussagen i, A, B, ... und mussten die Formeln
dabei ihre Gültigkeit behalten.

Für jedes richtige Theorem, jede gültige Formel aber muss dann
die Gültigkeitsklasse sich = i erweisen -- oder was auf dasselbe hinaus-
kommt, muss die Ungültigkeitsklasse verschwinden.

Indem wir dieses nachsehen, haben wir ein bequemes Mittel, die
Gültigkeit jedes Satzes zu kontroliren, die Sätze des identischen Kal-
kuls vermittelst mechanischen Rechnens durch diesen selbst zu bewahr-
heiten und durch solche Verifikation sie als Sätze des Aussagenkalkuls
direkt zu beweisen.

Wir schreiten dazu, die Formeln des § 29 nochmals, nämlich jetzt
auch in dieser Hinsicht durchzunehmen. Dabei wollen wir aber die
kleinen Buchstaben von früher beibehalten (inklusive der 1 ohne Tupfen)
obzwar wir unter denselben jetzt nicht mehr beliebige Gebiete, sondern
beliebige Aussagen (von festem Sinne) uns vorzustellen haben.

Zur Anwendung zu kommen brauchen lediglich die Schemata e)
nebst Korollar oder l) und m), oder im Überblick:
n) (A = i) = A, (A = 0) = A1, (A B) = A1 + B, (A = B) = A B + A1 B1.

Doch kann man statt der Berufung auf das letzte Schema m) sich
auch begnügen, gewissermassen die "Komparationsmethode" anzuwenden,
nämlich bei einer behaupteten Äquivalenz zweier Aussagen die Gültig-
keitsklasse der einen sowie der andern für sich aufstellen, um sich
von der Übereinstimmung, Identität der beiden Klassen durch den
blossen Anblick (durch Inspektion) ihrer Ausdrücke zu überzeugen.
Dabei wird -- damit diese Identität sich in der Form der beiden Aus-

Sechzehnte Vorlesung.
gültigkeitsklasse verschwinden — im Einklang mit Th. 39×) — die
Gültigkeitsklasse aber muss = i sein, nämlich die ganze Mannigfaltig-
keit der Gelegenheiten, resp. die ganze Zeit repräsentiren.

In der siebzehnten und folgenden Vorlesung werden wir alle denk-
baren Beziehungen zwischen Gebieten zurückführen auf Gleichungen
und Ungleichungen. Und da im eigentlichen Aussagenkalkul nach Th. ϰ)
die Ungleichung sich immer auch als Gleichung schreiben liess, so ist
es jedenfalls schon ausreichend, die gestellte Aufgabe für die Gleichung
gelöst zu haben in Gestalt des Theorems μ) — und zum Überfluss für
die Subsumtion durch Th. λ) — um sich ihrer Lösung auch für alle
denkbaren Propositionen zu versichern.

Nach § 28 durften nun in den Formeln des identischen Kalkuls,
wie sie in § 29 sich rekapitulirt finden, alle Gebiete 1, a, b, … auch
ausgelegt werden als Aussagen i, A, B, … und mussten die Formeln
dabei ihre Gültigkeit behalten.

Für jedes richtige Theorem, jede gültige Formel aber muss dann
die Gültigkeitsklasse sich = i erweisen — oder was auf dasselbe hinaus-
kommt, muss die Ungültigkeitsklasse verschwinden.

Indem wir dieses nachsehen, haben wir ein bequemes Mittel, die
Gültigkeit jedes Satzes zu kontroliren, die Sätze des identischen Kal-
kuls vermittelst mechanischen Rechnens durch diesen selbst zu bewahr-
heiten und durch solche Verifikation sie als Sätze des Aussagenkalkuls
direkt zu beweisen.

Wir schreiten dazu, die Formeln des § 29 nochmals, nämlich jetzt
auch in dieser Hinsicht durchzunehmen. Dabei wollen wir aber die
kleinen Buchstaben von früher beibehalten (inklusive der 1 ohne Tupfen)
obzwar wir unter denselben jetzt nicht mehr beliebige Gebiete, sondern
beliebige Aussagen (von festem Sinne) uns vorzustellen haben.

Zur Anwendung zu kommen brauchen lediglich die Schemata ε)
nebst Korollar oder λ) und μ), oder im Überblick:
ν) (A = i) = A, (A = 0) = A1, (A B) = A1 + B, (A = B) = A B + A1 B1.

Doch kann man statt der Berufung auf das letzte Schema μ) sich
auch begnügen, gewissermassen die „Komparationsmethode“ anzuwenden,
nämlich bei einer behaupteten Äquivalenz zweier Aussagen die Gültig-
keitsklasse der einen sowie der andern für sich aufstellen, um sich
von der Übereinstimmung, Identität der beiden Klassen durch den
blossen Anblick (durch Inspektion) ihrer Ausdrücke zu überzeugen.
Dabei wird — damit diese Identität sich in der Form der beiden Aus-

<TEI>
  <text>
    <body>
      <div n="1">
        <div n="2">
          <div n="3">
            <p><pb facs="#f0096" n="72"/><fw place="top" type="header">Sechzehnte Vorlesung.</fw><lb/>
gültigkeitsklasse verschwinden &#x2014; im Einklang mit Th. 39<hi rendition="#sub">×</hi>) &#x2014; die<lb/>
Gültigkeitsklasse aber muss = i sein, nämlich die ganze Mannigfaltig-<lb/>
keit der Gelegenheiten, resp. die ganze Zeit repräsentiren.</p><lb/>
            <p>In der siebzehnten und folgenden Vorlesung werden wir alle denk-<lb/>
baren Beziehungen zwischen Gebieten zurückführen auf Gleichungen<lb/><hi rendition="#i">und Ungleichungen</hi>. Und da <hi rendition="#i">im eigentlichen Aussagenkalkul</hi> nach Th. <hi rendition="#i">&#x03F0;</hi>)<lb/>
die Ungleichung sich immer auch als Gleichung schreiben liess, so ist<lb/>
es jedenfalls schon ausreichend, die gestellte Aufgabe für die Gleichung<lb/>
gelöst zu haben in Gestalt des Theorems <hi rendition="#i">&#x03BC;</hi>) &#x2014; und zum Überfluss für<lb/>
die Subsumtion durch Th. <hi rendition="#i">&#x03BB;</hi>) &#x2014; um sich ihrer Lösung auch für alle<lb/>
denkbaren Propositionen zu versichern.</p><lb/>
            <p>Nach § 28 durften nun in den Formeln des identischen Kalkuls,<lb/>
wie sie in § 29 sich rekapitulirt finden, alle Gebiete 1, <hi rendition="#i">a</hi>, <hi rendition="#i">b</hi>, &#x2026; auch<lb/>
ausgelegt werden als Aussagen i, <hi rendition="#i">A</hi>, <hi rendition="#i">B</hi>, &#x2026; und mussten die Formeln<lb/>
dabei ihre Gültigkeit behalten.</p><lb/>
            <p>Für jedes richtige Theorem, jede gültige Formel aber muss dann<lb/>
die Gültigkeitsklasse sich = i erweisen &#x2014; oder was auf dasselbe hinaus-<lb/>
kommt, muss die Ungültigkeitsklasse verschwinden.</p><lb/>
            <p>Indem wir dieses nachsehen, haben wir ein bequemes Mittel, die<lb/>
Gültigkeit jedes Satzes zu kontroliren, die Sätze des identischen Kal-<lb/>
kuls vermittelst mechanischen Rechnens durch diesen selbst zu bewahr-<lb/>
heiten und durch solche Verifikation sie <hi rendition="#i">als Sätze des Aussagenkalkuls</hi><lb/>
direkt zu beweisen.</p><lb/>
            <p>Wir schreiten dazu, die Formeln des § 29 nochmals, nämlich jetzt<lb/>
auch in dieser Hinsicht durchzunehmen. Dabei wollen wir aber die<lb/>
kleinen Buchstaben von früher beibehalten (inklusive der 1 ohne Tupfen)<lb/>
obzwar wir unter denselben jetzt nicht mehr beliebige Gebiete, sondern<lb/>
beliebige Aussagen (von festem Sinne) uns vorzustellen haben.</p><lb/>
            <p>Zur Anwendung zu kommen brauchen lediglich die Schemata <hi rendition="#i">&#x03B5;</hi>)<lb/>
nebst Korollar oder <hi rendition="#i">&#x03BB;</hi>) und <hi rendition="#i">&#x03BC;</hi>), oder im Überblick:<lb/><hi rendition="#i">&#x03BD;</hi>) (<hi rendition="#i">A</hi> = i) = <hi rendition="#i">A</hi>, (<hi rendition="#i">A</hi> = 0) = <hi rendition="#i">A</hi><hi rendition="#sub">1</hi>, (<hi rendition="#i">A</hi> <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> <hi rendition="#i">B</hi>) = <hi rendition="#i">A</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">B</hi>, (<hi rendition="#i">A</hi> = <hi rendition="#i">B</hi>) = <hi rendition="#i">A B</hi> + <hi rendition="#i">A</hi><hi rendition="#sub">1</hi> <hi rendition="#i">B</hi><hi rendition="#sub">1</hi>.</p><lb/>
            <p>Doch kann man statt der Berufung auf das letzte Schema <hi rendition="#i">&#x03BC;</hi>) sich<lb/>
auch begnügen, gewissermassen die &#x201E;Komparationsmethode&#x201C; anzuwenden,<lb/>
nämlich bei einer behaupteten Äquivalenz zweier Aussagen die Gültig-<lb/>
keitsklasse der einen sowie der andern für sich aufstellen, um sich<lb/>
von der Übereinstimmung, Identität der beiden Klassen durch den<lb/>
blossen Anblick (durch Inspektion) ihrer Ausdrücke zu überzeugen.<lb/>
Dabei wird &#x2014; damit diese Identität sich in der Form der beiden Aus-<lb/></p>
          </div>
        </div>
      </div>
    </body>
  </text>
</TEI>
[72/0096] Sechzehnte Vorlesung. gültigkeitsklasse verschwinden — im Einklang mit Th. 39×) — die Gültigkeitsklasse aber muss = i sein, nämlich die ganze Mannigfaltig- keit der Gelegenheiten, resp. die ganze Zeit repräsentiren. In der siebzehnten und folgenden Vorlesung werden wir alle denk- baren Beziehungen zwischen Gebieten zurückführen auf Gleichungen und Ungleichungen. Und da im eigentlichen Aussagenkalkul nach Th. ϰ) die Ungleichung sich immer auch als Gleichung schreiben liess, so ist es jedenfalls schon ausreichend, die gestellte Aufgabe für die Gleichung gelöst zu haben in Gestalt des Theorems μ) — und zum Überfluss für die Subsumtion durch Th. λ) — um sich ihrer Lösung auch für alle denkbaren Propositionen zu versichern. Nach § 28 durften nun in den Formeln des identischen Kalkuls, wie sie in § 29 sich rekapitulirt finden, alle Gebiete 1, a, b, … auch ausgelegt werden als Aussagen i, A, B, … und mussten die Formeln dabei ihre Gültigkeit behalten. Für jedes richtige Theorem, jede gültige Formel aber muss dann die Gültigkeitsklasse sich = i erweisen — oder was auf dasselbe hinaus- kommt, muss die Ungültigkeitsklasse verschwinden. Indem wir dieses nachsehen, haben wir ein bequemes Mittel, die Gültigkeit jedes Satzes zu kontroliren, die Sätze des identischen Kal- kuls vermittelst mechanischen Rechnens durch diesen selbst zu bewahr- heiten und durch solche Verifikation sie als Sätze des Aussagenkalkuls direkt zu beweisen. Wir schreiten dazu, die Formeln des § 29 nochmals, nämlich jetzt auch in dieser Hinsicht durchzunehmen. Dabei wollen wir aber die kleinen Buchstaben von früher beibehalten (inklusive der 1 ohne Tupfen) obzwar wir unter denselben jetzt nicht mehr beliebige Gebiete, sondern beliebige Aussagen (von festem Sinne) uns vorzustellen haben. Zur Anwendung zu kommen brauchen lediglich die Schemata ε) nebst Korollar oder λ) und μ), oder im Überblick: ν) (A = i) = A, (A = 0) = A1, (A  B) = A1 + B, (A = B) = A B + A1 B1. Doch kann man statt der Berufung auf das letzte Schema μ) sich auch begnügen, gewissermassen die „Komparationsmethode“ anzuwenden, nämlich bei einer behaupteten Äquivalenz zweier Aussagen die Gültig- keitsklasse der einen sowie der andern für sich aufstellen, um sich von der Übereinstimmung, Identität der beiden Klassen durch den blossen Anblick (durch Inspektion) ihrer Ausdrücke zu überzeugen. Dabei wird — damit diese Identität sich in der Form der beiden Aus-

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/96
Zitationshilfe: Schröder, Ernst: Vorlesungen über die Algebra der Logik. Bd. 2, Abt. 1. Leipzig, 1891, S. 72. In: Deutsches Textarchiv <https://www.deutschestextarchiv.de/schroeder_logik0201_1891/96>, abgerufen am 12.10.2024.