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 .. u1v1 .., 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: x1ph (x) ps1 (x) = x1ph (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: x1ph1 (0) + ps (0), xph1 (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 z ‥ u1v1 ‥, 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><divn="1"><divn="2"><pbfacs="#f0610"n="590"/><fwplace="top"type="header">Vierzehnte Vorlesung.</fw><lb/><p>Charakteristisch ist aber die Art, wie <hirendition="#g">McColl</hi> zu obiger Gleichung<lb/>
gelangt. Seine Rechnungsweisen sind wesentlich aus dem Aussagenkalkul<lb/>
(„calculus of equivalent statements“) hervorgewachsen, und könnten eigent-<lb/>
lich erst unter diesem ganz ungehindert besprochen werden, weshalb wir<lb/>
auch noch einmal auf sie zurückkommen — § 46 am Schlusse. Bedeuten<lb/>
ihm nun <hirendition="#i">x</hi>, <hirendition="#i">y</hi>, <hirendition="#i">z</hi>, ‥<hirendition="#i">u</hi>, <hirendition="#i">v</hi>, ‥ 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 <hirendition="#i">x y z</hi>‥<hirendition="#i">u</hi><hirendition="#sub">1</hi><hirendition="#i">v</hi><hirendition="#sub">1</hi>‥, so<lb/>
sind damit die Faktoraussagen als gleichzeitig gültige hingestellt oder an-<lb/>
genommen (vergl. § 28), d. h. es ist <hirendition="#i">x</hi> = <hirendition="#i">y</hi> = <hirendition="#i">z</hi>‥ = 1 und ebenso<lb/><hirendition="#i">u</hi><hirendition="#sub">1</hi> = <hirendition="#i">v</hi><hirendition="#sub">1</hi> = ‥ = 1, sonach <hirendition="#i">u</hi> = <hirendition="#i">v</hi> = ‥ = 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 <hirendition="#i">f</hi> (<hirendition="#i">x</hi>, <hirendition="#i">y</hi>, <hirendition="#i">z</hi>, ‥, <hirendition="#i">u</hi>, <hirendition="#i">v</hi>, ‥) durch<lb/>
diese ihre Werte 1, 1, 1, ‥ 0, 0, ‥ bezüglich ersetzt werden.</p><lb/><p>Es müsste dies auch gültig bleiben, wenn etwa <hirendition="#i">f</hi> (<hirendition="#i">x</hi>, <hirendition="#i">y</hi>, ‥, <hirendition="#i">u</hi>, ‥) 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, <hirendition="#g">McColl</hi> auch in dieser Weise<lb/>
von dem Satze Gebrauch. Doch lässt von dem wie wir sehen werden<lb/><hirendition="#i">engeren</hi>„Aussagen“kalkul (in welchem nämlich die Symbole lediglich der<lb/>
Werte 0 und 1 fähig sind) der Satz auch auf den <hirendition="#i">weiteren</hi>„Klassen“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/><hirendition="#c"><hirendition="#i">φ</hi> (<hirendition="#i">x</hi>) ⋹<hirendition="#i">ψ</hi> (<hirendition="#i">x</hi>)</hi><lb/>
nach der Unbekannten <hirendition="#i">x</hi> aufzulösen, oder auch diese zu eliminiren, so<lb/>
wird gefolgert:<lb/><hirendition="#c"><hirendition="#i">φ</hi> (<hirendition="#i">x</hi>) <hirendition="#i">ψ</hi><hirendition="#sub">1</hi> (<hirendition="#i">x</hi>) ⋹ 0</hi><lb/>
was dasselbe besagt, wie, dass es = 0 sei; und hieraus durch beider-<lb/>
seitiges Multipliziren mit <hirendition="#i">x</hi><hirendition="#sub">1</hi> oder <hirendition="#i">x</hi>, unter Anwendung des angeführten<lb/>
Satzes:<lb/><hirendition="#c"><hirendition="#i">x</hi><hirendition="#sub">1</hi><hirendition="#i">φ</hi> (<hirendition="#i">x</hi>) <hirendition="#i">ψ</hi><hirendition="#sub">1</hi> (<hirendition="#i">x</hi>) = <hirendition="#i">x</hi><hirendition="#sub">1</hi><hirendition="#i">φ</hi> (0) <hirendition="#i">ψ</hi><hirendition="#sub">1</hi> (0) ⋹ 0, <hirendition="#i">x φ</hi> (<hirendition="#i">x</hi>) <hirendition="#i">ψ</hi><hirendition="#sub">1</hi> (<hirendition="#i">x</hi>) = <hirendition="#i">x φ</hi> (1) <hirendition="#i">ψ</hi><hirendition="#sub">1</hi> (1) ⋹ 0,</hi><lb/>
oder, was dasselbe besagt, = 0. Nach Th. 38) lassen nun aber diese<lb/>
letzten Subsumtionen sich umschreiben in:<lb/><hirendition="#c"><hirendition="#i">φ</hi> (0) <hirendition="#i">ψ</hi><hirendition="#sub">1</hi> (0) ⋹<hirendition="#i">x</hi>, <hirendition="#i">φ</hi> (1) <hirendition="#i">ψ</hi><hirendition="#sub">1</hi> (1) ⋹<hirendition="#i">x</hi><hirendition="#sub">1</hi></hi><lb/>
oder auch, nach Belieben, in:<lb/><hirendition="#c"><hirendition="#i">x</hi><hirendition="#sub">1</hi>⋹<hirendition="#i">φ</hi><hirendition="#sub">1</hi> (0) + <hirendition="#i">ψ</hi> (0), <hirendition="#i">x</hi>⋹<hirendition="#i">φ</hi><hirendition="#sub">1</hi> (1) + <hirendition="#i">ψ</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 <hirendition="#g">McColl</hi> die Resul-<lb/>
tante der <hirendition="#i">Elimination</hi> von <hirendition="#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:
Informationen zur CAB-Ansicht
Diese Ansicht bietet Ihnen die Darstellung des Textes in normalisierter Orthographie.
Diese Textvariante wird vollautomatisch erstellt und kann aufgrund dessen auch Fehler enthalten.
Alle veränderten Wortformen sind grau hinterlegt. Als fremdsprachliches Material erkannte
Textteile sind ausgegraut dargestellt.
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 25.11.2024.
Alle Inhalte dieser Seite unterstehen, soweit nicht anders gekennzeichnet, einer
Creative-Commons-Lizenz.
Die Rechte an den angezeigten Bilddigitalisaten, soweit nicht anders gekennzeichnet, liegen bei den besitzenden Bibliotheken.
Weitere Informationen finden Sie in den DTA-Nutzungsbedingungen.
Insbesondere im Hinblick auf die §§ 86a StGB und 130 StGB wird festgestellt, dass die auf
diesen Seiten abgebildeten Inhalte weder in irgendeiner Form propagandistischen Zwecken
dienen, oder Werbung für verbotene Organisationen oder Vereinigungen darstellen, oder
nationalsozialistische Verbrechen leugnen oder verharmlosen, noch zum Zwecke der
Herabwürdigung der Menschenwürde gezeigt werden.
Die auf diesen Seiten abgebildeten Inhalte (in Wort und Bild) dienen im Sinne des
§ 86 StGB Abs. 3 ausschließlich historischen, sozial- oder kulturwissenschaftlichen
Forschungszwecken. Ihre Veröffentlichung erfolgt in der Absicht, Wissen zur Anregung
der intellektuellen Selbstständigkeit und Verantwortungsbereitschaft des Staatsbürgers zu
vermitteln und damit der Förderung seiner Mündigkeit zu dienen.
Zitierempfehlung: Deutsches Textarchiv. Grundlage für ein Referenzkorpus der neuhochdeutschen Sprache. Herausgegeben von der Berlin-Brandenburgischen Akademie der Wissenschaften, Berlin 2024. URL: https://www.deutschestextarchiv.de/.
