Anmelden (DTAQ) DWDS     dlexDB     CLARIN-D

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

Bild:
<< vorherige Seite
nächste Seite >>
§ 50. Vervollkommnung gewisser Partieen des ersten Bandes.

Dass unsere Aufzählung*) der Möglichkeiten eine vollständige ist, wird
man leicht erkennen, und somit ist die Geltung der Sätze (3), mithin sämt-
licher Grundlagen der Theorie, nun für Herrn Korselt's Denkbereich ver-
bürgt. Es gelten daher auch alle in Bd. 1 aus diesen abgeleiteten Sätze,
und insbesondere die erste Subsumtion des Distributionsgesetzes: a b + a c
a (b + c).

Nun seien p1, p2, p3 drei verschiedene Punkte einer Geraden g, also
p1 p2 = p1 p3 = 0, p1 g = p1, p2 + p3 = g.
Dann ist
p1 (p2 + p3) = p1 g = p1, p1 p2 + p1 p3 = 0 + 0 = 0,
also
p1 (p2 + p3) p1 p2 + p1 p3, q. e. d.

Der Beweis 3 von Lüroth1 nimmt das Gebiet der natürlichen
Zahlen zum Substrat und verwendet die arithmetischen Rechnungsarten.
Es sollen die Buchstabensymbole a, b, g, ..., p, q, r, ... stets positive
ganze Zahlen, die Null zugelassen, vorstellen. Sodann sei eine "Klasse" a
ebensolcher Zahlen definirt als die Gesamtheit aller Zahlen, (der
Elemente dieser Klasse a), die durch eine bestimmte Linearform
a p + b q + g r + ... + l z
dargestellt sind, worin die Koeffizienten a, b, g, ..., l bestimmt ge-
geben und für alle Elemente der Klasse a dieselben seien, dagegen die
Konstituenten p, q, r, ..., z zunächst unbestimmte Zahlen oder Para-
meter vorstellen, denen einzeln und unabhängig von einander die
Werte 0, 1, 2, 3, ... der Reihe nach beizulegen sind, wenn man sämt-
liche Elemente der Klasse a bilden will. Diese Elemente sind hiernach
nebst 0 die Zahlen a, b, g, ... l, sodann deren Vielfache, endlich alle
Zahlen, die durch arithmetische Addition aus zwei oder mehreren unter
den genannten Elementen, oder überhaupt aus irgend welchen Elementen
der Klasse a entstehen. -- Während somit die p, q, ... innerhalb
einer Klasse von Element zu Element ihre Werte wechseln, sind die
für alle Elemente einer Klasse konstanten, erst von Klasse zu Klasse
sich ändernden a, b, ... für eine Klasse a charakteristisch oder "be-
stimmend"; die Klasse kann auch durch (a, b, g, ... l) bezeichnet werden.

Beispielsweise wird (3, 2, 0) die Zahlen von der Form 3 p + 2 q + 0 r,
also die: 0, 2, 3, 4, 5, ..., alle Zahlen ausgenommen 1 enthalten, die
Klasse (0, 3, 0) oder (3) die Vielfachen 0, 3, 6, 9, ... von 3, die
Klasse (4, 5) die Zahlen 0, 4, 5, 8, 9, 10, 12, 13, 14, ... und von 15
ab alle Zahlen umfassen.

*) Die Aufzählung wäre wol durch Berufung auf gewisse geometrische Sätze von
allgemeinerer Natur (über Raumelemente, deren Schnittgebilde und Bestimmungs-
stücke) ersetzbar, welche zu formuliren ich aber hier nicht für meine Aufgabe halte.
Schröder, Algebra der Logik. 2. II. 27
§ 50. Vervollkommnung gewisser Partieen des ersten Bandes.

Dass unsere Aufzählung*) der Möglichkeiten eine vollständige ist, wird
man leicht erkennen, und somit ist die Geltung der Sätze (3), mithin sämt-
licher Grundlagen der Theorie, nun für Herrn Korselt’s Denkbereich ver-
bürgt. Es gelten daher auch alle in Bd. 1 aus diesen abgeleiteten Sätze,
und insbesondere die erste Subsumtion des Distributionsgesetzes: a b + a c
a (b + c).

