Anmelden (DTAQ) DWDS     dlexDB     CLARIN-D

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

Bild:
<< vorherige Seite
nächste Seite >>
Fünfte Vorlesung.

Wir erhalten leicht die beiden Unterfälle des dortigen allgemeinen
Satzes:
16) [Formel 1]
17) [Formel 2] .

Soviel über das Auflösungsproblem im Allgemeinen.

Das mit jedem solchen unweigerlich verbundene Eliminationspro-
blem gipfelte in der Forderung aus jeder Gleichung 1) oder Subsumtion
F(x) 0 ein Relativ x zu eliminiren. Kann man irgendein, jedes
gewünschte Relativ eliminiren, so vermag man auch deren mehrere in
irgend welcher Folge und damit auch irgend ein System von Rela-
tiven -- dem Effekt nach simultan -- zu eliminiren (so wenigstens
gewiss bei endlich begrenzter Anzahl von Eliminanden).

Ändern wir die Bezeichnungen ein wenig ab, so kommt es also
darauf an: aus irgend einer Gleichung
f(u) = 0
ein Relativ u eliminiren zu lernen.

Zweckmässig mag es erscheinen, dies Problem in der blos formell
etwas allgemeineren Fassung in Angriff zu nehmen, dass man sogleich
die Resultante der Elimination eines u zu bilden fordert aus einer
Gleichung von der Form
f(u) = x.

Denn wie sich einerseits die letztere ja leicht auf das Prädikat 0
bringen liesse, so ist andrerseits klar, dass sobald wir bei ihr (für ein
irgendwie gegeben gedachtes x) die Resultante der Elimination von u
in Gestalt einer Subsumtion
F(x) 0
ermittelt haben, dann auch in Gestalt von
F(0) 0
die Resultante des vorhergehenden (der Form nach etwas spezielleren)
Eliminationsproblems gefunden sein wird.

In dieser weiteren Fassung erscheint aber unser Eliminations-
problem als die unmittelbare Umkehrung, Inversion eines reinen Auf-
lösungsproblems, und erlangen wir durch sie den Vorteil, zu sehen,
dass mit jedem reinen Auflösungsprobleme zugleich auch ein gewisses
Eliminationsproblem seine Lösung findet, und vice versa.

Bei jenem kam es darauf an, von der Gleichung F(x) = 0 zu

Fünfte Vorlesung.

Wir erhalten leicht die beiden Unterfälle des dortigen allgemeinen
Satzes:
16) [Formel 1]
17) [Formel 2] .

Soviel über das Auflösungsproblem im Allgemeinen.

Das mit jedem solchen unweigerlich verbundene Eliminationspro-
blem gipfelte in der Forderung aus jeder Gleichung 1) oder Subsumtion
F(x) ⋹ 0 ein Relativ x zu eliminiren. Kann man irgendein, jedes
gewünschte Relativ eliminiren, so vermag man auch deren mehrere in
irgend welcher Folge und damit auch irgend ein System von Rela-
tiven — dem Effekt nach simultan — zu eliminiren (so wenigstens
gewiss bei endlich begrenzter Anzahl von Eliminanden).

Ändern wir die Bezeichnungen ein wenig ab, so kommt es also
darauf an: aus irgend einer Gleichung
f(u) = 0
ein Relativ u eliminiren zu lernen.

Zweckmässig mag es erscheinen, dies Problem in der blos formell
etwas allgemeineren Fassung in Angriff zu nehmen, dass man sogleich
die Resultante der Elimination eines u zu bilden fordert aus einer
Gleichung von der Form
f(u) = x.

Denn wie sich einerseits die letztere ja leicht auf das Prädikat 0
bringen liesse, so ist andrerseits klar, dass sobald wir bei ihr (für ein
irgendwie gegeben gedachtes x) die Resultante der Elimination von u
in Gestalt einer Subsumtion
F(x) ⋹ 0
ermittelt haben, dann auch in Gestalt von
F(0) ⋹ 0
die Resultante des vorhergehenden (der Form nach etwas spezielleren)
Eliminationsproblems gefunden sein wird.

In dieser weiteren Fassung erscheint aber unser Eliminations-
problem als die unmittelbare Umkehrung, Inversion eines reinen Auf-
lösungsproblems, und erlangen wir durch sie den Vorteil, zu sehen,
dass mit jedem reinen Auflösungsprobleme zugleich auch ein gewisses
Eliminationsproblem seine Lösung findet, und vice versa.

Bei jenem kam es darauf an, von der Gleichung F(x) = 0 zu

<TEI>
  <text>
    <body>
      <div n="1">
        <div n="2">
          <pb facs="#f0188" n="174"/>
          <fw place="top" type="header">Fünfte Vorlesung.</fw><lb/>
          <p>Wir erhalten leicht die beiden Unterfälle des dortigen allgemeinen<lb/>
Satzes:<lb/>
16) <hi rendition="#et"><formula/></hi><lb/>
17) <hi rendition="#et"><formula/>.</hi></p><lb/>
          <p>Soviel über das <hi rendition="#i">Auflösungsproblem</hi> im Allgemeinen.</p><lb/>
          <p>Das mit jedem solchen unweigerlich verbundene <hi rendition="#i">Eliminationspro-<lb/>
