Anmelden (DTAQ) DWDS     dlexDB     CLARIN-D

Schröder, Ernst: Vorlesungen über die Algebra der Logik. Bd. 2, Abt. 1. Leipzig, 1891.

Bild:
<< vorherige Seite
nächste Seite >>

Neunzehnte Vorlesung.
identischen Kalkul überhaupt in Betracht kommen kann -- wofern
in ihr A, B, C, D, ... als Gebietsymbole und zwar als "Funktionen"
von irgendwelchen andern Gebietsymbolen a, b, c ..., x, y, ... ge-
geben gedacht werden.

Diese Funktionen lassen aber nach § 19 -- einerlei ob sie x alle
wirklich enthalten oder nicht -- sich sämtlich nach x linear und
homogen "entwickeln", sodass unsre Gesamtaussage der Daten die
Form haben muss:
a)

S (a x + b x1 = 0) (p x + q x1 0) (r x + s x1 0) ... = i
0'

wo die Koeffizienten a, b, p, q, r, s, ... unabhängig sind von x.

Die uns noch zur Lösung verbleibende Hauptaufgabe besteht nun
darin, aus dieser Aussage a) das Symbol x zu eliminiren, d. h. aus
ihr eine andere Aussage abzuleiten, welche nicht nur mit Notwendig-
keit aus ihr folgt, sondern auch jede in a) über die übrigen Symbole
a, b, p, q, r ... enthaltene Information, jede aus a) zu schöpfende
das x unerwähnt lassende Belehrung unter sich begreift, in sich zum
Ausdruck bringt. Kurz: es ist die volle Resultante der Elimination
des x zu finden.

Herr Mitchell betrachtet die Form a) nicht. Er gibt aber einen
Teil der nachher an sie von uns zu knüpfenden Folgerungen wenigstens
implicite, nämlich eingekleidet in eine ihm eigentümliche Symbolik, deren
Verewigung, wenn sie auch mitunter eine kleine Raumersparniss ermöglicht,
mir nicht wünschenswert erscheint. Zur eigentlichen Lösung des allge-
meinen Problems hat seine Symbolik Herrn Mitchell doch nicht geführt,
und selbst wenn sie zu einer auch dazu geeigneten sich ummodeln, modi-
fiziren liesse (was mir nicht der Fall zu sein scheint), müsste ich doch
auf die hier zu verwirklichen gesuchte Befolgung einheitlicher Grundsätze
im ganzen Bezeichnungssystem unsrer Disziplin nach wie vor das grösste Ge-
wicht legen. Ich werde auf das Verhältniss der Mitchell'schen Resultate
zu den hier vorzutragenden erst bei der allgemeinen Lösung zurückkommen.

Wir lösen die Aufgabe zunächst für ein paar Spezialfälle.

Aus einer Gleichung a x + b x1 = 0 können wir schon längst das
Symbol x eliminiren, indem wir nach Th. 50+) haben:
b) (a x + b x1 = 0) (a b = 0);
und zwar ist die Aussage rechterhand als die volle Resultante der
Elimination des x aus der Gleichung linkerhand nachgewiesen.

Wie nun gestaltet sich die Resultante der Elimination des x für
eine Ungleichung p x + q x1 0?

Die Antwort auf diese Frage wird durch die Behauptung ge-
geben, dass

Neunzehnte Vorlesung.
identischen Kalkul überhaupt in Betracht kommen kann — wofern
in ihr A, B, C, D, … als Gebietsymbole und zwar als „Funktionen“
von irgendwelchen andern Gebietsymbolen a, b, c …, x, y, … ge-
geben gedacht werden.

Diese Funktionen lassen aber nach § 19 — einerlei ob sie x alle
wirklich enthalten oder nicht — sich sämtlich nach x linear und
homogen „entwickeln“, sodass unsre Gesamtaussage der Daten die
Form haben muss:
α)

Σ (a x + b x1 = 0) (p x + q x1 ≠ 0) (r x + s x1 ≠ 0) … = i
≠ 0'

wo die Koeffizienten a, b, p, q, r, s, … unabhängig sind von x.

