Anmelden (DTAQ) DWDS     dlexDB     CLARIN-D

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

Bild:
<< vorherige Seite
Siebzehnte Vorlesung.

Wir müssen uns demnächst auch auf die Aussagen A = 0 sowie
B = 0 berufen, weshalb wir auch diese mit Symbolen zu bezeichnen
haben, und zwar bedeute:
[30] h = {A = 0}, h' = {B = 0} = k.

Alsdann gelten folgende Hülfssätze, deren wir gelegentlich bedürfen.

Erstens. Ist A = 0, so gilt nach Def. (2x) auch A B, d. h.
es ist:
h c;
von dieser Subsumtion aber sind nach Th. 43), Anm. 2 (Bd. 1, S. 400)
folgende Umschreibungen zulässig:
c1 h1, h = h c, c = h + c, h1 = h1 + c1, c1 = h1 c1, h c1 = 0, h1 + c = i.
Um darauf Bezug zu nehmen wollen wir von diesen allen nur die-
jenigen hervorheben, welche kein + Zeichen enthalten, -- und analog
verfahren wir auch künftig in ähnlichen Fällen -- demgemäss notiren
wir als ersten Hülfssatz:
10) h c, c1 h1, h = h c, c1 = h1 c1, h c1 = 0.
Vertauscht man hierin in Gedanken A und B, so erhält man dazu
noch ebenso:
10)' k b, b1 k1, k = k b, b1 = k1 b1, k b1 = 0.

Zweitens. Ist A B und B = 0, so folgt nach Th. 5x) auch
A = 0, d. h. es ist:
20) c k h, woraus: c h1 k = 0, c h k = c k, c h1 k1 = c h1, c1 h1 k = h1 k.
Analog gilt desgleichen:
20)' b h k, b h k1 = 0, b h k = b h, b h1 k1 = b k1, b1 h k1 = h k1.

Drittens. Ist A = B und A = 0, so folgt nach Th. 4) auch
B = 0, d. h. es ist d h k und analog d k h. Endlich aus A = 0
und B = 0 folgt in gleicher Weise A = B, d. h. es ist auch h k d.
Somit ist zu notiren:
30) d h k, d h k1 = 0, d h k = d h, d h1 k1 = d k1 d1 h k1 = h k1,
30)' d k h, d h1 k = 0, d h k = d k, d h1 k1 = d h1, d1 h1 k = h1 k,
30)'' h k d, d1 h k = 0, d h k = h k, d1 h k1 = d1 h, d1 h1 k = d1 k,
oder, wenn wir einen Teil dieser Resultate zusammenfassen:
30)''' h k = d h = d k = d h k, d h1 = d k1 = d h1 k1. --

Siebzehnte Vorlesung.

Wir müssen uns demnächst auch auf die Aussagen A = 0 sowie
B = 0 berufen, weshalb wir auch diese mit Symbolen zu bezeichnen
haben, und zwar bedeute:
[30] h = {A = 0}, h' = {B = 0} = k.

Alsdann gelten folgende Hülfssätze, deren wir gelegentlich bedürfen.

Erstens. Ist A = 0, so gilt nach Def. (2×) auch A B, d. h.
es ist:
h c;
von dieser Subsumtion aber sind nach Th. 43), Anm. 2 (Bd. 1, S. 400)
folgende Umschreibungen zulässig:
c1 h1, h = h c, c = h + c, h1 = h1 + c1, c1 = h1 c1, h c1 = 0, h1 + c = i.
Um darauf Bezug zu nehmen wollen wir von diesen allen nur die-
jenigen hervorheben, welche kein + Zeichen enthalten, — und analog
verfahren wir auch künftig in ähnlichen Fällen — demgemäss notiren
wir als ersten Hülfssatz:
10) h c, c1 h1, h = h c, c1 = h1 c1, h c1 = 0.
Vertauscht man hierin in Gedanken A und B, so erhält man dazu
noch ebenso:
10)' k b, b1 k1, k = k b, b1 = k1 b1, k b1 = 0.

Zweitens. Ist A B und B = 0, so folgt nach Th. 5×) auch
A = 0, d. h. es ist:
20) c k h, woraus: c h1 k = 0, c h k = c k, c h1 k1 = c h1, c1 h1 k = h1 k.
Analog gilt desgleichen:
20)' b h k, b h k1 = 0, b h k = b h, b h1 k1 = b k1, b1 h k1 = h k1.

Drittens. Ist A = B und A = 0, so folgt nach Th. 4) auch
B = 0, d. h. es ist d h k und analog d k h. Endlich aus A = 0
und B = 0 folgt in gleicher Weise A = B, d. h. es ist auch h k d.
Somit ist zu notiren:
30) d h k, d h k1 = 0, d h k = d h, d h1 k1 = d k1 d1 h k1 = h k1,
30)' d k h, d h1 k = 0, d h k = d k, d h1 k1 = d h1, d1 h1 k = h1 k,
30)'' h k d, d1 h k = 0, d h k = h k, d1 h k1 = d1 h, d1 h1 k = d1 k,
oder, wenn wir einen Teil dieser Resultate zusammenfassen:
30)''' h k = d h = d k = d h k, d h1 = d k1 = d h1 k1. —

