Anmelden (DTAQ) DWDS     dlexDB     CLARIN-D

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

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

Eilfte Vorlesung.
dann mit R zusammen und ist seine eigene Eliminationsresultante. Denn
erstens ist es "ein" Eliminationsergebniss, weil es x, y, ... nicht mehr
(genauer: ohnehin nicht) enthält und doch "aus B folgt", nämlich
seine Geltung mit der von B gegeben ist (Wenn B gilt, so gilt B --
vergl. Prinzip I im Aussagenkalkul); und zweitens ist es das volle
Ergebniss, indem, sobald es erfüllt ist, sonach B gilt, es auch Wert-
systeme von x, y, .. geben muss, "für welche B gilt", dann nämlich
B ohnehin gelten muss, welche Wertsysteme man auch immer unter
x, y, .. verstehen mag. -- Es versteht sich, dass in solchem Grenz-
falle von Eliminiren nur in uneigentlichem Sinne zu sprechen ist, so-
fern man Jemanden, der gar nicht da ist, auch nicht hinauswerfen kann.

Aber auch wenn B von vornherein die Eliminanden x, y, ... oder
wenigstens einige derselben enthielt, kann es doch mit der Elimi-
nationsresultant R logisch äquivalent sein -- und dies bildet noch
eine zweite Art von besondern Fällen bemerkenswerten Charakters.

Trifft solches zu, sodass also nicht nur R aus B folgt, sobald B
nur für irgend ein Wertsystem der x, y, ... erfüllt ist, schlechthin
gilt, sondern auch, wenn R gilt, B unbedingt gelten muss, mithin
gelten muss für jedes beliebige Wertsystem der Eliminanden x, y, ...,
so sagt man, dass letztere "von selbst aus B herausfallen". Dann kann
ja in der That B durch R ganz und gar ersetzt werden. --

Ist die volle Resultante zu einer Gleichung (Basis) nur eine ana-
lytische, Formel oder Identität, wie 0 = 0, so wird man nach dem
unter e) Bemerkten auch sagen dürfen: die Gleichung liefere, oder
habe, keine Resultante.

Zu allen diesen vorerst theoretisch als möglich erkannten Vor-
kommnissen wird uns die Praxis Beispiele liefern.

Durch die Elimination entlastet sich der Geist, indem er auf seine
Kenntnisse in Hinsicht der Eliminanden zeitweilig verzichtet, dieselben
fallen lässt, von ihnen absieht, abstrahirt, jeweils von solchen Erkennt-
nisselementen, welche für die Verfolgung bestimmter Erkenntnisszwecke
unwesentlich, belanglos erscheinen und deren Beibehaltung also ihn
hiebei nur als ein Ballast zu beschweren vermöchte.

z) Kehren wir nach diesen allgemeinen, nämlich auf jedes System
von Propositionen, Aussagen und jede Gruppe von Symbolen anwend-
baren (in gleicher Weise auch auf die Relationen der numerischen
Mathematik übertragbaren) Betrachtungen, durch welche der Begriff
des Eliminationsresultates festgelegt ist, zurück zu unserm Theorem 50+).

Hier wird in der That die Gleichung a b = 0 nun als die volle

Eilfte Vorlesung.
dann mit R zusammen und ist seine eigene Eliminationsresultante. Denn
erstens ist es „ein“ Eliminationsergebniss, weil es x, y, … nicht mehr
(genauer: ohnehin nicht) enthält und doch „aus B folgt“, nämlich
seine Geltung mit der von B gegeben ist (Wenn B gilt, so gilt B —
vergl. Prinzip I im Aussagenkalkul); und zweitens ist es das volle
Ergebniss, indem, sobald es erfüllt ist, sonach B gilt, es auch Wert-
systeme von x, y, ‥ geben muss, „für welche B gilt“, dann nämlich
B ohnehin gelten muss, welche Wertsysteme man auch immer unter
x, y, ‥ verstehen mag. — Es versteht sich, dass in solchem Grenz-
falle von Eliminiren nur in uneigentlichem Sinne zu sprechen ist, so-
fern man Jemanden, der gar nicht da ist, auch nicht hinauswerfen kann.

Aber auch wenn B von vornherein die Eliminanden x, y, … oder
wenigstens einige derselben enthielt, kann es doch mit der Elimi-
nationsresultant R logisch äquivalent sein — und dies bildet noch
eine zweite Art von besondern Fällen bemerkenswerten Charakters.

Trifft solches zu, sodass also nicht nur R aus B folgt, sobald B
nur für irgend ein Wertsystem der x, y, … erfüllt ist, schlechthin
gilt, sondern auch, wenn R gilt, B unbedingt gelten muss, mithin
gelten muss für jedes beliebige Wertsystem der Eliminanden x, y, …,
so sagt man, dass letztere „von selbst aus B herausfallen“. Dann kann
ja in der That B durch R ganz und gar ersetzt werden. —

Ist die volle Resultante zu einer Gleichung (Basis) nur eine ana-
lytische, Formel oder Identität, wie 0 = 0, so wird man nach dem
unter ε) Bemerkten auch sagen dürfen: die Gleichung liefere, oder
habe, keine Resultante.