Die uns noch zur Lösung verbleibende Hauptaufgabe besteht nun
darin, aus dieser Aussage α) das Symbol x zu eliminiren, d. h. aus
ihr eine andere Aussage abzuleiten, welche nicht nur mit Notwendig-
keit aus ihr folgt, sondern auch jede in α) über die übrigen Symbole
a, b, p, q, r … enthaltene Information, jede aus α) zu schöpfende
das x unerwähnt lassende Belehrung unter sich begreift, in sich zum
Ausdruck bringt. Kurz: es ist die volle Resultante der Elimination
des x zu finden.

Herr Mitchell betrachtet die Form α) nicht. Er gibt aber einen
Teil der nachher an sie von uns zu knüpfenden Folgerungen wenigstens
implicite, nämlich eingekleidet in eine ihm eigentümliche Symbolik, deren
Verewigung, wenn sie auch mitunter eine kleine Raumersparniss ermöglicht,
mir nicht wünschenswert erscheint. Zur eigentlichen Lösung des allge-
meinen Problems hat seine Symbolik Herrn Mitchell doch nicht geführt,
und selbst wenn sie zu einer auch dazu geeigneten sich ummodeln, modi-
fiziren liesse (was mir nicht der Fall zu sein scheint), müsste ich doch
auf die hier zu verwirklichen gesuchte Befolgung einheitlicher Grundsätze
im ganzen Bezeichnungssystem unsrer Disziplin nach wie vor das grösste Ge-
wicht legen. Ich werde auf das Verhältniss der Mitchell’schen Resultate
zu den hier vorzutragenden erst bei der allgemeinen Lösung zurückkommen.

Wir lösen die Aufgabe zunächst für ein paar Spezialfälle.

Aus einer Gleichung a x + b x1 = 0 können wir schon längst das
Symbol x eliminiren, indem wir nach Th. 50+) haben:
β) (a x + b x1 = 0) ⊆ (a b = 0);
und zwar ist die Aussage rechterhand als die volle Resultante der
Elimination des x aus der Gleichung linkerhand nachgewiesen.

Wie nun gestaltet sich die Resultante der Elimination des x für
eine Ungleichung p x + q x1 ≠ 0?

Die Antwort auf diese Frage wird durch die Behauptung ge-
geben, dass

<TEI>
  <text>
    <body>
      <div n="1">
        <div n="2">
          <div n="3">
            <p><pb facs="#f0224" n="200"/><fw place="top" type="header">Neunzehnte Vorlesung.</fw><lb/>
identischen Kalkul überhaupt in Betracht kommen kann &#x2014; wofern<lb/>
in ihr <hi rendition="#i">A</hi>, <hi rendition="#i">B</hi>, <hi rendition="#i">C</hi>, <hi rendition="#i">D</hi>, &#x2026; als Gebietsymbole und zwar als &#x201E;Funktionen&#x201C;<lb/>
von irgendwelchen andern Gebietsymbolen <hi rendition="#i">a</hi>, <hi rendition="#i">b</hi>, <hi rendition="#i">c</hi> &#x2026;, <hi rendition="#i">x</hi>, <hi rendition="#i">y</hi>, &#x2026; ge-<lb/>
geben gedacht werden.</p><lb/>
            <p>Diese Funktionen lassen aber nach § 19 &#x2014; einerlei ob sie <hi rendition="#i">x</hi> alle<lb/>
wirklich enthalten oder nicht &#x2014; sich sämtlich nach <hi rendition="#i">x</hi> linear und<lb/>
homogen &#x201E;entwickeln&#x201C;, sodass unsre Gesamtaussage der Daten die<lb/>
Form haben muss:<lb/><hi rendition="#i">&#x03B1;</hi>) <hi rendition="#et"><list><item><hi rendition="#i">&#x03A3;</hi> (<hi rendition="#i">a x</hi> + <hi rendition="#i">b x</hi><hi rendition="#sub">1</hi> = 0) (<hi rendition="#i">p x</hi> + <hi rendition="#i">q x</hi><hi rendition="#sub">1</hi> &#x2260; 0) (<hi rendition="#i">r x</hi> + <hi rendition="#i">s x</hi><hi rendition="#sub">1</hi> &#x2260; 0) &#x2026; <list rendition="#leftBraced"><item> = i</item><lb/><item> &#x2260; 0'</item></list></item></list></hi><lb/>
wo die Koeffizienten <hi rendition="#i">a</hi>, <hi rendition="#i">b</hi>, <hi rendition="#i">p</hi>, <hi rendition="#i">q</hi>, <hi rendition="#i">r</hi>, <hi rendition="#i">s</hi>, &#x2026; unabhängig sind von <hi rendition="#i">x</hi>.</p><lb/>
            <p>Die uns noch zur Lösung verbleibende Hauptaufgabe besteht nun<lb/>
