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

McColl's Anwendung des Aussagenkalkuls etc.
durchweg (überall wo es vorkommt) voransteht. Mithin treffen für diese
ausgehobenen Elementepaare die Voraussetzungen unsres Satzes zu, und
da k < n ist, so gilt laut Annahme der Satz bereits für diese, d. h. es
muss sich innerhalb der ausgehobnen Elementepaare ein Cyklus aus solchen
herstellen lassen (q. e. d.).

Eine Ausnahme scheinen indes die Fälle k = 1 und k = 2 zu bilden,
wo solcher Cyklus gar nicht existirte. Da dann aber auch die Voraus-
setzungen des Satzes nicht mehr realisirbar sein werden, so fällt der Fall
sicher unter die Klasse der mit Stern zu markirenden Aushebungen oder
Systeme.

Für k = 2 nämlich -- wo noch ... 18, dann aber 91, 01 vor dem
Striche steht, reduzirt sich unsere dritte Matrize zu dem Schema:
[Formel 1] und muss man von den beiden Paaren 90 und 09 das eine haben, sonach
gewiss die sämtlichen aus einer Zeile dieser Matrize: wählt man das
erstere, so wird das Element 9, das letztere, so wird 0 durchweg voran-
stehen -- im Einklang mit der schon allgemein geführten Überlegung.

Ebensowenig bildet der Fall k = 1 eine Ausnahme, wenn in ihm auch
die bisherige Beweisführung sich ein wenig modifizirt. Hier sind die das
Element 1 enthaltenden Paare, oder es stehn vor dem Striche: 12, 13, ... 19;
01; eine "dritte" Matrize existirt hier gar nicht, und die zweite reduzirt
sich zu der einen Zeile: |02, 03, ... 09 |, woraus bereits zu ersehen, dass
jetzt das Element 0 durchweg voransteht -- entgegen den Voraussetzungen
des Satzes.

Der Satz ist also völlig bewiesen.

Da leicht zu sehen, dass ein Cyklus -- wie 12, 23, 31 -- wieder
ein solcher wird, m. a. W. ein solcher bleibt (13, 32, 21), wenn alle Paare
rückwärts gelesen werden, so steht natürlich dem Satze noch ein zweiter
vom selben Wortlaut gegenüber, in welchem nur statt "voran-" jetzt
"hintan-" gesagt ist; und dessen Geltung wird aus der des vorigen mit-
folgen, indem man, wie angedeutet, rückwärts liest.

Die Frage, inwieweit die Sätze umkehrbar sind, sowie vielleicht von
Elementepaaren auf Elementetripel etc. sich ausdehnen lassen, empfehlen
wir dem Leser zu fernerer Prüfung.


36*

McColl’s Anwendung des Aussagenkalkuls etc.
durchweg (überall wo es vorkommt) voransteht. Mithin treffen für diese
ausgehobenen Elementepaare die Voraussetzungen unsres Satzes zu, und
da k < n ist, so gilt laut Annahme der Satz bereits für diese, d. h. es
muss sich innerhalb der ausgehobnen Elementepaare ein Cyklus aus solchen
herstellen lassen (q. e. d.).

Eine Ausnahme scheinen indes die Fälle k = 1 und k = 2 zu bilden,
wo solcher Cyklus gar nicht existirte. Da dann aber auch die Voraus-
setzungen des Satzes nicht mehr realisirbar sein werden, so fällt der Fall
sicher unter die Klasse der mit Stern zu markirenden Aushebungen oder
Systeme.

Für k = 2 nämlich — wo noch … 18, dann aber 91, 01 vor dem
Striche steht, reduzirt sich unsere dritte Matrize zu dem Schema:
[Formel 1] und muss man von den beiden Paaren 90 und 09 das eine haben, sonach
gewiss die sämtlichen aus einer Zeile dieser Matrize: wählt man das
erstere, so wird das Element 9, das letztere, so wird 0 durchweg voran-
stehen — im Einklang mit der schon allgemein geführten Überlegung.

