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 >>
§ 32. Gewicht von Aussagen.

Auflösung:
y1 = (a1 + b) (c1 + d)
y2 = a1 + b + c d1 = y1 + c d1, y3 = a b1 + c1 + d = y1 + a b1,
y4 = a1 + c1 + b d = y1 + (a b1 c1 + a1 c d1)
was ähnliche Bemerkungen liefert. Nebenbei erkennt man leicht auch
noch, dass:
y2 = {(c d) (a b)}, y3 = {a b) (c d)}
ist.

p) Zum Dritten wollen wir noch einmal zu den Studien des § 6 zurück-
kehren, die uns die Theoreme 7) bis 11) geliefert haben. Des Gebiets-
dualismus halber genügt es, diejenigen links vom Mittelstriche zu betrachten
und sollen die rechts höchstens als Ergebnisse mit berücksichtigt werden.

Man fasse unter den Chiffren die wir citiren, jeweils die Formeln des
§ 30 in's Auge, worin die kleinen Buchstaben wieder Gebiete vorstellen
mögen. (S. 29 sq.)

Def. (3x) gab in einfachst denkbarer Form die Erklärung des Produkts
a b zweier Gebiete als eines Prädikates: (c a b) = (c a) (c b).

Als Subjekt dagegen konnte a b nicht einfacher als mittelst Th. 9x) =
Def. (5x) erklärt werden, welches sich auf Grund des Th. 8x) unmittelbar
aus Def. (3x) ergibt, indem man nach letzterer die Bedeutung von (x a b)
in das Th. 8x) substituirt.

Analog zu dieser Def. (5x) für a b als Subjekt war aber behufs Er-
klärung von a b als Prädikat auch noch eine Erklärungsweise, komplizirter
als Def. (3x), zulässig, welche als Def. (4x) in dem Th. 7x) ausgesprochen ist.

Zog man das zu 8x) analoge Th. 10x) hinzu, so konnte auf diese
Definitionen (4x) und (5x) eine unbegrenzte Reihe von immer komplizirter
erscheinenden Erklärungsweisen für a b als Prädikat resp. Subjekt gegründet
werden, die paarweise als gleich komplizirte oder einander analoge zu-
sammengehören. Von den zwei Reihen so erhältlicher Definitionen, von
denen also Def. (4x) und Def. (5x) die "Anfangsglieder" vorstellen -- während
nur der ersteren von diesen wirklich noch ein Glied in Gestalt der Def. (3x)
vorangeht -- sollen nun wenigstens die beiden nächstfolgenden Glieder
noch in der Zeichensprache des Aussagenkalkuls dargestellt werden. Sie
lauten bezüglich:
r) (c a b) = [Formel 1] { [Formel 2] [(y a) (y b) (y x)] (c x)},
s) (a b c) = [Formel 3] { [Formel 4] [(y x) (y a) (y b)] (x c)},
und ergeben sich leicht, indem man für (a b x) in das Th. 10x) diejenige
Erklärung substituirt, welche das Th. 9x) dafür geben würde, resp. analog
für (x a b) in das Th. 8x) einsetzt den Wert dieser Aussage gemäss
Th. 7x). Dabei war nur zu beachten, dass nachdem der Name x als Pro-
duktationsvariable in dem einen der beiden im Geiste zusammenzuhaltenden
Schemata bereits vergeben ist, in dem andern Schema für die Produktations-
variable ein neuer Name, wie y, gewählt werden muss.

Schröder, Algebra der Logik. II. 6
§ 32. Gewicht von Aussagen.

Auflösung:
y1 = (a1 + b) (c1 + d)
y2 = a1 + b + c d1 = y1 + c d1, y3 = a b1 + c1 + d = y1 + a b1,
y4 = a1 + c1 + b d = y1 + (a b1 c1 + a1 c d1)
was ähnliche Bemerkungen liefert. Nebenbei erkennt man leicht auch
noch, dass:
y2 = {(c ⊆ d) ⊆ (a ⊆ b)}, y3 = {a ⊆ b) ⊆ (c ⊆ d)}
ist.

π) Zum Dritten wollen wir noch einmal zu den Studien des § 6 zurück-
kehren, die uns die Theoreme 7) bis 11) geliefert haben. Des Gebiets-
dualismus halber genügt es, diejenigen links vom Mittelstriche zu betrachten
und sollen die rechts höchstens als Ergebnisse mit berücksichtigt werden.

Man fasse unter den Chiffren die wir citiren, jeweils die Formeln des
§ 30 in’s Auge, worin die kleinen Buchstaben wieder Gebiete vorstellen
mögen. (S. 29 sq.)

