Anmelden (DTAQ) DWDS     dlexDB     CLARIN-D

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

Bild:
<< vorherige Seite
Vierzehnte Vorlesung.

Charakteristisch ist aber die Art, wie McColl zu obiger Gleichung
gelangt. Seine Rechnungsweisen sind wesentlich aus dem Aussagenkalkul
("calculus of equivalent statements") hervorgewachsen, und könnten eigent-
lich erst unter diesem ganz ungehindert besprochen werden, weshalb wir
auch noch einmal auf sie zurückkommen -- § 46 am Schlusse. Bedeuten
ihm nun x, y, z, .. u, v, .. verschiedene Aussagen, so wird diesen Symbolen
der Wert 1 zukommen, wenn sie wahr und der Wert 0, wenn sie falsch
sind (vergl. unten § 28). Wird nun angesetzt das Produkt x y z .. u1 v1 .., so
sind damit die Faktoraussagen als gleichzeitig gültige hingestellt oder an-
genommen (vergl. § 28), d. h. es ist x = y = z .. = 1 und ebenso
u1 = v1 = .. = 1, sonach u = v = .. = 0 gesetzt; und deshalb dürfen
in der That die genannten Symbole in einer etwa noch dahinter tretenden
(d. h. gleichzeitig gemachten) ferneren Aussage f (x, y, z, .., u, v, ..) durch
diese ihre Werte 1, 1, 1, .. 0, 0, .. bezüglich ersetzt werden.

Es müsste dies auch gültig bleiben, wenn etwa f (x, y, .., u, ..) nicht
mehr blos einen Funktionsausdruck des identischen Kalkuls in unserm bis-
herigen Sinne, sondern auch, wenn es irgend ein System von Propositionen
vorstellte, in welchem nur als Aussagensymbole die Argumente vorkämen.
Gelegentlich macht, um Schlüsse zu ziehen, McColl auch in dieser Weise
von dem Satze Gebrauch. Doch lässt von dem wie wir sehen werden
engeren "Aussagen"kalkul (in welchem nämlich die Symbole lediglich der
Werte 0 und 1 fähig sind) der Satz auch auf den weiteren "Klassen"kalkul
(in welchem sie beliebige Werte haben können) sich nicht ohne weiteres
übertragen (cf. § 46, 18. Studie).

Ist nun z. B. eine Subsumtion:
ph (x) ps (x)
nach der Unbekannten x aufzulösen, oder auch diese zu eliminiren, so
wird gefolgert:
ph (x) ps1 (x) 0
was dasselbe besagt, wie, dass es = 0 sei; und hieraus durch beider-
seitiges Multipliziren mit x1 oder x, unter Anwendung des angeführten
Satzes:
x1 ph (x) ps1 (x) = x1 ph (0) ps1 (0) 0, x ph (x) ps1 (x) = x ph (1) ps1 (1) 0,
oder, was dasselbe besagt, = 0. Nach Th. 38) lassen nun aber diese
letzten Subsumtionen sich umschreiben in:
ph (0) ps1 (0) x, ph (1) ps1 (1) x1
oder auch, nach Belieben, in:
x1 ph1 (0) + ps (0), x ph1 (1) + ps (1).
Multiplizirt man überschiebend die Subsumtionen der ersten, oder ad-
dirt ebenso man die der zweiten Zeile, so ergeben sich mit Rücksicht
auf Th. 30) und Th. 5) die Formen, in deren erster McColl die Resul-
tante der Elimination von x ansetzt:

Vierzehnte Vorlesung.

Charakteristisch ist aber die Art, wie McColl zu obiger Gleichung
gelangt. Seine Rechnungsweisen sind wesentlich aus dem Aussagenkalkul
(„calculus of equivalent statements“) hervorgewachsen, und könnten eigent-
lich erst unter diesem ganz ungehindert besprochen werden, weshalb wir
auch noch einmal auf sie zurückkommen — § 46 am Schlusse. Bedeuten
ihm nun x, y, z, ‥ u, v, ‥ verschiedene Aussagen, so wird diesen Symbolen
der Wert 1 zukommen, wenn sie wahr und der Wert 0, wenn sie falsch
sind (vergl. unten § 28). Wird nun angesetzt das Produkt x y zu1 v1 ‥, so
sind damit die Faktoraussagen als gleichzeitig gültige hingestellt oder an-
genommen (vergl. § 28), d. h. es ist x = y = z ‥ = 1 und ebenso
u1 = v1 = ‥ = 1, sonach u = v = ‥ = 0 gesetzt; und deshalb dürfen
in der That die genannten Symbole in einer etwa noch dahinter tretenden
(d. h. gleichzeitig gemachten) ferneren Aussage f (x, y, z, ‥, u, v, ‥) durch
diese ihre Werte 1, 1, 1, ‥ 0, 0, ‥ bezüglich ersetzt werden.