Ebensowenig bildet der Fall k = 1 eine Ausnahme, wenn in ihm auch
die bisherige Beweisführung sich ein wenig modifizirt. Hier sind die das
Element 1 enthaltenden Paare, oder es stehn vor dem Striche: 12, 13, … 19;
01; eine „dritte“ Matrize existirt hier gar nicht, und die zweite reduzirt
sich zu der einen Zeile: |02, 03, … 09 |, woraus bereits zu ersehen, dass
jetzt das Element 0 durchweg voransteht — entgegen den Voraussetzungen
des Satzes.

Der Satz ist also völlig bewiesen.

Da leicht zu sehen, dass ein Cyklus — wie 12, 23, 31 — wieder
ein solcher wird, m. a. W. ein solcher bleibt (13, 32, 21), wenn alle Paare
rückwärts gelesen werden, so steht natürlich dem Satze noch ein zweiter
vom selben Wortlaut gegenüber, in welchem nur statt „voran-“ jetzt
„hintan-“ gesagt ist; und dessen Geltung wird aus der des vorigen mit-
folgen, indem man, wie angedeutet, rückwärts liest.

Die Frage, inwieweit die Sätze umkehrbar sind, sowie vielleicht von
Elementepaaren auf Elementetripel etc. sich ausdehnen lassen, empfehlen
wir dem Leser zu fernerer Prüfung.


36*
<TEI>
  <text>
    <body>
      <div n="1">
        <div n="2">
          <p><pb facs="#f0207" n="563"/><fw place="top" type="header">McColl&#x2019;s Anwendung des Aussagenkalkuls etc.</fw><lb/>
durchweg (überall wo es vorkommt) voransteht. Mithin treffen für diese<lb/>
ausgehobenen Elementepaare die Voraussetzungen unsres Satzes zu, und<lb/>
da <hi rendition="#i">k</hi> &lt; <hi rendition="#i">n</hi> ist, so gilt laut Annahme der Satz bereits für diese, d. h. es<lb/>
muss sich innerhalb der ausgehobnen Elementepaare ein Cyklus aus solchen<lb/>
herstellen lassen (q. e. d.).</p><lb/>
          <p>Eine Ausnahme scheinen indes die Fälle <hi rendition="#i">k</hi> = 1 und <hi rendition="#i">k</hi> = 2 zu bilden,<lb/>
wo solcher Cyklus gar nicht existirte. Da dann aber auch die Voraus-<lb/>
setzungen des Satzes nicht mehr realisirbar sein werden, so fällt der Fall<lb/>
sicher unter die Klasse der mit Stern zu markirenden Aushebungen oder<lb/>
Systeme.</p><lb/>
          <p>Für <hi rendition="#i">k</hi> = 2 nämlich &#x2014; wo noch &#x2026; 18, dann aber 91, 01 vor dem<lb/>
Striche steht, reduzirt sich unsere dritte Matrize zu dem Schema:<lb/><hi rendition="#c"><formula/></hi> und muss man von den beiden Paaren 90 und 09 das eine haben, sonach<lb/>
gewiss die sämtlichen aus <hi rendition="#i">einer</hi> Zeile dieser Matrize: wählt man das<lb/>
erstere, so wird das Element 9, das letztere, so wird 0 durchweg voran-<lb/>
stehen &#x2014; im Einklang mit der schon allgemein geführten Überlegung.</p><lb/>
          <p>Ebensowenig bildet der Fall <hi rendition="#i">k</hi> = 1 eine Ausnahme, wenn in ihm auch<lb/>
die bisherige Beweisführung sich ein wenig modifizirt. Hier sind die das<lb/>
Element 1 enthaltenden Paare, oder es stehn vor dem Striche: 12, 13, &#x2026; 19;<lb/>
01; eine &#x201E;dritte&#x201C; Matrize existirt hier gar nicht, und die zweite reduzirt<lb/>
sich zu der einen Zeile: |02, 03, &#x2026; 09 |, woraus bereits zu ersehen, dass<lb/>
jetzt das Element 0 durchweg voransteht &#x2014; entgegen den Voraussetzungen<lb/>
des Satzes.</p><lb/>
          <p>Der Satz ist also völlig bewiesen.</p><lb/>
          <p>Da leicht zu sehen, dass ein Cyklus &#x2014; wie 12, 23, 31 &#x2014; wieder<lb/>
