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

Zwölfte Vorlesung.
69) x = anu + a[u(1' j un) + {0 j (un + 0' ; u)}1'] =
= (an + 1' j un)u + a1'{0 j (un + 0' ; u)}
die allgemeine Wurzel der Bedingung
70) 1'a x ; (1' j xn) oder a 1 ; x · 1 ; (1' j xn) für a = a ; 1.

Den Fall b 1 zu verfolgen sei Forschern empfohlen. --

Wie den Begriff der "eindeutigen", so kann man auch den der
"identischen" Abbildung -- statt wie bisher als 1' "absolut" -- blos
"relativ" fassen, nämlich unter Bezugnahme auf ein bestimmtes System a
als des Substrates (Objektes sowol als Bildes) der Abbildung im Denk-
bereiche.

Das System b als etwaigen Rezipienten des Bildes von a kann man
dabei aus dem Spiele lassen; denn ist a nicht b, so ist die Aufgabe
unmöglich, und ist a b, so erledigt sich die Sache von selber sobald
wir a nur überhaupt (in den Denkbereich 1 hinein) identisch abbilden.

Ein Relativ x wird inbezug auf ein System a = a ; 1 (dessen)
identische Abbildung zu nennen sein, wenn -- nicht etwa nur im Ganzen
x ; a = a, sondern vielmehr wenn -- jedem Element h von a als das
x-Bild desselben h selbst entspricht -- mögen die Elemente von an
dabei irgendwie, wenn überhaupt, abgebildet werden.

Diese Forderung formulirt sich zu
71) Ph{(ha) (x ; h = h)}, = Ph[anh + {x(1' j xn)}h h]
gemäss p) des § 30, wofür jedoch auch
Ph{an + xh h(h j xn ; h)} genommen werden kann. Beide letzten P zerfallen
in Ph(an + x)h h = 0 j (an + 1'x ; 1) und
Ph(an + 1' j xn)h h = 0 j {an + 1'(1' j xn) ; 1} resp. Ph(anh + h j xn ; h) = 0 j (1' + xn) j an,
was nach einem allgemeinen, unschwer zu findenden Schema:
72) Pi(i ; a + i j b ; i) = 0 j (1' + b) j a
sich ergibt. Setzt man jeden Faktor nun also als Prädikat zum Sub-
jekte 1 an, so ergibt sich zum ersten: 1 an j 1'x ; 1, oder a ; 1 = a =
= 1'a ; 1 1'x ; 1, was nach 65) auf 1'a x hinausläuft; zum zweiten:
1 an j 1'(1' j xn) ; 1 oder a = 1'a ; 1 1'(1' j xn) ; 1, d. h. ebenso 1'a 1' j xn,
1'a 1' j xn, 0' ; x 0' + an, x 1' j (0' + an) = 1' j 0' + an = 1' + an,
resp. (kürzer): 1 (1' + xn) j an, 1 ; a = a 1' + xn, ax 1', was auf
dasselbe hinausläuft. Beidemal haben wir also insgesamt:
73) 1'a x 1' + an,
woraus sich nach den Regeln des identischen Kalkuls berechnet:
x = 1'a + u(1' + an) oder:
74) x = 1'a + uan

Zwölfte Vorlesung.
69) x = ā̆u + ă[u(1' ɟ ū) + {0 ɟ (ū + 0' ; u)}1'] =
= (ā̆ + 1' ɟ ū)u + a1'{0 ɟ (ū + 0' ; u)}
die allgemeine Wurzel der Bedingung
70) 1'a ⋹ x̆ ; (1' ɟ x̄) oder a ⋹ 1 ; x · 1 ; (1' ɟ x̄) für a = a ; 1.

Den Fall b ≠ 1 zu verfolgen sei Forschern empfohlen. —

Wie den Begriff der „eindeutigen“, so kann man auch den der
„identischen“ Abbildung — statt wie bisher als 1' „absolut“ — blos
„relativ“ fassen, nämlich unter Bezugnahme auf ein bestimmtes System a
als des Substrates (Objektes sowol als Bildes) der Abbildung im Denk-
bereiche.

Das System b als etwaigen Rezipienten des Bildes von a kann man
dabei aus dem Spiele lassen; denn ist a nicht ⋹ b, so ist die Aufgabe
unmöglich, und ist a ⋹ b, so erledigt sich die Sache von selber sobald
wir a nur überhaupt (in den Denkbereich 1 hinein) identisch abbilden.

Ein Relativ x wird inbezug auf ein System a = a ; 1 (dessen)
identische Abbildung zu nennen sein, wenn — nicht etwa nur im Ganzen
x ; a = a, sondern vielmehr wenn — jedem Element h von a als das
x-Bild desselben h selbst entspricht — mögen die Elemente von ā
dabei irgendwie, wenn überhaupt, abgebildet werden.

Diese Forderung formulirt sich zu
71) Πh{(h⋹a) ⋹ (x ; h = h)}, = Πh[āh + {x(1' ɟ x̄)}h h]
gemäss π) des § 30, wofür jedoch auch
Πh{ā + xh h(h̆ ɟ x̄ ; h)} genommen werden kann. Beide letzten Π zerfallen
in Πh(ā + x)h h = 0 ɟ (ā + 1'x ; 1) und
Πh(ā + 1' ɟ x̄)h h = 0 ɟ {ā + 1'(1' ɟ x̄) ; 1} resp. Πh(āh + h̆ ɟ x̄ ; h) = 0 ɟ (1' + x̄) ɟ ā,
was nach einem allgemeinen, unschwer zu findenden Schema:
72) Πi(ĭ ; a + ĭ ɟ b ; i) = 0 ɟ (1' + b) ɟ a
sich ergibt. Setzt man jeden Faktor nun also als Prädikat zum Sub-
jekte 1 an, so ergibt sich zum ersten: 1 ⋹ ā̆ ɟ 1'x ; 1, oder a ; 1 = a =
= 1'a ; 1 ⋹ 1'x ; 1, was nach 65) auf 1'a ⋹ x hinausläuft; zum zweiten:
1 ⋹ ā̆ ɟ 1'(1' ɟ x̄) ; 1 oder a = 1'a ; 1 ⋹ 1'(1' ɟ x̄) ; 1, d. h. ebenso 1'a ⋹ 1' ɟ x̄,
1'ă ⋹ 1' ɟ x̄, 0' ; x ⋹ 0' + ā̆, x ⋹ 1' ɟ (0' + ā̆) = 1' ɟ 0' + ā̆ = 1' + ā̆,
resp. (kürzer): 1 ⋹ (1' + x̄) ɟ ā, 1 ; ă = ă ⋹ 1' + x̄, ăx ⋹ 1', was auf
dasselbe hinausläuft. Beidemal haben wir also insgesamt:
73) 1'ă ⋹ x ⋹ 1' + ā̆,
woraus sich nach den Regeln des identischen Kalkuls berechnet:
x = 1'ă + u(1' + ā̆) oder:
74) x = 1'ă + uā̆

<TEI>
  <text>
    <body>
      <div n="1">
        <div n="2">
          <p><pb facs="#f0656" n="642"/><fw place="top" type="header">Zwölfte Vorlesung.</fw><lb/>
69) <hi rendition="#et"><hi rendition="#i">x</hi> = <hi rendition="#i">a&#x0304;&#x0306;u</hi> + <hi rendition="#i">a&#x0306;</hi>[<hi rendition="#i">u</hi>(1' &#x025F; <hi rendition="#i">u&#x0304;</hi>) + {0 &#x025F; (<hi rendition="#i">u&#x0304;</hi> + 0' ; <hi rendition="#i">u</hi>)}1'] =<lb/>
= (<hi rendition="#i">a&#x0304;&#x0306;</hi> + 1' &#x025F; <hi rendition="#i">u&#x0304;</hi>)<hi rendition="#i">u</hi> + <hi rendition="#i">a</hi>1'{0 &#x025F; (<hi rendition="#i">u&#x0304;</hi> + 0' ; <hi rendition="#i">u</hi>)}</hi><lb/>
die allgemeine Wurzel der Bedingung<lb/>
70) <hi rendition="#et">1'<hi rendition="#i">a</hi> &#x22F9; <hi rendition="#i">x&#x0306;</hi> ; (1' &#x025F; <hi rendition="#i">x&#x0304;</hi>) oder <hi rendition="#i">a</hi> &#x22F9; 1 ; <hi rendition="#i">x</hi> · 1 ; (1' &#x025F; <hi rendition="#i">x&#x0304;</hi>) für <hi rendition="#i">a</hi> = <hi rendition="#i">a</hi> ; 1.</hi></p><lb/>
          <p>Den Fall <hi rendition="#i">b</hi> &#x2260; 1 zu verfolgen sei Forschern empfohlen. &#x2014;</p><lb/>
          <p>Wie den Begriff der &#x201E;eindeutigen&#x201C;, so kann man auch den der<lb/>
