Anmelden (DTAQ) DWDS     dlexDB     CLARIN-D

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

Bild:
<< vorherige Seite
§ 18. Die zweiten Inversionsprobleme.
§ 18. Die 4 zweiten Inversionsprobleme nebst zugehörigen
Theoremen.

Diese Probleme fordern die vollständige Auflösung nach x der
Subsumtionen:
1) [Formel 1]
-- eine jede einzeln genommen.

Eine jede von diesen Subsumtionen involvirt zunächst eine Rela-
tion
zwischen a und b, ansonst sie unmöglich bestehen kann. Diese
Relation lautet bezüglich:
2) [Formel 2]
und kann als die Resultante der Elimination des x, sowie auch als die
Valenzbedingung für x bezeichnet werden, sintemal es nur, soferne sie
von a und b erfüllt ist, ein x geben kann, welches die Subsumtion 1)
befriedigt, dann aber auch immer solche x geben wird, die ihr genügen.

Begründung. Die Resultante lässt sich am raschesten gewinnen,
indem man an der selbstverständlichen Subsumtion

x 10 x
beiderseits mit b relativ (nach- resp. vor-) multiplizirt, beziehungsweise
addirt, z. B. für die erste Aufgabe schliesst: x ; b 1 ; b, woraus in Ver-
bindung mit der Prämisse 1) a fortiori die angegebne Resultante 2) folgt.
Auf diese Weise erhellt sogleich die Unerlässlichkeit der Resultante.

Dass sie aber auch hinreichende Bedingung für die Erfüllbarkeit der
Forderung 1) oder Existenz eines dieser genügenden x ist, geht daraus
hervor, dass, sobald sie erfüllt ist, sich sofort

x = 1x = 0
als eine zulässige (Partikular-)Lösung darbietet und zwar als die
Maximal-Minimal-
Lösung des Problemes.

Da die Resultante äquivalent ist mit
3) [Formel 3]
so brauchen wir uns nur mehr mit der Auflösung nach x der Sub-
sumtion zu beschäftigen:
4) [Formel 4]

§ 18. Die zweiten Inversionsprobleme.
§ 18. Die 4 zweiten Inversionsprobleme nebst zugehörigen
Theoremen.

Diese Probleme fordern die vollständige Auflösung nach x der
Subsumtionen:
1) [Formel 1]
— eine jede einzeln genommen.

Eine jede von diesen Subsumtionen involvirt zunächst eine Rela-
tion
zwischen a und b, ansonst sie unmöglich bestehen kann. Diese
Relation lautet bezüglich:
2) [Formel 2]
und kann als die Resultante der Elimination des x, sowie auch als die
Valenzbedingung für x bezeichnet werden, sintemal es nur, soferne sie
von a und b erfüllt ist, ein x geben kann, welches die Subsumtion 1)
befriedigt, dann aber auch immer solche x geben wird, die ihr genügen.

Begründung. Die Resultante lässt sich am raschesten gewinnen,
indem man an der selbstverständlichen Subsumtion

x⋹ 10 ⋹ x
beiderseits mit b relativ (nach- resp. vor-) multiplizirt, beziehungsweise
addirt, z. B. für die erste Aufgabe schliesst: x ; b ⋹ 1 ; b, woraus in Ver-
bindung mit der Prämisse 1) a fortiori die angegebne Resultante 2) folgt.
Auf diese Weise erhellt sogleich die Unerlässlichkeit der Resultante.

Dass sie aber auch hinreichende Bedingung für die Erfüllbarkeit der
Forderung 1) oder Existenz eines dieser genügenden x ist, geht daraus
hervor, dass, sobald sie erfüllt ist, sich sofort

x = 1x = 0
als eine zulässige (Partikular-)Lösung darbietet und zwar als die
Maximal-Minimal-
Lösung des Problemes.

Da die Resultante äquivalent ist mit
3) [Formel 3]
so brauchen wir uns nur mehr mit der Auflösung nach x der Sub-
sumtion zu beschäftigen:
4) [Formel 4]

<TEI>
  <text>
    <body>
      <div n="1">
        <pb facs="#f0261" n="247"/>
        <fw place="top" type="header">§ 18. Die zweiten Inversionsprobleme.</fw><lb/>
        <div n="2">
          <head>§ 18. <hi rendition="#b">Die 4 zweiten Inversionsprobleme nebst zugehörigen<lb/>
Theoremen.</hi></head><lb/>
          <p>Diese Probleme fordern die vollständige Auflösung nach <hi rendition="#i">x</hi> der<lb/>
Subsumtionen:<lb/>
1) <formula/><lb/>
&#x2014; eine jede einzeln genommen.</p><lb/>
          <p>Eine jede von diesen Subsumtionen involvirt zunächst eine <hi rendition="#i">Rela-<lb/>
