Anmelden (DTAQ) DWDS     dlexDB     CLARIN-D

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

Bild:
<< vorherige Seite

§ 10. Über ausgezeichnete Relative.
dies für deren grosse Mehrzahl zutrifft, werden doch unsre Forschungen
über höhere Modulknüpfungen (in einer späteren Vorlesung) diese Frage
verneinend entscheiden, und will ich vorgreifend erwähnen, dass auch diese
vier tertiären Modulknüpfungen:
0 j 0' ; (a j 0)1 ; (1' j a ; 1)
(0 j a) ; 0' j 0(1 ; a j 1') ; 1
sich als "ausgezeichnete" Relative erweisen, welche ich demnach berechtigt
bin als die meinigen zu bezeichnen.

Ein ausgezeichnetes Relativ r muss nach Festsetzung (6) des § 3
mit jedem seiner Koeffizienten übereinstimmen, sonach gilt also auch:
Ein ausgezeichnetes Relativ ist gleich seinem allgemeinen Koeffizienten:
11) rh k = r.

Umgekehrt steht auch nichts im Wege die Koeffizienten ai j eines
beliebigen Relativs a so anzusehen und
bei allen Rechnungen geradeso
zu behandeln als ob sie ebenfalls binäre Relative
, nämlich unbestimmte
ausgezeichnete Relative wären. Bei solcher Auffassung bewegen wir
uns dann mit unsern Überlegungen durchaus im Denkbereiche 12, zu
dem die beiden Wahrheitswerte 1 und 0 selbst als die absoluten Moduln
gehören. Und dabei hätte uns einfach:
12) (ai j)h k = ai j
zu gelten. Nur inbezug auf die Konversion dürfte ein Umstand, der
zur Vorsicht mahnt, nicht übersehen werden. Während mit Fest-
setzung (13) des § 3 das Symbol ai j, als gleichbedeutend mit (a)i j,
gleich aj i erklärt ist, kann die Operation der Konversion an dem [als
binäres (ausgezeichnetes) Relativ betrachteten] Koeffizienten (r =)ai j
nach 8) nichts ändern, d. h. es ist:
13) (ai j) = ai j
-- weil eben 1 = 1 und 0 = 0 zu gelten hat. Sonach muss (ai j) von
(a)i j im Allgemeinen unterschieden werden. Diese Auffassungen werden
am Schlusse des § 25 noch weiter entwickelt und gefestigt.



§ 10. Über ausgezeichnete Relative.
dies für deren grosse Mehrzahl zutrifft, werden doch unsre Forschungen
über höhere Modulknüpfungen (in einer späteren Vorlesung) diese Frage
verneinend entscheiden, und will ich vorgreifend erwähnen, dass auch diese
vier tertiären Modulknüpfungen:
0 ɟ 0' ; (a ɟ 0)1 ; (1' ɟ a ; 1)
(0 ɟ a) ; 0' ɟ 0(1 ; a ɟ 1') ; 1
sich als „ausgezeichnete“ Relative erweisen, welche ich demnach berechtigt
bin als die meinigen zu bezeichnen.

Ein ausgezeichnetes Relativ r muss nach Festsetzung (6) des § 3
mit jedem seiner Koeffizienten übereinstimmen, sonach gilt also auch:
Ein ausgezeichnetes Relativ ist gleich seinem allgemeinen Koeffizienten:
11) rh k = r.

