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

Sechzehnte Vorlesung.
welches durch Anwendung des Th. 32) auf sich selbst zu gewinnen ist,
und auch als Formel des Gebietekalkuls gilt, nämlich aus Th. 32) kraft
32) hervorgeht.

Man kann die beiden Satzgruppen th) und i) zusammenfassend,
das Ergebniss noch formell verallgemeinern zu:
*k) (A1 B1) = (A B) = (A = B1) = (A1 = B)
oder auch:
(A1 B) = (A B1) = (A = B) = (A1 = B1)
denn in Anbetracht, dass B gleichwie jede Aussage konstanten Sinnes
nur entweder gleich 0 oder gleich i sein kann, gehen die Formeln k)
das eine mal in th) das andremal in i) über.

Hier ist das erste und das dritte Gleichheitszeichen auch im Gebiete-
kalkul rechtskräftig, das zweite oder mittlere indessen nicht, samt den Ver-
gleichungen, die sich auf dieses stützen mögen.

Die Äquivalenz der drei letzten Aussagenausdrücke in k) lehrt
folgendes: Bei einer Gleichung des Aussagenkalkuls ist es einerlei, ob man
den Negationsstrich an ihrer linken Seite, oder am Gleichheitszeichen, oder
an ihrer rechten Seite anbringt. Die Operation des Negirens kann an-
statt an der Gleichung selbst, auch blos an einer Seite derselben voll-
zogen werden.

Überdies zeigt uns das Th. k), dass im Kalkul mit Aussagen kon-
stanten Sinnes eine Ungleichung sich immer auch als Gleichung schreiben
lässt; die Zeichen (und ) sind hier entbehrlich -- was alles im
Gebietekalkul, wie wir sehen werden keineswegs der Fall ist.

Es kommt uns jetzt darauf an: jede Beziehung, welche zwischen
zwei Aussagen A und B behauptet werden kann -- aufgefasst als Klasse
der Gelegenheiten, bei denen diese Beziehung zutrifft -- auszudrücken
durch A und B selber -- d. h. durch die Klassen der Gelegenheiten, wo
ebendiese Aussagen, einzeln genommen, zutreffen oder nicht zutreffen.

Als ausreichend wird es sich herausstellen, wenn dieses Problem
für eine Subsumtion
A B
gelöst wird.

Die Lösung liefert uns bereits das Theorem e), indem wir dar-
nach kraft Th. 38x) und 32) oder unmittelbar kraft Th. 38+) haben
müssen:
(A B) = (A B1 = 0) = {(A B1)1 = i} = (A1 + B = i) = A1 + B.

Hiermit ist nun der fundamentale Satz gewonnen:
l) (A B) = A1 + B,

Sechzehnte Vorlesung.
welches durch Anwendung des Th. 3̅2̅) auf sich selbst zu gewinnen ist,
und auch als Formel des Gebietekalkuls gilt, nämlich aus Th. 32) kraft
3̅2̅) hervorgeht.

Man kann die beiden Satzgruppen ϑ) und ι) zusammenfassend,
das Ergebniss noch formell verallgemeinern zu:
*ϰ) (A1 ≠ B1) = (A ≠ B) = (A = B1) = (A1 = B)
oder auch:
(A1 ≠ B) = (A ≠ B1) = (A = B) = (A1 = B1)
denn in Anbetracht, dass B gleichwie jede Aussage konstanten Sinnes
nur entweder gleich 0 oder gleich i sein kann, gehen die Formeln ϰ)
das eine mal in ϑ) das andremal in ι) über.

Hier ist das erste und das dritte Gleichheitszeichen auch im Gebiete-
kalkul rechtskräftig, das zweite oder mittlere indessen nicht, samt den Ver-
gleichungen, die sich auf dieses stützen mögen.

Die Äquivalenz der drei letzten Aussagenausdrücke in ϰ) lehrt
folgendes: Bei einer Gleichung des Aussagenkalkuls ist es einerlei, ob man
den Negationsstrich an ihrer linken Seite, oder am Gleichheitszeichen, oder
an ihrer rechten Seite anbringt. Die Operation des Negirens kann an-
statt an der Gleichung selbst, auch blos an einer Seite derselben voll-
zogen werden.

Überdies zeigt uns das Th. ϰ), dass im Kalkul mit Aussagen kon-
stanten Sinnes eine Ungleichung sich immer auch als Gleichung schreiben
lässt; die Zeichen ≠ (und ⊆ ) sind hier entbehrlich — was alles im
Gebietekalkul, wie wir sehen werden keineswegs der Fall ist.

Es kommt uns jetzt darauf an: jede Beziehung, welche zwischen
zwei Aussagen A und B behauptet werden kann — aufgefasst als Klasse
der Gelegenheiten, bei denen diese Beziehung zutrifft — auszudrücken
durch A und B selber — d. h. durch die Klassen der Gelegenheiten, wo
ebendiese Aussagen, einzeln genommen, zutreffen oder nicht zutreffen.

