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 >>

§ 35. Definition und Zusammenhang von Umfangsbeziehungen.

letzten Terme unter sich auch noch die vier Produkte aus dem ersten
Term in jeden folgenden verschwinden.

Hiemit ist die ganze Möglichkeit i der Beziehungen in 5 einander
gegenseitig ausschliessende Klassen zerfällt, die wir als die "Elementar-
fälle" zu bezeichnen haben.

Aus der Def. von g ist aber unmittelbar ersichtlich, dass:
140) a1 g = g, sonach g a1, a g1, a g = 0, a g1 = a,
und hienach in Verbindung mit 100)'', 90)'' und 90)''' wird also:
150) i = a + d h1 k1 + e k1 + f h1 + g
die Zerfällung in die fünf Klassen sein. Für letztere führen wir zum
Teil noch kürzere Namen ein, indem wir definiren:
[80] d h1 k1 = d, e k1 = b, f h1 = g, g = a,
sodass nunmehr
160) i = a + a + b + g + d
bleiben wird.

Es ist dies eine Hauptgleichung, die man vorerst nicht aus den
Augen verlieren darf. Die fünf Terme rechterhand müssen nach Bis-
herigem, wie gesagt, disjunkt sein, ihre zehn Produkte zu irgend zweien
sind gleich 0. Es tritt hier also der Fall des Zusatz 2 zu Th. 28),
Bd. 1, S. 314 sq. auf: die Negation irgend eines Terms oder eines
Aggregates von Termen rechterhand ist jeweils das Aggregat der
übrigen Terme, z. B. a1 = a + b + g + d, etc.

Ein jeder dieser fünf Terme ist eine Aussage, welche eine be-
stimmte Beziehung zwischen den Gebieten A und B statuirt. Die fünf
Beziehungen nennen wir eben die "Elementarbeziehungen", und haben
dieselben nunmehr auch analytisch definirt.

Wie immer die Gebiete A und B auch gegeben werden mögen,
so gilt notwendig immer eine von diesen Elementarbeziehungen und
dann nicht die übrigen.

Anmerkung. Anstatt d h1 k1 hätten wir nach 100)'' auch einfacher,
jedoch auf Kosten der Symmetrie, blos d h1 oder d k1 in 150) und [80]
schreiben können. Umgekehrt dürfen wir nach 40)' und 40) für e auch e h1
und für f auch f k1 schreiben, also e k1 durch e h1 k1 und f h1 durch f h1 k1 er-
setzen. Endlich war unter 80)'' a1 = a1 h1 k1 erwiesen, wonach Def. [70] auch
g = g h1 k1 liefert.

Als Definition der vier letzten Elementarfälle kann man daher auch
schreiben:

Schröder, Algebra der Logik. II. 8

§ 35. Definition und Zusammenhang von Umfangsbeziehungen.

letzten Terme unter sich auch noch die vier Produkte aus dem ersten
Term in jeden folgenden verschwinden.

Hiemit ist die ganze Möglichkeit i der Beziehungen in 5 einander
gegenseitig ausschliessende Klassen zerfällt, die wir als die „Elementar-
fälle“ zu bezeichnen haben.

Aus der Def. von g ist aber unmittelbar ersichtlich, dass:
140) a1 g = g, sonach g ⊆ a1, a ⊆ g1, a g = 0, a g1 = a,
und hienach in Verbindung mit 100)'', 90)'' und 90)''' wird also:
150) i = a + d h1 k1 + e k1 + f h1 + g
die Zerfällung in die fünf Klassen sein. Für letztere führen wir zum
Teil noch kürzere Namen ein, indem wir definiren:
[80] d h1 k1 = δ, e k1 = β, f h1 = γ, g = α,
sodass nunmehr
160) i = a + α + β + γ + δ
bleiben wird.

Ein jeder dieser fünf Terme ist eine Aussage, welche eine be-
stimmte Beziehung zwischen den Gebieten A und B statuirt. Die fünf
Beziehungen nennen wir eben die „Elementarbeziehungen“, und haben
dieselben nunmehr auch analytisch definirt.

Wie immer die Gebiete A und B auch gegeben werden mögen,
so gilt notwendig immer eine von diesen Elementarbeziehungen und
dann nicht die übrigen.

Als Definition der vier letzten Elementarfälle kann man daher auch
schreiben:

Schröder, Algebra der Logik. II. 8

<TEI>
  <text>
    <body>
      <div n="1">
        <div n="2">
          <div n="3">
            <p><pb facs="#f0137" n="113"/><fw place="top" type="header">§ 35. Definition und Zusammenhang von Umfangsbeziehungen.</fw><lb/>
letzten Terme unter sich auch noch die vier Produkte aus dem ersten<lb/>
Term in jeden folgenden verschwinden.</p><lb/>
            <p>Hiemit ist die ganze Möglichkeit i der Beziehungen in 5 einander<lb/>