Es müsste dies auch gültig bleiben, wenn etwa f (x, y, ‥, u, ‥) nicht
mehr blos einen Funktionsausdruck des identischen Kalkuls in unserm bis-
herigen Sinne, sondern auch, wenn es irgend ein System von Propositionen
vorstellte, in welchem nur als Aussagensymbole die Argumente vorkämen.
Gelegentlich macht, um Schlüsse zu ziehen, McColl auch in dieser Weise
von dem Satze Gebrauch. Doch lässt von dem wie wir sehen werden
engeren „Aussagen“kalkul (in welchem nämlich die Symbole lediglich der
Werte 0 und 1 fähig sind) der Satz auch auf den weiteren „Klassen“kalkul
(in welchem sie beliebige Werte haben können) sich nicht ohne weiteres
übertragen (cf. § 46, 18. Studie).

Ist nun z. B. eine Subsumtion:
φ (x) ⋹ ψ (x)
nach der Unbekannten x aufzulösen, oder auch diese zu eliminiren, so
wird gefolgert:
φ (x) ψ1 (x) ⋹ 0
was dasselbe besagt, wie, dass es = 0 sei; und hieraus durch beider-
seitiges Multipliziren mit x1 oder x, unter Anwendung des angeführten
Satzes:
x1 φ (x) ψ1 (x) = x1 φ (0) ψ1 (0) ⋹ 0, x φ (x) ψ1 (x) = x φ (1) ψ1 (1) ⋹ 0,
oder, was dasselbe besagt, = 0. Nach Th. 38) lassen nun aber diese
letzten Subsumtionen sich umschreiben in:
φ (0) ψ1 (0) ⋹ x, φ (1) ψ1 (1) ⋹ x1
oder auch, nach Belieben, in:
x1φ1 (0) + ψ (0), xφ1 (1) + ψ (1).
Multiplizirt man überschiebend die Subsumtionen der ersten, oder ad-
dirt ebenso man die der zweiten Zeile, so ergeben sich mit Rücksicht
auf Th. 30) und Th. 5) die Formen, in deren erster McColl die Resul-
tante der Elimination von x ansetzt:

<TEI>
  <text>
    <body>
      <div n="1">
        <div n="2">
          <pb facs="#f0610" n="590"/>
          <fw place="top" type="header">Vierzehnte Vorlesung.</fw><lb/>
          <p>Charakteristisch ist aber die Art, wie <hi rendition="#g">McColl</hi> zu obiger Gleichung<lb/>
