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

Neunzehnte Vorlesung.
doch ist der Schluss nicht umkehrbar, indem, wie wir wissen, ein
Produkt a b auch verschwinden kann, ohne dass einer seiner Faktoren
0 wird -- welche vielmehr nur disjunkt zu sein brauchen. Aus der
dritten Formel geht die vierte wiederum durch Kontraposition gemäss
Th. 37) und 36+) hervor.

Von zweien sind die sämtlichen Sätze a) leicht auf beliebig viele
Operationsglieder auszudehnen, wofür sie lauten:
b) [Formel 1] ,
und wo die Summen- und Produktenzeichen sich über eine beliebige
Reihe von Gebietsymbolen a, a', a'', ... erstrecken -- nur: in einer
jeden Formel beiderseits über die nämliche Reihe.

Eine Gleichung kann man sich jederzeit rechts auf 0 gebracht
denken, oder auch, wenn man will, auf 1. Dasselbe gilt darnach auch
von einer Ungleichung. Vergl. die Theoreme 39) und 32). Nach
letzterem, wenn z. B. (a = b) = (a b1 + a1 b = 0) ist, muss ja auch:
(a b) = (a b1 + a1 b 0) sein, etc.

Mit Rücksicht hierauf können wir nun sagen, dass die Theoreme
der ersten Zeile von a) oder b) lehren: Ein Produkt von Gleichungen
und eine Summe von Ungleichungen kann stets in eine einzige Gleichung
resp. Ungleichung (in eine Proposition der nämlichen Art) zusammen-
gezogen und durch diese ausreichend vertreten werden. Wir könnten
passend auch den Ausdruck wählen: eine "Konjunktion" von Glei-
chungen und eine "Disjunktion" von Ungleichungen.

Sind die Gleichungen resp. Ungleichungen etwa Voraussetzungen
eines Theorems oder Problems, Data, Prämissen, so wird das Produkt
(wie bekannt) ein System von simultan geltenden, koexistirenden, gleich-
zeitig zu adoptirenden, die Summe aber ein System von alternativ
geltenden Annahmen ausdrücken -- das Wort "alternativ" in dem
schon wiederholt erläuterten Sinne genommen. [Und ähnlich auch,
falls jene Behauptungen vorstellten.]

Also: simultane Gleichungen sowie alternative Ungleichungen lassen
je zu einer einzigen Relation derselben Sorte sich zusammenziehen.

Das Umgekehrte dagegen scheint nicht möglich zu sein.

Eine Summe von Gleichungen (alternative Gleichungen) oder ein
Produkt von Ungleichungen (simultane Ungleichungen) gestatten zwar
nach den Formeln der zweiten Zeile von a) oder b) einen Schluss

Neunzehnte Vorlesung.
doch ist der Schluss nicht umkehrbar, indem, wie wir wissen, ein
Produkt a b auch verschwinden kann, ohne dass einer seiner Faktoren
0 wird — welche vielmehr nur disjunkt zu sein brauchen. Aus der
dritten Formel geht die vierte wiederum durch Kontraposition gemäss
Th. 3̅7̅) und 3̅6̅+) hervor.

Von zweien sind die sämtlichen Sätze α) leicht auf beliebig viele
Operationsglieder auszudehnen, wofür sie lauten:
β) [Formel 1] ,
und wo die Summen- und Produktenzeichen sich über eine beliebige
Reihe von Gebietsymbolen a, a', a'', … erstrecken — nur: in einer
jeden Formel beiderseits über die nämliche Reihe.

Eine Gleichung kann man sich jederzeit rechts auf 0 gebracht
denken, oder auch, wenn man will, auf 1. Dasselbe gilt darnach auch
von einer Ungleichung. Vergl. die Theoreme 39) und 3̅2̅). Nach
letzterem, wenn z. B. (a = b) = (a b1 + a1 b = 0) ist, muss ja auch:
(a ≠ b) = (a b1 + a1 b ≠ 0) sein, etc.

Mit Rücksicht hierauf können wir nun sagen, dass die Theoreme
der ersten Zeile von α) oder β) lehren: Ein Produkt von Gleichungen
und eine Summe von Ungleichungen kann stets in eine einzige Gleichung
resp. Ungleichung (in eine Proposition der nämlichen Art) zusammen-
gezogen und durch diese ausreichend vertreten werden. Wir könnten
passend auch den Ausdruck wählen: eine „Konjunktion“ von Glei-
chungen und eine „Disjunktion“ von Ungleichungen.