<TEI>
  <text>
    <body>
      <div n="1">
        <div n="2">
          <div n="3">
            <pb facs="#f0132" n="108"/>
            <fw place="top" type="header">Siebzehnte Vorlesung.</fw><lb/>
            <p>Wir müssen uns demnächst auch auf die Aussagen <hi rendition="#i">A</hi> = 0 sowie<lb/><hi rendition="#i">B</hi> = 0 berufen, weshalb wir auch diese mit Symbolen zu bezeichnen<lb/>
haben, und zwar bedeute:<lb/>
[3<hi rendition="#sup">0</hi>] <hi rendition="#et"><hi rendition="#i">h</hi> = {<hi rendition="#i">A</hi> = 0}, <hi rendition="#i">h</hi>' = {<hi rendition="#i">B</hi> = 0} = <hi rendition="#i">k</hi>.</hi></p><lb/>
            <p>Alsdann gelten folgende Hülfssätze, deren wir gelegentlich bedürfen.</p><lb/>
            <p><hi rendition="#g">Erstens</hi>. Ist <hi rendition="#i">A</hi> = 0, so gilt nach Def. (2<hi rendition="#sub">×</hi>) auch <hi rendition="#i">A</hi> <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> <hi rendition="#i">B</hi>, d. h.<lb/>