gelangt. Seine Rechnungsweisen sind wesentlich aus dem Aussagenkalkul<lb/>
(&#x201E;calculus of equivalent statements&#x201C;) hervorgewachsen, und könnten eigent-<lb/>
lich erst unter diesem ganz ungehindert besprochen werden, weshalb wir<lb/>
auch noch einmal auf sie zurückkommen &#x2014; § 46 am Schlusse. Bedeuten<lb/>
ihm nun <hi rendition="#i">x</hi>, <hi rendition="#i">y</hi>, <hi rendition="#i">z</hi>, &#x2025; <hi rendition="#i">u</hi>, <hi rendition="#i">v</hi>, &#x2025; verschiedene Aussagen, so wird diesen Symbolen<lb/>
der Wert 1 zukommen, wenn sie wahr und der Wert 0, wenn sie falsch<lb/>
sind (vergl. unten § 28). Wird nun angesetzt das Produkt <hi rendition="#i">x y z</hi> &#x2025; <hi rendition="#i">u</hi><hi rendition="#sub">1</hi> <hi rendition="#i">v</hi><hi rendition="#sub">1</hi> &#x2025;, so<lb/>
sind damit die Faktoraussagen als gleichzeitig gültige hingestellt oder an-<lb/>
genommen (vergl. § 28), d. h. es ist <hi rendition="#i">x</hi> = <hi rendition="#i">y</hi> = <hi rendition="#i">z</hi> &#x2025; = 1 und ebenso<lb/><hi rendition="#i">u</hi><hi rendition="#sub">1</hi> = <hi rendition="#i">v</hi><hi rendition="#sub">1</hi> = &#x2025; = 1, sonach <hi rendition="#i">u</hi> = <hi rendition="#i">v</hi> = &#x2025; = 0 gesetzt; und deshalb dürfen<lb/>
in der That die genannten Symbole in einer etwa noch dahinter tretenden<lb/>
(d. h. gleichzeitig gemachten) ferneren Aussage <hi rendition="#i">f</hi> (<hi rendition="#i">x</hi>, <hi rendition="#i">y</hi>, <hi rendition="#i">z</hi>, &#x2025;, <hi rendition="#i">u</hi>, <hi rendition="#i">v</hi>, &#x2025;) durch<lb/>
diese ihre Werte 1, 1, 1, &#x2025; 0, 0, &#x2025; bezüglich ersetzt werden.</p><lb/>
          <p>Es müsste dies auch gültig bleiben, wenn etwa <hi rendition="#i">f</hi> (<hi rendition="#i">x</hi>, <hi rendition="#i">y</hi>, &#x2025;, <hi rendition="#i">u</hi>, &#x2025;) nicht<lb/>
mehr blos einen Funktionsausdruck des identischen Kalkuls in unserm bis-<lb/>
herigen Sinne, sondern auch, wenn es irgend ein System von Propositionen<lb/>
vorstellte, in welchem nur als Aussagensymbole die Argumente vorkämen.<lb/>
Gelegentlich macht, um Schlüsse zu ziehen, <hi rendition="#g">McColl</hi> auch in dieser Weise<lb/>
von dem Satze Gebrauch. Doch lässt von dem wie wir sehen werden<lb/><hi rendition="#i">engeren</hi> &#x201E;Aussagen&#x201C;kalkul (in welchem nämlich die Symbole lediglich der<lb/>
Werte 0 und 1 fähig sind) der Satz auch auf den <hi rendition="#i">weiteren</hi> &#x201E;Klassen&#x201C;kalkul<lb/>
(in welchem sie beliebige Werte haben können) sich nicht ohne weiteres<lb/>
übertragen (cf. § 46, 18. Studie).</p><lb/>
          <p>Ist nun z. B. eine Subsumtion:<lb/><hi rendition="#c"><hi rendition="#i">&#x03C6;</hi> (<hi rendition="#i">x</hi>) &#x22F9; <hi rendition="#i">&#x03C8;</hi> (<hi rendition="#i">x</hi>)</hi><lb/>
nach der Unbekannten <hi rendition="#i">x</hi> aufzulösen, oder auch diese zu eliminiren, so<lb/>
wird gefolgert:<lb/><hi rendition="#c"><hi rendition="#i">&#x03C6;</hi> (<hi rendition="#i">x</hi>) <hi rendition="#i">&#x03C8;</hi><hi rendition="#sub">1</hi> (<hi rendition="#i">x</hi>) &#x22F9; 0</hi><lb/>
was dasselbe besagt, wie, dass es = 0 sei; und hieraus durch beider-<lb/>
seitiges Multipliziren mit <hi rendition="#i">x</hi><hi rendition="#sub">1</hi> oder <hi rendition="#i">x</hi>, unter Anwendung des angeführten<lb/>
Satzes:<lb/><hi rendition="#c"><hi rendition="#i">x</hi><hi rendition="#sub">1</hi><hi rendition="#i">&#x03C6;</hi> (<hi rendition="#i">x</hi>) <hi rendition="#i">&#x03C8;</hi><hi rendition="#sub">1</hi> (<hi rendition="#i">x</hi>) = <hi rendition="#i">x</hi><hi rendition="#sub">1</hi> <hi rendition="#i">&#x03C6;</hi> (0) <hi rendition="#i">&#x03C8;</hi><hi rendition="#sub">1</hi> (0) &#x22F9; 0, <hi rendition="#i">x &#x03C6;</hi> (<hi rendition="#i">x</hi>) <hi rendition="#i">&#x03C8;</hi><hi rendition="#sub">1</hi> (<hi rendition="#i">x</hi>) = <hi rendition="#i">x &#x03C6;</hi> (1) <hi rendition="#i">&#x03C8;</hi><hi rendition="#sub">1</hi> (1) &#x22F9; 0,</hi><lb/>
oder, was dasselbe besagt, = 0. Nach Th. 38) lassen nun aber diese<lb/>
letzten Subsumtionen sich umschreiben in:<lb/><hi rendition="#c"><hi rendition="#i">&#x03C6;</hi> (0) <hi rendition="#i">&#x03C8;</hi><hi rendition="#sub">1</hi> (0) &#x22F9; <hi rendition="#i">x</hi>, <hi rendition="#i">&#x03C6;</hi> (1) <hi rendition="#i">&#x03C8;</hi><hi rendition="#sub">1</hi> (1) &#x22F9; <hi rendition="#i">x</hi><hi rendition="#sub">1</hi></hi><lb/>
oder auch, nach Belieben, in:<lb/><hi rendition="#c"><hi rendition="#i">x</hi><hi rendition="#sub">1</hi> &#x22F9; <hi rendition="#i">&#x03C6;</hi><hi rendition="#sub">1</hi> (0) + <hi rendition="#i">&#x03C8;</hi> (0), <hi rendition="#i">x</hi> &#x22F9; <hi rendition="#i">&#x03C6;</hi><hi rendition="#sub">1</hi> (1) + <hi rendition="#i">&#x03C8;</hi> (1).</hi><lb/>
Multiplizirt man überschiebend die Subsumtionen der ersten, oder ad-<lb/>
dirt ebenso man die der zweiten Zeile, so ergeben sich mit Rücksicht<lb/>
auf Th. 30) und Th. 5) die Formen, in deren erster <hi rendition="#g">McColl</hi> die Resul-<lb/>
tante der <hi rendition="#i">Elimination</hi> von <hi rendition="#i">x</hi> ansetzt:<lb/></p>
        </div>
      </div>
    </body>
  </text>
