Schröder, Ernst: Vorlesungen über die Algebra der Logik. Bd. 2, Abt. 1. Leipzig, 1891.§ 39. Die denkbaren Umfangsbeziehungen überhaupt. a c b l1 = a c b, a c b1 l = a c l,a c1 b l = a b l, a1 c b l = c b l, wie man leicht nach dem Vorbild: a1 c b l = 0 + a1 c b l = a c b l + a1 c b l = (a + a1) c b l = i · c b l = c b l auch für die übrigen beweist. Demnach fallen nur noch in Betracht die 11 Quaternen:
Mehr wie vier Faktoren, entnommen aus der Gruppe der acht Wir haben also die möglichen Produkte von De Morgan'schen Unter x), y) und z) ergaben sich 14 + 16 + 11 = 41 neue Pro- Auf diese Fragen erlangen wir Antwort, indem wir zuvörderst § 39. Die denkbaren Umfangsbeziehungen überhaupt. a c b l1 = a c b, a c b1 l = a c l,a c1 b l = a b l, a1 c b l = c b l, wie man leicht nach dem Vorbild: a1 c b l = 0 + a1 c b l = a c b l + a1 c b l = (a + a1) c b l = i · c b l = c b l auch für die übrigen beweist. Demnach fallen nur noch in Betracht die 11 Quaternen:
Mehr wie vier Faktoren, entnommen aus der Gruppe der acht Wir haben also die möglichen Produkte von De Morgan’schen Unter x), y) und z) ergaben sich 14 + 16 + 11 = 41 neue Pro- Auf diese Fragen erlangen wir Antwort, indem wir zuvörderst <TEI> <text> <body> <div n="1"> <div n="2"> <div n="3"> <p><pb facs="#f0165" n="141"/><fw place="top" type="header">§ 39. Die denkbaren Umfangsbeziehungen überhaupt.</fw><lb/><hi rendition="#c"><hi rendition="#i">a c b l</hi><hi rendition="#sub">1</hi> = <hi rendition="#i">a c b</hi>, <hi rendition="#i">a c b</hi><hi rendition="#sub">1</hi> <hi rendition="#i">l</hi> = <hi rendition="#i">a c l</hi>,<lb/><hi rendition="#i">a c</hi><hi rendition="#sub">1</hi> <hi rendition="#i">b l</hi> = <hi rendition="#i">a b l</hi>, <hi rendition="#i">a</hi><hi rendition="#sub">1</hi> <hi rendition="#i">c b l</hi> = <hi rendition="#i">c b l</hi>,</hi><lb/> wie man leicht nach dem Vorbild:<lb/><hi rendition="#c"><hi rendition="#i">a</hi><hi rendition="#sub">1</hi><hi rendition="#i">c b l</hi> = 0 + <hi rendition="#i">a</hi><hi rendition="#sub">1</hi> <hi rendition="#i">c b l</hi> = <hi rendition="#i">a c b l</hi> + <hi rendition="#i">a</hi><hi rendition="#sub">1</hi> <hi rendition="#i">c b l</hi> = (<hi rendition="#i">a</hi> + <hi rendition="#i">a</hi><hi rendition="#sub">1</hi>) <hi rendition="#i">c b l</hi> = i · <hi rendition="#i">c b l</hi> = <hi rendition="#i">c b l</hi></hi><lb/> auch für die übrigen beweist.</p><lb/> <p>Demnach fallen nur noch in Betracht die 11 Quaternen:<lb/><hi rendition="#i">z</hi>) <table><lb/><row><cell><hi rendition="#i">a c b</hi><hi rendition="#sub">1</hi><hi rendition="#i">l</hi><hi rendition="#sub">1</hi></cell><cell/><cell><hi rendition="#i">a</hi><hi rendition="#sub">1</hi><hi rendition="#i">c b</hi><hi rendition="#sub">1</hi><hi rendition="#i">l</hi><hi rendition="#sub">1</hi></cell></row><lb/><row><cell><hi rendition="#i">a c</hi><hi rendition="#sub">1</hi><hi rendition="#i">b l</hi><hi rendition="#sub">1</hi></cell><cell><hi rendition="#i">a</hi><hi rendition="#sub">1</hi><hi rendition="#i">c b l</hi><hi rendition="#sub">1</hi></cell><cell><hi rendition="#i">a</hi><hi rendition="#sub">1</hi><hi rendition="#i">c</hi><hi rendition="#sub">1</hi><hi rendition="#i">b l</hi><hi rendition="#sub">1</hi></cell></row><lb/><row><cell><hi rendition="#i">a c</hi><hi rendition="#sub">1</hi><hi rendition="#i">b</hi><hi rendition="#sub">1</hi><hi rendition="#i">l</hi></cell><cell><hi rendition="#i">a</hi><hi rendition="#sub">1</hi><hi rendition="#i">c b</hi><hi rendition="#sub">1</hi><hi rendition="#i">l</hi></cell><cell><hi rendition="#i">a</hi><hi rendition="#sub">1</hi><hi rendition="#i">c</hi><hi rendition="#sub">1</hi><hi rendition="#i">b</hi><hi rendition="#sub">1</hi><hi rendition="#i">l</hi></cell></row><lb/><row><cell><hi rendition="#i">a c</hi><hi rendition="#sub">1</hi><hi rendition="#i">b</hi><hi rendition="#sub">1</hi><hi rendition="#i">l</hi><hi rendition="#sub">1</hi></cell><cell><hi rendition="#i">a</hi><hi rendition="#sub">1</hi><hi rendition="#i">c</hi><hi rendition="#sub">1</hi><hi rendition="#i">b l</hi></cell><cell><hi rendition="#i">a</hi><hi rendition="#sub">1</hi><hi rendition="#i">c</hi><hi rendition="#sub">1</hi><hi rendition="#i">b</hi><hi rendition="#sub">1</hi><hi rendition="#i">l</hi><hi rendition="#sub">1</hi>.</cell></row><lb/></table></p> <p><hi rendition="#i">Mehr</hi> wie vier Faktoren, entnommen aus der Gruppe der acht<lb/> primitiven Propositionen: <hi rendition="#i">a</hi>, <hi rendition="#i">c</hi>, <hi rendition="#i">b</hi>, <hi rendition="#i">l</hi>, <hi rendition="#i">a</hi><hi rendition="#sub">1</hi>, <hi rendition="#i">c</hi><hi rendition="#sub">1</hi>, <hi rendition="#i">b</hi><hi rendition="#sub">1</hi>, <hi rendition="#i">l</hi><hi rendition="#sub">1</hi>, können nicht zu einem<lb/> Produkt zusammengefasst werden, ohne dass sich einer von den vier<lb/> Buchstaben zweimal vertreten findet, infolge welchen Umstandes aber,<lb/> wie vorhin ausgeführt, das Produkt dann verschwinden müsste.</p><lb/> <p>Wir haben also die möglichen <hi rendition="#i">Produkte</hi> von <hi rendition="#g">De Morgan’</hi>schen<lb/> Propositionen mit Vorstehendem erschöpft.</p><lb/> <p>Unter <hi rendition="#i">x</hi>), <hi rendition="#i">y</hi>) und <hi rendition="#i">z</hi>) ergaben sich 14 + 16 + 11 = 41 neue Pro-<lb/> positionen, die wir als „<hi rendition="#i">abgeleitete</hi> Beziehungen“ zu bezeichnen haben<lb/> werden. Sind diese nun aber auch wirklich zulässig, und sind sie<lb/> sämtlich unter sich und von den früheren verschieden?</p><lb/> <p>Auf diese Fragen erlangen wir Antwort, indem wir zuvörderst<lb/> die hinzugekommenen Produkte sämtlich in die 5 Elementarfächer<lb/> zerfällen. Zu dem Ende braucht man nur die Tafel zu benutzen,<lb/> welche gewisse Teile aus den Tafeln III<hi rendition="#sup">0</hi> und XIII<hi rendition="#sup">0</hi> hervorhebend<lb/> zusammenfasst:<lb/><hi rendition="#c">XVIII<hi rendition="#sup">0</hi>. <hi rendition="#g">Zerfällung der Unionen von De Morgan’s<lb/> Propositionen</hi>.</hi><lb/><hi rendition="#i">a</hi> = <hi rendition="#i">a</hi>, <hi rendition="#i">c</hi> = <hi rendition="#i">h</hi> + <hi rendition="#i">γ</hi> + <hi rendition="#i">δ</hi>, <hi rendition="#i">b</hi> = <hi rendition="#i">k</hi> + <hi rendition="#i">β</hi> + <hi rendition="#i">δ</hi>, <hi rendition="#i">l</hi> = <hi rendition="#i">l a</hi> + <hi rendition="#i">l a</hi> + <hi rendition="#i">m β</hi> + <hi rendition="#i">n γ</hi> + <hi rendition="#i">m n δ</hi>,<lb/><hi rendition="#i">a</hi><hi rendition="#sub">1</hi> = <hi rendition="#i">α</hi> + <hi rendition="#i">β</hi> + <hi rendition="#i">γ</hi> + <hi rendition="#i">δ</hi>, <hi rendition="#i">c</hi><hi rendition="#sub">1</hi> = <hi rendition="#i">h</hi><hi rendition="#sub">1</hi> <hi rendition="#i">a</hi> + <hi rendition="#i">α</hi> + <hi rendition="#i">β</hi>, <hi rendition="#i">b</hi><hi rendition="#sub">1</hi> = <hi rendition="#i">k</hi><hi rendition="#sub">1</hi> <hi rendition="#i">a</hi> + <hi rendition="#i">α</hi> + <hi rendition="#i">γ</hi>, <hi rendition="#i">l</hi><hi rendition="#sub">1</hi> = <hi rendition="#i">l</hi><hi rendition="#sub">1</hi> <hi rendition="#i">a</hi> + <hi rendition="#i">l</hi><hi rendition="#sub">1</hi> <hi rendition="#i">a</hi> + <hi rendition="#i">m</hi><hi rendition="#sub">1</hi> <hi rendition="#i">β</hi> + <hi rendition="#i">n</hi><hi rendition="#sub">1</hi> <hi rendition="#i">γ</hi> + <hi rendition="#i">m</hi><hi rendition="#sub">1</hi> <hi rendition="#i">n</hi><hi rendition="#sub">1</hi> <hi rendition="#i">δ</hi>.<lb/> [Man beachte hiezu, dass <hi rendition="#i">h</hi>, = <hi rendition="#i">h a</hi>, und <hi rendition="#i">k</hi>, = <hi rendition="#i">k a</hi>, in das Fach <hi rendition="#i">a</hi><lb/> fallen, und dass:<lb/><hi rendition="#c">i = <hi rendition="#i">a</hi> + <hi rendition="#i">α</hi> + <hi rendition="#i">β</hi> + <hi rendition="#i">γ</hi> + <hi rendition="#i">δ</hi>.]</hi><lb/> Die Anwendung dieser Tafeln wird eine blosse Multiplikationsübung<lb/> sein, erleichtert durch den Prozess des Übereinanderschiebens.</p><lb/> </div> </div> </div> </body> </text> </TEI> [141/0165]
§ 39. Die denkbaren Umfangsbeziehungen überhaupt.
a c b l1 = a c b, a c b1 l = a c l,
a c1 b l = a b l, a1 c b l = c b l,
wie man leicht nach dem Vorbild:
a1 c b l = 0 + a1 c b l = a c b l + a1 c b l = (a + a1) c b l = i · c b l = c b l
auch für die übrigen beweist.
Demnach fallen nur noch in Betracht die 11 Quaternen:
z) a c b1 l1 a1 c b1 l1
a c1 b l1 a1 c b l1 a1 c1 b l1
a c1 b1 l a1 c b1 l a1 c1 b1 l
a c1 b1 l1 a1 c1 b l a1 c1 b1 l1.
Mehr wie vier Faktoren, entnommen aus der Gruppe der acht
primitiven Propositionen: a, c, b, l, a1, c1, b1, l1, können nicht zu einem
Produkt zusammengefasst werden, ohne dass sich einer von den vier
Buchstaben zweimal vertreten findet, infolge welchen Umstandes aber,
wie vorhin ausgeführt, das Produkt dann verschwinden müsste.
Wir haben also die möglichen Produkte von De Morgan’schen
Propositionen mit Vorstehendem erschöpft.
Unter x), y) und z) ergaben sich 14 + 16 + 11 = 41 neue Pro-
positionen, die wir als „abgeleitete Beziehungen“ zu bezeichnen haben
werden. Sind diese nun aber auch wirklich zulässig, und sind sie
sämtlich unter sich und von den früheren verschieden?
Auf diese Fragen erlangen wir Antwort, indem wir zuvörderst
die hinzugekommenen Produkte sämtlich in die 5 Elementarfächer
zerfällen. Zu dem Ende braucht man nur die Tafel zu benutzen,
welche gewisse Teile aus den Tafeln III0 und XIII0 hervorhebend
zusammenfasst:
XVIII0. Zerfällung der Unionen von De Morgan’s
Propositionen.
a = a, c = h + γ + δ, b = k + β + δ, l = l a + l a + m β + n γ + m n δ,
a1 = α + β + γ + δ, c1 = h1 a + α + β, b1 = k1 a + α + γ, l1 = l1 a + l1 a + m1 β + n1 γ + m1 n1 δ.
[Man beachte hiezu, dass h, = h a, und k, = k a, in das Fach a
fallen, und dass:
i = a + α + β + γ + δ.]
Die Anwendung dieser Tafeln wird eine blosse Multiplikationsübung
sein, erleichtert durch den Prozess des Übereinanderschiebens.
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/165 |
Zitationshilfe: | Schröder, Ernst: Vorlesungen über die Algebra der Logik. Bd. 2, Abt. 1. Leipzig, 1891, S. 141. In: Deutsches Textarchiv <https://www.deutschestextarchiv.de/schroeder_logik0201_1891/165>, abgerufen am 15.06.2024. |