es ist:<lb/><hi rendition="#c"><hi rendition="#i">h</hi><choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice><hi rendition="#i">c</hi>;</hi><lb/>
von dieser Subsumtion aber sind nach Th. 43), Anm. 2 (Bd. 1, S. 400)<lb/>
folgende Umschreibungen zulässig:<lb/><hi rendition="#c"><hi rendition="#i">c</hi><hi rendition="#sub">1</hi><choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice><hi rendition="#i">h</hi><hi rendition="#sub">1</hi>, <hi rendition="#i">h</hi> = <hi rendition="#i">h c</hi>, <hi rendition="#i">c</hi> = <hi rendition="#i">h</hi> + <hi rendition="#i">c</hi>, <hi rendition="#i">h</hi><hi rendition="#sub">1</hi> = <hi rendition="#i">h</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">c</hi><hi rendition="#sub">1</hi>, <hi rendition="#i">c</hi><hi rendition="#sub">1</hi> = <hi rendition="#i">h</hi><hi rendition="#sub">1</hi> <hi rendition="#i">c</hi><hi rendition="#sub">1</hi>, <hi rendition="#i">h c</hi><hi rendition="#sub">1</hi> = 0, <hi rendition="#i">h</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">c</hi> = i.</hi><lb/>
Um darauf Bezug zu nehmen wollen wir von diesen allen nur die-<lb/>
jenigen hervorheben, welche kein + Zeichen enthalten, &#x2014; und analog<lb/>
verfahren wir auch künftig in ähnlichen Fällen &#x2014; demgemäss notiren<lb/>
wir als ersten Hülfssatz:<lb/>
1<hi rendition="#sup">0</hi>) <hi rendition="#et"><hi rendition="#i">h</hi><choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice><hi rendition="#i">c</hi>, <hi rendition="#i">c</hi><hi rendition="#sub">1</hi><choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice><hi rendition="#i">h</hi><hi rendition="#sub">1</hi>, <hi rendition="#i">h</hi> = <hi rendition="#i">h c</hi>, <hi rendition="#i">c</hi><hi rendition="#sub">1</hi> = <hi rendition="#i">h</hi><hi rendition="#sub">1</hi> <hi rendition="#i">c</hi><hi rendition="#sub">1</hi>, <hi rendition="#i">h c</hi><hi rendition="#sub">1</hi> = 0.</hi><lb/>
Vertauscht man hierin in Gedanken <hi rendition="#i">A</hi> und <hi rendition="#i">B</hi>, so erhält man dazu<lb/>
noch ebenso:<lb/>
1<hi rendition="#sup">0</hi>)' <hi rendition="#et"><hi rendition="#i">k</hi><choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice><hi rendition="#i">b</hi>, <hi rendition="#i">b</hi><hi rendition="#sub">1</hi><choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice><hi rendition="#i">k</hi><hi rendition="#sub">1</hi>, <hi rendition="#i">k</hi> = <hi rendition="#i">k b</hi>, <hi rendition="#i">b</hi><hi rendition="#sub">1</hi> = <hi rendition="#i">k</hi><hi rendition="#sub">1</hi> <hi rendition="#i">b</hi><hi rendition="#sub">1</hi>, <hi rendition="#i">k b</hi><hi rendition="#sub">1</hi> = 0.</hi></p><lb/>
            <p><hi rendition="#g">Zweitens</hi>. Ist <hi rendition="#i">A</hi><choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice><hi rendition="#i">B</hi> und <hi rendition="#i">B</hi> = 0, so folgt nach Th. 5<hi rendition="#sub">×</hi>) auch<lb/><hi rendition="#i">A</hi> = 0, d. h. es ist:<lb/>
2<hi rendition="#sup">0</hi>) <hi rendition="#et"><hi rendition="#i">c k</hi><choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice><hi rendition="#i">h</hi>, woraus: <hi rendition="#i">c h</hi><hi rendition="#sub">1</hi><hi rendition="#i">k</hi> = 0, <hi rendition="#i">c h k</hi> = <hi rendition="#i">c k</hi>, <hi rendition="#i">c h</hi><hi rendition="#sub">1</hi> <hi rendition="#i">k</hi><hi rendition="#sub">1</hi> = <hi rendition="#i">c h</hi><hi rendition="#sub">1</hi>, <hi rendition="#i">c</hi><hi rendition="#sub">1</hi> <hi rendition="#i">h</hi><hi rendition="#sub">1</hi> <hi rendition="#i">k</hi> = <hi rendition="#i">h</hi><hi rendition="#sub">1</hi> <hi rendition="#i">k</hi>.</hi><lb/>
Analog gilt desgleichen:<lb/>
2<hi rendition="#sup">0</hi>)' <hi rendition="#et"><hi rendition="#i">b h</hi><choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice><hi rendition="#i">k</hi>, <hi rendition="#i">b h k</hi><hi rendition="#sub">1</hi> = 0, <hi rendition="#i">b h k</hi> = <hi rendition="#i">b h</hi>, <hi rendition="#i">b h</hi><hi rendition="#sub">1</hi> <hi rendition="#i">k</hi><hi rendition="#sub">1</hi> = <hi rendition="#i">b k</hi><hi rendition="#sub">1</hi>, <hi rendition="#i">b</hi><hi rendition="#sub">1</hi> <hi rendition="#i">h k</hi><hi rendition="#sub">1</hi> = <hi rendition="#i">h k</hi><hi rendition="#sub">1</hi>.</hi></p><lb/>
            <p><hi rendition="#g">Drittens</hi>. Ist <hi rendition="#i">A</hi> = <hi rendition="#i">B</hi> und <hi rendition="#i">A</hi> = 0, so folgt nach Th. 4) auch<lb/><hi rendition="#i">B</hi> = 0, d. h. es ist <hi rendition="#i">d h</hi> <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> <hi rendition="#i">k</hi> und analog <hi rendition="#i">d k</hi> <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> <hi rendition="#i">h</hi>. Endlich aus <hi rendition="#i">A</hi> = 0<lb/>