darin, aus dieser Aussage <hi rendition="#i">&#x03B1;</hi>) das Symbol <hi rendition="#i">x</hi> zu eliminiren, d. h. aus<lb/>
ihr eine andere Aussage abzuleiten, welche nicht nur mit Notwendig-<lb/>
keit aus ihr folgt, sondern auch <hi rendition="#i">jede</hi> in <hi rendition="#i">&#x03B1;</hi>) über die übrigen Symbole<lb/><hi rendition="#i">a</hi>, <hi rendition="#i">b</hi>, <hi rendition="#i">p</hi>, <hi rendition="#i">q</hi>, <hi rendition="#i">r</hi> &#x2026; enthaltene Information, jede aus <hi rendition="#i">&#x03B1;</hi>) zu schöpfende<lb/>
das <hi rendition="#i">x</hi> unerwähnt lassende Belehrung unter sich begreift, in sich zum<lb/>
Ausdruck bringt. Kurz: es ist die <hi rendition="#i">volle</hi> Resultante der Elimination<lb/>
des <hi rendition="#i">x</hi> zu finden.</p><lb/>
            <p>Herr <hi rendition="#g">Mitchell</hi> betrachtet die Form <hi rendition="#i">&#x03B1;</hi>) nicht. Er gibt aber einen<lb/>
Teil der nachher an sie von uns zu knüpfenden Folgerungen wenigstens<lb/>
implicite, nämlich eingekleidet in eine ihm eigentümliche Symbolik, deren<lb/>
Verewigung, wenn sie auch mitunter eine kleine Raumersparniss ermöglicht,<lb/>
mir nicht wünschenswert erscheint. Zur eigentlichen Lösung des allge-<lb/>
meinen Problems hat seine Symbolik Herrn <hi rendition="#g">Mitchell</hi> doch nicht geführt,<lb/>
und selbst wenn sie zu einer auch dazu geeigneten sich ummodeln, modi-<lb/>
fiziren liesse (was mir nicht der Fall zu sein scheint), müsste ich doch<lb/>
auf die hier zu verwirklichen gesuchte <hi rendition="#i">Befolgung einheitlicher Grundsätze<lb/>
im ganzen Bezeichnungssystem unsrer Disziplin</hi> nach wie vor das grösste Ge-<lb/>
wicht legen. Ich werde auf das Verhältniss der <hi rendition="#g">Mitchell&#x2019;</hi>schen Resultate<lb/>
zu den hier vorzutragenden erst bei der allgemeinen Lösung zurückkommen.</p><lb/>
            <p>Wir lösen die Aufgabe zunächst für ein paar Spezialfälle.</p><lb/>
            <p>Aus einer <hi rendition="#i">Gleichung a x</hi> + <hi rendition="#i">b x</hi><hi rendition="#sub">1</hi> = 0 können wir schon längst das<lb/>
Symbol <hi rendition="#i">x</hi> eliminiren, indem wir nach Th. 50<hi rendition="#sub">+</hi>) haben:<lb/><hi rendition="#i">&#x03B2;</hi>) <hi rendition="#et">(<hi rendition="#i">a x</hi> + <hi rendition="#i">b x</hi><hi rendition="#sub">1</hi> = 0) <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> (<hi rendition="#i">a b</hi> = 0);</hi><lb/>
und zwar ist die Aussage rechterhand als die volle Resultante der<lb/>
Elimination des <hi rendition="#i">x</hi> aus der Gleichung linkerhand nachgewiesen.</p><lb/>
            <p>Wie nun gestaltet sich die Resultante der Elimination des <hi rendition="#i">x</hi> für<lb/>
eine <hi rendition="#i">Ungleichung p x</hi> + <hi rendition="#i">q x</hi><hi rendition="#sub">1</hi> &#x2260; 0?</p><lb/>
            <p>Die Antwort auf diese Frage wird durch die Behauptung ge-<lb/>
geben, dass<lb/></p>
          </div>
        </div>
      </div>
    </body>
  </text>