Zu allen diesen vorerst theoretisch als möglich erkannten Vor-
kommnissen wird uns die Praxis Beispiele liefern.

Durch die Elimination entlastet sich der Geist, indem er auf seine
Kenntnisse in Hinsicht der Eliminanden zeitweilig verzichtet, dieselben
fallen lässt, von ihnen absieht, abstrahirt, jeweils von solchen Erkennt-
nisselementen, welche für die Verfolgung bestimmter Erkenntnisszwecke
unwesentlich, belanglos erscheinen und deren Beibehaltung also ihn
hiebei nur als ein Ballast zu beschweren vermöchte.

ζ) Kehren wir nach diesen allgemeinen, nämlich auf jedes System
von Propositionen, Aussagen und jede Gruppe von Symbolen anwend-
baren (in gleicher Weise auch auf die Relationen der numerischen
Mathematik übertragbaren) Betrachtungen, durch welche der Begriff
des Eliminationsresultates festgelegt ist, zurück zu unserm Theorem 50+).

Hier wird in der That die Gleichung a b = 0 nun als die volle

<TEI>
  <text>
    <body>
      <div n="1">
        <div n="2">
          <p><pb facs="#f0474" n="454"/><fw place="top" type="header">Eilfte Vorlesung.</fw><lb/>
dann mit <hi rendition="#i">R</hi> zusammen und ist <hi rendition="#i">seine eigene Eliminationsresultante</hi>. Denn<lb/>
erstens ist es &#x201E;ein&#x201C; Eliminationsergebniss, weil es <hi rendition="#i">x</hi>, <hi rendition="#i">y</hi>, &#x2026; nicht mehr<lb/>
(genauer: ohnehin nicht) enthält und doch &#x201E;aus <hi rendition="#i">B</hi> folgt&#x201C;, nämlich<lb/>
seine Geltung mit der von <hi rendition="#i">B</hi> gegeben ist (Wenn <hi rendition="#i">B</hi> gilt, so gilt <hi rendition="#i">B</hi> &#x2014;<lb/>
vergl. Prinzip I im Aussagenkalkul); und zweitens ist es das <hi rendition="#i">volle</hi><lb/>
Ergebniss, indem, sobald es erfüllt ist, sonach <hi rendition="#i">B</hi> gilt, es auch Wert-<lb/>
systeme von <hi rendition="#i">x</hi>, <hi rendition="#i">y</hi>, &#x2025; geben muss, &#x201E;für welche <hi rendition="#i">B</hi> gilt&#x201C;, dann nämlich<lb/><hi rendition="#i">B</hi> ohnehin gelten muss, welche Wertsysteme man auch immer unter<lb/><hi rendition="#i">x</hi>, <hi rendition="#i">y</hi>, &#x2025; verstehen mag. &#x2014; Es versteht sich, dass in solchem Grenz-<lb/>
falle von Eliminiren nur in uneigentlichem Sinne zu sprechen ist, so-<lb/>
fern man Jemanden, der gar nicht da ist, auch nicht hinauswerfen kann.</p><lb/>
          <p>Aber auch wenn <hi rendition="#i">B</hi> von vornherein die Eliminanden <hi rendition="#i">x</hi>, <hi rendition="#i">y</hi>, &#x2026; oder<lb/>
wenigstens einige derselben enthielt, kann es doch mit der Elimi-<lb/>
nationsresultant <hi rendition="#i">R</hi> logisch äquivalent sein &#x2014; und dies bildet noch<lb/>
eine zweite Art von besondern Fällen bemerkenswerten Charakters.</p><lb/>
          <p>Trifft solches zu, sodass also nicht nur <hi rendition="#i">R</hi> aus <hi rendition="#i">B</hi> folgt, sobald <hi rendition="#i">B</hi><lb/>
nur für irgend ein Wertsystem der <hi rendition="#i">x</hi>, <hi rendition="#i">y</hi>, &#x2026; erfüllt ist, schlechthin<lb/>
gilt, sondern auch, wenn <hi rendition="#i">R</hi> gilt, <hi rendition="#i">B</hi> unbedingt gelten muss, mithin<lb/>
gelten muss <hi rendition="#i">für jedes beliebige</hi> Wertsystem der Eliminanden <hi rendition="#i">x</hi>, <hi rendition="#i">y</hi>, &#x2026;,<lb/>
so sagt man, dass letztere &#x201E;<hi rendition="#i">von selbst aus B herausfallen</hi>&#x201C;. Dann kann<lb/>
ja in der That <hi rendition="#i">B</hi> durch <hi rendition="#i">R</hi> ganz und gar ersetzt werden. &#x2014;</p><lb/>
          <p>Ist die volle Resultante zu einer Gleichung (Basis) nur eine ana-<lb/>
lytische, Formel oder Identität, wie 0 = 0, so wird man nach dem<lb/>
unter <hi rendition="#i">&#x03B5;</hi>) Bemerkten auch sagen dürfen: die Gleichung liefere, oder<lb/>
habe, <hi rendition="#i">keine</hi> Resultante.</p><lb/>
          <p>Zu allen diesen vorerst theoretisch als möglich erkannten Vor-<lb/>
