Anmelden (DTAQ) DWDS     dlexDB     CLARIN-D

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

Bild:
<< vorherige Seite
§ 22. Zweite Stufe der Probleme in 3 Buchstaben.

Was die Probleme der dritten Hauptabteilung betrifft, so erhalten
wir die Repräsentanten von deren Gespannen jedenfalls vollständig,
wiewol überzählig, wenn wir die 16 Paare 0), je mit eingeschaltetem
Semikolon, x setzen, ferner diese Subsumtionen auch rückwärtig
ansetzen, endlich die ersten 16 Subsumtionszeichen auch in Gleichheits-
zeichen verwandeln. Von diesen 16 x 3 = 48 Repräsentanten sind
aber die 6 x 3 = 18 wegzulassen, welche von den 6 Paaren unterhalb
der Hauptdiagonale in 0) herrühren; denn diese gehören schon bezüg-
lich zu den Gespannen der ihnen symmetrisch oberhalb der Haupt-
diagonale gegenüberstehenden Repräsentanten. Oder umgekehrt.

In der That geht z. B. der Ansatz x ; xn x aus dem xn ; x x hervor,
indem man x durch x durchweg ersetzt und beiderseits konvertirt. Etc.

Es verbleiben also höchstens 10 x 3 = 30 Repräsentanten.

Schreiben wir von diesen die ersten zehne, nämlich die "vorwär-
tigen" Subsumtionen hin, so erhalten wir aus der Hauptdiagonale zu-
nächst die vier Repräsentanten:
[Formel 1] und von oberhalb derselben die sechse:
[Formel 2] .

Dieselben Subsumtionen wären nun auch rückwärtig, sowie als
Gleichungen anzusetzen.

Während sich aber diese von uns nicht hingeschriebenen 20 Pro-
positionen als die Repräsentanten von ebensovielen wesentlich verschie-
denen und selbständig zu lösenden Problemen erweisen werden, redu-
ziren sich die vorstehend hingeschriebenen 10 Propositionen -- die wir
uns mit den Zahlen 1 bis 10 numerirt denken wollen -- bedeutend,
nämlich auf nur fünf Aufgaben. Die Abteilung umfasst also 25 Pro-
bleme (an Subsumtionen 15).

Um dies einzusehen, formen wir unsre zehn Subsumtionen um, indem
wir gemäss dem ersten Inversionstheoreme einmal den zweiten und ebenso
den ersten relativen Faktor transponiren, d. i. auf die andre Seite schaffen.
Durch Vertauschung von x mit einem seiner Verwandten bewirken wir
hierauf, dass der bei diesem Transponiren frei werdende (sich isolirende)
Term x selbst wird, und stellen darunter diejenige von den Subsumtionen
1 bis 10 mitsamt ihrer Nummer, zu deren Gespann gehörig sich die er-
haltene Umformung erweist.

Auf diese Weise erhalten wir für die vier ersten Subsumtionen das
Tableau:

21*
§ 22. Zweite Stufe der Probleme in 3 Buchstaben.

Was die Probleme der dritten Hauptabteilung betrifft, so erhalten
wir die Repräsentanten von deren Gespannen jedenfalls vollständig,
wiewol überzählig, wenn wir die 16 Paare 0), je mit eingeschaltetem
Semikolon, ⋹ x setzen, ferner diese Subsumtionen auch rückwärtig
ansetzen, endlich die ersten 16 Subsumtionszeichen auch in Gleichheits-
zeichen verwandeln. Von diesen 16 × 3 = 48 Repräsentanten sind
aber die 6 × 3 = 18 wegzulassen, welche von den 6 Paaren unterhalb
der Hauptdiagonale in 0) herrühren; denn diese gehören schon bezüg-
lich zu den Gespannen der ihnen symmetrisch oberhalb der Haupt-
diagonale gegenüberstehenden Repräsentanten. Oder umgekehrt.

In der That geht z. B. der Ansatz x ; x aus dem ; xx hervor,
indem man x durch durchweg ersetzt und beiderseits konvertirt. Etc.

Es verbleiben also höchstens 10 × 3 = 30 Repräsentanten.

Schreiben wir von diesen die ersten zehne, nämlich die „vorwär-
tigen“ Subsumtionen hin, so erhalten wir aus der Hauptdiagonale zu-
nächst die vier Repräsentanten:
[Formel 1] und von oberhalb derselben die sechse:
[Formel 2] .

