Anmelden (DTAQ) DWDS     dlexDB     CLARIN-D

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

Bild:
<< vorherige Seite

Fünfte Vorlesung.
seien mit x zugleich die sämtlichen Unbekannten "herausgefallen" und
zwischen jenen übrigen Unbekannten bestehe keinerlei Relation, die-
selben seien unbeschränkt allgemeine Relative ("Parameter"). In der
That mögen wir dann diesen letztern ein willkürliches Wertsystem
beilegen und wird es nur noch darauf ankommen die zugehörigen
Werte von x zu ermitteln, welche mit ihm zusammen ein System von
Wurzeln bilden, m. a. W. die Unbekannte x durch die übrigen Un-
bekannten auszudrücken. Soferne solcher Fall sich als zutreffend hat
nachweisen lassen
liegt alsdann ein "reines" Auflösungsproblem vor,
und zwar dasjenige der Auflösung der Gleichung f = 0 nach der einen
Unbekannten x; dann ist diese Gleichung als eine "unbedingt auflös-
bare" erkannt und mögen wir alsbald zu ihrer Auflösung schreiten.

Im zweiten (Unter-)Falle gibt es gewisse Wertsysteme (mindestens
eines), welche den Unbekannten y, z, .., a, b, ... nicht beigelegt
werden dürfen weil es zu denselben keinen Wert von x gibt, mit dem
zusammen sie ein System von Wurzeln vorstellen würden. Jede Aus-
sage, die wahrheitsgemäss ein Wertsystem von y, z, .., a, b, ... als
unzulässig hinstellt, "ausschliesst", lässt sich alsdann als eine "Relation"
zwischen diesen übrigen Unbekannten ansehen, wenn man will auch
wieder in Form einer Gleichung darstellen, und darf dieselbe, weil sie
durch die Gleichung f = 0 bedingt wird (zur Erfüllung ebendieser
unerlässlich ist), in ihr aber der Name der Unbekannten x nicht vor-
kommt, als "eine Resultante der Elimination von x aus der Gleichung
f = 0" bezeichnet werden.

Die vereinigte Gleichung, Gesamtaussage aller Resultanten (der
Elimination von x aus f = 0) aber muss nicht nur eine notwendige
sondern auch hinreichende Bedingung sein für die Auflösbarkeit der
Gleichung f = 0 nach der Unbekannten x; wir nennen sie "die" voll-
ständige oder "volle Resultante" gedachter Elimination. Dieselbe
schliesst alle unzulässigen Wertsysteme der übrigen Unbekannten
y, z, .., a, b, ... aus. Jedes ihr genügende Wertsystem dieser Un-
bekannten ist ein "zulässiges", welches mit gewissen Werten von x
zusammen ein System von Wurzeln der Gleichung f = 0 liefert, und
sie kann auch charakterisirt werden als eine solche Relation zwischen
den Unbekannten ohne x, welche von der Gleichung f = 0 bedingt
wird und deren Erfülltsein die Auflösbarkeit "nach x" der Gleichung
f = 0 garantirt, d. h. uns die Existenz von mindestens einem dieser
Gleichung genügenden Wurzelwerte x verbürgt; sie statuirt die "Valenz-
bedingung" für x.

Da wir uns die Auflösung der Gleichung f = 0 nach der Un-

Fünfte Vorlesung.
seien mit x zugleich die sämtlichen Unbekannten „herausgefallen“ und
zwischen jenen übrigen Unbekannten bestehe keinerlei Relation, die-
selben seien unbeschränkt allgemeine Relative („Parameter“). In der
That mögen wir dann diesen letztern ein willkürliches Wertsystem
beilegen und wird es nur noch darauf ankommen die zugehörigen
Werte von x zu ermitteln, welche mit ihm zusammen ein System von
Wurzeln bilden, m. a. W. die Unbekannte x durch die übrigen Un-
bekannten auszudrücken. Soferne solcher Fall sich als zutreffend hat
nachweisen lassen
liegt alsdann ein „reines“ Auflösungsproblem vor,
und zwar dasjenige der Auflösung der Gleichung f = 0 nach der einen
Unbekannten x; dann ist diese Gleichung als eine „unbedingt auflös-
bare“ erkannt und mögen wir alsbald zu ihrer Auflösung schreiten.