&#x201E;<hi rendition="#i">identischen</hi>&#x201C; Abbildung &#x2014; statt wie bisher als 1' &#x201E;absolut&#x201C; &#x2014; blos<lb/>
&#x201E;relativ&#x201C; fassen, nämlich unter Bezugnahme auf ein bestimmtes System <hi rendition="#i">a</hi><lb/>
als des Substrates (Objektes sowol als Bildes) der Abbildung im Denk-<lb/>
bereiche.</p><lb/>
          <p>Das System <hi rendition="#i">b</hi> als etwaigen Rezipienten des Bildes von <hi rendition="#i">a</hi> kann man<lb/>
dabei aus dem Spiele lassen; denn ist <hi rendition="#i">a</hi> nicht &#x22F9; <hi rendition="#i">b</hi>, so ist die Aufgabe<lb/>
unmöglich, und ist <hi rendition="#i">a</hi> &#x22F9; <hi rendition="#i">b</hi>, so erledigt sich die Sache von selber sobald<lb/>
wir <hi rendition="#i">a</hi> nur überhaupt (in den Denkbereich 1 hinein) identisch abbilden.</p><lb/>
          <p>Ein Relativ <hi rendition="#i">x</hi> wird <hi rendition="#i">inbezug auf</hi> ein System <hi rendition="#i">a</hi> = <hi rendition="#i">a</hi> ; 1 (dessen)<lb/><hi rendition="#i">identische</hi> Abbildung zu nennen sein, wenn &#x2014; nicht etwa nur im Ganzen<lb/><hi rendition="#i">x</hi> ; <hi rendition="#i">a</hi> = <hi rendition="#i">a</hi>, sondern vielmehr wenn &#x2014; jedem Element <hi rendition="#i">h von a</hi> als das<lb/><hi rendition="#i">x</hi>-Bild desselben <hi rendition="#i">h</hi> selbst entspricht &#x2014; mögen die Elemente von <hi rendition="#i">a&#x0304;</hi><lb/>