Nun seien p1, p2, p3 drei verschiedene Punkte einer Geraden g, also
p1 p2 = p1 p3 = 0, p1 g = p1, p2 + p3 = g.
Dann ist
p1 (p2 + p3) = p1 g = p1, p1 p2 + p1 p3 = 0 + 0 = 0,
also
p1 (p2 + p3) ≠ p1 p2 + p1 p3, q. e. d.

Der Beweis 3 von Lüroth1 nimmt das Gebiet der natürlichen
Zahlen zum Substrat und verwendet die arithmetischen Rechnungsarten.
Es sollen die Buchstabensymbole α, β, γ, …, p, q, r, … stets positive
ganze Zahlen, die Null zugelassen, vorstellen. Sodann sei eine „Klasse“ a
ebensolcher Zahlen definirt als die Gesamtheit aller Zahlen, (der
Elemente dieser Klasse a), die durch eine bestimmte Linearform
α p + β q + γ r + … + λ z
dargestellt sind, worin die Koeffizienten α, β, γ, …, λ bestimmt ge-
geben und für alle Elemente der Klasse a dieselben seien, dagegen die
Konstituenten p, q, r, …, z zunächst unbestimmte Zahlen oder Para-
meter vorstellen, denen einzeln und unabhängig von einander die
Werte 0, 1, 2, 3, … der Reihe nach beizulegen sind, wenn man sämt-
liche Elemente der Klasse a bilden will. Diese Elemente sind hiernach
nebst 0 die Zahlen α, β, γ, … λ, sodann deren Vielfache, endlich alle
Zahlen, die durch arithmetische Addition aus zwei oder mehreren unter
den genannten Elementen, oder überhaupt aus irgend welchen Elementen
der Klasse a entstehen. — Während somit die p, q, … innerhalb
einer Klasse von Element zu Element ihre Werte wechseln, sind die
für alle Elemente einer Klasse konstanten, erst von Klasse zu Klasse
sich ändernden α, β, … für eine Klasse a charakteristisch oder „be-
stimmend“; die Klasse kann auch durch (α, β, γ, … λ) bezeichnet werden.

Beispielsweise wird (3, 2, 0) die Zahlen von der Form 3 p + 2 q + 0 r,
also die: 0, 2, 3, 4, 5, …, alle Zahlen ausgenommen 1 enthalten, die
Klasse (0, 3, 0) oder (3) die Vielfachen 0, 3, 6, 9, … von 3, die
Klasse (4, 5) die Zahlen 0, 4, 5, 8, 9, 10, 12, 13, 14, … und von 15
ab alle Zahlen umfassen.

*) Die Aufzählung wäre wol durch Berufung auf gewisse geometrische Sätze von
allgemeinerer Natur (über Raumelemente, deren Schnittgebilde und Bestimmungs-
stücke) ersetzbar, welche zu formuliren ich aber hier nicht für meine Aufgabe halte.
Schröder, Algebra der Logik. 2. II. 27
<TEI>
  <text>
    <body>
      <div n="1">
        <div n="2">
          <div n="3">
            <pb facs="#f0061" n="417"/>
            <fw place="top" type="header">§ 50. Vervollkommnung gewisser Partieen des ersten Bandes.</fw><lb/>
            <p>Dass unsere Aufzählung<note place="foot" n="*)">Die Aufzählung wäre wol durch Berufung auf gewisse geometrische Sätze von<lb/>