Dieselben Subsumtionen wären nun auch rückwärtig, sowie als
Gleichungen anzusetzen.

Während sich aber diese von uns nicht hingeschriebenen 20 Pro-
positionen als die Repräsentanten von ebensovielen wesentlich verschie-
denen und selbständig zu lösenden Problemen erweisen werden, redu-
ziren sich die vorstehend hingeschriebenen 10 Propositionen — die wir
uns mit den Zahlen 1 bis 10 numerirt denken wollen — bedeutend,
nämlich auf nur fünf Aufgaben. Die Abteilung umfasst also 25 Pro-
bleme (an Subsumtionen 15).

Um dies einzusehen, formen wir unsre zehn Subsumtionen um, indem
wir gemäss dem ersten Inversionstheoreme einmal den zweiten und ebenso
den ersten relativen Faktor transponiren, d. i. auf die andre Seite schaffen.
Durch Vertauschung von x mit einem seiner Verwandten bewirken wir
hierauf, dass der bei diesem Transponiren frei werdende (sich isolirende)
Term x selbst wird, und stellen darunter diejenige von den Subsumtionen
1 bis 10 mitsamt ihrer Nummer, zu deren Gespann gehörig sich die er-
haltene Umformung erweist.

Auf diese Weise erhalten wir für die vier ersten Subsumtionen das
Tableau:

21*
<TEI>
  <text>
    <body>
      <div n="1">
        <div n="2">
          <pb facs="#f0337" n="323"/>
          <fw place="top" type="header">§ 22. Zweite Stufe der Probleme in 3 Buchstaben.</fw><lb/>
          <p>Was die Probleme der <hi rendition="#i">dritten Hauptabteilung</hi> betrifft, so erhalten<lb/>
wir die Repräsentanten von deren Gespannen jedenfalls vollständig,<lb/>
wiewol überzählig, wenn wir die 16 Paare 0), je mit eingeschaltetem<lb/>
Semikolon, &#x22F9; <hi rendition="#i">x</hi> setzen, ferner diese Subsumtionen auch rückwärtig<lb/>
ansetzen, endlich die ersten 16 Subsumtionszeichen auch in Gleichheits-<lb/>
zeichen verwandeln. Von diesen 16 × 3 = 48 Repräsentanten sind<lb/>
aber die 6 × 3 = 18 wegzulassen, welche von den 6 Paaren unterhalb<lb/>
der Hauptdiagonale in 0) herrühren; denn diese gehören schon bezüg-<lb/>
lich zu den Gespannen der ihnen symmetrisch oberhalb der Haupt-<lb/>
diagonale gegenüberstehenden Repräsentanten. Oder umgekehrt.</p><lb/>
          <p>In der That geht z. B. der Ansatz <hi rendition="#i">x</hi> ; <hi rendition="#i">x&#x0304;</hi> &#x22F9; <hi rendition="#i">x</hi> aus dem <hi rendition="#i">x&#x0304;</hi> ; <hi rendition="#i">x</hi> &#x22F9; <hi rendition="#i">x</hi> hervor,<lb/>
indem man <hi rendition="#i">x</hi> durch <hi rendition="#i">x&#x0306;</hi> durchweg ersetzt und beiderseits konvertirt. Etc.</p><lb/>
          <p>Es verbleiben also höchstens 10 × 3 = 30 Repräsentanten.</p><lb/>
          <p>Schreiben wir von diesen die ersten zehne, nämlich die &#x201E;vorwär-<lb/>
tigen&#x201C; Subsumtionen hin, so erhalten wir aus der Hauptdiagonale zu-<lb/>
nächst die vier Repräsentanten:<lb/><formula/> und von oberhalb derselben die sechse:<lb/><formula/>.</p><lb/>
          <p>Dieselben Subsumtionen wären nun auch rückwärtig, sowie als<lb/>
Gleichungen anzusetzen.</p><lb/>
          <p>Während sich aber diese von uns nicht hingeschriebenen 20 Pro-<lb/>
