Schröder, Ernst: Vorlesungen über die Algebra der Logik. Bd. 2, Abt. 1. Leipzig, 1891.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, Hier ist das erste und das dritte Gleichheitszeichen auch im Gebiete- Die Äquivalenz der drei letzten Aussagenausdrücke in k) lehrt Überdies zeigt uns das Th. k), dass im Kalkul mit Aussagen kon- Es kommt uns jetzt darauf an: jede Beziehung, welche zwischen Als ausreichend wird es sich herausstellen, wenn dieses Problem Die Lösung liefert uns bereits das Theorem e), indem wir dar- Hiermit ist nun der fundamentale Satz gewonnen: 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, Hier ist das erste und das dritte Gleichheitszeichen auch im Gebiete- Die Äquivalenz der drei letzten Aussagenausdrücke in ϰ) lehrt Überdies zeigt uns das Th. ϰ), dass im Kalkul mit Aussagen kon- Es kommt uns jetzt darauf an: jede Beziehung, welche zwischen Als ausreichend wird es sich herausstellen, wenn dieses Problem Die Lösung liefert uns bereits das Theorem ε), indem wir dar- Hiermit ist nun der fundamentale Satz gewonnen: <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̅2̅) auf sich selbst zu gewinnen ist,<lb/> und auch als Formel des Gebietekalkuls gilt, nämlich aus Th. 32) kraft<lb/> 3̅2̅) hervorgeht.</p><lb/> <p>Man kann die beiden Satzgruppen <hi rendition="#i">ϑ</hi>) und <hi rendition="#i">ι</hi>) zusammenfassend,<lb/> das Ergebniss noch formell verallgemeinern zu:<lb/> *<hi rendition="#i">ϰ</hi>) <hi rendition="#et">(<hi rendition="#i">A</hi><hi rendition="#sub">1</hi> ≠ <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="#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> ≠ <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="#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">ϰ</hi>)<lb/> das eine mal in <hi rendition="#i">ϑ</hi>) das andremal in <hi rendition="#i">ι</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">ϰ</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">ϰ</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 ≠ (und <choice><orig></orig><reg>⊆</reg></choice> ) sind hier entbehrlich — 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> — aufgefasst als Klasse<lb/> der Gelegenheiten, bei denen diese Beziehung zutrifft — <hi rendition="#i">auszudrücken<lb/> durch A und B selber</hi> — 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></orig><reg>⊆</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">ε</hi>), indem wir dar-<lb/> nach kraft Th. 3̅8̅<hi rendition="#sub">×</hi>) und 3̅2̅) oder unmittelbar kraft Th. 3̅8̅<hi rendition="#sub">+</hi>) haben<lb/> müssen:<lb/><hi rendition="#c">(<hi rendition="#i">A</hi> <choice><orig></orig><reg>⊆</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">λ</hi>) <hi rendition="#et">(<hi rendition="#i">A</hi> <choice><orig></orig><reg>⊆</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 WerkInformationen zum Werk
Download dieses Werks
XML (TEI P5) ·
HTML ·
Text Metadaten zum WerkTEI-Header · CMDI · Dublin Core Ansichten dieser Seite
Voyant Tools
|
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 14.08.2024. |