Sind die Gleichungen resp. Ungleichungen etwa Voraussetzungen
eines Theorems oder Problems, Data, Prämissen, so wird das Produkt
(wie bekannt) ein System von simultan geltenden, koëxistirenden, gleich-
zeitig zu adoptirenden, die Summe aber ein System von alternativ
geltenden Annahmen ausdrücken — das Wort „alternativ“ in dem
schon wiederholt erläuterten Sinne genommen. [Und ähnlich auch,
falls jene Behauptungen vorstellten.]

Also: simultane Gleichungen sowie alternative Ungleichungen lassen
je zu einer einzigen Relation derselben Sorte sich zusammenziehen.

Das Umgekehrte dagegen scheint nicht möglich zu sein.

Eine Summe von Gleichungen (alternative Gleichungen) oder ein
Produkt von Ungleichungen (simultane Ungleichungen) gestatten zwar
nach den Formeln der zweiten Zeile von α) oder β) einen Schluss

<TEI>
  <text>
    <body>
      <div n="1">
        <div n="2">
          <div n="3">
            <p><pb facs="#f0204" n="180"/><fw place="top" type="header">Neunzehnte Vorlesung.</fw><lb/>
doch ist der Schluss nicht umkehrbar, indem, wie wir wissen, ein<lb/>
Produkt <hi rendition="#i">a b</hi> auch verschwinden kann, ohne dass einer seiner Faktoren<lb/>
0 wird &#x2014; welche vielmehr nur disjunkt zu sein brauchen. Aus der<lb/>
dritten Formel geht die vierte wiederum durch Kontraposition gemäss<lb/>
Th. 3&#x0305;7&#x0305;) und 3&#x0305;6&#x0305;<hi rendition="#sub">+</hi>) hervor.</p><lb/>
            <p>Von zweien sind die sämtlichen Sätze <hi rendition="#i">&#x03B1;</hi>) leicht auf beliebig viele<lb/>
Operationsglieder auszudehnen, wofür sie lauten:<lb/><hi rendition="#et"><hi rendition="#i">&#x03B2;</hi>) <formula/>,</hi><lb/>
und wo die Summen- und Produktenzeichen sich über eine <hi rendition="#i">beliebige</hi><lb/>
Reihe von Gebietsymbolen <hi rendition="#i">a</hi>, <hi rendition="#i">a</hi>', <hi rendition="#i">a</hi>'', &#x2026; erstrecken &#x2014; nur: in einer<lb/>
jeden Formel <hi rendition="#i">beiderseits über die nämliche Reihe</hi>.</p><lb/>
            <p>Eine Gleichung kann man sich jederzeit rechts auf 0 gebracht<lb/>
