Schröder, Ernst: Vorlesungen über die Algebra der Logik. Bd. 1. Leipzig, 1890.Zwölfte Vorlesung. Elementarausdrücke, wenu man die rechts neben sie gestellten Gleichungen,eventuell -- wo sie vorkommen -- unter Elimination von y und z, ge- mäss der Methode des § 21 nach der Unbekannten x auflöst: o2)x = (a + b) ÷ c aus x + c = a + b, und so weiter. Valenzbedingung ist jeweils die Resultante der Eliminationx = a + (b ÷ c) aus x = a + y, y + c = b, x = a ÷ (c ÷ b) aus x + y = a, y + b = c, x = a ÷ (b + c) aus x + b + c = a, x = (a ÷ b) ÷ c aus x + c = y, y + b = a, x = (a + c) ÷ (b + c) aus x + b + c = a + c, x = (a ÷ c) ÷ (b ÷ c) aus x + y = z, y + c = b, z + c = a, x = (a ÷ c) + (c ÷ b) aus x = y + z, y + c = a, z + b = c, von x, y, z. Hier steht jedoch noch ein andrer Weg offen: man kann auch das Hat man so (auf die eine oder andere Weise) die Elementarausdrücke Insbesondere möge noch der Leser untersuchen, ob allgemein, oder Wol genügen aber schon die bisherigen Studien um ein Bild zu Zwölfte Vorlesung. Elementarausdrücke, wenu man die rechts neben sie gestellten Gleichungen,eventuell — wo sie vorkommen — unter Elimination von y und z, ge- mäss der Methode des § 21 nach der Unbekannten x auflöst: ω2)x = (a + b) ÷ c aus x + c = a + b, und so weiter. Valenzbedingung ist jeweils die Resultante der Eliminationx = a + (b ÷ c) aus x = a + y, y + c = b, x = a ÷ (c ÷ b) aus x + y = a, y + b = c, x = a ÷ (b + c) aus x + b + c = a, x = (a ÷ b) ÷ c aus x + c = y, y + b = a, x = (a + c) ÷ (b + c) aus x + b + c = a + c, x = (a ÷ c) ÷ (b ÷ c) aus x + y = z, y + c = b, z + c = a, x = (a ÷ c) + (c ÷ b) aus x = y + z, y + c = a, z + b = c, von x, y, z. Hier steht jedoch noch ein andrer Weg offen: man kann auch das Hat man so (auf die eine oder andere Weise) die Elementarausdrücke Insbesondere möge noch der Leser untersuchen, ob allgemein, oder Wol genügen aber schon die bisherigen Studien um ein Bild zu <TEI> <text> <body> <div n="1"> <div n="2"> <p><pb facs="#f0514" n="494"/><fw place="top" type="header">Zwölfte Vorlesung.</fw><lb/> Elementarausdrücke, wenu man die rechts neben sie gestellten Gleichungen,<lb/> eventuell — wo sie vorkommen — unter Elimination von <hi rendition="#i">y</hi> und <hi rendition="#i">z</hi>, ge-<lb/> mäss der Methode des § 21 nach der Unbekannten <hi rendition="#i">x</hi> auflöst:<lb/><list><item><hi rendition="#i">ω</hi><hi rendition="#sub">2</hi>)<list rendition="#leftBraced"><item><hi rendition="#i">x</hi> = (<hi rendition="#i">a</hi> + <hi rendition="#i">b</hi>) ÷ <hi rendition="#i">c</hi> aus <hi rendition="#i">x</hi> + <hi rendition="#i">c</hi> = <hi rendition="#i">a</hi> + <hi rendition="#i">b</hi>,</item><lb/><item><hi rendition="#i">x</hi> = <hi rendition="#i">a</hi> + (<hi rendition="#i">b</hi> ÷ <hi rendition="#i">c</hi>) aus <hi rendition="#i">x</hi> = <hi rendition="#i">a</hi> + <hi rendition="#i">y</hi>, <hi rendition="#i">y</hi> + <hi rendition="#i">c</hi> = <hi rendition="#i">b</hi>,</item><lb/><item><hi rendition="#i">x</hi> = <hi rendition="#i">a</hi> ÷ (<hi rendition="#i">c</hi> ÷ <hi rendition="#i">b</hi>) aus <hi rendition="#i">x</hi> + <hi rendition="#i">y</hi> = <hi rendition="#i">a</hi>, <hi rendition="#i">y</hi> + <hi rendition="#i">b</hi> = <hi rendition="#i">c</hi>,</item><lb/><item><hi rendition="#i">x</hi> = <hi rendition="#i">a</hi> ÷ (<hi rendition="#i">b</hi> + <hi rendition="#i">c</hi>) aus <hi rendition="#i">x</hi> + <hi rendition="#i">b</hi> + <hi rendition="#i">c</hi> = <hi rendition="#i">a</hi>,</item><lb/><item><hi rendition="#i">x</hi> = (<hi rendition="#i">a</hi> ÷ <hi rendition="#i">b</hi>) ÷ <hi rendition="#i">c</hi> aus <hi rendition="#i">x</hi> + <hi rendition="#i">c</hi> = <hi rendition="#i">y</hi>, <hi rendition="#i">y</hi> + <hi rendition="#i">b</hi> = <hi rendition="#i">a</hi>,</item><lb/><item><hi rendition="#i">x</hi> = (<hi rendition="#i">a</hi> + <hi rendition="#i">c</hi>) ÷ (<hi rendition="#i">b</hi> + <hi rendition="#i">c</hi>) aus <hi rendition="#i">x</hi> + <hi rendition="#i">b</hi> + <hi rendition="#i">c</hi> = <hi rendition="#i">a</hi> + <hi rendition="#i">c</hi>,</item><lb/><item><hi rendition="#i">x</hi> = (<hi rendition="#i">a</hi> ÷ <hi rendition="#i">c</hi>) ÷ (<hi rendition="#i">b</hi> ÷ <hi rendition="#i">c</hi>) aus <hi rendition="#i">x</hi> + <hi rendition="#i">y</hi> = <hi rendition="#i">z</hi>, <hi rendition="#i">y</hi> + <hi rendition="#i">c</hi> = <hi rendition="#i">b</hi>, <hi rendition="#i">z</hi> + <hi rendition="#i">c</hi> = <hi rendition="#i">a</hi>,</item><lb/><item><hi rendition="#i">x</hi> = (<hi rendition="#i">a</hi> ÷ <hi rendition="#i">c</hi>) + (<hi rendition="#i">c</hi> ÷ <hi rendition="#i">b</hi>) aus <hi rendition="#i">x</hi> = <hi rendition="#i">y</hi> + <hi rendition="#i">z</hi>, <hi rendition="#i">y</hi> + <hi rendition="#i">c</hi> = <hi rendition="#i">a</hi>, <hi rendition="#i">z</hi> + <hi rendition="#i">b</hi> = <hi rendition="#i">c</hi>,</item></list></item></list><lb/> und so weiter. Valenzbedingung ist jeweils die Resultante der Elimination<lb/> von <hi rendition="#i">x</hi>, <hi rendition="#i">y</hi>, <hi rendition="#i">z</hi>.</p><lb/> <p>Hier steht jedoch noch ein andrer Weg offen: man kann auch das<lb/> Schema <hi rendition="#i">η</hi>) eventuell wiederholt als Vorschrift benutzen, um die verlangten<lb/> Ausdrücke darnach aufzubauen, wobei man mit den Inhalten der Klammern<lb/> beginnend successive nach aussen fortschreiten wird. Dieses Verfahren —<lb/> bei <hi rendition="#i">ω</hi><hi rendition="#sub">1</hi>) oben von uns angewendet — ist das bequemere da, wo nur ein<lb/> ÷ Zeichen sich in dem Ausdrucke vorfindet. Wo aber deren mehrere auf-<lb/> treten, würde so in das Ergebniss eine Mehrzahl von arbiträren Para-<lb/> metern <hi rendition="#i">u</hi>, <hi rendition="#i">v</hi>, <hi rendition="#i">w</hi> eingehen, die dann nach unserm Zusatze zu Th. 48<hi rendition="#sub">+</hi>) auf<lb/> einen einzigen erst noch zurückgeführt werden müssten.</p><lb/> <p>Hat man so (auf die eine oder andere Weise) die Elementarausdrücke<lb/> berechnet, so unterliegt die Vergleichung derselben wiederum keiner<lb/> Schwierigkeit, und wird man ähnliche Wahrnehmungen, wie oben bei den<lb/> eindeutigen Ausdrücken, machen.</p><lb/> <p>Insbesondere möge noch der Leser untersuchen, ob allgemein, oder<lb/> unter welchen Bedingungen die Ausdrücke<lb/><hi rendition="#i">ω</hi><hi rendition="#sub">3</hi>) <hi rendition="#et">(<hi rendition="#i">a</hi> + <hi rendition="#i">c</hi>) ÷ (<hi rendition="#i">b</hi> + <hi rendition="#i">d</hi>) und (<hi rendition="#i">a</hi> ÷ <hi rendition="#i">b</hi>) + (<hi rendition="#i">c</hi> ÷ <hi rendition="#i">d</hi>)</hi><lb/> für einander gesetzt werden dürfen, desgl. für die einfachen Minuszeichen.</p><lb/> <p>Wol genügen aber schon die bisherigen Studien um ein Bild zu<lb/> geben von den Schwierigkeiten oder besser Unbequemlichkeiten, mit<lb/> welchen man fortgesetzt sich zu placken hätte, wollte man etwa nach<lb/> den solchergestalt für die Exception und Abstraktion geltenden Formeln<lb/> wirklich rechnen. Als empfindlichster Misstand würde sich der Um-<lb/> stand fühlbar machen, dass die Regeln nicht unbedingt gültig, die<lb/> Transformation von Ausdrücken nach denselben nicht allgemein zu-<lb/> lässig sind, sondern an die von mir so genannten Valenzbedingungen<lb/> als an eine jeweilige Voraussetzung geknüpft erscheinen. Sodann sind<lb/> die mittelst des Korrektionsglieds modifizirten Sätze auch weniger<lb/> einfach, als die entsprechenden in der Arithmetik, und analoge Ver-<lb/></p> </div> </div> </body> </text> </TEI> [494/0514]
Zwölfte Vorlesung.
Elementarausdrücke, wenu man die rechts neben sie gestellten Gleichungen,
eventuell — wo sie vorkommen — unter Elimination von y und z, ge-
mäss der Methode des § 21 nach der Unbekannten x auflöst:
ω2)x = (a + b) ÷ c aus x + c = a + b,
x = a + (b ÷ c) aus x = a + y, y + c = b,
x = a ÷ (c ÷ b) aus x + y = a, y + b = c,
x = a ÷ (b + c) aus x + b + c = a,
x = (a ÷ b) ÷ c aus x + c = y, y + b = a,
x = (a + c) ÷ (b + c) aus x + b + c = a + c,
x = (a ÷ c) ÷ (b ÷ c) aus x + y = z, y + c = b, z + c = a,
x = (a ÷ c) + (c ÷ b) aus x = y + z, y + c = a, z + b = c,
und so weiter. Valenzbedingung ist jeweils die Resultante der Elimination
von x, y, z.
Hier steht jedoch noch ein andrer Weg offen: man kann auch das
Schema η) eventuell wiederholt als Vorschrift benutzen, um die verlangten
Ausdrücke darnach aufzubauen, wobei man mit den Inhalten der Klammern
beginnend successive nach aussen fortschreiten wird. Dieses Verfahren —
bei ω1) oben von uns angewendet — ist das bequemere da, wo nur ein
÷ Zeichen sich in dem Ausdrucke vorfindet. Wo aber deren mehrere auf-
treten, würde so in das Ergebniss eine Mehrzahl von arbiträren Para-
metern u, v, w eingehen, die dann nach unserm Zusatze zu Th. 48+) auf
einen einzigen erst noch zurückgeführt werden müssten.
Hat man so (auf die eine oder andere Weise) die Elementarausdrücke
berechnet, so unterliegt die Vergleichung derselben wiederum keiner
Schwierigkeit, und wird man ähnliche Wahrnehmungen, wie oben bei den
eindeutigen Ausdrücken, machen.
Insbesondere möge noch der Leser untersuchen, ob allgemein, oder
unter welchen Bedingungen die Ausdrücke
ω3) (a + c) ÷ (b + d) und (a ÷ b) + (c ÷ d)
für einander gesetzt werden dürfen, desgl. für die einfachen Minuszeichen.
Wol genügen aber schon die bisherigen Studien um ein Bild zu
geben von den Schwierigkeiten oder besser Unbequemlichkeiten, mit
welchen man fortgesetzt sich zu placken hätte, wollte man etwa nach
den solchergestalt für die Exception und Abstraktion geltenden Formeln
wirklich rechnen. Als empfindlichster Misstand würde sich der Um-
stand fühlbar machen, dass die Regeln nicht unbedingt gültig, die
Transformation von Ausdrücken nach denselben nicht allgemein zu-
lässig sind, sondern an die von mir so genannten Valenzbedingungen
als an eine jeweilige Voraussetzung geknüpft erscheinen. Sodann sind
die mittelst des Korrektionsglieds modifizirten Sätze auch weniger
einfach, als die entsprechenden in der Arithmetik, und analoge Ver-
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. |