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 = ā̆u + ă[u(1' ɟ ū) + {0 ɟ (ū + 0' ; u)}1'] =
= (ā̆ + 1' ɟ ū)u + a1'{0 ɟ (ū + 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 ā
dabei irgendwie, wenn überhaupt, abgebildet werden.

Diese Forderung formulirt sich zu
71) Πh{(h⋹a) ⋹ (x ; h = h)}, = Πh[āh + {x(1' ɟ x̄)}h h]
gemäss π) des § 30, wofür jedoch auch
Πh{ā + xh h(h̆ ɟ x̄ ; h)} genommen werden kann. Beide letzten Π zerfallen
in Πh(ā + x)h h = 0 ɟ (ā + 1'x ; 1) und
Πh(ā + 1' ɟ x̄)h h = 0 ɟ {ā + 1'(1' ɟ x̄) ; 1} resp. Πh(āh + h̆ ɟ x̄ ; h) = 0 ɟ (1' + x̄) ɟ ā,
was nach einem allgemeinen, unschwer zu findenden Schema:
72) Πi(ĭ ; a + ĭ ɟ 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 ⋹ ā̆ ɟ 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 ⋹ ā̆ ɟ 1'(1' ɟ x̄) ; 1 oder a = 1'a ; 1 ⋹ 1'(1' ɟ x̄) ; 1, d. h. ebenso 1'a ⋹ 1' ɟ x̄,
1'ă ⋹ 1' ɟ x̄, 0' ; x ⋹ 0' + ā̆, x ⋹ 1' ɟ (0' + ā̆) = 1' ɟ 0' + ā̆ = 1' + ā̆,
resp. (kürzer): 1 ⋹ (1' + x̄) ɟ ā, 1 ; ă = ă ⋹ 1' + x̄, ăx ⋹ 1', was auf
dasselbe hinausläuft. Beidemal haben wir also insgesamt:
73) 1'ă ⋹ x ⋹ 1' + ā̆,
woraus sich nach den Regeln des identischen Kalkuls berechnet:
x = 1'ă + u(1' + ā̆) oder:
74) x = 1'ă + uā̆

<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 = ā̆u + ă[u(1' ɟ ū) + {0 ɟ (ū + 0' ; u)}1'] = = (ā̆ + 1' ɟ ū)u + a1'{0 ɟ (ū + 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 ā dabei irgendwie, wenn überhaupt, abgebildet werden. Diese Forderung formulirt sich zu 71) Πh{(h⋹a) ⋹ (x ; h = h)}, = Πh[āh + {x(1' ɟ x̄)}h h] gemäss π) des § 30, wofür jedoch auch Πh{ā + xh h(h̆ ɟ x̄ ; h)} genommen werden kann. Beide letzten Π zerfallen in Πh(ā + x)h h = 0 ɟ (ā + 1'x ; 1) und Πh(ā + 1' ɟ x̄)h h = 0 ɟ {ā + 1'(1' ɟ x̄) ; 1} resp. Πh(āh + h̆ ɟ x̄ ; h) = 0 ɟ (1' + x̄) ɟ ā, was nach einem allgemeinen, unschwer zu findenden Schema: 72) Πi(ĭ ; a + ĭ ɟ 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 ⋹ ā̆ ɟ 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 ⋹ ā̆ ɟ 1'(1' ɟ x̄) ; 1 oder a = 1'a ; 1 ⋹ 1'(1' ɟ x̄) ; 1, d. h. ebenso 1'a ⋹ 1' ɟ x̄, 1'ă ⋹ 1' ɟ x̄, 0' ; x ⋹ 0' + ā̆, x ⋹ 1' ɟ (0' + ā̆) = 1' ɟ 0' + ā̆ = 1' + ā̆, resp. (kürzer): 1 ⋹ (1' + x̄) ɟ ā, 1 ; ă = ă ⋹ 1' + x̄, ăx ⋹ 1', was auf dasselbe hinausläuft. Beidemal haben wir also insgesamt: 73) 1'ă ⋹ x ⋹ 1' + ā̆, woraus sich nach den Regeln des identischen Kalkuls berechnet: x = 1'ă + u(1' + ā̆) oder: 74) x = 1'ă + uā̆

Suche im Werk

Informationen zum Werk

Titeldaten
Verfügbarkeit Text (TEI-XML-, HTML-, TCF-, E-Book-Fassung): CC BY-SA 4.0.
Nutzungsbedingungen

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

Resource/URL übermitteln

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

Alle Inhalte dieser Seite unterstehen, soweit nicht anders gekennzeichnet, einer Creative-Commons-Lizenz. Die Rechte an den angezeigten Bilddigitalisaten, soweit nicht anders gekennzeichnet, liegen bei den besitzenden Bibliotheken. Weitere Informationen finden Sie in den DTA-Nutzungsbedingungen.

Insbesondere im Hinblick auf die §§ 86a StGB und 130 StGB wird festgestellt, dass die auf diesen Seiten abgebildeten Inhalte weder in irgendeiner Form propagandistischen Zwecken dienen, oder Werbung für verbotene Organisationen oder Vereinigungen darstellen, oder nationalsozialistische Verbrechen leugnen oder verharmlosen, noch zum Zwecke der Herabwürdigung der Menschenwürde gezeigt werden. Die auf diesen Seiten abgebildeten Inhalte (in Wort und Bild) dienen im Sinne des § 86 StGB Abs. 3 ausschließlich historischen, sozial- oder kulturwissenschaftlichen Forschungszwecken. Ihre Veröffentlichung erfolgt in der Absicht, Wissen zur Anregung der intellektuellen Selbstständigkeit und Verantwortungsbereitschaft des Staatsbürgers zu vermitteln und damit der Förderung seiner Mündigkeit zu dienen.

2007–2024 Deutsches Textarchiv, Berlin-Brandenburgische Akademie der Wissenschaften. Kontakt: redaktion(at)deutschestextarchiv.de.

Zitierempfehlung: Deutsches Textarchiv. Grundlage für ein Referenzkorpus der neuhochdeutschen Sprache. Herausgegeben von der Berlin-Brandenburgischen Akademie der Wissenschaften, Berlin 2024. URL: https://www.deutschestextarchiv.de/.