dabei irgendwie, wenn überhaupt, abgebildet werden.</p><lb/>
          <p>Diese Forderung formulirt sich zu<lb/>
71) <hi rendition="#et"><hi rendition="#i">&#x03A0;<hi rendition="#sub">h</hi></hi>{(<hi rendition="#i">h</hi>&#x22F9;<hi rendition="#i">a</hi>) &#x22F9; (<hi rendition="#i">x</hi> ; <hi rendition="#i">h</hi> = <hi rendition="#i">h</hi>)}, = <hi rendition="#i">&#x03A0;<hi rendition="#sub">h</hi></hi>[<hi rendition="#i">a&#x0304;<hi rendition="#sub">h</hi></hi> + {<hi rendition="#i">x</hi>(1' &#x025F; <hi rendition="#i">x&#x0304;</hi>)}<hi rendition="#i"><hi rendition="#sub">h h</hi></hi>]</hi><lb/>
gemäss <hi rendition="#i">&#x03C0;</hi>) des § 30, wofür jedoch auch<lb/><hi rendition="#i">&#x03A0;<hi rendition="#sub">h</hi></hi>{<hi rendition="#i">a&#x0304;</hi> + <hi rendition="#i">x<hi rendition="#sub">h h</hi></hi>(<hi rendition="#i">h&#x0306;</hi> &#x025F; <hi rendition="#i">x&#x0304;</hi> ; <hi rendition="#i">h</hi>)} genommen werden kann. Beide letzten <hi rendition="#i">&#x03A0;</hi> zerfallen<lb/>
in <hi rendition="#i">&#x03A0;<hi rendition="#sub">h</hi></hi>(<hi rendition="#i">a&#x0304;</hi> + <hi rendition="#i">x</hi>)<hi rendition="#i"><hi rendition="#sub">h h</hi></hi> = 0 &#x025F; (<hi rendition="#i">a&#x0304;</hi> + 1'<hi rendition="#i">x</hi> ; 1) und<lb/><hi rendition="#i">&#x03A0;<hi rendition="#sub">h</hi></hi>(<hi rendition="#i">a&#x0304;</hi> + 1' &#x025F; <hi rendition="#i">x&#x0304;</hi>)<hi rendition="#i"><hi rendition="#sub">h h</hi></hi> = 0 &#x025F; {<hi rendition="#i">a&#x0304;</hi> + 1'(1' &#x025F; <hi rendition="#i">x&#x0304;</hi>) ; 1} resp. <hi rendition="#i">&#x03A0;<hi rendition="#sub">h</hi></hi>(<hi rendition="#i">a&#x0304;<hi rendition="#sub">h</hi></hi> + <hi rendition="#i">h&#x0306;</hi> &#x025F; <hi rendition="#i">x&#x0304;</hi> ; <hi rendition="#i">h</hi>) = 0 &#x025F; (1' + <hi rendition="#i">x&#x0304;</hi>) &#x025F; <hi rendition="#i">a&#x0304;</hi>,<lb/>
was nach einem allgemeinen, unschwer zu findenden Schema:<lb/>
72) <hi rendition="#et"><hi rendition="#i">&#x03A0;<hi rendition="#sub">i</hi></hi>(<hi rendition="#i">i&#x0306;</hi> ; <hi rendition="#i">a</hi> + <hi rendition="#i">i&#x0306;</hi> &#x025F; <hi rendition="#i">b</hi> ; <hi rendition="#i">i</hi>) = 0 &#x025F; (1' + <hi rendition="#i">b</hi>) &#x025F; <hi rendition="#i">a</hi></hi><lb/>
sich ergibt. Setzt man jeden Faktor nun also als Prädikat zum Sub-<lb/>
jekte 1 an, so ergibt sich zum ersten: 1 &#x22F9; <hi rendition="#i">a&#x0304;&#x0306;</hi> &#x025F; 1'<hi rendition="#i">x</hi> ; 1, oder <hi rendition="#i">a</hi> ; 1 = <hi rendition="#i">a</hi> =<lb/>
= 1'<hi rendition="#i">a</hi> ; 1 &#x22F9; 1'<hi rendition="#i">x</hi> ; 1, was nach 65) auf 1'<hi rendition="#i">a</hi> &#x22F9; <hi rendition="#i">x</hi> hinausläuft; zum zweiten:<lb/><hi rendition="#c">1 &#x22F9; <hi rendition="#i">a&#x0304;&#x0306;</hi> &#x025F; 1'(1' &#x025F; <hi rendition="#i">x&#x0304;</hi>) ; 1 oder <hi rendition="#i">a</hi> = 1'<hi rendition="#i">a</hi> ; 1 &#x22F9; 1'(1' &#x025F; <hi rendition="#i">x&#x0304;</hi>) ; 1, d. h. ebenso 1'<hi rendition="#i">a</hi> &#x22F9; 1' &#x025F; <hi rendition="#i">x&#x0304;</hi>,<lb/>
1'<hi rendition="#i">a&#x0306;</hi> &#x22F9; 1' &#x025F; <hi rendition="#i">x&#x0304;</hi>, 0' ; <hi rendition="#i">x</hi> &#x22F9; 0' + <hi rendition="#i">a&#x0304;&#x0306;</hi>, <hi rendition="#i">x</hi> &#x22F9; 1' &#x025F; (0' + <hi rendition="#i">a&#x0304;&#x0306;</hi>) = 1' &#x025F; 0' + <hi rendition="#i">a&#x0304;&#x0306;</hi> = 1' + <hi rendition="#i">a&#x0304;&#x0306;</hi>,</hi><lb/><hi rendition="#i">resp</hi>. (kürzer): 1 &#x22F9; (1' + <hi rendition="#i">x&#x0304;</hi>) &#x025F; <hi rendition="#i">a&#x0304;</hi>, 1 ; <hi rendition="#i">a&#x0306;</hi> = <hi rendition="#i">a&#x0306;</hi> &#x22F9; 1' + <hi rendition="#i">x&#x0304;</hi>, <hi rendition="#i">a&#x0306;x</hi> &#x22F9; 1', was auf<lb/>
dasselbe hinausläuft. Beidemal haben wir also insgesamt:<lb/>
73) <hi rendition="#et">1'<hi rendition="#i">a&#x0306;</hi> &#x22F9; <hi rendition="#i">x</hi> &#x22F9; 1' + <hi rendition="#i">a&#x0304;&#x0306;</hi>,</hi><lb/>
woraus sich nach den Regeln des identischen Kalkuls berechnet:<lb/><hi rendition="#c"><hi rendition="#i">x</hi> = 1'<hi rendition="#i">a&#x0306;</hi> + <hi rendition="#i">u</hi>(1' + <hi rendition="#i">a&#x0304;&#x0306;</hi>) oder:</hi><lb/>
74) <hi rendition="#et"><hi rendition="#i">x</hi> = 1'<hi rendition="#i">a&#x0306;</hi> + <hi rendition="#i">ua&#x0304;&#x0306;</hi></hi><lb/></p>
        </div>
      </div>
    </body>
  </text>
