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 >>
§ 27. Relativkoeffizienten mit nur einem Index.

Mit dem absoluten Namen "Liebender" ist ein jeder zu bezeichnen,
der überhaupt jemanden (irgendwen, oder irgendetwas) liebt (eventuell
auch blos eine Sache; doch vereinfacht es unsre Erörterungen, wenn
wir den Denkbereich 11 auf Personen beschränkt annehmen). Gibt es
nun eine Person h die von i geliebt wird, d. h. existirt ein Element h
derart dass i a ; h oder ai h = 1 ist, so wird auch (a ; 1)i j = Shai h = 1
und damit ai = 1 sein; und andernfalles haben wir ai = 0. Es ist
also ai gleich 1 oder gleich 0, jenachdem i ein "Liebender (schlecht-
weg)" ist oder nicht, q. e. d. Ebenso heisst "Vater" einer, der über-
haupt ein Kind gezeugt hat, und würde unser ai besagen: i ist Vater,
sobald uns das binäre Relativ a den Begriff "Vater von-" reprä-
sentirte. Etc.

Mit (71) wird auch die Abkürzung gegeben sein:
72) Shah j = (1 ; a)i j = (a ; 1)j i = aj.

Es gelten aber für den so erweiterten Begriff der Koeffizienten ai
nicht mehr alle die Sätze die für den engern im Denkbereiche 11 der
uninären Relative aufgestellt worden. Namentlich werden die Glei-
chungen 60, 67, 68) teilweise zu modifiziren sein zu den Subsumtionen:
73) (ai) ani oder (an)i,
74)

(ab)i aibiai + bi = (a + b)i
75)
(Pa)i PaiSai = (Sa)i,
wie aus a ; 1 an ; 1, nämlich an j 0 an ; 1, sowie links ab ; 1 a ; 1 · b ; 1,
(Pa) ; 1 P(a ; 1) sive Pa ; 1 mit Rücksicht auf 71) analytisch sofort
erhellt. Die Formeln rechts in 74, 75) bleiben als Gleichungen in
Kraft und entsprechen denen links nur mehr "pseudodual"; sie ver-
stehen sich als gültige aus a ; 1 + b ; 1 = (a + b) ; 1 und S(a ; 1) sive
Sa ; 1 = (Sa) ; 1. Dass sie in der That aus denen links nicht durch
Kontraposition ableitbar sind, oder umgekehrt, geht eben daraus hervor,
dass gemäss 73) auch (ani) nicht = sondern blos ai sein muss.

Bildet man Phai h als das Negat von Shani h, etc. so ergeben sich
nach (71) auch noch für diese P die Abkürzungen:
76) Phai h = (a j 0)i j = (ani), Phah j = (0 j a)i j = (anj)
-- welche etwas unbequemen Symbole jedoch nach dem Gesagten
nicht weiter reduzirbar sind.

Die Formeln 59) gelten für die erweiterte, mit (71) zu einer all-
gemeingültigen erhobene Begriffserklärung der ai, welche somit von
der Einschränkung, dass a von vornherein als ein System gedacht
werden müsse, befreit ist, nicht. Es muss im allgemeinen unmöglich

Schröder, Algebra der Relative. 30
§ 27. Relativkoeffizienten mit nur einem Index.

Mit dem absoluten Namen „Liebender“ ist ein jeder zu bezeichnen,
der überhaupt jemanden (irgendwen, oder irgendetwas) liebt (eventuell
auch blos eine Sache; doch vereinfacht es unsre Erörterungen, wenn
wir den Denkbereich 11 auf Personen beschränkt annehmen). Gibt es
nun eine Person h die von i geliebt wird, d. h. existirt ein Element h
derart dass i ⋹ a ; h oder ai h = 1 ist, so wird auch (a ; 1)i j = Σhai h = 1
und damit ai = 1 sein; und andernfalles haben wir ai = 0. Es ist
also ai gleich 1 oder gleich 0, jenachdem i ein „Liebender (schlecht-
weg)“ ist oder nicht, q. e. d. Ebenso heisst „Vater“ einer, der über-
haupt ein Kind gezeugt hat, und würde unser ai besagen: i ist Vater,
sobald uns das binäre Relativ a den Begriff „Vater von-“ reprä-
sentirte. Etc.