</TEI>
[200/0224] Neunzehnte Vorlesung. identischen Kalkul überhaupt in Betracht kommen kann — wofern in ihr A, B, C, D, … als Gebietsymbole und zwar als „Funktionen“ von irgendwelchen andern Gebietsymbolen a, b, c …, x, y, … ge- geben gedacht werden. Diese Funktionen lassen aber nach § 19 — einerlei ob sie x alle wirklich enthalten oder nicht — sich sämtlich nach x linear und homogen „entwickeln“, sodass unsre Gesamtaussage der Daten die Form haben muss: α) Σ (a x + b x1 = 0) (p x + q x1 ≠ 0) (r x + s x1 ≠ 0) … = i ≠ 0' wo die Koeffizienten a, b, p, q, r, s, … unabhängig sind von x. Die uns noch zur Lösung verbleibende Hauptaufgabe besteht nun darin, aus dieser Aussage α) das Symbol x zu eliminiren, d. h. aus ihr eine andere Aussage abzuleiten, welche nicht nur mit Notwendig- keit aus ihr folgt, sondern auch jede in α) über die übrigen Symbole a, b, p, q, r … enthaltene Information, jede aus α) zu schöpfende das x unerwähnt lassende Belehrung unter sich begreift, in sich zum Ausdruck bringt. Kurz: es ist die volle Resultante der Elimination des x zu finden. Herr Mitchell betrachtet die Form α) nicht. Er gibt aber einen Teil der nachher an sie von uns zu knüpfenden Folgerungen wenigstens implicite, nämlich eingekleidet in eine ihm eigentümliche Symbolik, deren Verewigung, wenn sie auch mitunter eine kleine Raumersparniss ermöglicht, mir nicht wünschenswert erscheint. Zur eigentlichen Lösung des allge- meinen Problems hat seine Symbolik Herrn Mitchell doch nicht geführt, und selbst wenn sie zu einer auch dazu geeigneten sich ummodeln, modi- fiziren liesse (was mir nicht der Fall zu sein scheint), müsste ich doch auf die hier zu verwirklichen gesuchte Befolgung einheitlicher Grundsätze im ganzen Bezeichnungssystem unsrer Disziplin nach wie vor das grösste Ge- wicht legen. Ich werde auf das Verhältniss der Mitchell’schen Resultate zu den hier vorzutragenden erst bei der allgemeinen Lösung zurückkommen. Wir lösen die Aufgabe zunächst für ein paar Spezialfälle. Aus einer Gleichung a x + b x1 = 0 können wir schon längst das Symbol x eliminiren, indem wir nach Th. 50+) haben: β) (a x + b x1 = 0)  (a b = 0); und zwar ist die Aussage rechterhand als die volle Resultante der Elimination des x aus der Gleichung linkerhand nachgewiesen. Wie nun gestaltet sich die Resultante der Elimination des x für eine Ungleichung p x + q x1 ≠ 0? Die Antwort auf diese Frage wird durch die Behauptung ge- geben, dass

Suche im Werk

Hilfe

Informationen zum Werk

Download dieses Werks

XML (TEI P5) · HTML · Text
TCF (text annotation layer)
TCF (tokenisiert, serialisiert, lemmatisiert, normalisiert)
XML (TEI P5 inkl. att.linguistic)

Metadaten zum Werk

TEI-Header · CMDI · Dublin Core

Ansichten dieser Seite

Voyant Tools ?

Language Resource Switchboard?

Feedback

Sie haben einen Fehler gefunden? Dann können Sie diesen über unsere Qualitätssicherungsplattform DTAQ melden.

Kommentar zur DTA-Ausgabe

Dieses Werk wurde gemäß den DTA-Transkriptionsrichtlinien im Double-Keying-Verfahren von Nicht-Muttersprachlern erfasst und in XML/TEI P5 nach DTA-Basisformat kodiert.




Ansicht auf Standard zurückstellen

URL zu diesem Werk: https://www.deutschestextarchiv.de/schroeder_logik0201_1891
URL zu dieser Seite: https://www.deutschestextarchiv.de/schroeder_logik0201_1891/224
Zitationshilfe: Schröder, Ernst: Vorlesungen über die Algebra der Logik. Bd. 2, Abt. 1. Leipzig, 1891, S. 200. In: Deutsches Textarchiv <https://www.deutschestextarchiv.de/schroeder_logik0201_1891/224>, abgerufen am 19.04.2024.