Schröder, Ernst: Vorlesungen über die Algebra der Logik. Bd. 3, Abt. 1. Leipzig, 1895.Siebente Vorlesung. Letztres schreibt sich leicht um in: Dies involvirt die Resultante: Sucht man nun vorab der Resultante durch geeignete Bestimmung Evaluirt man dagegen, unbekümmert um die Resultante, das Subjekt Zum Schlusse will ich mich der Methodik zuliebe über den "vexa- Wir hatten das Problem x ; b = a, wo a = c ; b und c = a j bn, zurück- Der zweiten Forderung genügt nach 10) des § 18 auf die allgemeinste Siebente Vorlesung. Letztres schreibt sich leicht um in: Dies involvirt die Resultante: Sucht man nun vorab der Resultante durch geeignete Bestimmung Evaluirt man dagegen, unbekümmert um die Resultante, das Subjekt Zum Schlusse will ich mich der Methodik zuliebe über den „vexa- Wir hatten das Problem x ; b = a, wo a = c ; b und c = a ɟ b̄̆, zurück- Der zweiten Forderung genügt nach 10) des § 18 auf die allgemeinste <TEI> <text> <body> <div n="1"> <div n="2"> <pb facs="#f0288" n="274"/> <fw place="top" type="header">Siebente Vorlesung.</fw><lb/> <p>Letztres schreibt sich leicht um in:<lb/><hi rendition="#c"><hi rendition="#i">Σ<hi rendition="#sub">j</hi></hi>(<hi rendition="#i">x<hi rendition="#sub">i l</hi>a<hi rendition="#sub">i j</hi>Ū<hi rendition="#sub">j</hi></hi> + <hi rendition="#i">x̄<hi rendition="#sub">i l</hi>a<hi rendition="#sub">i j</hi>U<hi rendition="#sub">j</hi></hi>) = 0</hi><lb/> und gibt nach bekannten Auflösungsmethoden des identischen Kalkuls:<lb/> sub <hi rendition="#i">Π<hi rendition="#sub">i</hi>Π<hi rendition="#sub">l</hi>Π<hi rendition="#sub">j</hi></hi>) <hi rendition="#et"><hi rendition="#i">a<hi rendition="#sub">i j</hi>U<hi rendition="#sub">j</hi></hi>⋹<hi rendition="#i">x<hi rendition="#sub">i l</hi></hi>⋹<hi rendition="#i">ā<hi rendition="#sub">i j</hi></hi> + <hi rendition="#i">U<hi rendition="#sub">j</hi></hi>,</hi><lb/> oder sub <hi rendition="#i">Π<hi rendition="#sub">i</hi>Π<hi rendition="#sub">l</hi></hi>) <hi rendition="#et"><hi rendition="#i">Σ<hi rendition="#sub">j</hi>a<hi rendition="#sub">i j</hi>U<hi rendition="#sub">j</hi></hi>⋹<hi rendition="#i">x<hi rendition="#sub">i l</hi></hi>⋹<hi rendition="#i">Π<hi rendition="#sub">j</hi></hi>(<hi rendition="#i">ā<hi rendition="#sub">i j</hi></hi> + <hi rendition="#i">U<hi rendition="#sub">j</hi></hi>).</hi></p><lb/> <p>Dies involvirt die <hi rendition="#i">Resultante</hi>:<lb/><hi rendition="#c"><hi rendition="#i">Σ<hi rendition="#sub">j</hi>a<hi rendition="#sub">i j</hi>U<hi rendition="#sub">j</hi></hi>⋹<hi rendition="#i">Π<hi rendition="#sub">j</hi></hi>(<hi rendition="#i">ā<hi rendition="#sub">i j</hi></hi> + <hi rendition="#i">U<hi rendition="#sub">j</hi></hi>)</hi><lb/> und würde darnach, <hi rendition="#i">sobald diese erfüllt ist</hi>, sich leicht berechnen:<lb/><hi rendition="#c"><hi rendition="#i">x<hi rendition="#sub">i l</hi></hi> = <hi rendition="#i">Σ<hi rendition="#sub">j</hi>a<hi rendition="#sub">i j</hi>U<hi rendition="#sub">j</hi></hi> + <hi rendition="#i">u<hi rendition="#sub">i l</hi>Π<hi rendition="#sub">j</hi></hi>(<hi rendition="#i">ā<hi rendition="#sub">i j</hi></hi> + <hi rendition="#i">U<hi rendition="#sub">j</hi></hi>).</hi></p><lb/> <p>Sucht man nun vorab der Resultante durch geeignete Bestimmung<lb/> der <hi rendition="#i">u<hi rendition="#sub">i l</hi></hi> zu genügen, so verwickelt das in viel schwierigere Aufgaben oder<lb/> Zirkel und bleibt alles vergebens.</p><lb/> <p>Evaluirt man dagegen, <hi rendition="#i">unbekümmert</hi> um die Resultante, das Subjekt<lb/> und Prädikat unsres <hi rendition="#i">x<hi rendition="#sub">i l</hi></hi>, so findet man mit einiger Rechnung:<lb/><hi rendition="#c"><hi rendition="#i">Σ<hi rendition="#sub">j</hi>a<hi rendition="#sub">i j</hi>U<hi rendition="#sub">j</hi></hi> = [<hi rendition="#i">u</hi> · <hi rendition="#i">a</hi> ; 1 + <hi rendition="#i">a</hi>(<hi rendition="#i">c</hi> ; <hi rendition="#i">b</hi>){(<hi rendition="#i">ū</hi> + <hi rendition="#i">c̄</hi>) ɟ <hi rendition="#i">b̄</hi>} ; 1]<hi rendition="#i"><hi rendition="#sub">i l</hi></hi>,<lb/><hi rendition="#i">Π<hi rendition="#sub">j</hi></hi>(<hi rendition="#i">ā<hi rendition="#sub">i j</hi></hi> + <hi rendition="#i">U<hi rendition="#sub">j</hi></hi>) = <hi rendition="#b">(</hi><hi rendition="#i">u</hi> + [<hi rendition="#i">ā</hi> + {(<hi rendition="#i">ū</hi> + <hi rendition="#i">c̄</hi>) ɟ <hi rendition="#i">b̄</hi>}(<hi rendition="#i">c</hi> ; <hi rendition="#i">b</hi>)] ɟ 0<hi rendition="#b">)</hi><hi rendition="#i"><hi rendition="#sub">i l</hi></hi>,</hi><lb/> wonach sich durch Einsetzung in die letzte Formel mittelst Durchgangs<lb/> durch den allgemeinen Koeffizienten <hi rendition="#i">x<hi rendition="#sub">i l</hi></hi> ergibt:<lb/><hi rendition="#c"><hi rendition="#i">x</hi> = <hi rendition="#i">u</hi> + <hi rendition="#i">a</hi>(<hi rendition="#i">c</hi> ; <hi rendition="#i">b</hi>){(<hi rendition="#i">ū</hi> + <hi rendition="#i">c̄</hi>) ɟ <hi rendition="#i">b̄</hi>} ; 1</hi><lb/> — worin <hi rendition="#i">a</hi>(<hi rendition="#i">c</hi> ; <hi rendition="#i">b</hi>) auch einfacher durch <hi rendition="#i">a</hi> ersetzbar. Dies ist aber die<lb/> „untere“ Lösung 11), und muss es als glücklicher Zufall gepriesen werden,<lb/> dass mit der so gefundenen die Probe 1 stimmt. Die Ersetzbarkeit der 1<lb/> durch <hi rendition="#i">b̆</hi> liess mich schliesslich die Analogie mit dem beim spezielleren<lb/> Probleme schon in § 18 Erkannten vermuten — welche Analogie auch<lb/> schon bequemer zur Entdeckung (mittelst Ratens) der Lösung mich hätte<lb/> führen können, wenn ich nicht so systematisch zuwerke gegangen wäre.</p><lb/> <p>Zum Schlusse will ich mich der Methodik zuliebe über den „vexa-<lb/> torischen Charakter“ unsres dritten Inversionsproblems noch weiterhin<lb/> äussern.</p><lb/> <p>Wir hatten das Problem <hi rendition="#i">x</hi> ; <hi rendition="#i">b</hi> = <hi rendition="#i">a</hi>, wo <hi rendition="#i">a</hi> = <hi rendition="#i">c</hi> ; <hi rendition="#i">b</hi> und <hi rendition="#i">c</hi> = <hi rendition="#i">a</hi> ɟ <hi rendition="#i">b̄̆</hi>, zurück-<lb/> geführt auf die Erfüllung der beiden Subsumtionen:<lb/> 30) <hi rendition="#et"><hi rendition="#i">x</hi>⋹<hi rendition="#i">c</hi> und <hi rendition="#i">c</hi> ; <hi rendition="#i">b</hi> ⋹ <hi rendition="#i">x</hi> ; <hi rendition="#i">b</hi>,</hi><lb/> und es schliesslich zur Lösung gebracht, indem wir zuerst die erste, so-<lb/> dann die zweite Forderung erfüllten. Man kann es auch mit der um-<lb/> gekehrten Reihenfolge versuchen.</p><lb/> <p>Der zweiten Forderung genügt nach 10) des § 18 auf die allgemeinste<lb/> Weise identisch: <hi rendition="#et"><hi rendition="#i">x</hi> = <hi rendition="#i">u</hi> + (<hi rendition="#i">c</hi> ; <hi rendition="#i">b</hi>)(<hi rendition="#i">ū</hi> ɟ <hi rendition="#i">b̄</hi>) ; <hi rendition="#i">b̆</hi>.</hi></p><lb/> </div> </div> </body> </text> </TEI> [274/0288]
Siebente Vorlesung.
Letztres schreibt sich leicht um in:
Σj(xi lai jŪj + x̄i lai jUj) = 0
und gibt nach bekannten Auflösungsmethoden des identischen Kalkuls:
sub ΠiΠlΠj) ai jUj⋹xi l⋹āi j + Uj,
oder sub ΠiΠl) Σjai jUj⋹xi l⋹Πj(āi j + Uj).
Dies involvirt die Resultante:
Σjai jUj⋹Πj(āi j + Uj)
und würde darnach, sobald diese erfüllt ist, sich leicht berechnen:
xi l = Σjai jUj + ui lΠj(āi j + Uj).
Sucht man nun vorab der Resultante durch geeignete Bestimmung
der ui l zu genügen, so verwickelt das in viel schwierigere Aufgaben oder
Zirkel und bleibt alles vergebens.
Evaluirt man dagegen, unbekümmert um die Resultante, das Subjekt
und Prädikat unsres xi l, so findet man mit einiger Rechnung:
Σjai jUj = [u · a ; 1 + a(c ; b){(ū + c̄) ɟ b̄} ; 1]i l,
Πj(āi j + Uj) = (u + [ā + {(ū + c̄) ɟ b̄}(c ; b)] ɟ 0)i l,
wonach sich durch Einsetzung in die letzte Formel mittelst Durchgangs
durch den allgemeinen Koeffizienten xi l ergibt:
x = u + a(c ; b){(ū + c̄) ɟ b̄} ; 1
— worin a(c ; b) auch einfacher durch a ersetzbar. Dies ist aber die
„untere“ Lösung 11), und muss es als glücklicher Zufall gepriesen werden,
dass mit der so gefundenen die Probe 1 stimmt. Die Ersetzbarkeit der 1
durch b̆ liess mich schliesslich die Analogie mit dem beim spezielleren
Probleme schon in § 18 Erkannten vermuten — welche Analogie auch
schon bequemer zur Entdeckung (mittelst Ratens) der Lösung mich hätte
führen können, wenn ich nicht so systematisch zuwerke gegangen wäre.
Zum Schlusse will ich mich der Methodik zuliebe über den „vexa-
torischen Charakter“ unsres dritten Inversionsproblems noch weiterhin
äussern.
Wir hatten das Problem x ; b = a, wo a = c ; b und c = a ɟ b̄̆, zurück-
geführt auf die Erfüllung der beiden Subsumtionen:
30) x⋹c und c ; b ⋹ x ; b,
und es schliesslich zur Lösung gebracht, indem wir zuerst die erste, so-
dann die zweite Forderung erfüllten. Man kann es auch mit der um-
gekehrten Reihenfolge versuchen.
Der zweiten Forderung genügt nach 10) des § 18 auf die allgemeinste
Weise identisch: x = u + (c ; b)(ū ɟ b̄) ; 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 ?Language Resource Switchboard?FeedbackSie haben einen Fehler gefunden? Dann können Sie diesen über unsere Qualitätssicherungsplattform DTAQ melden. Kommentar zur DTA-AusgabeDieses Werk wurde gemäß den DTA-Transkriptionsrichtlinien im Double-Keying-Verfahren von Nicht-Muttersprachlern erfasst und in XML/TEI P5 nach DTA-Basisformat kodiert.
|
Insbesondere im Hinblick auf die §§ 86a StGB und 130 StGB wird festgestellt, dass die auf diesen Seiten abgebildeten Inhalte weder in irgendeiner Form propagandistischen Zwecken dienen, oder Werbung für verbotene Organisationen oder Vereinigungen darstellen, oder nationalsozialistische Verbrechen leugnen oder verharmlosen, noch zum Zwecke der Herabwürdigung der Menschenwürde gezeigt werden. Die auf diesen Seiten abgebildeten Inhalte (in Wort und Bild) dienen im Sinne des § 86 StGB Abs. 3 ausschließlich historischen, sozial- oder kulturwissenschaftlichen Forschungszwecken. Ihre Veröffentlichung erfolgt in der Absicht, Wissen zur Anregung der intellektuellen Selbstständigkeit und Verantwortungsbereitschaft des Staatsbürgers zu vermitteln und damit der Förderung seiner Mündigkeit zu dienen.
2007–2024 Deutsches Textarchiv, Berlin-Brandenburgische Akademie der Wissenschaften.
Kontakt: redaktion(at)deutschestextarchiv.de. |