Mit (71) wird auch die Abkürzung gegeben sein:
72) Σhah j = (1 ; a)i j = (ă ; 1)j i = ăj.

Es gelten aber für den so erweiterten Begriff der Koeffizienten ai
nicht mehr alle die Sätze die für den engern im Denkbereiche 11 der
uninären Relative aufgestellt worden. Namentlich werden die Glei-
chungen 60, 67, 68) teilweise zu modifiziren sein zu den Subsumtionen:
73) (ai)͞ ⋹ āi oder (ā)i,
74)

(ab)i ⋹ aibiai + bi = (a + b)i
75)
(Πa)i ⋹ ΠaiΣai = (Σa)i,
wie aus a ; 1͞ ⋹ ā ; 1, nämlich ā ɟ 0 ⋹ ā ; 1, sowie links ab ; 1 ⋹ a ; 1 · b ; 1,
(Πa) ; 1 ⋹ Π(a ; 1) sive Πa ; 1 mit Rücksicht auf 71) analytisch sofort
erhellt. Die Formeln rechts in 74, 75) bleiben als Gleichungen in
Kraft und entsprechen denen links nur mehr „pseudodual“; sie ver-
stehen sich als gültige aus a ; 1 + b ; 1 = (a + b) ; 1 und Σ(a ; 1) sive
Σa ; 1 = (Σa) ; 1. Dass sie in der That aus denen links nicht durch
Kontraposition ableitbar sind, oder umgekehrt, geht eben daraus hervor,
dass gemäss 73) auch (āi)͞ nicht = sondern blos ⋹ ai sein muss.

Bildet man Πhai h als das Negat von Σhāi h, etc. so ergeben sich
nach (71) auch noch für diese Π die Abkürzungen:
76) Πhai h = (a ɟ 0)i j = (āi)͞, Πhah j = (0 ɟ a)i j = (ā̆j)͞
— welche etwas unbequemen Symbole jedoch nach dem Gesagten
nicht weiter reduzirbar sind.

Die Formeln 59) gelten für die erweiterte, mit (71) zu einer all-
gemeingültigen erhobene Begriffserklärung der ai, welche somit von
der Einschränkung, dass a von vornherein als ein System gedacht
werden müsse, befreit ist, nicht. Es muss im allgemeinen unmöglich

Schröder, Algebra der Relative. 30
<TEI>
  <text>
    <body>
      <div n="1">
        <div n="2">
          <pb facs="#f0479" n="465"/>
          <fw place="top" type="header">§ 27. Relativkoeffizienten mit nur <hi rendition="#g">einem</hi> Index.</fw><lb/>
          <p>Mit dem absoluten Namen &#x201E;Liebender&#x201C; ist ein jeder zu bezeichnen,<lb/>