allgemeinerer Natur (über Raumelemente, deren Schnittgebilde und Bestimmungs-<lb/>
stücke) ersetzbar, welche zu formuliren ich aber hier nicht für meine Aufgabe halte.</note> der Möglichkeiten eine <hi rendition="#i">vollständige</hi> ist, wird<lb/>
man leicht erkennen, und somit ist die Geltung der Sätze (3), mithin sämt-<lb/>
licher Grundlagen der Theorie, nun für Herrn <hi rendition="#g">Korselt&#x2019;</hi>s Denkbereich ver-<lb/>
bürgt. Es gelten daher auch alle in Bd. 1 aus diesen abgeleiteten Sätze,<lb/>
und insbesondere die erste Subsumtion des Distributionsgesetzes: <hi rendition="#i">a b</hi> + <hi rendition="#i">a c<lb/><g ref="subeq"/> a</hi> (<hi rendition="#i">b</hi> + <hi rendition="#i">c</hi>).</p><lb/>
            <p>Nun seien <hi rendition="#i">p</hi><hi rendition="#sub">1</hi>, <hi rendition="#i">p</hi><hi rendition="#sub">2</hi>, <hi rendition="#i">p</hi><hi rendition="#sub">3</hi> drei verschiedene Punkte einer Geraden <hi rendition="#i">g</hi>, also<lb/><hi rendition="#c"><hi rendition="#i">p</hi><hi rendition="#sub">1</hi><hi rendition="#i">p</hi><hi rendition="#sub">2</hi> = <hi rendition="#i">p</hi><hi rendition="#sub">1</hi> <hi rendition="#i">p</hi><hi rendition="#sub">3</hi> = 0, <hi rendition="#i">p</hi><hi rendition="#sub">1</hi> <hi rendition="#i">g</hi> = <hi rendition="#i">p</hi><hi rendition="#sub">1</hi>, <hi rendition="#i">p</hi><hi rendition="#sub">2</hi> + <hi rendition="#i">p</hi><hi rendition="#sub">3</hi> = <hi rendition="#i">g</hi>.</hi><lb/>
Dann ist<lb/><hi rendition="#c"><hi rendition="#i">p</hi><hi rendition="#sub">1</hi> (<hi rendition="#i">p</hi><hi rendition="#sub">2</hi> + <hi rendition="#i">p</hi><hi rendition="#sub">3</hi>) = <hi rendition="#i">p</hi><hi rendition="#sub">1</hi> <hi rendition="#i">g</hi> = <hi rendition="#i">p</hi><hi rendition="#sub">1</hi>, <hi rendition="#i">p</hi><hi rendition="#sub">1</hi> <hi rendition="#i">p</hi><hi rendition="#sub">2</hi> + <hi rendition="#i">p</hi><hi rendition="#sub">1</hi> <hi rendition="#i">p</hi><hi rendition="#sub">3</hi> = 0 + 0 = 0,</hi><lb/>
also<lb/><hi rendition="#c"><hi rendition="#i">p</hi><hi rendition="#sub">1</hi> (<hi rendition="#i">p</hi><hi rendition="#sub">2</hi> + <hi rendition="#i">p</hi><hi rendition="#sub">3</hi>) &#x2260; <hi rendition="#i">p</hi><hi rendition="#sub">1</hi> <hi rendition="#i">p</hi><hi rendition="#sub">2</hi> + <hi rendition="#i">p</hi><hi rendition="#sub">1</hi> <hi rendition="#i">p</hi><hi rendition="#sub">3</hi>, q. e. d.</hi></p><lb/>
            <p>Der Beweis 3 von <hi rendition="#g">Lüroth</hi><hi rendition="#sup">1</hi> nimmt das Gebiet der natürlichen<lb/>