positionen als die Repräsentanten von ebensovielen wesentlich verschie-<lb/>
denen und selbständig zu lösenden Problemen erweisen werden, redu-<lb/>
ziren sich die vorstehend hingeschriebenen 10 Propositionen &#x2014; die wir<lb/>
uns mit den Zahlen 1 bis 10 numerirt denken wollen &#x2014; bedeutend,<lb/>
nämlich auf nur <hi rendition="#i">fünf</hi> Aufgaben. Die Abteilung umfasst also 25 Pro-<lb/>
bleme (an Subsumtionen 15).</p><lb/>
          <p>Um dies einzusehen, formen wir unsre zehn Subsumtionen um, indem<lb/>
wir gemäss dem ersten Inversionstheoreme einmal den zweiten und ebenso<lb/>
den ersten relativen Faktor transponiren, d. i. auf die andre Seite schaffen.<lb/>
Durch Vertauschung von <hi rendition="#i">x</hi> mit einem seiner Verwandten bewirken wir<lb/>
hierauf, dass der bei diesem Transponiren frei werdende (sich isolirende)<lb/>
Term <hi rendition="#i">x</hi> selbst wird, und stellen darunter diejenige von den Subsumtionen<lb/>
1 bis 10 mitsamt ihrer Nummer, zu deren Gespann gehörig sich die er-<lb/>
haltene Umformung erweist.</p><lb/>
          <p>Auf diese Weise erhalten wir für die vier ersten Subsumtionen das<lb/>
Tableau:<lb/>
<fw place="bottom" type="sig">21*</fw><lb/></p>
        </div>
      </div>
    </body>
  </text>
</TEI>
[323/0337] § 22. Zweite Stufe der Probleme in 3 Buchstaben. Was die Probleme der dritten Hauptabteilung betrifft, so erhalten wir die Repräsentanten von deren Gespannen jedenfalls vollständig, wiewol überzählig, wenn wir die 16 Paare 0), je mit eingeschaltetem Semikolon, ⋹ x setzen, ferner diese Subsumtionen auch rückwärtig ansetzen, endlich die ersten 16 Subsumtionszeichen auch in Gleichheits- zeichen verwandeln. Von diesen 16 × 3 = 48 Repräsentanten sind aber die 6 × 3 = 18 wegzulassen, welche von den 6 Paaren unterhalb der Hauptdiagonale in 0) herrühren; denn diese gehören schon bezüg- lich zu den Gespannen der ihnen symmetrisch oberhalb der Haupt- diagonale gegenüberstehenden Repräsentanten. Oder umgekehrt. In der That geht z. B. der Ansatz x ; x̄ ⋹ x aus dem x̄ ; x ⋹ x hervor, indem man x durch x̆ durchweg ersetzt und beiderseits konvertirt. Etc. Es verbleiben also höchstens 10 × 3 = 30 Repräsentanten. Schreiben wir von diesen die ersten zehne, nämlich die „vorwär- tigen“ Subsumtionen hin, so erhalten wir aus der Hauptdiagonale zu- nächst die vier Repräsentanten: [FORMEL] und von oberhalb derselben die sechse: [FORMEL]. Dieselben Subsumtionen wären nun auch rückwärtig, sowie als Gleichungen anzusetzen. Während sich aber diese von uns nicht hingeschriebenen 20 Pro- positionen als die Repräsentanten von ebensovielen wesentlich verschie- denen und selbständig zu lösenden Problemen erweisen werden, redu- ziren sich die vorstehend hingeschriebenen 10 Propositionen — die wir uns mit den Zahlen 1 bis 10 numerirt denken wollen — bedeutend, nämlich auf nur fünf Aufgaben. Die Abteilung umfasst also 25 Pro- bleme (an Subsumtionen 15). Um dies einzusehen, formen wir unsre zehn Subsumtionen um, indem wir gemäss dem ersten Inversionstheoreme einmal den zweiten und ebenso den ersten relativen Faktor transponiren, d. i. auf die andre Seite schaffen. Durch Vertauschung von x mit einem seiner Verwandten bewirken wir hierauf, dass der bei diesem Transponiren frei werdende (sich isolirende) Term x selbst wird, und stellen darunter diejenige von den Subsumtionen 1 bis 10 mitsamt ihrer Nummer, zu deren Gespann gehörig sich die er- haltene Umformung erweist. Auf diese Weise erhalten wir für die vier ersten Subsumtionen das Tableau: 21*

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