Als ausreichend wird es sich herausstellen, wenn dieses Problem
für eine Subsumtion
A ⊆ B
gelöst wird.

Die Lösung liefert uns bereits das Theorem ε), indem wir dar-
nach kraft Th. 3̅8̅×) und 3̅2̅) oder unmittelbar kraft Th. 3̅8̅+) haben
müssen:
(A ⊆ B) = (A B1 = 0) = {(A B1)1 = i} = (A1 + B = i) = A1 + B.

Hiermit ist nun der fundamentale Satz gewonnen:
λ) (A ⊆ B) = A1 + B,

<TEI>
  <text>
    <body>
      <div n="1">
        <div n="2">
          <div n="3">
            <p><pb facs="#f0092" n="68"/><fw place="top" type="header">Sechzehnte Vorlesung.</fw><lb/>
welches durch Anwendung des Th. 3&#x0305;2&#x0305;) auf sich selbst zu gewinnen ist,<lb/>
und auch als Formel des Gebietekalkuls gilt, nämlich aus Th. 32) kraft<lb/>
3&#x0305;2&#x0305;) hervorgeht.</p><lb/>
            <p>Man kann die beiden Satzgruppen <hi rendition="#i">&#x03D1;</hi>) und <hi rendition="#i">&#x03B9;</hi>) zusammenfassend,<lb/>