gegenseitig ausschliessende Klassen zerfällt, die wir als die &#x201E;<hi rendition="#i">Elementar-<lb/>
fälle</hi>&#x201C; zu bezeichnen haben.</p><lb/>
            <p>Aus der Def. von <hi rendition="#i">g</hi> ist aber unmittelbar ersichtlich, dass:<lb/>
14<hi rendition="#sup">0</hi>) <hi rendition="#et"><hi rendition="#i">a</hi><hi rendition="#sub">1</hi><hi rendition="#i">g</hi> = <hi rendition="#i">g</hi>, sonach <hi rendition="#i">g</hi> <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> <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">g</hi><hi rendition="#sub">1</hi>, <hi rendition="#i">a g</hi> = 0, <hi rendition="#i">a g</hi><hi rendition="#sub">1</hi> = <hi rendition="#i">a</hi>,</hi><lb/>
und hienach in Verbindung mit 10<hi rendition="#sup">0</hi>)'', 9<hi rendition="#sup">0</hi>)'' und 9<hi rendition="#sup">0</hi>)''' wird also:<lb/>
15<hi rendition="#sup">0</hi>) <hi rendition="#et">i = <hi rendition="#i">a</hi> + <hi rendition="#i">d h</hi><hi rendition="#sub">1</hi> <hi rendition="#i">k</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">e k</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">f h</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">g</hi></hi><lb/>
die Zerfällung in die fünf Klassen sein. Für letztere führen wir zum<lb/>
Teil noch kürzere Namen ein, indem wir <hi rendition="#i">definiren:</hi><lb/>
[8<hi rendition="#sup">0</hi>] <hi rendition="#et"><hi rendition="#i">d h</hi><hi rendition="#sub">1</hi><hi rendition="#i">k</hi><hi rendition="#sub">1</hi> = <hi rendition="#i">&#x03B4;</hi>, <hi rendition="#i">e k</hi><hi rendition="#sub">1</hi> = <hi rendition="#i">&#x03B2;</hi>, <hi rendition="#i">f h</hi><hi rendition="#sub">1</hi> = <hi rendition="#i">&#x03B3;</hi>, <hi rendition="#i">g</hi> = <hi rendition="#i">&#x03B1;</hi>,</hi><lb/>
sodass nunmehr<lb/>
16<hi rendition="#sup">0</hi>) <hi rendition="#et">i = <hi rendition="#i">a</hi> + <hi rendition="#i">&#x03B1;</hi> + <hi rendition="#i">&#x03B2;</hi> + <hi rendition="#i">&#x03B3;</hi> + <hi rendition="#i">&#x03B4;</hi></hi><lb/>
bleiben wird.</p><lb/>
            <p>Es ist dies eine <hi rendition="#i">Hauptgleichung</hi>, die man vorerst nicht aus den<lb/>
Augen verlieren darf. Die fünf Terme rechterhand müssen nach Bis-<lb/>
herigem, wie gesagt, disjunkt sein, ihre zehn Produkte zu irgend zweien<lb/>
sind gleich 0. Es tritt hier also der Fall des Zusatz 2 zu Th. 28),<lb/>
Bd. 1, S. 314 sq. auf: die Negation irgend eines Terms oder eines<lb/>
Aggregates von Termen rechterhand ist jeweils das Aggregat der<lb/>
übrigen Terme, z. B. <hi rendition="#i">a</hi><hi rendition="#sub">1</hi> = <hi rendition="#i">&#x03B1;</hi> + <hi rendition="#i">&#x03B2;</hi> + <hi rendition="#i">&#x03B3;</hi> + <hi rendition="#i">&#x03B4;</hi>, etc.</p><lb/>
            <p>Ein jeder dieser fünf Terme ist eine Aussage, welche eine be-<lb/>
stimmte Beziehung zwischen den Gebieten <hi rendition="#i">A</hi> und <hi rendition="#i">B</hi> statuirt. Die fünf<lb/>
Beziehungen nennen wir eben die &#x201E;<hi rendition="#i">Elementarbeziehungen</hi>&#x201C;, und haben<lb/>
dieselben nunmehr auch analytisch definirt.</p><lb/>
            <p>Wie immer die Gebiete <hi rendition="#i">A</hi> und <hi rendition="#i">B</hi> auch gegeben werden mögen,<lb/>
so gilt notwendig immer eine von diesen Elementarbeziehungen und<lb/>
dann nicht die übrigen.</p><lb/>
            <p><hi rendition="#g">Anmerkung</hi>. Anstatt <hi rendition="#i">d h</hi><hi rendition="#sub">1</hi><hi rendition="#i">k</hi><hi rendition="#sub">1</hi> hätten wir nach 10<hi rendition="#sup">0</hi>)'' auch einfacher,<lb/>
jedoch auf Kosten der Symmetrie, blos <hi rendition="#i">d h</hi><hi rendition="#sub">1</hi> oder <hi rendition="#i">d k</hi><hi rendition="#sub">1</hi> in 15<hi rendition="#sup">0</hi>) und [8<hi rendition="#sup">0</hi>]<lb/>
schreiben können. Umgekehrt dürfen wir nach 4<hi rendition="#sup">0</hi>)' und 4<hi rendition="#sup">0</hi>) für <hi rendition="#i">e</hi> auch <hi rendition="#i">e h</hi><hi rendition="#sub">1</hi><lb/>
und für <hi rendition="#i">f</hi> auch <hi rendition="#i">f k</hi><hi rendition="#sub">1</hi> schreiben, also <hi rendition="#i">e k</hi><hi rendition="#sub">1</hi> durch <hi rendition="#i">e h</hi><hi rendition="#sub">1</hi> <hi rendition="#i">k</hi><hi rendition="#sub">1</hi> und <hi rendition="#i">f h</hi><hi rendition="#sub">1</hi> durch <hi rendition="#i">f h</hi><hi rendition="#sub">1</hi> <hi rendition="#i">k</hi><hi rendition="#sub">1</hi> er-<lb/>
setzen. Endlich war unter 8<hi rendition="#sup">0</hi>)'' <hi rendition="#i">a</hi><hi rendition="#sub">1</hi> = <hi rendition="#i">a</hi><hi rendition="#sub">1</hi> <hi rendition="#i">h</hi><hi rendition="#sub">1</hi> <hi rendition="#i">k</hi><hi rendition="#sub">1</hi> erwiesen, wonach Def. [7<hi rendition="#sup">0</hi>] auch<lb/><hi rendition="#i">g</hi> = <hi rendition="#i">g h</hi><hi rendition="#sub">1</hi> <hi rendition="#i">k</hi><hi rendition="#sub">1</hi> liefert.</p><lb/>
            <p>Als Definition der vier letzten Elementarfälle kann man daher auch<lb/>
schreiben:<lb/>
<fw place="bottom" type="sig"><hi rendition="#k">Schröder</hi>, Algebra der Logik. II. 8</fw><lb/></p>
          </div>
        </div>
      </div>
    </body>
  </text>
</TEI>

[113/0137] § 35. Definition und Zusammenhang von Umfangsbeziehungen. letzten Terme unter sich auch noch die vier Produkte aus dem ersten Term in jeden folgenden verschwinden. Hiemit ist die ganze Möglichkeit i der Beziehungen in 5 einander gegenseitig ausschliessende Klassen zerfällt, die wir als die „Elementar- fälle“ zu bezeichnen haben. Aus der Def. von g ist aber unmittelbar ersichtlich, dass: 140) a1 g = g, sonach g a1, a g1, a g = 0, a g1 = a, und hienach in Verbindung mit 100)'', 90)'' und 90)''' wird also: 150) i = a + d h1 k1 + e k1 + f h1 + g die Zerfällung in die fünf Klassen sein. Für letztere führen wir zum Teil noch kürzere Namen ein, indem wir definiren: [80] d h1 k1 = δ, e k1 = β, f h1 = γ, g = α, sodass nunmehr 160) i = a + α + β + γ + δ bleiben wird. Es ist dies eine Hauptgleichung, die man vorerst nicht aus den Augen verlieren darf. Die fünf Terme rechterhand müssen nach Bis- herigem, wie gesagt, disjunkt sein, ihre zehn Produkte zu irgend zweien sind gleich 0. Es tritt hier also der Fall des Zusatz 2 zu Th. 28), Bd. 1, S. 314 sq. auf: die Negation irgend eines Terms oder eines Aggregates von Termen rechterhand ist jeweils das Aggregat der übrigen Terme, z. B. a1 = α + β + γ + δ, etc. Ein jeder dieser fünf Terme ist eine Aussage, welche eine be- stimmte Beziehung zwischen den Gebieten A und B statuirt. Die fünf Beziehungen nennen wir eben die „Elementarbeziehungen“, und haben dieselben nunmehr auch analytisch definirt. Wie immer die Gebiete A und B auch gegeben werden mögen, so gilt notwendig immer eine von diesen Elementarbeziehungen und dann nicht die übrigen. Anmerkung. Anstatt d h1 k1 hätten wir nach 100)'' auch einfacher, jedoch auf Kosten der Symmetrie, blos d h1 oder d k1 in 150) und [80] schreiben können. Umgekehrt dürfen wir nach 40)' und 40) für e auch e h1 und für f auch f k1 schreiben, also e k1 durch e h1 k1 und f h1 durch f h1 k1 er- setzen. Endlich war unter 80)'' a1 = a1 h1 k1 erwiesen, wonach Def. [70] auch g = g h1 k1 liefert. Als Definition der vier letzten Elementarfälle kann man daher auch schreiben: Schröder, Algebra der Logik. II. 8

Suche im Werk

Informationen zum Werk

Titeldaten
Verfügbarkeit Text (TEI-XML-, HTML-, TCF-, E-Book-Fassung): CC BY-SA 4.0.
Nutzungsbedingungen

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^?

Resource/URL übermitteln

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

2007–2024 Deutsches Textarchiv, Berlin-Brandenburgische Akademie der Wissenschaften. Kontakt: redaktion(at)deutschestextarchiv.de.

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/.