Umgekehrt steht auch nichts im Wege die Koeffizienten ai j eines
beliebigen Relativs a so anzusehen und
bei allen Rechnungen geradeso
zu behandeln als ob sie ebenfalls binäre Relative
, nämlich unbestimmte
ausgezeichnete Relative wären. Bei solcher Auffassung bewegen wir
uns dann mit unsern Überlegungen durchaus im Denkbereiche 12, zu
dem die beiden Wahrheitswerte 1 und 0 selbst als die absoluten Moduln
gehören. Und dabei hätte uns einfach:
12) (ai j)h k = ai j
zu gelten. Nur inbezug auf die Konversion dürfte ein Umstand, der
zur Vorsicht mahnt, nicht übersehen werden. Während mit Fest-
setzung (13) des § 3 das Symbol i j, als gleichbedeutend mit ()i j,
gleich aj i erklärt ist, kann die Operation der Konversion an dem [als
binäres (ausgezeichnetes) Relativ betrachteten] Koeffizienten (r =)ai j
nach 8) nichts ändern, d. h. es ist:
13) (ai j)͝ = ai j
— weil eben 1̆ = 1 und 0̆ = 0 zu gelten hat. Sonach muss (ai j)͝ von
()i j im Allgemeinen unterschieden werden. Diese Auffassungen werden
am Schlusse des § 25 noch weiter entwickelt und gefestigt.



<TEI>
  <text>
    <body>
      <div n="1">
        <div n="2">
          <p><pb facs="#f0163" n="149"/><fw place="top" type="header">§ 10. Über ausgezeichnete Relative.</fw><lb/>
dies für deren grosse Mehrzahl zutrifft, werden doch unsre Forschungen<lb/>
über höhere Modulknüpfungen (in einer späteren Vorlesung) diese Frage<lb/>
verneinend entscheiden, und will ich vorgreifend erwähnen, dass auch diese<lb/>
vier tertiären Modulknüpfungen:<lb/><table><row><cell>0 &#x025F; 0' ; (<hi rendition="#i">a</hi> &#x025F; 0)</cell><cell>1 ; (1' &#x025F; <hi rendition="#i">a</hi> ; 1)</cell></row><lb/><row><cell>(0 &#x025F; <hi rendition="#i">a</hi>) ; 0' &#x025F; 0</cell><cell>(1 ; <hi rendition="#i">a</hi> &#x025F; 1') ; 1</cell></row><lb/></table> sich als &#x201E;ausgezeichnete&#x201C; Relative erweisen, welche ich demnach berechtigt<lb/>
bin als die meinigen zu bezeichnen.</p><lb/>
          <p>Ein ausgezeichnetes Relativ <hi rendition="#i">r</hi> muss nach Festsetzung (6) des § 3<lb/>
mit jedem seiner Koeffizienten übereinstimmen, sonach gilt also auch:<lb/><hi rendition="#i">Ein ausgezeichnetes Relativ ist gleich seinem allgemeinen Koeffizienten:</hi><lb/>
11) <hi rendition="#et"><hi rendition="#i">r<hi rendition="#sub">h k</hi></hi> = <hi rendition="#i">r</hi>.</hi></p><lb/>
          <p>Umgekehrt steht auch nichts im Wege <hi rendition="#i">die Koeffizienten a<hi rendition="#sub">i j</hi> eines<lb/>