der überhaupt jemanden (irgendwen, oder irgendetwas) liebt (eventuell<lb/>
auch blos eine Sache; doch vereinfacht es unsre Erörterungen, wenn<lb/>
wir den Denkbereich 1<hi rendition="#sup">1</hi> auf Personen beschränkt annehmen). Gibt es<lb/>
nun eine Person <hi rendition="#i">h</hi> die von <hi rendition="#i">i</hi> geliebt wird, d. h. existirt ein Element <hi rendition="#i">h</hi><lb/>
derart dass <hi rendition="#i">i</hi> &#x22F9; <hi rendition="#i">a</hi> ; <hi rendition="#i">h</hi> oder <hi rendition="#i">a<hi rendition="#sub">i h</hi></hi> = 1 ist, so wird auch (<hi rendition="#i">a</hi> ; 1)<hi rendition="#i"><hi rendition="#sub">i j</hi></hi> = <hi rendition="#i">&#x03A3;<hi rendition="#sub">h</hi>a<hi rendition="#sub">i h</hi></hi> = 1<lb/>
und damit <hi rendition="#i">a<hi rendition="#sub">i</hi></hi> = 1 sein; und andernfalles haben wir <hi rendition="#i">a<hi rendition="#sub">i</hi></hi> = 0. Es ist<lb/>
also <hi rendition="#i">a<hi rendition="#sub">i</hi></hi> gleich 1 oder gleich 0, jenachdem <hi rendition="#i">i</hi> ein &#x201E;Liebender (schlecht-<lb/>
weg)&#x201C; ist oder nicht, q. e. d. Ebenso heisst &#x201E;Vater&#x201C; einer, der über-<lb/>
haupt ein Kind gezeugt hat, und würde unser <hi rendition="#i">a<hi rendition="#sub">i</hi></hi> besagen: <hi rendition="#i">i</hi> ist Vater,<lb/>
sobald uns das binäre Relativ <hi rendition="#i">a</hi> den Begriff &#x201E;Vater von-&#x201C; reprä-<lb/>
sentirte. Etc.</p><lb/>
          <p>Mit (71) wird auch die Abkürzung gegeben sein:<lb/>
72) <hi rendition="#et"><hi rendition="#i">&#x03A3;<hi rendition="#sub">h</hi>a<hi rendition="#sub">h j</hi></hi> = (1 ; <hi rendition="#i">a</hi>)<hi rendition="#i"><hi rendition="#sub">i j</hi></hi> = (<hi rendition="#i">a&#x0306;</hi> ; 1)<hi rendition="#i"><hi rendition="#sub">j i</hi></hi> = <hi rendition="#i">a&#x0306;<hi rendition="#sub">j</hi></hi>.</hi></p><lb/>
          <p>Es gelten aber für den so erweiterten Begriff der Koeffizienten <hi rendition="#i">a<hi rendition="#sub">i</hi></hi><lb/>