Zahlen zum Substrat und verwendet die arithmetischen Rechnungsarten.<lb/>
Es sollen die Buchstabensymbole <hi rendition="#i">&#x03B1;</hi>, <hi rendition="#i">&#x03B2;</hi>, <hi rendition="#i">&#x03B3;</hi>, &#x2026;, <hi rendition="#i">p</hi>, <hi rendition="#i">q</hi>, <hi rendition="#i">r</hi>, &#x2026; stets positive<lb/>
ganze Zahlen, die Null zugelassen, vorstellen. Sodann sei eine &#x201E;Klasse&#x201C; <hi rendition="#i">a</hi><lb/>
ebensolcher Zahlen definirt als die Gesamtheit aller Zahlen, (der<lb/>
Elemente dieser Klasse <hi rendition="#i">a</hi>), die durch eine bestimmte Linearform<lb/><hi rendition="#c"><hi rendition="#i">&#x03B1; p</hi> + <hi rendition="#i">&#x03B2; q</hi> + <hi rendition="#i">&#x03B3; r</hi> + &#x2026; + <hi rendition="#i">&#x03BB; z</hi></hi><lb/>
dargestellt sind, worin die Koeffizienten <hi rendition="#i">&#x03B1;</hi>, <hi rendition="#i">&#x03B2;</hi>, <hi rendition="#i">&#x03B3;</hi>, &#x2026;, <hi rendition="#i">&#x03BB;</hi> bestimmt ge-<lb/>
geben und für alle Elemente der Klasse <hi rendition="#i">a</hi> dieselben seien, dagegen die<lb/>
Konstituenten <hi rendition="#i">p</hi>, <hi rendition="#i">q</hi>, <hi rendition="#i">r</hi>, &#x2026;, <hi rendition="#i">z</hi> zunächst unbestimmte Zahlen oder Para-<lb/>
meter vorstellen, denen einzeln und unabhängig von einander die<lb/>
Werte 0, 1, 2, 3, &#x2026; der Reihe nach beizulegen sind, wenn man sämt-<lb/>
liche Elemente der Klasse <hi rendition="#i">a</hi> bilden will. Diese Elemente sind hiernach<lb/>
nebst 0 die Zahlen <hi rendition="#i">&#x03B1;</hi>, <hi rendition="#i">&#x03B2;</hi>, <hi rendition="#i">&#x03B3;</hi>, &#x2026; <hi rendition="#i">&#x03BB;</hi>, sodann deren Vielfache, endlich alle<lb/>
Zahlen, die durch arithmetische Addition aus zwei oder mehreren unter<lb/>
den genannten Elementen, oder überhaupt aus irgend welchen Elementen<lb/>
der Klasse <hi rendition="#i">a</hi> entstehen. &#x2014; Während somit die <hi rendition="#i">p</hi>, <hi rendition="#i">q</hi>, &#x2026; innerhalb<lb/>
einer Klasse von Element zu Element ihre Werte wechseln, sind die<lb/>
für alle Elemente einer Klasse konstanten, erst von Klasse zu Klasse<lb/>
sich ändernden <hi rendition="#i">&#x03B1;</hi>, <hi rendition="#i">&#x03B2;</hi>, &#x2026; für eine Klasse <hi rendition="#i">a</hi> charakteristisch oder &#x201E;be-<lb/>
stimmend&#x201C;; die Klasse kann auch durch (<hi rendition="#i">&#x03B1;</hi>, <hi rendition="#i">&#x03B2;</hi>, <hi rendition="#i">&#x03B3;</hi>, &#x2026; <hi rendition="#i">&#x03BB;</hi>) bezeichnet werden.</p><lb/>
            <p>Beispielsweise wird (3, 2, 0) die Zahlen von der Form 3 <hi rendition="#i">p</hi> + 2 <hi rendition="#i">q</hi> + 0 <hi rendition="#i">r</hi>,<lb/>
also die: 0, 2, 3, 4, 5, &#x2026;, alle Zahlen ausgenommen 1 enthalten, die<lb/>
Klasse (0, 3, 0) oder (3) die Vielfachen 0, 3, 6, 9, &#x2026; von 3, die<lb/>
Klasse (4, 5) die Zahlen 0, 4, 5, 8, 9, 10, 12, 13, 14, &#x2026; und von 15<lb/>
ab <hi rendition="#i">alle</hi> Zahlen umfassen.</p><lb/>
            <fw place="bottom" type="sig"><hi rendition="#k">Schröder</hi>, Algebra der Logik. 2. II. 27</fw><lb/>
          </div>
        </div>
      </div>
    </body>
  </text>