und <hi rendition="#i">B</hi> = 0 folgt in gleicher Weise <hi rendition="#i">A</hi> = <hi rendition="#i">B</hi>, d. h. es ist auch <hi rendition="#i">h k</hi> <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> <hi rendition="#i">d</hi>.<lb/>
Somit ist zu notiren:<lb/>
3<hi rendition="#sup">0</hi>) <hi rendition="#et"><hi rendition="#i">d h</hi><choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice><hi rendition="#i">k</hi>, <hi rendition="#i">d h k</hi><hi rendition="#sub">1</hi> = 0, <hi rendition="#i">d h k</hi> = <hi rendition="#i">d h</hi>, <hi rendition="#i">d h</hi><hi rendition="#sub">1</hi> <hi rendition="#i">k</hi><hi rendition="#sub">1</hi> = <hi rendition="#i">d k</hi><hi rendition="#sub">1</hi> <hi rendition="#i">d</hi><hi rendition="#sub">1</hi> <hi rendition="#i">h k</hi><hi rendition="#sub">1</hi> = <hi rendition="#i">h k</hi><hi rendition="#sub">1</hi>,</hi><lb/>
3<hi rendition="#sup">0</hi>)' <hi rendition="#et"><hi rendition="#i">d k</hi><choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice><hi rendition="#i">h</hi>, <hi rendition="#i">d h</hi><hi rendition="#sub">1</hi><hi rendition="#i">k</hi> = 0, <hi rendition="#i">d h k</hi> = <hi rendition="#i">d k</hi>, <hi rendition="#i">d h</hi><hi rendition="#sub">1</hi> <hi rendition="#i">k</hi><hi rendition="#sub">1</hi> = <hi rendition="#i">d h</hi><hi rendition="#sub">1</hi>, <hi rendition="#i">d</hi><hi rendition="#sub">1</hi> <hi rendition="#i">h</hi><hi rendition="#sub">1</hi> <hi rendition="#i">k</hi> = <hi rendition="#i">h</hi><hi rendition="#sub">1</hi> <hi rendition="#i">k</hi>,</hi><lb/>
3<hi rendition="#sup">0</hi>)'' <hi rendition="#et"><hi rendition="#i">h k</hi><choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice><hi rendition="#i">d</hi>, <hi rendition="#i">d</hi><hi rendition="#sub">1</hi><hi rendition="#i">h k</hi> = 0, <hi rendition="#i">d h k</hi> = <hi rendition="#i">h k</hi>, <hi rendition="#i">d</hi><hi rendition="#sub">1</hi> <hi rendition="#i">h k</hi><hi rendition="#sub">1</hi> = <hi rendition="#i">d</hi><hi rendition="#sub">1</hi> <hi rendition="#i">h</hi>, <hi rendition="#i">d</hi><hi rendition="#sub">1</hi> <hi rendition="#i">h</hi><hi rendition="#sub">1</hi> <hi rendition="#i">k</hi> = <hi rendition="#i">d</hi><hi rendition="#sub">1</hi> <hi rendition="#i">k</hi>,</hi><lb/>
oder, wenn wir einen Teil dieser Resultate zusammenfassen:<lb/>
3<hi rendition="#sup">0</hi>)''' <hi rendition="#et"><hi rendition="#i">h k</hi> = <hi rendition="#i">d h</hi> = <hi rendition="#i">d k</hi> = <hi rendition="#i">d h k</hi>, <hi rendition="#i">d h</hi><hi rendition="#sub">1</hi> = <hi rendition="#i">d k</hi><hi rendition="#sub">1</hi> = <hi rendition="#i">d h</hi><hi rendition="#sub">1</hi> <hi rendition="#i">k</hi><hi rendition="#sub">1</hi>. &#x2014;</hi></p><lb/>
          </div>
        </div>
      </div>
    </body>
  </text>
</TEI>
[108/0132] Siebzehnte Vorlesung. Wir müssen uns demnächst auch auf die Aussagen A = 0 sowie B = 0 berufen, weshalb wir auch diese mit Symbolen zu bezeichnen haben, und zwar bedeute: [30] h = {A = 0}, h' = {B = 0} = k. Alsdann gelten folgende Hülfssätze, deren wir gelegentlich bedürfen. Erstens. Ist A = 0, so gilt nach Def. (2×) auch A  B, d. h. es ist: h  c; von dieser Subsumtion aber sind nach Th. 43), Anm. 2 (Bd. 1, S. 400) folgende Umschreibungen zulässig: c1  h1, h = h c, c = h + c, h1 = h1 + c1, c1 = h1 c1, h c1 = 0, h1 + c = i. Um darauf Bezug zu nehmen wollen wir von diesen allen nur die- jenigen hervorheben, welche kein + Zeichen enthalten, — und analog verfahren wir auch künftig in ähnlichen Fällen — demgemäss notiren wir als ersten Hülfssatz: 10) h  c, c1  h1, h = h c, c1 = h1 c1, h c1 = 0. Vertauscht man hierin in Gedanken A und B, so erhält man dazu noch ebenso: 10)' k  b, b1  k1, k = k b, b1 = k1 b1, k b1 = 0. Zweitens. Ist A  B und B = 0, so folgt nach Th. 5×) auch A = 0, d. h. es ist: 20) c k  h, woraus: c h1 k = 0, c h k = c k, c h1 k1 = c h1, c1 h1 k = h1 k. Analog gilt desgleichen: 20)' b h  k, b h k1 = 0, b h k = b h, b h1 k1 = b k1, b1 h k1 = h k1. Drittens. Ist A = B und A = 0, so folgt nach Th. 4) auch B = 0, d. h. es ist d h  k und analog d k  h. Endlich aus A = 0 und B = 0 folgt in gleicher Weise A = B, d. h. es ist auch h k  d. Somit ist zu notiren: 30) d h  k, d h k1 = 0, d h k = d h, d h1 k1 = d k1 d1 h k1 = h k1, 30)' d k  h, d h1 k = 0, d h k = d k, d h1 k1 = d h1, d1 h1 k = h1 k, 30)'' h k  d, d1 h k = 0, d h k = h k, d1 h k1 = d1 h, d1 h1 k = d1 k, oder, wenn wir einen Teil dieser Resultate zusammenfassen: 30)''' h k = d h = d k = d h k, d h1 = d k1 = d h1 k1. —

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_logik0201_1891
URL zu dieser Seite: https://www.deutschestextarchiv.de/schroeder_logik0201_1891/132
Zitationshilfe: Schröder, Ernst: Vorlesungen über die Algebra der Logik. Bd. 2, Abt. 1. Leipzig, 1891, S. 108. In: Deutsches Textarchiv <https://www.deutschestextarchiv.de/schroeder_logik0201_1891/132>, abgerufen am 13.10.2024.