nicht mehr alle die Sätze die für den engern im Denkbereiche 1<hi rendition="#sup">1</hi> der<lb/>
uninären Relative aufgestellt worden. Namentlich werden die Glei-<lb/>
chungen 60, 67, 68) teilweise zu modifiziren sein zu den Subsumtionen:<lb/>
73) <hi rendition="#et">(<hi rendition="#i">a<hi rendition="#sub">i</hi></hi>)&#x035E; &#x22F9; <hi rendition="#i">a&#x0304;<hi rendition="#sub">i</hi></hi> oder (<hi rendition="#i">a&#x0304;</hi>)<hi rendition="#i"><hi rendition="#sub">i</hi></hi>,</hi><lb/>
74) <table><lb/><row><cell>(<hi rendition="#i">ab</hi>)<hi rendition="#i"><hi rendition="#sub">i</hi></hi> &#x22F9; <hi rendition="#i">a<hi rendition="#sub">i</hi>b<hi rendition="#sub">i</hi></hi></cell><cell><hi rendition="#i">a<hi rendition="#sub">i</hi></hi> + <hi rendition="#i">b<hi rendition="#sub">i</hi></hi> = (<hi rendition="#i">a</hi> + <hi rendition="#i">b</hi>)<hi rendition="#i"><hi rendition="#sub">i</hi></hi></cell></row><lb/></table> 75) <table><lb/><row><cell>(<hi rendition="#i">&#x03A0;a</hi>)<hi rendition="#i"><hi rendition="#sub">i</hi></hi> &#x22F9; <hi rendition="#i">&#x03A0;a<hi rendition="#sub">i</hi></hi></cell><cell><hi rendition="#i">&#x03A3;a<hi rendition="#sub">i</hi></hi> = (<hi rendition="#i">&#x03A3;a</hi>)<hi rendition="#i"><hi rendition="#sub">i</hi></hi>,</cell></row><lb/></table> wie aus <hi rendition="#i">a</hi> ; 1&#x035E; &#x22F9; <hi rendition="#i">a&#x0304;</hi> ; 1, nämlich <hi rendition="#i">a&#x0304;</hi> &#x025F; 0 &#x22F9; <hi rendition="#i">a&#x0304;</hi> ; 1, sowie links <hi rendition="#i">ab</hi> ; 1 &#x22F9; <hi rendition="#i">a</hi> ; 1 · <hi rendition="#i">b</hi> ; 1,<lb/>
(<hi rendition="#i">&#x03A0;a</hi>) ; 1 &#x22F9; <hi rendition="#i">&#x03A0;</hi>(<hi rendition="#i">a</hi> ; 1) sive <hi rendition="#i">&#x03A0;a</hi> ; 1 mit Rücksicht auf 71) analytisch sofort<lb/>
erhellt. Die Formeln rechts in 74, 75) bleiben als Gleichungen in<lb/>
Kraft und entsprechen denen links nur mehr &#x201E;pseudodual&#x201C;; sie ver-<lb/>
stehen sich als gültige aus <hi rendition="#i">a</hi> ; 1 + <hi rendition="#i">b</hi> ; 1 = (<hi rendition="#i">a</hi> + <hi rendition="#i">b</hi>) ; 1 und <hi rendition="#i">&#x03A3;</hi>(<hi rendition="#i">a</hi> ; 1) sive<lb/><hi rendition="#i">&#x03A3;a</hi> ; 1 = (<hi rendition="#i">&#x03A3;a</hi>) ; 1. Dass sie in der That aus denen links <hi rendition="#i">nicht</hi> durch<lb/>
Kontraposition ableitbar sind, oder umgekehrt, geht eben daraus hervor,<lb/>
dass gemäss 73) auch (<hi rendition="#i">a&#x0304;<hi rendition="#sub">i</hi></hi>)&#x035E; nicht = sondern blos &#x22F9; <hi rendition="#i">a<hi rendition="#sub">i</hi></hi> sein muss.</p><lb/>
          <p>Bildet man <hi rendition="#i">&#x03A0;<hi rendition="#sub">h</hi>a<hi rendition="#sub">i h</hi></hi> als das Negat von <hi rendition="#i">&#x03A3;<hi rendition="#sub">h</hi>a&#x0304;<hi rendition="#sub">i h</hi></hi>, etc. so ergeben sich<lb/>
nach (71) auch noch für diese <hi rendition="#i">&#x03A0;</hi> die Abkürzungen:<lb/>
76) <hi rendition="#et"><hi rendition="#i">&#x03A0;<hi rendition="#sub">h</hi>a<hi rendition="#sub">i h</hi></hi> = (<hi rendition="#i">a</hi> &#x025F; 0)<hi rendition="#i"><hi rendition="#sub">i j</hi></hi> = (<hi rendition="#i">a&#x0304;<hi rendition="#sub">i</hi></hi>)&#x035E;, <hi rendition="#i">&#x03A0;<hi rendition="#sub">h</hi>a<hi rendition="#sub">h j</hi></hi> = (0 &#x025F; <hi rendition="#i">a</hi>)<hi rendition="#i"><hi rendition="#sub">i j</hi></hi> = (<hi rendition="#i">a&#x0304;&#x0306;<hi rendition="#sub">j</hi></hi>)&#x035E;</hi><lb/>
&#x2014; welche etwas unbequemen Symbole jedoch nach dem Gesagten<lb/>
nicht weiter reduzirbar sind.</p><lb/>
          <p>Die Formeln 59) gelten für die erweiterte, mit (71) zu einer all-<lb/>