</TEI>
[417/0061] § 50. Vervollkommnung gewisser Partieen des ersten Bandes. Dass unsere Aufzählung *) der Möglichkeiten eine vollständige ist, wird man leicht erkennen, und somit ist die Geltung der Sätze (3), mithin sämt- licher Grundlagen der Theorie, nun für Herrn Korselt’s Denkbereich ver- bürgt. Es gelten daher auch alle in Bd. 1 aus diesen abgeleiteten Sätze, und insbesondere die erste Subsumtion des Distributionsgesetzes: a b + a c a (b + c). Nun seien p1, p2, p3 drei verschiedene Punkte einer Geraden g, also p1 p2 = p1 p3 = 0, p1 g = p1, p2 + p3 = g. Dann ist p1 (p2 + p3) = p1 g = p1, p1 p2 + p1 p3 = 0 + 0 = 0, also p1 (p2 + p3) ≠ p1 p2 + p1 p3, q. e. d. Der Beweis 3 von Lüroth1 nimmt das Gebiet der natürlichen Zahlen zum Substrat und verwendet die arithmetischen Rechnungsarten. Es sollen die Buchstabensymbole α, β, γ, …, p, q, r, … stets positive ganze Zahlen, die Null zugelassen, vorstellen. Sodann sei eine „Klasse“ a ebensolcher Zahlen definirt als die Gesamtheit aller Zahlen, (der Elemente dieser Klasse a), die durch eine bestimmte Linearform α p + β q + γ r + … + λ z dargestellt sind, worin die Koeffizienten α, β, γ, …, λ bestimmt ge- geben und für alle Elemente der Klasse a dieselben seien, dagegen die Konstituenten p, q, r, …, z zunächst unbestimmte Zahlen oder Para- meter vorstellen, denen einzeln und unabhängig von einander die Werte 0, 1, 2, 3, … der Reihe nach beizulegen sind, wenn man sämt- liche Elemente der Klasse a bilden will. Diese Elemente sind hiernach nebst 0 die Zahlen α, β, γ, … λ, sodann deren Vielfache, endlich alle Zahlen, die durch arithmetische Addition aus zwei oder mehreren unter den genannten Elementen, oder überhaupt aus irgend welchen Elementen der Klasse a entstehen. — Während somit die p, q, … innerhalb einer Klasse von Element zu Element ihre Werte wechseln, sind die für alle Elemente einer Klasse konstanten, erst von Klasse zu Klasse sich ändernden α, β, … für eine Klasse a charakteristisch oder „be- stimmend“; die Klasse kann auch durch (α, β, γ, … λ) bezeichnet werden. Beispielsweise wird (3, 2, 0) die Zahlen von der Form 3 p + 2 q + 0 r, also die: 0, 2, 3, 4, 5, …, alle Zahlen ausgenommen 1 enthalten, die Klasse (0, 3, 0) oder (3) die Vielfachen 0, 3, 6, 9, … von 3, die Klasse (4, 5) die Zahlen 0, 4, 5, 8, 9, 10, 12, 13, 14, … und von 15 ab alle Zahlen umfassen. *) Die Aufzählung wäre wol durch Berufung auf gewisse geometrische Sätze von allgemeinerer Natur (über Raumelemente, deren Schnittgebilde und Bestimmungs- stücke) ersetzbar, welche zu formuliren ich aber hier nicht für meine Aufgabe halte. Schröder, Algebra der Logik. 2. II. 27

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_logik0202_1905
URL zu dieser Seite: https://www.deutschestextarchiv.de/schroeder_logik0202_1905/61
Zitationshilfe: Schröder, Ernst: Vorlesungen über die Algebra der Logik. Bd. 2, Abt. 2. Leipzig, 1905, S. 417. In: Deutsches Textarchiv <https://www.deutschestextarchiv.de/schroeder_logik0202_1905/61>, abgerufen am 04.05.2024.