Def. (3×) gab in einfachst denkbarer Form die Erklärung des Produkts
a b zweier Gebiete als eines Prädikates: (c ⊆ a b) = (c ⊆ a) (c ⊆ b).

Als Subjekt dagegen konnte a b nicht einfacher als mittelst Th. 9×) =
Def. (5×) erklärt werden, welches sich auf Grund des Th. 8×) unmittelbar
aus Def. (3×) ergibt, indem man nach letzterer die Bedeutung von (x ⊆ a b)
in das Th. 8×) substituirt.

Analog zu dieser Def. (5×) für a b als Subjekt war aber behufs Er-
klärung von a b als Prädikat auch noch eine Erklärungsweise, komplizirter
als Def. (3×), zulässig, welche als Def. (4×) in dem Th. 7×) ausgesprochen ist.

Zog man das zu 8×) analoge Th. 10×) hinzu, so konnte auf diese
Definitionen (4×) und (5×) eine unbegrenzte Reihe von immer komplizirter
erscheinenden Erklärungsweisen für a b als Prädikat resp. Subjekt gegründet
werden, die paarweise als gleich komplizirte oder einander analoge zu-
sammengehören. Von den zwei Reihen so erhältlicher Definitionen, von
denen also Def. (4×) und Def. (5×) die „Anfangsglieder“ vorstellen — während
nur der ersteren von diesen wirklich noch ein Glied in Gestalt der Def. (3×)
vorangeht — sollen nun wenigstens die beiden nächstfolgenden Glieder
noch in der Zeichensprache des Aussagenkalkuls dargestellt werden. Sie
lauten bezüglich:
ϱ) (c ⊆ a b) = [Formel 1] { [Formel 2] [(y ⊆ a) (y ⊆ b) ⊆ (y ⊆ x)] ⊆ (c ⊆ x)},
σ) (a b ⊆ c) = [Formel 3] { [Formel 4] [(y ⊆ x) ⊆ (y ⊆ a) (y ⊆ b)] ⊆ (x ⊆ c)},
und ergeben sich leicht, indem man für (a b ⊆ x) in das Th. 10×) diejenige
Erklärung substituirt, welche das Th. 9×) dafür geben würde, resp. analog
für (x ⊆ a b) in das Th. 8×) einsetzt den Wert dieser Aussage gemäss
Th. 7×). Dabei war nur zu beachten, dass nachdem der Name x als Pro-
duktationsvariable in dem einen der beiden im Geiste zusammenzuhaltenden
Schemata bereits vergeben ist, in dem andern Schema für die Produktations-
variable ein neuer Name, wie y, gewählt werden muss.

Schröder, Algebra der Logik. II. 6
<TEI>
  <text>
    <body>
      <div n="1">
        <div n="2">
          <div n="3">
            <pb facs="#f0105" n="81"/>
            <fw place="top" type="header">§ 32. Gewicht von Aussagen.</fw><lb/>
            <p><hi rendition="#g">Auflösung</hi>:<lb/><hi rendition="#c"><hi rendition="#i">y</hi><hi rendition="#sub">1</hi> = (<hi rendition="#i">a</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">b</hi>) (<hi rendition="#i">c</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">d</hi>)<lb/><hi rendition="#i">y</hi><hi rendition="#sub">2</hi> = <hi rendition="#i">a</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">b</hi> + <hi rendition="#i">c d</hi><hi rendition="#sub">1</hi> = <hi rendition="#i">y</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">c d</hi><hi rendition="#sub">1</hi>, <hi rendition="#i">y</hi><hi rendition="#sub">3</hi> = <hi rendition="#i">a b</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">c</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">d</hi> = <hi rendition="#i">y</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">a b</hi><hi rendition="#sub">1</hi>,<lb/><hi rendition="#i">y</hi><hi rendition="#sub">4</hi> = <hi rendition="#i">a</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">c</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">b d</hi> = <hi rendition="#i">y</hi><hi rendition="#sub">1</hi> + (<hi rendition="#i">a b</hi><hi rendition="#sub">1</hi> <hi rendition="#i">c</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">a</hi><hi rendition="#sub">1</hi> <hi rendition="#i">c d</hi><hi rendition="#sub">1</hi>)</hi><lb/>
was ähnliche Bemerkungen liefert. Nebenbei erkennt man leicht auch<lb/>
noch, dass:<lb/><hi rendition="#c"><hi rendition="#i">y</hi><hi rendition="#sub">2</hi> = {(<hi rendition="#i">c</hi> <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> <hi rendition="#i">d</hi>) <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> (<hi rendition="#i">a</hi> <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> <hi rendition="#i">b</hi>)}, <hi rendition="#i">y</hi><hi rendition="#sub">3</hi> = {<hi rendition="#i">a</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> <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> <hi rendition="#i">d</hi>)}</hi><lb/>
ist.</p><lb/>
            <p><hi rendition="#i">&#x03C0;</hi>) Zum Dritten wollen wir noch einmal zu den Studien des § 6 zurück-<lb/>
