Schröder, Ernst: Vorlesungen über die Algebra der Logik. Bd. 3, Abt. 1. Leipzig, 1895.Siebente Vorlesung. 11)
[Formel 1]
Nach den Ergebnissen 25) des § 18 lassen sich daher die Lösungen für Nach bekannten Schemata -- den letzten 3) des § 6 -- ist ferner:
von x aus der Proposition linkerhand (somit auch die Valenzbedingung für x) vorstellt. Ersetzt man den zweiten Aussagenfaktor rechts durch seine schon mittelst 10) des § 17 gegebne Auflösung nach x, so hat man auch die Lösungen für das zweite Quadrupel unsrer Inversionsprobleme, welche wirklich hinzuschreiben wir dem Leser überlassen. Somit bleibt nur noch zu erledigen das dritte Gespann unsrer Auch diese Probleme lassen sich hienach elegant in geschlossener Die Herleitung und Detail-Nachweise wollen wir etwa für die erste Die Gleichung zerfällt in zwei Teilsubsumtionen, deren Lösung und Siebente Vorlesung. 11)
[Formel 1]
Nach den Ergebnissen 25) des § 18 lassen sich daher die Lösungen für Nach bekannten Schemata — den letzten 3) des § 6 — ist ferner:
von x aus der Proposition linkerhand (somit auch die Valenzbedingung für x) vorstellt. Ersetzt man den zweiten Aussagenfaktor rechts durch seine schon mittelst 10) des § 17 gegebne Auflösung nach x, so hat man auch die Lösungen für das zweite Quadrupel unsrer Inversionsprobleme, welche wirklich hinzuschreiben wir dem Leser überlassen. Somit bleibt nur noch zu erledigen das dritte Gespann unsrer Auch diese Probleme lassen sich hienach elegant in geschlossener Die Herleitung und Detail-Nachweise wollen wir etwa für die erste Die Gleichung zerfällt in zwei Teilsubsumtionen, deren Lösung und <TEI> <text> <body> <div n="1"> <div n="2"> <p><pb facs="#f0298" n="284"/><fw place="top" type="header">Siebente Vorlesung.</fw><lb/> 11) <formula/><lb/></p> <p>Nach den Ergebnissen 25) des § 18 lassen sich daher die Lösungen für<lb/> das <hi rendition="#i">erste</hi> Quadrupel unsrer Inversionsprobleme unmittelbar hinschreiben als:<lb/> 12) <hi rendition="#et"><formula/>.</hi></p><lb/> <p>Nach bekannten Schemata — den letzten 3) des § 6 — ist ferner:<lb/> 13) <table><lb/><row><cell>{<hi rendition="#i">a</hi> ⋹ (<hi rendition="#i">x</hi> ɟ 0)(0 ɟ <hi rendition="#i">b</hi>)} = (<hi rendition="#i">a</hi> ⋹ 0 ɟ <hi rendition="#i">b</hi>)(<hi rendition="#i">a</hi> ⋹ <hi rendition="#i">x</hi> ɟ 0)</cell><cell>(<hi rendition="#i">x</hi> ; 1 + 1 ; <hi rendition="#i">b</hi> ⋹ <hi rendition="#i">a</hi>) = (1 ; <hi rendition="#i">b</hi> ⋹ <hi rendition="#i">a</hi>)(<hi rendition="#i">x</hi> ; 1 ⋹ <hi rendition="#i">a</hi>)</cell></row><lb/><row><cell>{<hi rendition="#i">a</hi> ⋹ (<hi rendition="#i">b</hi> ɟ 0)(0 ɟ <hi rendition="#i">x</hi>)} = (<hi rendition="#i">a</hi> ⋹ <hi rendition="#i">b</hi> ɟ 0)(<hi rendition="#i">a</hi> ⋹ 0 ɟ <hi rendition="#i">x</hi>)</cell><cell>(<hi rendition="#i">b</hi> ; 1 + 1 ; <hi rendition="#i">x</hi> ⋹ <hi rendition="#i">a</hi>) = (<hi rendition="#i">b</hi> ; 1 ⋹ <hi rendition="#i">a</hi>)(1 ; <hi rendition="#i">x</hi> ⋹ <hi rendition="#i">a</hi>)</cell></row><lb/></table> worin der erste Aussagenfaktor jeweils die Resultante der Elimination<lb/> von <hi rendition="#i">x</hi> aus der Proposition linkerhand (somit auch die Valenzbedingung<lb/> für <hi rendition="#i">x</hi>) vorstellt. Ersetzt man den zweiten Aussagenfaktor rechts durch<lb/> seine schon mittelst 10) des § 17 gegebne Auflösung nach <hi rendition="#i">x</hi>, so hat man<lb/> auch die Lösungen für das <hi rendition="#i">zweite</hi> Quadrupel unsrer Inversionsprobleme,<lb/> welche wirklich hinzuschreiben wir dem Leser überlassen.</p><lb/> <p>Somit bleibt nur noch zu erledigen das <hi rendition="#i">dritte</hi> Gespann unsrer<lb/> Inversionsprobleme, welches die Auflösung nach <hi rendition="#i">x</hi> der Gleichung fordert,<lb/> die in den folgenden Aussagenäquivalenzen als linke Seite auftritt und<lb/> für die wir sogleich in Gestalt des ersten Aussagenfaktors der rechten<lb/> Seite die <hi rendition="#i">Resultante</hi> der Elimination des <hi rendition="#i">x</hi> und in Gestalt des zweiten<lb/> Aussagenfaktors rechterhand die allgemeine Wurzel oder <hi rendition="#i">Auflösung</hi><lb/> nach <hi rendition="#i">x</hi> angeben wollen:<lb/> 14) <formula/>.</p><lb/> <p>Auch diese Probleme lassen sich hienach elegant in geschlossener<lb/> Form lösen.</p><lb/> <p>Die Herleitung und Detail-Nachweise wollen wir etwa für die erste<lb/> Gleichung <hi rendition="#i">rechts</hi> vom Mittelstriche erbringen.</p><lb/> <p>Die Gleichung zerfällt in zwei Teilsubsumtionen, deren Lösung und<lb/></p> </div> </div> </body> </text> </TEI> [284/0298]
Siebente Vorlesung.
11) [FORMEL]
Nach den Ergebnissen 25) des § 18 lassen sich daher die Lösungen für
das erste Quadrupel unsrer Inversionsprobleme unmittelbar hinschreiben als:
12) [FORMEL].
Nach bekannten Schemata — den letzten 3) des § 6 — ist ferner:
13) {a ⋹ (x ɟ 0)(0 ɟ b)} = (a ⋹ 0 ɟ b)(a ⋹ x ɟ 0) (x ; 1 + 1 ; b ⋹ a) = (1 ; b ⋹ a)(x ; 1 ⋹ a)
{a ⋹ (b ɟ 0)(0 ɟ x)} = (a ⋹ b ɟ 0)(a ⋹ 0 ɟ x) (b ; 1 + 1 ; x ⋹ a) = (b ; 1 ⋹ a)(1 ; x ⋹ a)
worin der erste Aussagenfaktor jeweils die Resultante der Elimination
von x aus der Proposition linkerhand (somit auch die Valenzbedingung
für x) vorstellt. Ersetzt man den zweiten Aussagenfaktor rechts durch
seine schon mittelst 10) des § 17 gegebne Auflösung nach x, so hat man
auch die Lösungen für das zweite Quadrupel unsrer Inversionsprobleme,
welche wirklich hinzuschreiben wir dem Leser überlassen.
Somit bleibt nur noch zu erledigen das dritte Gespann unsrer
Inversionsprobleme, welches die Auflösung nach x der Gleichung fordert,
die in den folgenden Aussagenäquivalenzen als linke Seite auftritt und
für die wir sogleich in Gestalt des ersten Aussagenfaktors der rechten
Seite die Resultante der Elimination des x und in Gestalt des zweiten
Aussagenfaktors rechterhand die allgemeine Wurzel oder Auflösung
nach x angeben wollen:
14) [FORMEL].
Auch diese Probleme lassen sich hienach elegant in geschlossener
Form lösen.
Die Herleitung und Detail-Nachweise wollen wir etwa für die erste
Gleichung rechts vom Mittelstriche erbringen.
Die Gleichung zerfällt in zwei Teilsubsumtionen, deren Lösung und
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/298 |
Zitationshilfe: | Schröder, Ernst: Vorlesungen über die Algebra der Logik. Bd. 3, Abt. 1. Leipzig, 1895, S. 284. In: Deutsches Textarchiv <https://www.deutschestextarchiv.de/schroeder_logik03_1895/298>, abgerufen am 01.09.2024. |