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 >>

Dreiundzwanzigste Vorlesung.
mindestens jenes aus dem ersten Faktor in den zweiten eingefügte
Individuum als ein beiden Faktoren gemeinsames Element enthalten
muss, von jenen ersten Faktoren aber mindestens einer nicht inhalts-
leer war. q. e. d. --

Erst wenn bei jenem Versuche, eine die Forderung S erfüllende
Klasse u zu konstruiren, im Herausgreifen von Individuen aus den
Klassen 140) resp. 150) bei einer solchen Individuenmangel einträte,
und daraus die Nötigung erwüchse, z. B. in der zweiten Zeile als Bei-
steuer der betreffenden Klasse zu u1 auf ein Individuum zu reflektiren,
welches als ein auch Klassen der ersten Zeile angehöriges dortselbst
schon wegen drohenden Individuenmangels zu u hatte geschlagen
werden müssen -- erst dann könnte der Nachweis, ja die Existenz
einer S erfüllenden Klasse u zur Unmöglichkeit werden. Und Auf-
gabe der Klausel ist es eben, diese Fälle der Nichtexistenz eines S
erfüllenden x resp. u ohne Nennung von x oder u zu charakterisiren
und auszuschliessen.

Um dies Ziel zu verfolgen, wollen wir uns die Aussagen P und S
zunächst noch etwas vereinfachen. Bemerkend, dass wegen 120) auch:
pk b1 = pk a b1 und qk a1 = qk b a1
sein muss, wollen wir die Abkürzungen einführen, zu nennen:
160) pk a = rk, qk b = sk für k = 1, 2, ... n.

Dann lautet die zu erledigende Frage: ob oder wann es unter
der Voraussetzung P, das ist
170) (a + b = 1) [Formel 1] (rk + sk 0)
ein Gebiet, eine Klasse u geben wird, welche erfüllt die Forderung S,
das heisst die Forderung:
180) [Formel 2] (rk b1 + sk a1 + rk u + sk u1 0).

Führen wir auch noch für die nachfolgend in Klammer gesetzten
Aussagen zur Abkürzung die beigesetzten Namen ein:
190) (rk b1 + sk a1 0) = Ck, (rk u + sk u1 0) = Dk,
so lautet unsre Forderung:

Dreiundzwanzigste Vorlesung.
mindestens jenes aus dem ersten Faktor in den zweiten eingefügte
Individuum als ein beiden Faktoren gemeinsames Element enthalten
muss, von jenen ersten Faktoren aber mindestens einer nicht inhalts-
leer war. q. e. d. —

Erst wenn bei jenem Versuche, eine die Forderung S erfüllende
Klasse u zu konstruiren, im Herausgreifen von Individuen aus den
Klassen 140) resp. 150) bei einer solchen Individuenmangel einträte,
und daraus die Nötigung erwüchse, z. B. in der zweiten Zeile als Bei-
steuer der betreffenden Klasse zu u1 auf ein Individuum zu reflektiren,
welches als ein auch Klassen der ersten Zeile angehöriges dortselbst
schon wegen drohenden Individuenmangels zu u hatte geschlagen
werden müssen — erst dann könnte der Nachweis, ja die Existenz
einer S erfüllenden Klasse u zur Unmöglichkeit werden. Und Auf-
gabe der Klausel ist es eben, diese Fälle der Nichtexistenz eines S
erfüllenden x resp. u ohne Nennung von x oder u zu charakterisiren
und auszuschliessen.

Um dies Ziel zu verfolgen, wollen wir uns die Aussagen P und S
zunächst noch etwas vereinfachen. Bemerkend, dass wegen 120) auch:
pϰ b1 = pϰ a b1 und qϰ a1 = qϰ b a1
sein muss, wollen wir die Abkürzungen einführen, zu nennen:
160) pϰ a = rϰ, qϰ b = sϰ für ϰ = 1, 2, … n.

Dann lautet die zu erledigende Frage: ob oder wann es unter
der Voraussetzung P, das ist
170) (a + b = 1) [Formel 1] (rϰ + sϰ ≠ 0)
ein Gebiet, eine Klasse u geben wird, welche erfüllt die Forderung S,
das heisst die Forderung:
180) [Formel 2] (rϰ b1 + sϰ a1 + rϰ u + sϰ u1 ≠ 0).

Führen wir auch noch für die nachfolgend in Klammer gesetzten
Aussagen zur Abkürzung die beigesetzten Namen ein:
190) (rϰ b1 + sϰ a1 ≠ 0) = Cϰ, (rϰ u + sϰ u1 ≠ 0) = Dϰ,
so lautet unsre Forderung:

<TEI>
  <text>
    <body>
      <div n="1">
        <div n="2">
          <div n="3">
            <p><pb facs="#f0408" n="384"/><fw place="top" type="header">Dreiundzwanzigste Vorlesung.</fw><lb/>
mindestens jenes aus dem ersten Faktor in den zweiten eingefügte<lb/>
Individuum als ein beiden Faktoren gemeinsames Element enthalten<lb/>
muss, von jenen ersten Faktoren aber mindestens einer nicht inhalts-<lb/>
leer war. q. e. d. &#x2014;</p><lb/>
            <p>Erst wenn bei jenem Versuche, eine die Forderung <hi rendition="#i">S</hi> erfüllende<lb/>
Klasse <hi rendition="#i">u</hi> zu konstruiren, im Herausgreifen von Individuen aus den<lb/>
Klassen 14<hi rendition="#sup">0</hi>) resp. 15<hi rendition="#sup">0</hi>) bei einer solchen <hi rendition="#i">Individuenmangel</hi> einträte,<lb/>
und daraus die Nötigung erwüchse, z. B. in der zweiten Zeile als Bei-<lb/>
steuer der betreffenden Klasse zu <hi rendition="#i">u</hi><hi rendition="#sub">1</hi> auf ein Individuum zu reflektiren,<lb/>
welches als ein auch Klassen der ersten Zeile angehöriges dortselbst<lb/>
schon wegen drohenden Individuenmangels zu <hi rendition="#i">u</hi> hatte geschlagen<lb/>
werden müssen &#x2014; erst dann könnte der Nachweis, ja die Existenz<lb/>
einer <hi rendition="#i">S</hi> erfüllenden Klasse <hi rendition="#i">u</hi> zur Unmöglichkeit werden. Und Auf-<lb/>
gabe der Klausel ist es eben, diese Fälle der Nichtexistenz eines <hi rendition="#i">S</hi><lb/>
erfüllenden <hi rendition="#i">x</hi> resp. <hi rendition="#i">u</hi> ohne Nennung von <hi rendition="#i">x</hi> oder <hi rendition="#i">u</hi> zu charakterisiren<lb/>
und auszuschliessen.</p><lb/>
            <p>Um dies Ziel zu verfolgen, wollen wir uns die Aussagen <hi rendition="#i">P</hi> und <hi rendition="#i">S</hi><lb/>
zunächst noch etwas vereinfachen. Bemerkend, dass wegen 12<hi rendition="#sup">0</hi>) auch:<lb/><hi rendition="#c"><hi rendition="#i">p<hi rendition="#sup">&#x03F0;</hi> b</hi><hi rendition="#sub">1</hi> = <hi rendition="#i">p<hi rendition="#sup">&#x03F0;</hi> a b</hi><hi rendition="#sub">1</hi> und <hi rendition="#i">q<hi rendition="#sup">&#x03F0;</hi> a</hi><hi rendition="#sub">1</hi> = <hi rendition="#i">q<hi rendition="#sup">&#x03F0;</hi> b a</hi><hi rendition="#sub">1</hi></hi><lb/>
sein muss, wollen wir die Abkürzungen einführen, zu nennen:<lb/>
16<hi rendition="#sup">0</hi>) <hi rendition="#et"><hi rendition="#i">p<hi rendition="#sup">&#x03F0;</hi> a</hi> = <hi rendition="#i">r<hi rendition="#sup">&#x03F0;</hi></hi>, <hi rendition="#i">q<hi rendition="#sup">&#x03F0;</hi> b</hi> = <hi rendition="#i">s<hi rendition="#sup">&#x03F0;</hi></hi> für <hi rendition="#i">&#x03F0;</hi> = 1, 2, &#x2026; <hi rendition="#i">n</hi>.</hi></p><lb/>
            <p>Dann lautet die zu erledigende Frage: ob oder wann es unter<lb/>