tion</hi> zwischen <hi rendition="#i">a</hi> und <hi rendition="#i">b</hi>, ansonst sie unmöglich bestehen kann. Diese<lb/>
Relation lautet bezüglich:<lb/>
2) <formula/><lb/>
und kann als die <hi rendition="#i">Resultante der Elimination</hi> des <hi rendition="#i">x</hi>, sowie auch als die<lb/><hi rendition="#i">Valenzbedingung für x</hi> bezeichnet werden, sintemal es nur, soferne sie<lb/>
von <hi rendition="#i">a</hi> und <hi rendition="#i">b</hi> erfüllt ist, ein <hi rendition="#i">x</hi> geben kann, welches die Subsumtion 1)<lb/>
befriedigt, dann aber auch immer solche <hi rendition="#i">x</hi> geben wird, die ihr genügen.</p><lb/>
          <p><hi rendition="#g">Begründung</hi>. Die Resultante lässt sich am raschesten gewinnen,<lb/>
indem man an der selbstverständlichen Subsumtion<lb/><table><row><cell><hi rendition="#i">x</hi>&#x22F9; 1</cell><cell>0 &#x22F9; <hi rendition="#i">x</hi></cell></row><lb/></table> beiderseits mit <hi rendition="#i">b</hi> relativ (nach- resp. vor-) multiplizirt, beziehungsweise<lb/>
addirt, z. B. für die erste Aufgabe schliesst: <hi rendition="#i">x</hi> ; <hi rendition="#i">b</hi> &#x22F9; 1 ; <hi rendition="#i">b</hi>, woraus in Ver-<lb/>
bindung mit der Prämisse 1) a fortiori die angegebne Resultante 2) folgt.<lb/>
Auf diese Weise erhellt sogleich die Unerlässlichkeit der Resultante.</p><lb/>
          <p>Dass sie aber auch hinreichende Bedingung für die Erfüllbarkeit der<lb/>
Forderung 1) oder Existenz eines dieser genügenden <hi rendition="#i">x</hi> ist, geht daraus<lb/>
hervor, dass, sobald sie erfüllt ist, sich sofort<lb/><table><row><cell><hi rendition="#i">x</hi> = 1</cell><cell><hi rendition="#i">x</hi> = 0</cell></row><lb/></table> als eine zulässige (Partikular-)Lösung darbietet und zwar als die<lb/><table><row><cell>Maximal-</cell><cell>Minimal-</cell></row><lb/></table>     Lösung des Problemes.</p><lb/>
          <p>Da die Resultante äquivalent ist mit<lb/>
3) <formula/><lb/>
so brauchen wir uns nur mehr mit der Auflösung nach <hi rendition="#i">x</hi> der Sub-<lb/>
sumtion zu beschäftigen:<lb/>
4) <formula/><lb/></p>
        </div>
      </div>
    </body>
  </text>
</TEI>
[247/0261] § 18. Die zweiten Inversionsprobleme. § 18. Die 4 zweiten Inversionsprobleme nebst zugehörigen Theoremen. Diese Probleme fordern die vollständige Auflösung nach x der Subsumtionen: 1) [FORMEL] — eine jede einzeln genommen. Eine jede von diesen Subsumtionen involvirt zunächst eine Rela- tion zwischen a und b, ansonst sie unmöglich bestehen kann. Diese Relation lautet bezüglich: 2) [FORMEL] und kann als die Resultante der Elimination des x, sowie auch als die Valenzbedingung für x bezeichnet werden, sintemal es nur, soferne sie von a und b erfüllt ist, ein x geben kann, welches die Subsumtion 1) befriedigt, dann aber auch immer solche x geben wird, die ihr genügen. Begründung. Die Resultante lässt sich am raschesten gewinnen, indem man an der selbstverständlichen Subsumtion x⋹ 1 0 ⋹ x beiderseits mit b relativ (nach- resp. vor-) multiplizirt, beziehungsweise addirt, z. B. für die erste Aufgabe schliesst: x ; b ⋹ 1 ; b, woraus in Ver- bindung mit der Prämisse 1) a fortiori die angegebne Resultante 2) folgt. Auf diese Weise erhellt sogleich die Unerlässlichkeit der Resultante. Dass sie aber auch hinreichende Bedingung für die Erfüllbarkeit der Forderung 1) oder Existenz eines dieser genügenden x ist, geht daraus hervor, dass, sobald sie erfüllt ist, sich sofort x = 1 x = 0 als eine zulässige (Partikular-)Lösung darbietet und zwar als die Maximal- Minimal- Lösung des Problemes. Da die Resultante äquivalent ist mit 3) [FORMEL] so brauchen wir uns nur mehr mit der Auflösung nach x der Sub- sumtion zu beschäftigen: 4) [FORMEL]

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_logik03_1895
URL zu dieser Seite: https://www.deutschestextarchiv.de/schroeder_logik03_1895/261
Zitationshilfe: Schröder, Ernst: Vorlesungen über die Algebra der Logik. Bd. 3, Abt. 1. Leipzig, 1895, S. 247. In: Deutsches Textarchiv <https://www.deutschestextarchiv.de/schroeder_logik03_1895/261>, abgerufen am 28.03.2024.