gemeingültigen erhobene Begriffserklärung der <hi rendition="#i">a<hi rendition="#sub">i</hi></hi>, welche somit von<lb/>
der Einschränkung, dass <hi rendition="#i">a</hi> von vornherein als ein System gedacht<lb/>
werden müsse, befreit ist, <hi rendition="#i">nicht</hi>. Es muss im allgemeinen unmöglich<lb/>
<fw place="bottom" type="sig"><hi rendition="#k">Schröder</hi>, Algebra der Relative. 30</fw><lb/></p>
        </div>
      </div>
    </body>
  </text>
</TEI>
[465/0479] § 27. Relativkoeffizienten mit nur einem Index. Mit dem absoluten Namen „Liebender“ ist ein jeder zu bezeichnen, der überhaupt jemanden (irgendwen, oder irgendetwas) liebt (eventuell auch blos eine Sache; doch vereinfacht es unsre Erörterungen, wenn wir den Denkbereich 11 auf Personen beschränkt annehmen). Gibt es nun eine Person h die von i geliebt wird, d. h. existirt ein Element h derart dass i ⋹ a ; h oder ai h = 1 ist, so wird auch (a ; 1)i j = Σhai h = 1 und damit ai = 1 sein; und andernfalles haben wir ai = 0. Es ist also ai gleich 1 oder gleich 0, jenachdem i ein „Liebender (schlecht- weg)“ ist oder nicht, q. e. d. Ebenso heisst „Vater“ einer, der über- haupt ein Kind gezeugt hat, und würde unser ai besagen: i ist Vater, sobald uns das binäre Relativ a den Begriff „Vater von-“ reprä- sentirte. Etc. Mit (71) wird auch die Abkürzung gegeben sein: 72) Σhah j = (1 ; a)i j = (ă ; 1)j i = ăj. Es gelten aber für den so erweiterten Begriff der Koeffizienten ai nicht mehr alle die Sätze die für den engern im Denkbereiche 11 der uninären Relative aufgestellt worden. Namentlich werden die Glei- chungen 60, 67, 68) teilweise zu modifiziren sein zu den Subsumtionen: 73) (ai)͞ ⋹ āi oder (ā)i, 74) (ab)i ⋹ aibi ai + bi = (a + b)i 75) (Πa)i ⋹ Πai Σai = (Σa)i, wie aus a ; 1͞ ⋹ ā ; 1, nämlich ā ɟ 0 ⋹ ā ; 1, sowie links ab ; 1 ⋹ a ; 1 · b ; 1, (Πa) ; 1 ⋹ Π(a ; 1) sive Πa ; 1 mit Rücksicht auf 71) analytisch sofort erhellt. Die Formeln rechts in 74, 75) bleiben als Gleichungen in Kraft und entsprechen denen links nur mehr „pseudodual“; sie ver- stehen sich als gültige aus a ; 1 + b ; 1 = (a + b) ; 1 und Σ(a ; 1) sive Σa ; 1 = (Σa) ; 1. Dass sie in der That aus denen links nicht durch Kontraposition ableitbar sind, oder umgekehrt, geht eben daraus hervor, dass gemäss 73) auch (āi)͞ nicht = sondern blos ⋹ ai sein muss. Bildet man Πhai h als das Negat von Σhāi h, etc. so ergeben sich nach (71) auch noch für diese Π die Abkürzungen: 76) Πhai h = (a ɟ 0)i j = (āi)͞, Πhah j = (0 ɟ a)i j = (ā̆j)͞ — welche etwas unbequemen Symbole jedoch nach dem Gesagten nicht weiter reduzirbar sind. Die Formeln 59) gelten für die erweiterte, mit (71) zu einer all- gemeingültigen erhobene Begriffserklärung der ai, welche somit von der Einschränkung, dass a von vornherein als ein System gedacht werden müsse, befreit ist, nicht. Es muss im allgemeinen unmöglich Schröder, Algebra der Relative. 30

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