beliebigen Relativs a so anzusehen und</hi> bei allen Rechnungen <hi rendition="#i">geradeso<lb/>
zu behandeln als ob sie ebenfalls binäre Relative</hi>, nämlich unbestimmte<lb/>
ausgezeichnete Relative wären. Bei solcher Auffassung bewegen wir<lb/>
uns dann mit unsern Überlegungen <hi rendition="#i">durchaus</hi> im Denkbereiche 1<hi rendition="#sup">2</hi>, zu<lb/>
dem die beiden Wahrheitswerte 1 und 0 selbst als die absoluten Moduln<lb/>
gehören. Und dabei hätte uns einfach:<lb/>
12) <hi rendition="#et">(<hi rendition="#i">a<hi rendition="#sub">i j</hi></hi>)<hi rendition="#i"><hi rendition="#sub">h k</hi></hi> = <hi rendition="#i">a<hi rendition="#sub">i j</hi></hi></hi><lb/>
zu gelten. Nur inbezug auf die Konversion dürfte ein Umstand, der<lb/>
zur Vorsicht mahnt, nicht übersehen werden. Während mit Fest-<lb/>
setzung (13) des § 3 das Symbol <hi rendition="#i">a&#x0306;<hi rendition="#sub">i j</hi></hi>, als gleichbedeutend mit (<hi rendition="#i">a&#x0306;</hi>)<hi rendition="#i"><hi rendition="#sub">i j</hi></hi>,<lb/>
gleich <hi rendition="#i">a<hi rendition="#sub">j i</hi></hi> erklärt ist, <hi rendition="#i">kann die Operation der Konversion an dem</hi> [als<lb/>
binäres (ausgezeichnetes) Relativ betrachteten] <hi rendition="#i">Koeffizienten</hi> (<hi rendition="#i">r</hi> =)<hi rendition="#i">a<hi rendition="#sub">i j</hi></hi><lb/>
nach 8) <hi rendition="#i">nichts ändern</hi>, d. h. es ist:<lb/>
13) <hi rendition="#et">(<hi rendition="#i">a<hi rendition="#sub">i j</hi></hi>)&#x035D; = <hi rendition="#i">a<hi rendition="#sub">i j</hi></hi></hi><lb/>
&#x2014; weil eben 1&#x0306; = 1 und 0&#x0306; = 0 zu gelten hat. Sonach muss (<hi rendition="#i">a<hi rendition="#sub">i j</hi></hi>)&#x035D; von<lb/>
(<hi rendition="#i">a&#x0306;</hi>)<hi rendition="#i"><hi rendition="#sub">i j</hi></hi> im Allgemeinen unterschieden werden. Diese Auffassungen werden<lb/>
am Schlusse des § 25 noch weiter entwickelt und gefestigt.</p>
        </div>
      </div><lb/>
      <milestone rendition="#hr" unit="section"/>
    </body>
  </text>
</TEI>
[149/0163] § 10. Über ausgezeichnete Relative. dies für deren grosse Mehrzahl zutrifft, werden doch unsre Forschungen über höhere Modulknüpfungen (in einer späteren Vorlesung) diese Frage verneinend entscheiden, und will ich vorgreifend erwähnen, dass auch diese vier tertiären Modulknüpfungen: 0 ɟ 0' ; (a ɟ 0) 1 ; (1' ɟ a ; 1) (0 ɟ a) ; 0' ɟ 0 (1 ; a ɟ 1') ; 1 sich als „ausgezeichnete“ Relative erweisen, welche ich demnach berechtigt bin als die meinigen zu bezeichnen. Ein ausgezeichnetes Relativ r muss nach Festsetzung (6) des § 3 mit jedem seiner Koeffizienten übereinstimmen, sonach gilt also auch: Ein ausgezeichnetes Relativ ist gleich seinem allgemeinen Koeffizienten: 11) rh k = r. Umgekehrt steht auch nichts im Wege die Koeffizienten ai j eines beliebigen Relativs a so anzusehen und bei allen Rechnungen geradeso zu behandeln als ob sie ebenfalls binäre Relative, nämlich unbestimmte ausgezeichnete Relative wären. Bei solcher Auffassung bewegen wir uns dann mit unsern Überlegungen durchaus im Denkbereiche 12, zu dem die beiden Wahrheitswerte 1 und 0 selbst als die absoluten Moduln gehören. Und dabei hätte uns einfach: 12) (ai j)h k = ai j zu gelten. Nur inbezug auf die Konversion dürfte ein Umstand, der zur Vorsicht mahnt, nicht übersehen werden. Während mit Fest- setzung (13) des § 3 das Symbol ăi j, als gleichbedeutend mit (ă)i j, gleich aj i erklärt ist, kann die Operation der Konversion an dem [als binäres (ausgezeichnetes) Relativ betrachteten] Koeffizienten (r =)ai j nach 8) nichts ändern, d. h. es ist: 13) (ai j)͝ = ai j — weil eben 1̆ = 1 und 0̆ = 0 zu gelten hat. Sonach muss (ai j)͝ von (ă)i j im Allgemeinen unterschieden werden. Diese Auffassungen werden am Schlusse des § 25 noch weiter entwickelt und gefestigt.

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