Im zweiten (Unter-)Falle gibt es gewisse Wertsysteme (mindestens
eines), welche den Unbekannten y, z, ‥, a, b, … nicht beigelegt
werden dürfen weil es zu denselben keinen Wert von x gibt, mit dem
zusammen sie ein System von Wurzeln vorstellen würden. Jede Aus-
sage, die wahrheitsgemäss ein Wertsystem von y, z, ‥, a, b, … als
unzulässig hinstellt, „ausschliesst“, lässt sich alsdann als eine „Relation“
zwischen diesen übrigen Unbekannten ansehen, wenn man will auch
wieder in Form einer Gleichung darstellen, und darf dieselbe, weil sie
durch die Gleichung f = 0 bedingt wird (zur Erfüllung ebendieser
unerlässlich ist), in ihr aber der Name der Unbekannten x nicht vor-
kommt, als „eine Resultante der Elimination von x aus der Gleichung
f = 0“ bezeichnet werden.

Die vereinigte Gleichung, Gesamtaussage aller Resultanten (der
Elimination von x aus f = 0) aber muss nicht nur eine notwendige
sondern auch hinreichende Bedingung sein für die Auflösbarkeit der
Gleichung f = 0 nach der Unbekannten x; wir nennen sie „die“ voll-
ständige oder „volle Resultante“ gedachter Elimination. Dieselbe
schliesst alle unzulässigen Wertsysteme der übrigen Unbekannten
y, z, ‥, a, b, … aus. Jedes ihr genügende Wertsystem dieser Un-
bekannten ist ein „zulässiges“, welches mit gewissen Werten von x
zusammen ein System von Wurzeln der Gleichung f = 0 liefert, und
sie kann auch charakterisirt werden als eine solche Relation zwischen
den Unbekannten ohne x, welche von der Gleichung f = 0 bedingt
wird und deren Erfülltsein die Auflösbarkeit „nach x“ der Gleichung
f = 0 garantirt, d. h. uns die Existenz von mindestens einem dieser
Gleichung genügenden Wurzelwerte x verbürgt; sie statuirt die „Valenz-
bedingung“ für x.

Da wir uns die Auflösung der Gleichung f = 0 nach der Un-

<TEI>
  <text>
    <body>
      <div n="1">
        <div n="2">
          <p><pb facs="#f0172" n="158"/><fw place="top" type="header">Fünfte Vorlesung.</fw><lb/>