kehren, die uns die Theoreme 7) bis 11) geliefert haben. Des Gebiets-<lb/>
dualismus halber genügt es, diejenigen links vom Mittelstriche zu betrachten<lb/>
und sollen die rechts höchstens als Ergebnisse mit berücksichtigt werden.</p><lb/>
            <p>Man fasse unter den Chiffren die wir citiren, jeweils die Formeln des<lb/>
§ 30 in&#x2019;s Auge, worin die kleinen Buchstaben wieder Gebiete vorstellen<lb/>
mögen. (S. 29 sq.)</p><lb/>
            <p>Def. (3<hi rendition="#sub">×</hi>) gab in einfachst denkbarer Form die Erklärung des Produkts<lb/><hi rendition="#i">a b</hi> zweier Gebiete als eines Prädikates: (<hi rendition="#i">c</hi> <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> <hi rendition="#i">a b</hi>) = (<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>).</p><lb/>
            <p>Als Subjekt dagegen konnte <hi rendition="#i">a b</hi> nicht einfacher als mittelst Th. 9<hi rendition="#sub">×</hi>) =<lb/>
Def. (5<hi rendition="#sub">×</hi>) erklärt werden, welches sich auf Grund des Th. 8<hi rendition="#sub">×</hi>) unmittelbar<lb/>
aus Def. (3<hi rendition="#sub">×</hi>) ergibt, indem man nach letzterer die Bedeutung von (<hi rendition="#i">x</hi> <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> <hi rendition="#i">a b</hi>)<lb/>
in das Th. 8<hi rendition="#sub">×</hi>) substituirt.</p><lb/>
            <p>Analog zu dieser Def. (5<hi rendition="#sub">×</hi>) für <hi rendition="#i">a b</hi> als Subjekt war aber behufs Er-<lb/>
klärung von <hi rendition="#i">a b</hi> als Prädikat auch noch eine Erklärungsweise, komplizirter<lb/>
als Def. (3<hi rendition="#sub">×</hi>), zulässig, welche als Def. (4<hi rendition="#sub">×</hi>) in dem Th. 7<hi rendition="#sub">×</hi>) ausgesprochen ist.</p><lb/>
            <p>Zog man das zu 8<hi rendition="#sub">×</hi>) analoge Th. 10<hi rendition="#sub">×</hi>) hinzu, so konnte auf diese<lb/>
Definitionen (4<hi rendition="#sub">×</hi>) und (5<hi rendition="#sub">×</hi>) eine unbegrenzte Reihe von immer komplizirter<lb/>
erscheinenden Erklärungsweisen für <hi rendition="#i">a b</hi> als Prädikat resp. Subjekt gegründet<lb/>
werden, die paarweise als gleich komplizirte oder einander analoge zu-<lb/>
sammengehören. Von den zwei Reihen so erhältlicher Definitionen, von<lb/>
denen also Def. (4<hi rendition="#sub">×</hi>) und Def. (5<hi rendition="#sub">×</hi>) die &#x201E;Anfangsglieder&#x201C; vorstellen &#x2014; während<lb/>
nur der ersteren von diesen wirklich noch ein Glied in Gestalt der Def. (3<hi rendition="#sub">×</hi>)<lb/>
vorangeht &#x2014; sollen nun wenigstens die beiden nächstfolgenden Glieder<lb/>
noch in der Zeichensprache des Aussagenkalkuls dargestellt werden. Sie<lb/>
lauten bezüglich:<lb/><hi rendition="#i">&#x03F1;</hi>) <hi rendition="#et">(<hi rendition="#i">c</hi> <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> <hi rendition="#i">a b</hi>) = <formula/> {<formula/> [(<hi rendition="#i">y</hi> <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> <hi rendition="#i">a</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">y</hi> <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> <hi rendition="#i">x</hi>)] <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> (<hi rendition="#i">c</hi> <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> <hi rendition="#i">x</hi>)},</hi><lb/><hi rendition="#i">&#x03C3;</hi>) <hi rendition="#et">(<hi rendition="#i">a b</hi> <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> <hi rendition="#i">c</hi>) = <formula/> {<formula/> [(<hi rendition="#i">y</hi> <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> <hi rendition="#i">x</hi>) <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> (<hi rendition="#i">y</hi> <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> <hi rendition="#i">a</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">x</hi> <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> <hi rendition="#i">c</hi>)},</hi><lb/>
und ergeben sich <hi rendition="#i">leicht,</hi> indem man für (<hi rendition="#i">a b</hi> <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> <hi rendition="#i">x</hi>) in das Th. 10<hi rendition="#sub">×</hi>) diejenige<lb/>
Erklärung substituirt, welche das Th. 9<hi rendition="#sub">×</hi>) dafür geben würde, resp. analog<lb/>
für (<hi rendition="#i">x</hi> <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> <hi rendition="#i">a b</hi>) in das Th. 8<hi rendition="#sub">×</hi>) einsetzt den Wert dieser Aussage gemäss<lb/>
Th. 7<hi rendition="#sub">×</hi>). Dabei war nur zu beachten, dass nachdem der Name <hi rendition="#i">x</hi> als Pro-<lb/>
duktationsvariable in dem einen der beiden im Geiste zusammenzuhaltenden<lb/>
Schemata bereits vergeben ist, in dem andern Schema für die Produktations-<lb/>
variable ein neuer Name, wie <hi rendition="#i">y</hi>, gewählt werden muss.</p><lb/>
            <fw place="bottom" type="sig"><hi rendition="#k">Schröder</hi>, Algebra der Logik. II. 6</fw><lb/>
          </div>
        </div>
      </div>
    </body>
  </text>