</TEI>
[590/0610] Vierzehnte Vorlesung. Charakteristisch ist aber die Art, wie McColl zu obiger Gleichung gelangt. Seine Rechnungsweisen sind wesentlich aus dem Aussagenkalkul („calculus of equivalent statements“) hervorgewachsen, und könnten eigent- lich erst unter diesem ganz ungehindert besprochen werden, weshalb wir auch noch einmal auf sie zurückkommen — § 46 am Schlusse. Bedeuten ihm nun x, y, z, ‥ u, v, ‥ verschiedene Aussagen, so wird diesen Symbolen der Wert 1 zukommen, wenn sie wahr und der Wert 0, wenn sie falsch sind (vergl. unten § 28). Wird nun angesetzt das Produkt x y z ‥ u1 v1 ‥, so sind damit die Faktoraussagen als gleichzeitig gültige hingestellt oder an- genommen (vergl. § 28), d. h. es ist x = y = z ‥ = 1 und ebenso u1 = v1 = ‥ = 1, sonach u = v = ‥ = 0 gesetzt; und deshalb dürfen in der That die genannten Symbole in einer etwa noch dahinter tretenden (d. h. gleichzeitig gemachten) ferneren Aussage f (x, y, z, ‥, u, v, ‥) durch diese ihre Werte 1, 1, 1, ‥ 0, 0, ‥ bezüglich ersetzt werden. Es müsste dies auch gültig bleiben, wenn etwa f (x, y, ‥, u, ‥) nicht mehr blos einen Funktionsausdruck des identischen Kalkuls in unserm bis- herigen Sinne, sondern auch, wenn es irgend ein System von Propositionen vorstellte, in welchem nur als Aussagensymbole die Argumente vorkämen. Gelegentlich macht, um Schlüsse zu ziehen, McColl auch in dieser Weise von dem Satze Gebrauch. Doch lässt von dem wie wir sehen werden engeren „Aussagen“kalkul (in welchem nämlich die Symbole lediglich der Werte 0 und 1 fähig sind) der Satz auch auf den weiteren „Klassen“kalkul (in welchem sie beliebige Werte haben können) sich nicht ohne weiteres übertragen (cf. § 46, 18. Studie). Ist nun z. B. eine Subsumtion: φ (x) ⋹ ψ (x) nach der Unbekannten x aufzulösen, oder auch diese zu eliminiren, so wird gefolgert: φ (x) ψ1 (x) ⋹ 0 was dasselbe besagt, wie, dass es = 0 sei; und hieraus durch beider- seitiges Multipliziren mit x1 oder x, unter Anwendung des angeführten Satzes: x1 φ (x) ψ1 (x) = x1 φ (0) ψ1 (0) ⋹ 0, x φ (x) ψ1 (x) = x φ (1) ψ1 (1) ⋹ 0, oder, was dasselbe besagt, = 0. Nach Th. 38) lassen nun aber diese letzten Subsumtionen sich umschreiben in: φ (0) ψ1 (0) ⋹ x, φ (1) ψ1 (1) ⋹ x1 oder auch, nach Belieben, in: x1 ⋹ φ1 (0) + ψ (0), x ⋹ φ1 (1) + ψ (1). Multiplizirt man überschiebend die Subsumtionen der ersten, oder ad- dirt ebenso man die der zweiten Zeile, so ergeben sich mit Rücksicht auf Th. 30) und Th. 5) die Formen, in deren erster McColl die Resul- tante der Elimination von x ansetzt:

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_logik01_1890
URL zu dieser Seite: https://www.deutschestextarchiv.de/schroeder_logik01_1890/610
Zitationshilfe: Schröder, Ernst: Vorlesungen über die Algebra der Logik. Bd. 1. Leipzig, 1890, S. 590. In: Deutsches Textarchiv <https://www.deutschestextarchiv.de/schroeder_logik01_1890/610>, abgerufen am 14.05.2024.