blem</hi> gipfelte in der Forderung aus jeder Gleichung 1) oder Subsumtion<lb/><hi rendition="#i">F</hi>(<hi rendition="#i">x</hi>) &#x22F9; 0 <hi rendition="#i">ein</hi> Relativ <hi rendition="#i">x</hi> zu eliminiren. Kann man <hi rendition="#i">irgendein</hi>, jedes<lb/>
gewünschte Relativ eliminiren, so vermag man auch deren mehrere in<lb/>
irgend welcher Folge und damit auch irgend ein System von Rela-<lb/>
tiven &#x2014; dem Effekt nach simultan &#x2014; zu eliminiren (so wenigstens<lb/>
gewiss bei endlich begrenzter Anzahl von Eliminanden).</p><lb/>
          <p>Ändern wir die Bezeichnungen ein wenig ab, so kommt es also<lb/>
darauf an: aus irgend einer Gleichung<lb/><hi rendition="#c"><hi rendition="#i">f</hi>(<hi rendition="#i">u</hi>) = 0</hi><lb/>
ein Relativ <hi rendition="#i">u</hi> eliminiren zu lernen.</p><lb/>
          <p>Zweckmässig mag es erscheinen, dies Problem in der blos formell<lb/>
etwas allgemeineren Fassung in Angriff zu nehmen, dass man sogleich<lb/>
die Resultante der Elimination eines <hi rendition="#i">u</hi> zu bilden fordert aus einer<lb/>
Gleichung von der Form<lb/><hi rendition="#c"><hi rendition="#i">f</hi>(<hi rendition="#i">u</hi>) = <hi rendition="#i">x</hi>.</hi></p><lb/>
          <p>Denn wie sich einerseits die letztere ja leicht auf das Prädikat 0<lb/>
bringen liesse, so ist andrerseits klar, dass sobald wir bei ihr (für ein<lb/>
irgendwie gegeben gedachtes <hi rendition="#i">x</hi>) die Resultante der Elimination von <hi rendition="#i">u</hi><lb/>
in Gestalt einer Subsumtion<lb/><hi rendition="#c"><hi rendition="#i">F</hi>(<hi rendition="#i">x</hi>) &#x22F9; 0</hi><lb/>
ermittelt haben, dann auch in Gestalt von<lb/><hi rendition="#c"><hi rendition="#i">F</hi>(0) &#x22F9; 0</hi><lb/>
die Resultante des vorhergehenden (der Form nach etwas spezielleren)<lb/>
Eliminationsproblems gefunden sein wird.</p><lb/>
          <p>In dieser weiteren Fassung erscheint aber unser Eliminations-<lb/>
problem als die unmittelbare Umkehrung, Inversion eines reinen Auf-<lb/>
lösungsproblems, und erlangen wir durch sie den Vorteil, zu sehen,<lb/>
dass mit jedem reinen Auflösungsprobleme <hi rendition="#i">zugleich</hi> auch ein gewisses<lb/>
Eliminationsproblem seine Lösung findet, und vice versa.</p><lb/>
          <p>Bei jenem kam es darauf an, von der Gleichung <hi rendition="#i">F</hi>(<hi rendition="#i">x</hi>) = 0 zu<lb/></p>
        </div>
      </div>
    </body>
  </text>
</TEI>
[174/0188] Fünfte Vorlesung. Wir erhalten leicht die beiden Unterfälle des dortigen allgemeinen Satzes: 16) [FORMEL] 17) [FORMEL]. Soviel über das Auflösungsproblem im Allgemeinen. Das mit jedem solchen unweigerlich verbundene Eliminationspro- blem gipfelte in der Forderung aus jeder Gleichung 1) oder Subsumtion F(x) ⋹ 0 ein Relativ x zu eliminiren. Kann man irgendein, jedes gewünschte Relativ eliminiren, so vermag man auch deren mehrere in irgend welcher Folge und damit auch irgend ein System von Rela- tiven — dem Effekt nach simultan — zu eliminiren (so wenigstens gewiss bei endlich begrenzter Anzahl von Eliminanden). Ändern wir die Bezeichnungen ein wenig ab, so kommt es also darauf an: aus irgend einer Gleichung f(u) = 0 ein Relativ u eliminiren zu lernen. Zweckmässig mag es erscheinen, dies Problem in der blos formell etwas allgemeineren Fassung in Angriff zu nehmen, dass man sogleich die Resultante der Elimination eines u zu bilden fordert aus einer Gleichung von der Form f(u) = x. Denn wie sich einerseits die letztere ja leicht auf das Prädikat 0 bringen liesse, so ist andrerseits klar, dass sobald wir bei ihr (für ein irgendwie gegeben gedachtes x) die Resultante der Elimination von u in Gestalt einer Subsumtion F(x) ⋹ 0 ermittelt haben, dann auch in Gestalt von F(0) ⋹ 0 die Resultante des vorhergehenden (der Form nach etwas spezielleren) Eliminationsproblems gefunden sein wird. In dieser weiteren Fassung erscheint aber unser Eliminations- problem als die unmittelbare Umkehrung, Inversion eines reinen Auf- lösungsproblems, und erlangen wir durch sie den Vorteil, zu sehen, dass mit jedem reinen Auflösungsprobleme zugleich auch ein gewisses Eliminationsproblem seine Lösung findet, und vice versa. Bei jenem kam es darauf an, von der Gleichung F(x) = 0 zu

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/188
Zitationshilfe: Schröder, Ernst: Vorlesungen über die Algebra der Logik. Bd. 3, Abt. 1. Leipzig, 1895, S. 174. In: Deutsches Textarchiv <https://www.deutschestextarchiv.de/schroeder_logik03_1895/188>, abgerufen am 24.11.2024.