Schröder, Ernst: Vorlesungen über die Algebra der Logik. Bd. 3, Abt. 1. Leipzig, 1895.§ 7. Beweis der Grundgesetze. barkeit der Glieder einer Aussagensumme bei kolonnenweisem Summirender in Zeilen gesetzten Glieder hervorgeht) und wiederum nach (12) und (10) in rückwärtiger Anwendung dieser (oben vorwärts angewendeten) Fest- setzungen, q. e. d. Analog hat man: Beweis zu 5) des § 6. Erste Formel. Es ist Offenbar ist nun Li j Ri j, weil unter den Gliedern des expandirten Zur zweiten Formel hätten wir: Übrigens bedarf man zum Beweise dieses Satzes der Berufung auf § 7. Beweis der Grundgesetze. barkeit der Glieder einer Aussagensumme bei kolonnenweisem Summirender in Zeilen gesetzten Glieder hervorgeht) und wiederum nach (12) und (10) in rückwärtiger Anwendung dieser (oben vorwärts angewendeten) Fest- setzungen, q. e. d. Analog hat man: Beweis zu 5) des § 6. Erste Formel. Es ist Offenbar ist nun Li j ⋹ Ri j, weil unter den Gliedern des expandirten Zur zweiten Formel hätten wir: Übrigens bedarf man zum Beweise dieses Satzes der Berufung auf <TEI> <text> <body> <div n="1"> <div n="2"> <p><pb facs="#f0119" n="105"/><fw place="top" type="header">§ 7. Beweis der Grundgesetze.</fw><lb/> barkeit der Glieder einer Aussagensumme bei kolonnenweisem Summiren<lb/> der in Zeilen gesetzten Glieder hervorgeht) und wiederum nach (12) und<lb/> (10) in rückwärtiger Anwendung dieser (oben vorwärts angewendeten) Fest-<lb/> setzungen, q. e. d.</p><lb/> <p>Analog hat man:<lb/><hi rendition="#c">{(<hi rendition="#i">a</hi> + <hi rendition="#i">b</hi>) ; <hi rendition="#i">c</hi>}<hi rendition="#i"><hi rendition="#sub">i j</hi></hi> = <hi rendition="#i">Σ<hi rendition="#sub">h</hi></hi>(<hi rendition="#i">a</hi> + <hi rendition="#i">b</hi>)<hi rendition="#i"><hi rendition="#sub">i h</hi>c<hi rendition="#sub">h j</hi></hi> = <hi rendition="#i">Σ<hi rendition="#sub">h</hi></hi>(<hi rendition="#i">a<hi rendition="#sub">i h</hi></hi> + <hi rendition="#i">b<hi rendition="#sub">i h</hi></hi>)<hi rendition="#i">c<hi rendition="#sub">h j</hi></hi> = <hi rendition="#i">Σ<hi rendition="#sub">h</hi></hi>(<hi rendition="#i">a<hi rendition="#sub">i h</hi>c<hi rendition="#sub">h j</hi></hi> + <hi rendition="#i">b<hi rendition="#sub">i h</hi>c<hi rendition="#sub">h j</hi></hi>),<lb/> (<hi rendition="#i">a</hi> ; <hi rendition="#i">c</hi> + <hi rendition="#i">b</hi> ; <hi rendition="#i">c</hi>)<hi rendition="#i"><hi rendition="#sub">i j</hi></hi> = (<hi rendition="#i">a</hi> ; <hi rendition="#i">c</hi>)<hi rendition="#i"><hi rendition="#sub">i j</hi></hi> + (<hi rendition="#i">b</hi> ; <hi rendition="#i">c</hi>)<hi rendition="#i"><hi rendition="#sub">i j</hi></hi> = <hi rendition="#i">Σ<hi rendition="#sub">h</hi>a<hi rendition="#sub">i h</hi>c<hi rendition="#sub">h j</hi></hi> + <hi rendition="#i">Σ<hi rendition="#sub">h</hi>b<hi rendition="#sub">i h</hi>c<hi rendition="#sub">h j</hi></hi>;</hi><lb/> aber die rechten Seiten sind gleich, und folglich auch die linken, q. e. d.<lb/> Ferner:<lb/><hi rendition="#c">(<hi rendition="#i">a</hi> ɟ <hi rendition="#i">bc</hi>)<hi rendition="#i"><hi rendition="#sub">i j</hi></hi> = <hi rendition="#i">Π<hi rendition="#sub">h</hi></hi>{<hi rendition="#i">a<hi rendition="#sub">i h</hi></hi> + (<hi rendition="#i">bc</hi>)<hi rendition="#i"><hi rendition="#sub">h j</hi></hi>} = <hi rendition="#i">Π<hi rendition="#sub">h</hi></hi>(<hi rendition="#i">a<hi rendition="#sub">i h</hi></hi> + <hi rendition="#i">b<hi rendition="#sub">h j</hi>c<hi rendition="#sub">h j</hi></hi>) = <hi rendition="#i">Π<hi rendition="#sub">h</hi></hi>(<hi rendition="#i">a<hi rendition="#sub">i h</hi></hi> + <hi rendition="#i">b<hi rendition="#sub">h j</hi></hi>)(<hi rendition="#i">a<hi rendition="#sub">i h</hi></hi> + <hi rendition="#i">c<hi rendition="#sub">h j</hi></hi>),<lb/> {(<hi rendition="#i">a</hi> ɟ <hi rendition="#i">b</hi>)(<hi rendition="#i">a</hi> ɟ <hi rendition="#i">c</hi>)}<hi rendition="#i"><hi rendition="#sub">i j</hi></hi> = (<hi rendition="#i">a</hi> ɟ <hi rendition="#i">b</hi>)<hi rendition="#i"><hi rendition="#sub">i j</hi></hi>(<hi rendition="#i">a</hi> ɟ <hi rendition="#i">c</hi>)<hi rendition="#i"><hi rendition="#sub">i j</hi></hi> = <hi rendition="#i">Π<hi rendition="#sub">h</hi></hi>(<hi rendition="#i">a<hi rendition="#sub">i h</hi></hi> + <hi rendition="#i">b<hi rendition="#sub">h j</hi></hi>) · <hi rendition="#i">Π<hi rendition="#sub">h</hi></hi>(<hi rendition="#i">a<hi rendition="#sub">i h</hi></hi> + <hi rendition="#i">c<hi rendition="#sub">h j</hi></hi>),</hi><lb/> wo wieder die beiden Ausdrücke rechts und folglich auch die links über-<lb/> einstimmen, q. e. d. Endlich:<lb/><hi rendition="#et">(<hi rendition="#i">ab</hi> ɟ <hi rendition="#i">c</hi>)<hi rendition="#i"><hi rendition="#sub">i j</hi></hi> = <hi rendition="#i">Π<hi rendition="#sub">h</hi></hi>{(<hi rendition="#i">ab</hi>)<hi rendition="#i"><hi rendition="#sub">i h</hi></hi> + <hi rendition="#i">c<hi rendition="#sub">h j</hi></hi>} = <hi rendition="#i">Π<hi rendition="#sub">h</hi></hi>(<hi rendition="#i">a<hi rendition="#sub">i h</hi>b<hi rendition="#sub">i h</hi></hi> + <hi rendition="#i">c<hi rendition="#sub">h j</hi></hi>) = <hi rendition="#i">Π<hi rendition="#sub">h</hi></hi>(<hi rendition="#i">a<hi rendition="#sub">i h</hi></hi> + <hi rendition="#i">c<hi rendition="#sub">h j</hi></hi>)(<hi rendition="#i">b<hi rendition="#sub">i h</hi></hi> + <hi rendition="#i">c<hi rendition="#sub">h j</hi></hi>) =<lb/> = <hi rendition="#i">Π<hi rendition="#sub">h</hi></hi>(<hi rendition="#i">a<hi rendition="#sub">i h</hi></hi> + <hi rendition="#i">c<hi rendition="#sub">h j</hi></hi>) · <hi rendition="#i">Π<hi rendition="#sub">h</hi></hi>(<hi rendition="#i">b<hi rendition="#sub">i h</hi></hi> + <hi rendition="#i">c<hi rendition="#sub">h j</hi></hi>) = (<hi rendition="#i">a</hi> ɟ <hi rendition="#i">c</hi>)<hi rendition="#i"><hi rendition="#sub">i j</hi></hi>(<hi rendition="#i">b</hi> ɟ <hi rendition="#i">c</hi>)<hi rendition="#i"><hi rendition="#sub">i j</hi></hi> = {(<hi rendition="#i">a</hi> ɟ <hi rendition="#i">c</hi>)(<hi rendition="#i">b</hi> ɟ <hi rendition="#i">c</hi>)}<hi rendition="#i"><hi rendition="#sub">i j</hi></hi>,</hi><lb/> q. e. d.</p><lb/> <p><hi rendition="#g">Beweis</hi> zu 5) des § 6. Erste Formel.</p><lb/> <p>Es ist<lb/><hi rendition="#et"><hi rendition="#i">L<hi rendition="#sub">i j</hi></hi> = (<hi rendition="#i">a</hi> ; <hi rendition="#i">bc</hi>)<hi rendition="#i"><hi rendition="#sub">i j</hi></hi> = <hi rendition="#i">Σ<hi rendition="#sub">h</hi>a<hi rendition="#sub">i h</hi></hi>(<hi rendition="#i">bc</hi>)<hi rendition="#i"><hi rendition="#sub">h j</hi></hi> = <hi rendition="#i">Σ<hi rendition="#sub">h</hi>a<hi rendition="#sub">i h</hi>b<hi rendition="#sub">h j</hi>c<hi rendition="#sub">h j</hi></hi> = <hi rendition="#i">Σ<hi rendition="#sub">h</hi>a<hi rendition="#sub">i h</hi>b<hi rendition="#sub">h j</hi></hi> · <hi rendition="#i">a<hi rendition="#sub">i h</hi>c<hi rendition="#sub">h j</hi></hi>,<lb/><hi rendition="#i">R<hi rendition="#sub">i j</hi></hi> = (<hi rendition="#i">a</hi> ; <hi rendition="#i">b</hi> · <hi rendition="#i">a</hi> ; <hi rendition="#i">c</hi>)<hi rendition="#i"><hi rendition="#sub">i j</hi></hi> = (<hi rendition="#i">a</hi> ; <hi rendition="#i">b</hi>)<hi rendition="#i"><hi rendition="#sub">i j</hi></hi>(<hi rendition="#i">a</hi> ; <hi rendition="#i">c</hi>)<hi rendition="#i"><hi rendition="#sub">i j</hi></hi> = <hi rendition="#i">Σ<hi rendition="#sub">h</hi>a<hi rendition="#sub">i h</hi>b<hi rendition="#sub">h j</hi></hi> · <hi rendition="#i">Σ<hi rendition="#sub">k</hi>a<hi rendition="#sub">i k</hi>c<hi rendition="#sub">k j</hi></hi>.</hi></p><lb/> <p>Offenbar ist nun <hi rendition="#i">L<hi rendition="#sub">i j</hi></hi> ⋹ <hi rendition="#i">R<hi rendition="#sub">i j</hi></hi>, weil unter den Gliedern des expandirten<lb/> Produktes der beiden letzten Summen die Glieder der darüberstehenden<lb/> Summe sämtlich enthalten sind — nämlich als die Partialprodukte aus<lb/> deren gleichstelligen Gliedern, jedoch neben noch vielen andern Gliedern,<lb/> womit die Subsumtion erwiesen ist — q. e. d.</p><lb/> <p>Zur zweiten Formel hätten wir:<lb/><hi rendition="#c"><hi rendition="#i">L<hi rendition="#sub">i j</hi></hi> = (<hi rendition="#i">a</hi> ɟ <hi rendition="#i">b</hi> + <hi rendition="#i">a</hi> ɟ <hi rendition="#i">c</hi>)<hi rendition="#i"><hi rendition="#sub">i j</hi></hi> = (<hi rendition="#i">a</hi> ɟ <hi rendition="#i">b</hi>)<hi rendition="#i"><hi rendition="#sub">i j</hi></hi> + (<hi rendition="#i">a</hi> ɟ <hi rendition="#i">c</hi>)<hi rendition="#i"><hi rendition="#sub">i j</hi></hi> = <hi rendition="#i">Π<hi rendition="#sub">h</hi></hi>(<hi rendition="#i">a<hi rendition="#sub">i h</hi></hi> + <hi rendition="#i">b<hi rendition="#sub">h j</hi></hi>) + <hi rendition="#i">Π<hi rendition="#sub">k</hi></hi>(<hi rendition="#i">a<hi rendition="#sub">i k</hi></hi> + <hi rendition="#i">c<hi rendition="#sub">k j</hi></hi>) =<lb/> = <hi rendition="#i">Π<hi rendition="#sub">h k</hi></hi>(<hi rendition="#i">a<hi rendition="#sub">i h</hi></hi> + <hi rendition="#i">b<hi rendition="#sub">h j</hi></hi> + <hi rendition="#i">a<hi rendition="#sub">i k</hi></hi> + <hi rendition="#i">c<hi rendition="#sub">k j</hi></hi>),</hi><lb/> letztres nach dem dualen Gegenstück des Distributionsgesetzes. Dazu:<lb/><hi rendition="#c"><hi rendition="#i">R<hi rendition="#sub">i j</hi></hi> = {<hi rendition="#i">a</hi> ɟ (<hi rendition="#i">b</hi> + <hi rendition="#i">c</hi>)}<hi rendition="#i"><hi rendition="#sub">i j</hi></hi> = <hi rendition="#i">Π<hi rendition="#sub">h</hi></hi>{<hi rendition="#i">a<hi rendition="#sub">i h</hi></hi> + (<hi rendition="#i">b</hi> + <hi rendition="#i">c</hi>)<hi rendition="#i"><hi rendition="#sub">h j</hi></hi>} = <hi rendition="#i">Π<hi rendition="#sub">h</hi></hi>(<hi rendition="#i">a<hi rendition="#sub">i h</hi></hi> + <hi rendition="#i">b<hi rendition="#sub">h j</hi></hi> + <hi rendition="#i">c<hi rendition="#sub">h j</hi></hi>) =<lb/> = <hi rendition="#i">Π<hi rendition="#sub">h</hi></hi>(<hi rendition="#i">a<hi rendition="#sub">i h</hi></hi> + <hi rendition="#i">b<hi rendition="#sub">h j</hi></hi> + <hi rendition="#i">a<hi rendition="#sub">i h</hi></hi> + <hi rendition="#i">c<hi rendition="#sub">h j</hi></hi>)</hi><lb/> unter Anwendung des Tautologiegesetzes. Die Vergleichung beider Ergeb-<lb/> nisse zeigt, dass alle Faktoren von <hi rendition="#i">R<hi rendition="#sub">i j</hi></hi> sich unter denen von <hi rendition="#i">L<hi rendition="#sub">i j</hi></hi> vorfinden,<lb/> wo sie bei <hi rendition="#i">k</hi> = <hi rendition="#i">h</hi> zutage treten. Nach dem Aussagenschema <hi rendition="#i">ab</hi> ⋹ <hi rendition="#i">a</hi> ist<lb/> nun das faktorenreichere Produkt im andern enthalten, d. h. <hi rendition="#i">L<hi rendition="#sub">i j</hi></hi> ⋹ <hi rendition="#i">R<hi rendition="#sub">i j</hi></hi>, q. e. d.</p><lb/> <p>Übrigens bedarf man zum Beweise dieses Satzes der Berufung auf<lb/> die Koeffizientenevidenz gar nicht. Wegen <hi rendition="#i">bc</hi> ⋹ <hi rendition="#i">b</hi> hat man vielmehr<lb/> nach 1) des § 6: <hi rendition="#i">a</hi> ; <hi rendition="#i">bc</hi> ⋹ <hi rendition="#i">a</hi> ; <hi rendition="#i">b</hi>, und wegen <hi rendition="#i">bc</hi> ⋹ <hi rendition="#i">c</hi> ähnlich: <hi rendition="#i">a</hi> ; <hi rendition="#i">bc</hi> ⋹ <hi rendition="#i">a</hi> ; <hi rendition="#i">c</hi>,<lb/></p> </div> </div> </body> </text> </TEI> [105/0119]
§ 7. Beweis der Grundgesetze.
barkeit der Glieder einer Aussagensumme bei kolonnenweisem Summiren
der in Zeilen gesetzten Glieder hervorgeht) und wiederum nach (12) und
(10) in rückwärtiger Anwendung dieser (oben vorwärts angewendeten) Fest-
setzungen, q. e. d.
Analog hat man:
{(a + b) ; c}i j = Σh(a + b)i hch j = Σh(ai h + bi h)ch j = Σh(ai hch j + bi hch j),
(a ; c + b ; c)i j = (a ; c)i j + (b ; c)i j = Σhai hch j + Σhbi hch j;
aber die rechten Seiten sind gleich, und folglich auch die linken, q. e. d.
Ferner:
(a ɟ bc)i j = Πh{ai h + (bc)h j} = Πh(ai h + bh jch j) = Πh(ai h + bh j)(ai h + ch j),
{(a ɟ b)(a ɟ c)}i j = (a ɟ b)i j(a ɟ c)i j = Πh(ai h + bh j) · Πh(ai h + ch j),
wo wieder die beiden Ausdrücke rechts und folglich auch die links über-
einstimmen, q. e. d. Endlich:
(ab ɟ c)i j = Πh{(ab)i h + ch j} = Πh(ai hbi h + ch j) = Πh(ai h + ch j)(bi h + ch j) =
= Πh(ai h + ch j) · Πh(bi h + ch j) = (a ɟ c)i j(b ɟ c)i j = {(a ɟ c)(b ɟ c)}i j,
q. e. d.
Beweis zu 5) des § 6. Erste Formel.
Es ist
Li j = (a ; bc)i j = Σhai h(bc)h j = Σhai hbh jch j = Σhai hbh j · ai hch j,
Ri j = (a ; b · a ; c)i j = (a ; b)i j(a ; c)i j = Σhai hbh j · Σkai kck j.
Offenbar ist nun Li j ⋹ Ri j, weil unter den Gliedern des expandirten
Produktes der beiden letzten Summen die Glieder der darüberstehenden
Summe sämtlich enthalten sind — nämlich als die Partialprodukte aus
deren gleichstelligen Gliedern, jedoch neben noch vielen andern Gliedern,
womit die Subsumtion erwiesen ist — q. e. d.
Zur zweiten Formel hätten wir:
Li j = (a ɟ b + a ɟ c)i j = (a ɟ b)i j + (a ɟ c)i j = Πh(ai h + bh j) + Πk(ai k + ck j) =
= Πh k(ai h + bh j + ai k + ck j),
letztres nach dem dualen Gegenstück des Distributionsgesetzes. Dazu:
Ri j = {a ɟ (b + c)}i j = Πh{ai h + (b + c)h j} = Πh(ai h + bh j + ch j) =
= Πh(ai h + bh j + ai h + ch j)
unter Anwendung des Tautologiegesetzes. Die Vergleichung beider Ergeb-
nisse zeigt, dass alle Faktoren von Ri j sich unter denen von Li j vorfinden,
wo sie bei k = h zutage treten. Nach dem Aussagenschema ab ⋹ a ist
nun das faktorenreichere Produkt im andern enthalten, d. h. Li j ⋹ Ri j, q. e. d.
Übrigens bedarf man zum Beweise dieses Satzes der Berufung auf
die Koeffizientenevidenz gar nicht. Wegen bc ⋹ b hat man vielmehr
nach 1) des § 6: a ; bc ⋹ a ; b, und wegen bc ⋹ c ähnlich: a ; bc ⋹ a ; c,
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_logik03_1895 |
URL zu dieser Seite: | https://www.deutschestextarchiv.de/schroeder_logik03_1895/119 |
Zitationshilfe: | Schröder, Ernst: Vorlesungen über die Algebra der Logik. Bd. 3, Abt. 1. Leipzig, 1895, S. 105. In: Deutsches Textarchiv <https://www.deutschestextarchiv.de/schroeder_logik03_1895/119>, abgerufen am 01.09.2024. |