zurück, von welchen also gesagt werden kann, dass sie in denen 20) als besondre Fälle mit enthalten seien.
Umgekehrt werden wir die Sätze 20) als partikulare Anwendungen eines noch allgemeinern Satzes, des von mir sogenannten ersten Inversions- theoremes, in § 16 erkennen.
Vertauscht man in 20) a mit an, oder b mit b unter Berücksich- tigung auch von 13) des § 6, sowie von 6), so ergeben sich noch folgende Formen der bisherigen, Äquivalenz von Subsumtionen statui- renden Sätze: 22)
[Formel 1]
, in welchen sie zur Anwendung, nämlich als Schemata für die Um- formung von Subsumtionen bequem hergerichtet erscheinen. Peirce l. c.:
Ist hienach das Prädikat zum Subjekte 1' eine relative Summe, so werden wir (deren) beide Terme sowol umstellen als auch zusammen konvertiren dürfen, mithin unter vier Schreibweisen zum Ausdruck jener Thatsache die Wahl haben. Ebenso, wenn zum Prädikate 0' das Sub- jekt ein relatives Produkt ist.
Liegt dagegen der umgekehrte Fall vor (d. h. ist zum Subjekte 1' das Prädikat ein relatives Produkt, etc.), so sind wir blos berechtigt, den Ausdruck zu konvertiren -- nicht aber, auch die Terme umzu- stellen -- und verfügen wir blos über zwei Schreibweisen, indem:
(1' a ; b) = (1' b ; a)
(a j b 0') = (b j a 0').
Nachdem im gegenwärtigen Paragraphen mit 13) die Operationen der Negation und Konversion auch an den Moduln zu vollziehen gelehrt worden, haben die in § 6 über die Prozesse des Dualisirens und Kon- jugirens gemachten Angaben ihre Ergänzung dahin gefunden, dass man diese Prozesse praktisch nun auch an solchen Formeln, die neben all- gemeinen Buchstabenrelativen auch Moduln führen, vollständig aus- führen kann.
Wenn nun mit jeder allgemeinen Formel zugleich auch deren kon- jugirte, sowie deren duale nebst der konjugirtdualen, mithin ein Vier-
§ 8. Einfachste Sätze von speziellerem Charakter.
zurück, von welchen also gesagt werden kann, dass sie in denen 20) als besondre Fälle mit enthalten seien.
Umgekehrt werden wir die Sätze 20) als partikulare Anwendungen eines noch allgemeinern Satzes, des von mir sogenannten ersten Inversions- theoremes, in § 16 erkennen.
Vertauscht man in 20) a mit ā̆, oder b mit b unter Berücksich- tigung auch von 13) des § 6, sowie von 6), so ergeben sich noch folgende Formen der bisherigen, Äquivalenz von Subsumtionen statui- renden Sätze: 22)
[Formel 1]
, in welchen sie zur Anwendung, nämlich als Schemata für die Um- formung von Subsumtionen bequem hergerichtet erscheinen. Peirce l. c.:
Ist hienach das Prädikat zum Subjekte 1' eine relative Summe, so werden wir (deren) beide Terme sowol umstellen als auch zusammen konvertiren dürfen, mithin unter vier Schreibweisen zum Ausdruck jener Thatsache die Wahl haben. Ebenso, wenn zum Prädikate 0' das Sub- jekt ein relatives Produkt ist.
Liegt dagegen der umgekehrte Fall vor (d. h. ist zum Subjekte 1' das Prädikat ein relatives Produkt, etc.), so sind wir blos berechtigt, den Ausdruck zu konvertiren — nicht aber, auch die Terme umzu- stellen — und verfügen wir blos über zwei Schreibweisen, indem:
(1' ⋹ a ; b) = (1' ⋹ b̆ ; ă)
(a ɟ b ⋹ 0') = (b̆ ɟ ă ⋹ 0').
Nachdem im gegenwärtigen Paragraphen mit 13) die Operationen der Negation und Konversion auch an den Moduln zu vollziehen gelehrt worden, haben die in § 6 über die Prozesse des Dualisirens und Kon- jugirens gemachten Angaben ihre Ergänzung dahin gefunden, dass man diese Prozesse praktisch nun auch an solchen Formeln, die neben all- gemeinen Buchstabenrelativen auch Moduln führen, vollständig aus- führen kann.
Wenn nun mit jeder allgemeinen Formel zugleich auch deren kon- jugirte, sowie deren duale nebst der konjugirtdualen, mithin ein Vier-
<TEI><text><body><divn="1"><divn="2"><p><pbfacs="#f0141"n="127"/><fwplace="top"type="header">§ 8. Einfachste Sätze von speziellerem Charakter.</fw><lb/>
zurück, von welchen also gesagt werden kann, dass sie in denen 20) als<lb/>
besondre Fälle mit enthalten seien.</p><lb/><p>Umgekehrt werden wir die Sätze 20) als partikulare Anwendungen<lb/>
eines noch allgemeinern Satzes, des von mir sogenannten ersten Inversions-<lb/>
theoremes, in § 16 erkennen.</p><lb/><p>Vertauscht man in 20) <hirendition="#i">a</hi> mit <hirendition="#i">ā̆</hi>, oder <hirendition="#i">b</hi> mit <hirendition="#i">b</hi> unter Berücksich-<lb/>
tigung auch von 13) des § 6, sowie von 6), so ergeben sich noch<lb/>
folgende Formen der bisherigen, Äquivalenz von Subsumtionen statui-<lb/>
renden Sätze:<lb/>
22) <formula/>,<lb/>
in welchen sie <hirendition="#i">zur Anwendung</hi>, nämlich als Schemata für die Um-<lb/>
formung von Subsumtionen bequem hergerichtet erscheinen. <hirendition="#g">Peirce</hi> l. c.:</p><lb/><p>Ist hienach das Prädikat zum Subjekte 1' eine <hirendition="#i">relative Summe</hi>, so<lb/>
werden wir (deren) beide Terme sowol <hirendition="#i">umstellen</hi> als auch <hirendition="#i">zusammen<lb/>
konvertiren</hi> dürfen, mithin unter vier Schreibweisen zum Ausdruck jener<lb/>
Thatsache die Wahl haben. Ebenso, wenn zum Prädikate 0' das Sub-<lb/>
jekt ein relatives Produkt ist.</p><lb/><p>Liegt dagegen der umgekehrte Fall vor (d. h. ist zum Subjekte 1'<lb/>
das Prädikat ein relatives <hirendition="#i">Produkt</hi>, etc.), so sind wir blos berechtigt,<lb/>
den Ausdruck zu konvertiren — nicht aber, auch die Terme umzu-<lb/>
stellen — und verfügen wir blos über zwei Schreibweisen, indem:<lb/><table><row><cell>(1' ⋹<hirendition="#i">a</hi> ; <hirendition="#i">b</hi>) = (1' ⋹<hirendition="#i">b̆</hi> ; <hirendition="#i">ă</hi>)</cell><cell>(<hirendition="#i">a</hi>ɟ<hirendition="#i">b</hi>⋹ 0') = (<hirendition="#i">b̆</hi>ɟ<hirendition="#i">ă</hi>⋹ 0').</cell></row><lb/></table></p><milestonerendition="#hr"unit="section"/><p>Nachdem im gegenwärtigen Paragraphen mit 13) die Operationen<lb/>
der Negation und Konversion auch an den Moduln zu vollziehen gelehrt<lb/>
worden, haben die in § 6 über die Prozesse des Dualisirens und Kon-<lb/>
jugirens gemachten Angaben ihre Ergänzung dahin gefunden, dass man<lb/>
diese Prozesse praktisch nun auch an solchen Formeln, die neben all-<lb/>
gemeinen Buchstabenrelativen auch Moduln führen, vollständig aus-<lb/>
führen kann.</p><lb/><p>Wenn nun mit jeder allgemeinen Formel zugleich auch deren kon-<lb/>
jugirte, sowie deren duale nebst der konjugirtdualen, mithin ein Vier-<lb/></p></div></div></body></text></TEI>
[127/0141]
§ 8. Einfachste Sätze von speziellerem Charakter.
zurück, von welchen also gesagt werden kann, dass sie in denen 20) als
besondre Fälle mit enthalten seien.
Umgekehrt werden wir die Sätze 20) als partikulare Anwendungen
eines noch allgemeinern Satzes, des von mir sogenannten ersten Inversions-
theoremes, in § 16 erkennen.
Vertauscht man in 20) a mit ā̆, oder b mit b unter Berücksich-
tigung auch von 13) des § 6, sowie von 6), so ergeben sich noch
folgende Formen der bisherigen, Äquivalenz von Subsumtionen statui-
renden Sätze:
22) [FORMEL],
in welchen sie zur Anwendung, nämlich als Schemata für die Um-
formung von Subsumtionen bequem hergerichtet erscheinen. Peirce l. c.:
Ist hienach das Prädikat zum Subjekte 1' eine relative Summe, so
werden wir (deren) beide Terme sowol umstellen als auch zusammen
konvertiren dürfen, mithin unter vier Schreibweisen zum Ausdruck jener
Thatsache die Wahl haben. Ebenso, wenn zum Prädikate 0' das Sub-
jekt ein relatives Produkt ist.
Liegt dagegen der umgekehrte Fall vor (d. h. ist zum Subjekte 1'
das Prädikat ein relatives Produkt, etc.), so sind wir blos berechtigt,
den Ausdruck zu konvertiren — nicht aber, auch die Terme umzu-
stellen — und verfügen wir blos über zwei Schreibweisen, indem:
(1' ⋹ a ; b) = (1' ⋹ b̆ ; ă) (a ɟ b ⋹ 0') = (b̆ ɟ ă ⋹ 0').
Nachdem im gegenwärtigen Paragraphen mit 13) die Operationen
der Negation und Konversion auch an den Moduln zu vollziehen gelehrt
worden, haben die in § 6 über die Prozesse des Dualisirens und Kon-
jugirens gemachten Angaben ihre Ergänzung dahin gefunden, dass man
diese Prozesse praktisch nun auch an solchen Formeln, die neben all-
gemeinen Buchstabenrelativen auch Moduln führen, vollständig aus-
führen kann.
Wenn nun mit jeder allgemeinen Formel zugleich auch deren kon-
jugirte, sowie deren duale nebst der konjugirtdualen, mithin ein Vier-
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. 3, Abt. 1. Leipzig, 1895, S. 127. In: Deutsches Textarchiv <https://www.deutschestextarchiv.de/schroeder_logik03_1895/141>, abgerufen am 18.05.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/.