denken, oder auch, wenn man will, auf 1. Dasselbe gilt darnach auch<lb/>
von einer Ungleichung. Vergl. die Theoreme 39) und 3&#x0305;2&#x0305;). Nach<lb/>
letzterem, wenn z. B. (<hi rendition="#i">a</hi> = <hi rendition="#i">b</hi>) = (<hi rendition="#i">a b</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">a</hi><hi rendition="#sub">1</hi> <hi rendition="#i">b</hi> = 0) ist, muss ja auch:<lb/>
(<hi rendition="#i">a</hi> &#x2260; <hi rendition="#i">b</hi>) = (<hi rendition="#i">a b</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">a</hi><hi rendition="#sub">1</hi> <hi rendition="#i">b</hi> &#x2260; 0) sein, etc.</p><lb/>
            <p>Mit Rücksicht hierauf können wir nun sagen, dass die Theoreme<lb/>
der ersten Zeile von <hi rendition="#i">&#x03B1;</hi>) oder <hi rendition="#i">&#x03B2;</hi>) lehren: Ein <hi rendition="#i">Produkt von Gleichungen</hi><lb/>
und eine <hi rendition="#i">Summe von Ungleichungen</hi> kann <hi rendition="#i">stets in eine einzige</hi> Gleichung<lb/>
resp. Ungleichung (in <hi rendition="#i">eine</hi> Proposition <hi rendition="#i">der nämlichen Art</hi>) zusammen-<lb/>
gezogen und durch diese ausreichend vertreten werden. Wir könnten<lb/>
passend auch den Ausdruck wählen: eine &#x201E;Konjunktion&#x201C; von Glei-<lb/>
chungen und eine &#x201E;Disjunktion&#x201C; von Ungleichungen.</p><lb/>
            <p>Sind die Gleichungen resp. Ungleichungen etwa Voraussetzungen<lb/>
eines Theorems oder Problems, Data, Prämissen, so wird das <hi rendition="#i">Produkt</hi><lb/>
(wie bekannt) ein <hi rendition="#i">System von simultan geltenden</hi>, koëxistirenden, gleich-<lb/>
zeitig zu adoptirenden, die <hi rendition="#i">Summe</hi> aber ein <hi rendition="#i">System von alternativ<lb/>
geltenden</hi> Annahmen ausdrücken &#x2014; das Wort &#x201E;alternativ&#x201C; in dem<lb/>
schon wiederholt erläuterten Sinne genommen. [Und ähnlich auch,<lb/>
falls jene Behauptungen vorstellten.]</p><lb/>
            <p>Also: <hi rendition="#i">simultane Gleichungen</hi> sowie <hi rendition="#i">alternative Ungleichungen</hi> lassen<lb/>
je zu einer einzigen Relation derselben Sorte sich zusammenziehen.</p><lb/>
            <p> <hi rendition="#i">Das Umgekehrte dagegen scheint nicht möglich zu sein.</hi> </p><lb/>
            <p>Eine Summe von Gleichungen (alternative Gleichungen) oder ein<lb/>
Produkt von Ungleichungen (simultane Ungleichungen) gestatten zwar<lb/>
nach den Formeln der zweiten Zeile von <hi rendition="#i">&#x03B1;</hi>) oder <hi rendition="#i">&#x03B2;</hi>) einen Schluss<lb/></p>
          </div>
        </div>
      </div>
    </body>
  </text>
</TEI>
[180/0204] Neunzehnte Vorlesung. doch ist der Schluss nicht umkehrbar, indem, wie wir wissen, ein Produkt a b auch verschwinden kann, ohne dass einer seiner Faktoren 0 wird — welche vielmehr nur disjunkt zu sein brauchen. Aus der dritten Formel geht die vierte wiederum durch Kontraposition gemäss Th. 3̅7̅) und 3̅6̅+) hervor. Von zweien sind die sämtlichen Sätze α) leicht auf beliebig viele Operationsglieder auszudehnen, wofür sie lauten: β) [FORMEL], und wo die Summen- und Produktenzeichen sich über eine beliebige Reihe von Gebietsymbolen a, a', a'', … erstrecken — nur: in einer jeden Formel beiderseits über die nämliche Reihe. Eine Gleichung kann man sich jederzeit rechts auf 0 gebracht denken, oder auch, wenn man will, auf 1. Dasselbe gilt darnach auch von einer Ungleichung. Vergl. die Theoreme 39) und 3̅2̅). Nach letzterem, wenn z. B. (a = b) = (a b1 + a1 b = 0) ist, muss ja auch: (a ≠ b) = (a b1 + a1 b ≠ 0) sein, etc. Mit Rücksicht hierauf können wir nun sagen, dass die Theoreme der ersten Zeile von α) oder β) lehren: Ein Produkt von Gleichungen und eine Summe von Ungleichungen kann stets in eine einzige Gleichung resp. Ungleichung (in eine Proposition der nämlichen Art) zusammen- gezogen und durch diese ausreichend vertreten werden. Wir könnten passend auch den Ausdruck wählen: eine „Konjunktion“ von Glei- chungen und eine „Disjunktion“ von Ungleichungen. Sind die Gleichungen resp. Ungleichungen etwa Voraussetzungen eines Theorems oder Problems, Data, Prämissen, so wird das Produkt (wie bekannt) ein System von simultan geltenden, koëxistirenden, gleich- zeitig zu adoptirenden, die Summe aber ein System von alternativ geltenden Annahmen ausdrücken — das Wort „alternativ“ in dem schon wiederholt erläuterten Sinne genommen. [Und ähnlich auch, falls jene Behauptungen vorstellten.] Also: simultane Gleichungen sowie alternative Ungleichungen lassen je zu einer einzigen Relation derselben Sorte sich zusammenziehen. Das Umgekehrte dagegen scheint nicht möglich zu sein. Eine Summe von Gleichungen (alternative Gleichungen) oder ein Produkt von Ungleichungen (simultane Ungleichungen) gestatten zwar nach den Formeln der zweiten Zeile von α) oder β) einen Schluss

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_logik0201_1891
URL zu dieser Seite: https://www.deutschestextarchiv.de/schroeder_logik0201_1891/204
Zitationshilfe: Schröder, Ernst: Vorlesungen über die Algebra der Logik. Bd. 2, Abt. 1. Leipzig, 1891, S. 180. In: Deutsches Textarchiv <https://www.deutschestextarchiv.de/schroeder_logik0201_1891/204>, abgerufen am 05.05.2024.