</TEI>
[642/0656] Zwölfte Vorlesung. 69) x = ā̆u + ă[u(1' ɟ ū) + {0 ɟ (ū + 0' ; u)}1'] = = (ā̆ + 1' ɟ ū)u + a1'{0 ɟ (ū + 0' ; u)} die allgemeine Wurzel der Bedingung 70) 1'a ⋹ x̆ ; (1' ɟ x̄) oder a ⋹ 1 ; x · 1 ; (1' ɟ x̄) für a = a ; 1. Den Fall b ≠ 1 zu verfolgen sei Forschern empfohlen. — Wie den Begriff der „eindeutigen“, so kann man auch den der „identischen“ Abbildung — statt wie bisher als 1' „absolut“ — blos „relativ“ fassen, nämlich unter Bezugnahme auf ein bestimmtes System a als des Substrates (Objektes sowol als Bildes) der Abbildung im Denk- bereiche. Das System b als etwaigen Rezipienten des Bildes von a kann man dabei aus dem Spiele lassen; denn ist a nicht ⋹ b, so ist die Aufgabe unmöglich, und ist a ⋹ b, so erledigt sich die Sache von selber sobald wir a nur überhaupt (in den Denkbereich 1 hinein) identisch abbilden. Ein Relativ x wird inbezug auf ein System a = a ; 1 (dessen) identische Abbildung zu nennen sein, wenn — nicht etwa nur im Ganzen x ; a = a, sondern vielmehr wenn — jedem Element h von a als das x-Bild desselben h selbst entspricht — mögen die Elemente von ā dabei irgendwie, wenn überhaupt, abgebildet werden. Diese Forderung formulirt sich zu 71) Πh{(h⋹a) ⋹ (x ; h = h)}, = Πh[āh + {x(1' ɟ x̄)}h h] gemäss π) des § 30, wofür jedoch auch Πh{ā + xh h(h̆ ɟ x̄ ; h)} genommen werden kann. Beide letzten Π zerfallen in Πh(ā + x)h h = 0 ɟ (ā + 1'x ; 1) und Πh(ā + 1' ɟ x̄)h h = 0 ɟ {ā + 1'(1' ɟ x̄) ; 1} resp. Πh(āh + h̆ ɟ x̄ ; h) = 0 ɟ (1' + x̄) ɟ ā, was nach einem allgemeinen, unschwer zu findenden Schema: 72) Πi(ĭ ; a + ĭ ɟ b ; i) = 0 ɟ (1' + b) ɟ a sich ergibt. Setzt man jeden Faktor nun also als Prädikat zum Sub- jekte 1 an, so ergibt sich zum ersten: 1 ⋹ ā̆ ɟ 1'x ; 1, oder a ; 1 = a = = 1'a ; 1 ⋹ 1'x ; 1, was nach 65) auf 1'a ⋹ x hinausläuft; zum zweiten: 1 ⋹ ā̆ ɟ 1'(1' ɟ x̄) ; 1 oder a = 1'a ; 1 ⋹ 1'(1' ɟ x̄) ; 1, d. h. ebenso 1'a ⋹ 1' ɟ x̄, 1'ă ⋹ 1' ɟ x̄, 0' ; x ⋹ 0' + ā̆, x ⋹ 1' ɟ (0' + ā̆) = 1' ɟ 0' + ā̆ = 1' + ā̆, resp. (kürzer): 1 ⋹ (1' + x̄) ɟ ā, 1 ; ă = ă ⋹ 1' + x̄, ăx ⋹ 1', was auf dasselbe hinausläuft. Beidemal haben wir also insgesamt: 73) 1'ă ⋹ x ⋹ 1' + ā̆, woraus sich nach den Regeln des identischen Kalkuls berechnet: x = 1'ă + u(1' + ā̆) oder: 74) x = 1'ă + uā̆

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