kommnissen wird uns die Praxis Beispiele liefern.</p><lb/>
          <p>Durch die <hi rendition="#i">Elimination</hi> entlastet sich der Geist, indem er auf seine<lb/>
Kenntnisse in Hinsicht der Eliminanden zeitweilig verzichtet, dieselben<lb/>
fallen lässt, von ihnen absieht, abstrahirt, jeweils von solchen Erkennt-<lb/>
nisselementen, welche für die Verfolgung bestimmter Erkenntnisszwecke<lb/>
unwesentlich, belanglos erscheinen und deren Beibehaltung also ihn<lb/>
hiebei nur als ein Ballast zu beschweren vermöchte.</p><lb/>
          <p><hi rendition="#i">&#x03B6;</hi>) Kehren wir nach diesen allgemeinen, nämlich auf jedes System<lb/>
von Propositionen, Aussagen und jede Gruppe von Symbolen anwend-<lb/>
baren (in gleicher Weise auch auf die Relationen der numerischen<lb/>
Mathematik übertragbaren) Betrachtungen, durch welche der Begriff<lb/>
des Eliminationsresultates festgelegt ist, zurück zu unserm Theorem 50<hi rendition="#sub">+</hi>).</p><lb/>
          <p>Hier wird in der That die Gleichung <hi rendition="#i">a b</hi> = 0 nun als die volle<lb/></p>
        </div>
      </div>
    </body>
  </text>
</TEI>
[454/0474] Eilfte Vorlesung. dann mit R zusammen und ist seine eigene Eliminationsresultante. Denn erstens ist es „ein“ Eliminationsergebniss, weil es x, y, … nicht mehr (genauer: ohnehin nicht) enthält und doch „aus B folgt“, nämlich seine Geltung mit der von B gegeben ist (Wenn B gilt, so gilt B — vergl. Prinzip I im Aussagenkalkul); und zweitens ist es das volle Ergebniss, indem, sobald es erfüllt ist, sonach B gilt, es auch Wert- systeme von x, y, ‥ geben muss, „für welche B gilt“, dann nämlich B ohnehin gelten muss, welche Wertsysteme man auch immer unter x, y, ‥ verstehen mag. — Es versteht sich, dass in solchem Grenz- falle von Eliminiren nur in uneigentlichem Sinne zu sprechen ist, so- fern man Jemanden, der gar nicht da ist, auch nicht hinauswerfen kann. Aber auch wenn B von vornherein die Eliminanden x, y, … oder wenigstens einige derselben enthielt, kann es doch mit der Elimi- nationsresultant R logisch äquivalent sein — und dies bildet noch eine zweite Art von besondern Fällen bemerkenswerten Charakters. Trifft solches zu, sodass also nicht nur R aus B folgt, sobald B nur für irgend ein Wertsystem der x, y, … erfüllt ist, schlechthin gilt, sondern auch, wenn R gilt, B unbedingt gelten muss, mithin gelten muss für jedes beliebige Wertsystem der Eliminanden x, y, …, so sagt man, dass letztere „von selbst aus B herausfallen“. Dann kann ja in der That B durch R ganz und gar ersetzt werden. — Ist die volle Resultante zu einer Gleichung (Basis) nur eine ana- lytische, Formel oder Identität, wie 0 = 0, so wird man nach dem unter ε) Bemerkten auch sagen dürfen: die Gleichung liefere, oder habe, keine Resultante. Zu allen diesen vorerst theoretisch als möglich erkannten Vor- kommnissen wird uns die Praxis Beispiele liefern. Durch die Elimination entlastet sich der Geist, indem er auf seine Kenntnisse in Hinsicht der Eliminanden zeitweilig verzichtet, dieselben fallen lässt, von ihnen absieht, abstrahirt, jeweils von solchen Erkennt- nisselementen, welche für die Verfolgung bestimmter Erkenntnisszwecke unwesentlich, belanglos erscheinen und deren Beibehaltung also ihn hiebei nur als ein Ballast zu beschweren vermöchte. ζ) Kehren wir nach diesen allgemeinen, nämlich auf jedes System von Propositionen, Aussagen und jede Gruppe von Symbolen anwend- baren (in gleicher Weise auch auf die Relationen der numerischen Mathematik übertragbaren) Betrachtungen, durch welche der Begriff des Eliminationsresultates festgelegt ist, zurück zu unserm Theorem 50+). Hier wird in der That die Gleichung a b = 0 nun als die volle

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_logik01_1890
URL zu dieser Seite: https://www.deutschestextarchiv.de/schroeder_logik01_1890/474
Zitationshilfe: Schröder, Ernst: Vorlesungen über die Algebra der Logik. Bd. 1. Leipzig, 1890, S. 454. In: Deutsches Textarchiv <https://www.deutschestextarchiv.de/schroeder_logik01_1890/474>, abgerufen am 22.07.2024.