ein solcher wird, m. a. W. ein solcher bleibt (13, 32, 21), wenn alle Paare<lb/>
rückwärts gelesen werden, so steht natürlich dem Satze noch ein zweiter<lb/>
vom selben Wortlaut gegenüber, in welchem nur statt &#x201E;voran-&#x201C; jetzt<lb/>
&#x201E;hintan-&#x201C; gesagt ist; und dessen Geltung wird aus der des vorigen mit-<lb/>
folgen, indem man, wie angedeutet, rückwärts liest.</p><lb/>
          <p>Die Frage, inwieweit die Sätze umkehrbar sind, sowie vielleicht von<lb/>
Elementepaaren auf Elementetripel etc. sich ausdehnen lassen, empfehlen<lb/>
wir dem Leser zu fernerer Prüfung.</p><lb/>
          <milestone rendition="#hr" unit="section"/>
        </div>
        <fw place="bottom" type="sig">36*</fw><lb/>
      </div>
    </body>
  </text>
</TEI>
[563/0207] McColl’s Anwendung des Aussagenkalkuls etc. durchweg (überall wo es vorkommt) voransteht. Mithin treffen für diese ausgehobenen Elementepaare die Voraussetzungen unsres Satzes zu, und da k < n ist, so gilt laut Annahme der Satz bereits für diese, d. h. es muss sich innerhalb der ausgehobnen Elementepaare ein Cyklus aus solchen herstellen lassen (q. e. d.). Eine Ausnahme scheinen indes die Fälle k = 1 und k = 2 zu bilden, wo solcher Cyklus gar nicht existirte. Da dann aber auch die Voraus- setzungen des Satzes nicht mehr realisirbar sein werden, so fällt der Fall sicher unter die Klasse der mit Stern zu markirenden Aushebungen oder Systeme. Für k = 2 nämlich — wo noch … 18, dann aber 91, 01 vor dem Striche steht, reduzirt sich unsere dritte Matrize zu dem Schema: [FORMEL] und muss man von den beiden Paaren 90 und 09 das eine haben, sonach gewiss die sämtlichen aus einer Zeile dieser Matrize: wählt man das erstere, so wird das Element 9, das letztere, so wird 0 durchweg voran- stehen — im Einklang mit der schon allgemein geführten Überlegung. Ebensowenig bildet der Fall k = 1 eine Ausnahme, wenn in ihm auch die bisherige Beweisführung sich ein wenig modifizirt. Hier sind die das Element 1 enthaltenden Paare, oder es stehn vor dem Striche: 12, 13, … 19; 01; eine „dritte“ Matrize existirt hier gar nicht, und die zweite reduzirt sich zu der einen Zeile: |02, 03, … 09 |, woraus bereits zu ersehen, dass jetzt das Element 0 durchweg voransteht — entgegen den Voraussetzungen des Satzes. Der Satz ist also völlig bewiesen. Da leicht zu sehen, dass ein Cyklus — wie 12, 23, 31 — wieder ein solcher wird, m. a. W. ein solcher bleibt (13, 32, 21), wenn alle Paare rückwärts gelesen werden, so steht natürlich dem Satze noch ein zweiter vom selben Wortlaut gegenüber, in welchem nur statt „voran-“ jetzt „hintan-“ gesagt ist; und dessen Geltung wird aus der des vorigen mit- folgen, indem man, wie angedeutet, rückwärts liest. Die Frage, inwieweit die Sätze umkehrbar sind, sowie vielleicht von Elementepaaren auf Elementetripel etc. sich ausdehnen lassen, empfehlen wir dem Leser zu fernerer Prüfung. 36*

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