das Ergebniss noch formell verallgemeinern zu:<lb/>
*<hi rendition="#i">&#x03F0;</hi>) <hi rendition="#et">(<hi rendition="#i">A</hi><hi rendition="#sub">1</hi> &#x2260; <hi rendition="#i">B</hi><hi rendition="#sub">1</hi>) = (<hi rendition="#i">A</hi> &#x2260; <hi rendition="#i">B</hi>) = (<hi rendition="#i">A</hi> = <hi rendition="#i">B</hi><hi rendition="#sub">1</hi>) = (<hi rendition="#i">A</hi><hi rendition="#sub">1</hi> = <hi rendition="#i">B</hi>)</hi><lb/>
oder auch:<lb/><hi rendition="#c">(<hi rendition="#i">A</hi><hi rendition="#sub">1</hi> &#x2260; <hi rendition="#i">B</hi>) = (<hi rendition="#i">A</hi> &#x2260; <hi rendition="#i">B</hi><hi rendition="#sub">1</hi>) = (<hi rendition="#i">A</hi> = <hi rendition="#i">B</hi>) = (<hi rendition="#i">A</hi><hi rendition="#sub">1</hi> = <hi rendition="#i">B</hi><hi rendition="#sub">1</hi>)</hi><lb/>
denn in Anbetracht, dass <hi rendition="#i">B</hi> gleichwie jede Aussage konstanten Sinnes<lb/>
nur entweder gleich 0 oder gleich i sein kann, gehen die Formeln <hi rendition="#i">&#x03F0;</hi>)<lb/>
das eine mal in <hi rendition="#i">&#x03D1;</hi>) das andremal in <hi rendition="#i">&#x03B9;</hi>) über.</p><lb/>
            <p>Hier ist das erste und das dritte Gleichheitszeichen auch im Gebiete-<lb/>
kalkul rechtskräftig, das zweite oder mittlere indessen nicht, samt den Ver-<lb/>
gleichungen, die sich auf dieses stützen mögen.</p><lb/>
            <p>Die Äquivalenz der drei letzten Aussagenausdrücke in <hi rendition="#i">&#x03F0;</hi>) lehrt<lb/>
folgendes: <hi rendition="#i">Bei einer Gleichung des Aussagenkalkuls ist es einerlei</hi>, <hi rendition="#i">ob man<lb/>
den Negationsstrich an ihrer linken Seite, oder am Gleichheitszeichen</hi>, <hi rendition="#i">oder<lb/>
an ihrer rechten Seite anbringt. Die Operation des Negirens kann an-<lb/>
statt an der Gleichung selbst, auch blos an einer Seite derselben voll-<lb/>
zogen werden.</hi></p><lb/>
            <p>Überdies zeigt uns das Th. <hi rendition="#i">&#x03F0;</hi>), dass <hi rendition="#i">im Kalkul mit Aussagen kon-<lb/>
stanten Sinnes eine Ungleichung sich immer auch als Gleichung schreiben<lb/>
lässt;</hi> die Zeichen &#x2260; (und <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice>  ) sind hier entbehrlich &#x2014; was alles im<lb/>
Gebietekalkul, wie wir sehen werden keineswegs der Fall ist.</p><lb/>
            <p>Es kommt uns jetzt darauf an: <hi rendition="#i">jede Beziehung</hi>, <hi rendition="#i">welche zwischen<lb/>
zwei Aussagen A und B behauptet werden kann</hi> &#x2014; aufgefasst als Klasse<lb/>
der Gelegenheiten, bei denen diese Beziehung zutrifft &#x2014; <hi rendition="#i">auszudrücken<lb/>
durch A und B selber</hi> &#x2014; d. h. durch die Klassen der Gelegenheiten, wo<lb/>
ebendiese Aussagen, einzeln genommen, zutreffen oder nicht zutreffen.</p><lb/>
            <p>Als ausreichend wird es sich herausstellen, wenn dieses Problem<lb/>
für eine Subsumtion<lb/><hi rendition="#c"><hi rendition="#i">A</hi><choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice><hi rendition="#i">B</hi></hi><lb/>
gelöst wird.</p><lb/>
            <p>Die Lösung liefert uns bereits das Theorem <hi rendition="#i">&#x03B5;</hi>), indem wir dar-<lb/>
nach kraft Th. 3&#x0305;8&#x0305;<hi rendition="#sub">×</hi>) und 3&#x0305;2&#x0305;) oder unmittelbar kraft Th. 3&#x0305;8&#x0305;<hi rendition="#sub">+</hi>) haben<lb/>
müssen:<lb/><hi rendition="#c">(<hi rendition="#i">A</hi> <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> <hi rendition="#i">B</hi>) = (<hi rendition="#i">A B</hi><hi rendition="#sub">1</hi> = 0) = {(<hi rendition="#i">A B</hi><hi rendition="#sub">1</hi>)<hi rendition="#sub">1</hi> = i} = (<hi rendition="#i">A</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">B</hi> = i) = <hi rendition="#i">A</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">B</hi>.</hi></p><lb/>
            <p>Hiermit ist nun der fundamentale Satz gewonnen:<lb/><hi rendition="#i">&#x03BB;</hi>) <hi rendition="#et">(<hi rendition="#i">A</hi> <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> <hi rendition="#i">B</hi>) = <hi rendition="#i">A</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">B</hi>,</hi><lb/></p>
          </div>
        </div>
      </div>
    </body>
  </text>
</TEI>
[68/0092] Sechzehnte Vorlesung. welches durch Anwendung des Th. 3̅2̅) auf sich selbst zu gewinnen ist, und auch als Formel des Gebietekalkuls gilt, nämlich aus Th. 32) kraft 3̅2̅) hervorgeht. Man kann die beiden Satzgruppen ϑ) und ι) zusammenfassend, das Ergebniss noch formell verallgemeinern zu: *ϰ) (A1 ≠ B1) = (A ≠ B) = (A = B1) = (A1 = B) oder auch: (A1 ≠ B) = (A ≠ B1) = (A = B) = (A1 = B1) denn in Anbetracht, dass B gleichwie jede Aussage konstanten Sinnes nur entweder gleich 0 oder gleich i sein kann, gehen die Formeln ϰ) das eine mal in ϑ) das andremal in ι) über. Hier ist das erste und das dritte Gleichheitszeichen auch im Gebiete- kalkul rechtskräftig, das zweite oder mittlere indessen nicht, samt den Ver- gleichungen, die sich auf dieses stützen mögen. Die Äquivalenz der drei letzten Aussagenausdrücke in ϰ) lehrt folgendes: Bei einer Gleichung des Aussagenkalkuls ist es einerlei, ob man den Negationsstrich an ihrer linken Seite, oder am Gleichheitszeichen, oder an ihrer rechten Seite anbringt. Die Operation des Negirens kann an- statt an der Gleichung selbst, auch blos an einer Seite derselben voll- zogen werden. Überdies zeigt uns das Th. ϰ), dass im Kalkul mit Aussagen kon- stanten Sinnes eine Ungleichung sich immer auch als Gleichung schreiben lässt; die Zeichen ≠ (und  ) sind hier entbehrlich — was alles im Gebietekalkul, wie wir sehen werden keineswegs der Fall ist. Es kommt uns jetzt darauf an: jede Beziehung, welche zwischen zwei Aussagen A und B behauptet werden kann — aufgefasst als Klasse der Gelegenheiten, bei denen diese Beziehung zutrifft — auszudrücken durch A und B selber — d. h. durch die Klassen der Gelegenheiten, wo ebendiese Aussagen, einzeln genommen, zutreffen oder nicht zutreffen. Als ausreichend wird es sich herausstellen, wenn dieses Problem für eine Subsumtion A  B gelöst wird. Die Lösung liefert uns bereits das Theorem ε), indem wir dar- nach kraft Th. 3̅8̅×) und 3̅2̅) oder unmittelbar kraft Th. 3̅8̅+) haben müssen: (A  B) = (A B1 = 0) = {(A B1)1 = i} = (A1 + B = i) = A1 + B. Hiermit ist nun der fundamentale Satz gewonnen: λ) (A  B) = A1 + B,

Suche im Werk

Hilfe

Informationen zum Werk

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?

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