der Voraussetzung <hi rendition="#i">P</hi>, das ist<lb/>
17<hi rendition="#sup">0</hi>) <hi rendition="#et">(<hi rendition="#i">a</hi> + <hi rendition="#i">b</hi> = 1) <formula/> (<hi rendition="#i">r<hi rendition="#sup">&#x03F0;</hi></hi> + <hi rendition="#i">s<hi rendition="#sup">&#x03F0;</hi></hi> &#x2260; 0)</hi><lb/>
ein Gebiet, eine Klasse <hi rendition="#i">u</hi> geben wird, welche erfüllt die Forderung <hi rendition="#i">S</hi>,<lb/>
das heisst die Forderung:<lb/>
18<hi rendition="#sup">0</hi>) <hi rendition="#et"><formula/> (<hi rendition="#i">r<hi rendition="#sup">&#x03F0;</hi> b</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">s<hi rendition="#sup">&#x03F0;</hi> a</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">r<hi rendition="#sup">&#x03F0;</hi> u</hi> + <hi rendition="#i">s<hi rendition="#sup">&#x03F0;</hi> u</hi><hi rendition="#sub">1</hi> &#x2260; 0).</hi></p><lb/>
            <p>Führen wir auch noch für die nachfolgend in Klammer gesetzten<lb/>
Aussagen zur Abkürzung die beigesetzten Namen ein:<lb/>
19<hi rendition="#sup">0</hi>) <hi rendition="#et">(<hi rendition="#i">r<hi rendition="#sup">&#x03F0;</hi> b</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">s<hi rendition="#sup">&#x03F0;</hi> a</hi><hi rendition="#sub">1</hi> &#x2260; 0) = <hi rendition="#i">C<hi rendition="#sup">&#x03F0;</hi></hi>, (<hi rendition="#i">r<hi rendition="#sup">&#x03F0;</hi> u</hi> + <hi rendition="#i">s<hi rendition="#sup">&#x03F0;</hi> u</hi><hi rendition="#sub">1</hi> &#x2260; 0) = <hi rendition="#i">D<hi rendition="#sup">&#x03F0;</hi></hi>,</hi><lb/>
so lautet unsre Forderung:<lb/></p>
          </div>
        </div>
      </div>
    </body>
  </text>
</TEI>
[384/0408] Dreiundzwanzigste Vorlesung. mindestens jenes aus dem ersten Faktor in den zweiten eingefügte Individuum als ein beiden Faktoren gemeinsames Element enthalten muss, von jenen ersten Faktoren aber mindestens einer nicht inhalts- leer war. q. e. d. — Erst wenn bei jenem Versuche, eine die Forderung S erfüllende Klasse u zu konstruiren, im Herausgreifen von Individuen aus den Klassen 140) resp. 150) bei einer solchen Individuenmangel einträte, und daraus die Nötigung erwüchse, z. B. in der zweiten Zeile als Bei- steuer der betreffenden Klasse zu u1 auf ein Individuum zu reflektiren, welches als ein auch Klassen der ersten Zeile angehöriges dortselbst schon wegen drohenden Individuenmangels zu u hatte geschlagen werden müssen — erst dann könnte der Nachweis, ja die Existenz einer S erfüllenden Klasse u zur Unmöglichkeit werden. Und Auf- gabe der Klausel ist es eben, diese Fälle der Nichtexistenz eines S erfüllenden x resp. u ohne Nennung von x oder u zu charakterisiren und auszuschliessen. Um dies Ziel zu verfolgen, wollen wir uns die Aussagen P und S zunächst noch etwas vereinfachen. Bemerkend, dass wegen 120) auch: pϰ b1 = pϰ a b1 und qϰ a1 = qϰ b a1 sein muss, wollen wir die Abkürzungen einführen, zu nennen: 160) pϰ a = rϰ, qϰ b = sϰ für ϰ = 1, 2, … n. Dann lautet die zu erledigende Frage: ob oder wann es unter der Voraussetzung P, das ist 170) (a + b = 1) [FORMEL] (rϰ + sϰ ≠ 0) ein Gebiet, eine Klasse u geben wird, welche erfüllt die Forderung S, das heisst die Forderung: 180) [FORMEL] (rϰ b1 + sϰ a1 + rϰ u + sϰ u1 ≠ 0). Führen wir auch noch für die nachfolgend in Klammer gesetzten Aussagen zur Abkürzung die beigesetzten Namen ein: 190) (rϰ b1 + sϰ a1 ≠ 0) = Cϰ, (rϰ u + sϰ u1 ≠ 0) = Dϰ, so lautet unsre Forderung:

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/408
Zitationshilfe: Schröder, Ernst: Vorlesungen über die Algebra der Logik. Bd. 2, Abt. 1. Leipzig, 1891, S. 384. In: Deutsches Textarchiv <https://www.deutschestextarchiv.de/schroeder_logik0201_1891/408>, abgerufen am 02.05.2024.