seien mit <hi rendition="#i">x</hi> zugleich die sämtlichen Unbekannten &#x201E;<hi rendition="#i">herausgefallen</hi>&#x201C; und<lb/>
zwischen jenen übrigen Unbekannten bestehe keinerlei Relation, die-<lb/>
selben seien <hi rendition="#i">unbeschränkt allgemeine</hi> Relative (&#x201E;<hi rendition="#i">Parameter</hi>&#x201C;). In der<lb/>
That mögen wir dann diesen letztern ein willkürliches Wertsystem<lb/>
beilegen und wird es nur noch darauf ankommen die zugehörigen<lb/>
Werte von <hi rendition="#i">x</hi> zu ermitteln, welche mit ihm zusammen ein System von<lb/>
Wurzeln bilden, m. a. W. die Unbekannte <hi rendition="#i">x</hi> durch die übrigen Un-<lb/>
bekannten auszudrücken. <hi rendition="#i">Soferne solcher Fall sich als zutreffend hat<lb/>
nachweisen lassen</hi> liegt alsdann ein &#x201E;<hi rendition="#i">reines</hi>&#x201C; Auflösungsproblem vor,<lb/>
und zwar dasjenige der Auflösung der Gleichung <hi rendition="#i">f</hi> = 0 nach der <hi rendition="#i">einen</hi><lb/>
Unbekannten <hi rendition="#i">x</hi>; dann ist diese Gleichung als eine &#x201E;<hi rendition="#i">unbedingt</hi> auflös-<lb/>
bare&#x201C; erkannt und mögen wir alsbald zu ihrer Auflösung schreiten.</p><lb/>
          <p>Im zweiten (Unter-)Falle gibt es gewisse Wertsysteme (mindestens<lb/>
eines), welche den Unbekannten <hi rendition="#i">y</hi>, <hi rendition="#i">z</hi>, &#x2025;, <hi rendition="#i">a</hi>, <hi rendition="#i">b</hi>, &#x2026; <hi rendition="#i">nicht</hi> beigelegt<lb/>
werden dürfen weil es zu denselben keinen Wert von <hi rendition="#i">x</hi> gibt, mit dem<lb/>
zusammen sie ein System von Wurzeln vorstellen würden. Jede Aus-<lb/>
sage, die wahrheitsgemäss ein Wertsystem von <hi rendition="#i">y</hi>, <hi rendition="#i">z</hi>, &#x2025;, <hi rendition="#i">a</hi>, <hi rendition="#i">b</hi>, &#x2026; als<lb/>
unzulässig hinstellt, &#x201E;<hi rendition="#i">ausschliesst</hi>&#x201C;, lässt sich alsdann als eine &#x201E;Relation&#x201C;<lb/>
zwischen diesen übrigen Unbekannten ansehen, wenn man will auch<lb/>
wieder in Form einer Gleichung darstellen, und darf dieselbe, weil sie<lb/>
durch die Gleichung <hi rendition="#i">f</hi> = 0 bedingt wird (zur Erfüllung ebendieser<lb/>
unerlässlich ist), in ihr aber der Name der Unbekannten <hi rendition="#i">x</hi> nicht vor-<lb/>
kommt, als &#x201E;eine <hi rendition="#i">Resultante der Elimination</hi> von <hi rendition="#i">x</hi> aus der Gleichung<lb/><hi rendition="#i">f</hi> = 0&#x201C; bezeichnet werden.</p><lb/>
          <p>Die vereinigte Gleichung, Gesamtaussage <hi rendition="#i">aller</hi> Resultanten (der<lb/>
Elimination von <hi rendition="#i">x</hi> aus <hi rendition="#i">f</hi> = 0) aber muss nicht nur eine <hi rendition="#i">notwendige</hi><lb/>
sondern auch <hi rendition="#i">hinreichende</hi> Bedingung sein für die Auflösbarkeit der<lb/>
Gleichung <hi rendition="#i">f</hi> = 0 nach der Unbekannten <hi rendition="#i">x</hi>; wir nennen sie &#x201E;die&#x201C; voll-<lb/>
ständige oder &#x201E;<hi rendition="#i">volle</hi> Resultante&#x201C; gedachter Elimination. Dieselbe<lb/>
schliesst alle unzulässigen Wertsysteme der übrigen Unbekannten<lb/><hi rendition="#i">y</hi>, <hi rendition="#i">z</hi>, &#x2025;, <hi rendition="#i">a</hi>, <hi rendition="#i">b</hi>, &#x2026; aus. Jedes ihr genügende Wertsystem dieser Un-<lb/>
bekannten ist ein &#x201E;zulässiges&#x201C;, welches mit gewissen Werten von <hi rendition="#i">x</hi><lb/>
zusammen ein System von Wurzeln der Gleichung <hi rendition="#i">f</hi> = 0 liefert, und<lb/>
sie kann auch charakterisirt werden als eine solche Relation zwischen<lb/>
den Unbekannten ohne <hi rendition="#i">x</hi>, welche von der Gleichung <hi rendition="#i">f</hi> = 0 bedingt<lb/>
wird und deren Erfülltsein die Auflösbarkeit &#x201E;<hi rendition="#i">nach x</hi>&#x201C; der Gleichung<lb/><hi rendition="#i">f</hi> = 0 garantirt, d. h. uns die Existenz von mindestens einem dieser<lb/>
Gleichung genügenden Wurzelwerte <hi rendition="#i">x</hi> verbürgt; sie statuirt die &#x201E;Valenz-<lb/>
bedingung&#x201C; für <hi rendition="#i">x</hi>.</p><lb/>
          <p>Da wir uns die Auflösung der Gleichung <hi rendition="#i">f</hi> = 0 nach der Un-<lb/></p>
        </div>
      </div>
    </body>
  </text>
</TEI>
[158/0172] Fünfte Vorlesung. seien mit x zugleich die sämtlichen Unbekannten „herausgefallen“ und zwischen jenen übrigen Unbekannten bestehe keinerlei Relation, die- selben seien unbeschränkt allgemeine Relative („Parameter“). In der That mögen wir dann diesen letztern ein willkürliches Wertsystem beilegen und wird es nur noch darauf ankommen die zugehörigen Werte von x zu ermitteln, welche mit ihm zusammen ein System von Wurzeln bilden, m. a. W. die Unbekannte x durch die übrigen Un- bekannten auszudrücken. Soferne solcher Fall sich als zutreffend hat nachweisen lassen liegt alsdann ein „reines“ Auflösungsproblem vor, und zwar dasjenige der Auflösung der Gleichung f = 0 nach der einen Unbekannten x; dann ist diese Gleichung als eine „unbedingt auflös- bare“ erkannt und mögen wir alsbald zu ihrer Auflösung schreiten. Im zweiten (Unter-)Falle gibt es gewisse Wertsysteme (mindestens eines), welche den Unbekannten y, z, ‥, a, b, … nicht beigelegt werden dürfen weil es zu denselben keinen Wert von x gibt, mit dem zusammen sie ein System von Wurzeln vorstellen würden. Jede Aus- sage, die wahrheitsgemäss ein Wertsystem von y, z, ‥, a, b, … als unzulässig hinstellt, „ausschliesst“, lässt sich alsdann als eine „Relation“ zwischen diesen übrigen Unbekannten ansehen, wenn man will auch wieder in Form einer Gleichung darstellen, und darf dieselbe, weil sie durch die Gleichung f = 0 bedingt wird (zur Erfüllung ebendieser unerlässlich ist), in ihr aber der Name der Unbekannten x nicht vor- kommt, als „eine Resultante der Elimination von x aus der Gleichung f = 0“ bezeichnet werden. Die vereinigte Gleichung, Gesamtaussage aller Resultanten (der Elimination von x aus f = 0) aber muss nicht nur eine notwendige sondern auch hinreichende Bedingung sein für die Auflösbarkeit der Gleichung f = 0 nach der Unbekannten x; wir nennen sie „die“ voll- ständige oder „volle Resultante“ gedachter Elimination. Dieselbe schliesst alle unzulässigen Wertsysteme der übrigen Unbekannten y, z, ‥, a, b, … aus. Jedes ihr genügende Wertsystem dieser Un- bekannten ist ein „zulässiges“, welches mit gewissen Werten von x zusammen ein System von Wurzeln der Gleichung f = 0 liefert, und sie kann auch charakterisirt werden als eine solche Relation zwischen den Unbekannten ohne x, welche von der Gleichung f = 0 bedingt wird und deren Erfülltsein die Auflösbarkeit „nach x“ der Gleichung f = 0 garantirt, d. h. uns die Existenz von mindestens einem dieser Gleichung genügenden Wurzelwerte x verbürgt; sie statuirt die „Valenz- bedingung“ für x. Da wir uns die Auflösung der Gleichung f = 0 nach der Un-

Suche im Werk

Hilfe

Informationen zum Werk

Download dieses Werks

XML (TEI P5) · HTML · Text
TCF (text annotation layer)
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_logik03_1895
URL zu dieser Seite: https://www.deutschestextarchiv.de/schroeder_logik03_1895/172
Zitationshilfe: Schröder, Ernst: Vorlesungen über die Algebra der Logik. Bd. 3, Abt. 1. Leipzig, 1895, S. 158. In: Deutsches Textarchiv <https://www.deutschestextarchiv.de/schroeder_logik03_1895/172>, abgerufen am 23.11.2024.