</TEI>
[81/0105] § 32. Gewicht von Aussagen. Auflösung: y1 = (a1 + b) (c1 + d) y2 = a1 + b + c d1 = y1 + c d1, y3 = a b1 + c1 + d = y1 + a b1, y4 = a1 + c1 + b d = y1 + (a b1 c1 + a1 c d1) was ähnliche Bemerkungen liefert. Nebenbei erkennt man leicht auch noch, dass: y2 = {(c  d)  (a  b)}, y3 = {a  b)  (c  d)} ist. π) Zum Dritten wollen wir noch einmal zu den Studien des § 6 zurück- kehren, die uns die Theoreme 7) bis 11) geliefert haben. Des Gebiets- dualismus halber genügt es, diejenigen links vom Mittelstriche zu betrachten und sollen die rechts höchstens als Ergebnisse mit berücksichtigt werden. Man fasse unter den Chiffren die wir citiren, jeweils die Formeln des § 30 in’s Auge, worin die kleinen Buchstaben wieder Gebiete vorstellen mögen. (S. 29 sq.) Def. (3×) gab in einfachst denkbarer Form die Erklärung des Produkts a b zweier Gebiete als eines Prädikates: (c  a b) = (c  a) (c  b). Als Subjekt dagegen konnte a b nicht einfacher als mittelst Th. 9×) = Def. (5×) erklärt werden, welches sich auf Grund des Th. 8×) unmittelbar aus Def. (3×) ergibt, indem man nach letzterer die Bedeutung von (x  a b) in das Th. 8×) substituirt. Analog zu dieser Def. (5×) für a b als Subjekt war aber behufs Er- klärung von a b als Prädikat auch noch eine Erklärungsweise, komplizirter als Def. (3×), zulässig, welche als Def. (4×) in dem Th. 7×) ausgesprochen ist. Zog man das zu 8×) analoge Th. 10×) hinzu, so konnte auf diese Definitionen (4×) und (5×) eine unbegrenzte Reihe von immer komplizirter erscheinenden Erklärungsweisen für a b als Prädikat resp. Subjekt gegründet werden, die paarweise als gleich komplizirte oder einander analoge zu- sammengehören. Von den zwei Reihen so erhältlicher Definitionen, von denen also Def. (4×) und Def. (5×) die „Anfangsglieder“ vorstellen — während nur der ersteren von diesen wirklich noch ein Glied in Gestalt der Def. (3×) vorangeht — sollen nun wenigstens die beiden nächstfolgenden Glieder noch in der Zeichensprache des Aussagenkalkuls dargestellt werden. Sie lauten bezüglich: ϱ) (c  a b) = [FORMEL] {[FORMEL] [(y  a) (y  b)  (y  x)]  (c  x)}, σ) (a b  c) = [FORMEL] {[FORMEL] [(y  x)  (y  a) (y  b)]  (x  c)}, und ergeben sich leicht, indem man für (a b  x) in das Th. 10×) diejenige Erklärung substituirt, welche das Th. 9×) dafür geben würde, resp. analog für (x  a b) in das Th. 8×) einsetzt den Wert dieser Aussage gemäss Th. 7×). Dabei war nur zu beachten, dass nachdem der Name x als Pro- duktationsvariable in dem einen der beiden im Geiste zusammenzuhaltenden Schemata bereits vergeben ist, in dem andern Schema für die Produktations- variable ein neuer Name, wie y, gewählt werden muss. Schröder, Algebra der Logik. II. 6

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