Anmelden (DTAQ) DWDS     dlexDB     CLARIN-D

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

Bild:
<< vorherige Seite
nächste Seite >>
Zur Gruppentheorie des identischen Kalkuls.

Von zwei Ausdrücken werden wir nämlich sagen, dass sie zum
nämlichen Typus gehören, wenn sie durch blossen Buchstabenwechsel
aus einander hervorgehen, genauer: wenn es möglich ist, aus dem
einen Ausdruck den andern, dadurch abzuleiten, dass man für die ein-
fachen Buchstaben a, a1, b, b1, ... aus denen er sich zusammensetzt und
deren positive uns unabhängig beliebige Gebiete vorstellen, eventuell
andere (sei es positive, sei es negative) einfache Symbole sub-
stituirt, deren positive ebenfalls unabhängig beliebige Gebiete vorzu-
stellen haben.*) Es wird dann immer auch möglich sein, den andern
Ausdruck aus dem einen zurückzugewinnen: indem man nämlich die
vorigen Einsetzungen wieder rückgängig macht. (Postulat?, dass man
dies immer könne.)

Vom selben Typus sind z. B. die Ausdrücke
a + a1 b c1 und b1 + a1 d,
weil der zweite (zunächst in der mit ihm äquivalenten Form b1 + a1 b d, = b1 + b d a1)
sich aus dem ersten (der auch zu a + b c1 reduzirbar) ergibt, indem man
in diesem das a durch b1' -- somit das a1 durch b' -- zugleich das b
durch d' und das c1 durch a1' ersetzt, hernach aber die Accente weglässt.
Darnach wird auch der erste Ausdruck sich aus dem zweiten (in seiner
reduzirten Form) ergeben, indem man im letztern b1 durch a', d durch b',
und a1 durch c1' ersetzt, sodann die Accente fortlässt.

Hat man zwei Ausdrücke auf die Übereinstimmung ihres Typus zu
untersuchen, in welchen teilweise oder durchaus die nämlichen Buchstaben
auftreten, so ist es ratsam (so, wie es im vorstehenden Beispiel durch-
geführt worden), die Buchstaben des einen Ausdrucks provisorisch mit Ac-
centen zu versehen und dadurch von denen des andern unterscheidbar zu
machen.

In der That sollten die Buchstaben des einen Ausdrucks eine von den
gleichnamigen des andern unabhängig beliebige Bedeutung haben, und wird
man so nur die allgemeine für das Bezeichnen maassgebende Maxime im
vorliegenden Falle befolgt haben, dass in einer Untersuchung als ver-
schieden Denkbares nicht übereinstimmend bezeichnet werden dürfe.

Andernfalles läuft man nicht selten Gefahr die gleichnamigen Buch-
staben als solche des ersten und als solche des zweiten Ausdruckes zu
vermengen, wie an einem Beispiel dargelegt werden möge: Um den
Ausdruck:
a x + a1 b y + b1 c in b1 x + b c1 y + a c
zu verwandeln und damit zu erkennen, dass beide zum selben Typus ge-
hören, ist erforderlich und hinreichend, a tempo zu ersetzen:
(x durch x, y durch y),

*) Selbstverständlich ist bei diesen Einsetzungen zu beachten, dass nach
Th. 32), wenn b für a gesetzt wird, auch b1 für a1 gesetzt werden muss, gleichwie,
wo a durch b1 ersetzt wird, auch a1 durch b ersetzt werden muss.
Zur Gruppentheorie des identischen Kalkuls.

Von zwei Ausdrücken werden wir nämlich sagen, dass sie zum
nämlichen Typus gehören, wenn sie durch blossen Buchstabenwechsel
aus einander hervorgehen, genauer: wenn es möglich ist, aus dem
einen Ausdruck den andern, dadurch abzuleiten, dass man für die ein-
fachen Buchstaben a, a1, b, b1, … aus denen er sich zusammensetzt und
deren positive uns unabhängig beliebige Gebiete vorstellen, eventuell
andere (sei es positive, sei es negative) einfache Symbole sub-
stituirt, deren positive ebenfalls unabhängig beliebige Gebiete vorzu-
stellen haben.*) Es wird dann immer auch möglich sein, den andern
Ausdruck aus dem einen zurückzugewinnen: indem man nämlich die
vorigen Einsetzungen wieder rückgängig macht. (Postulat?, dass man
dies immer könne.)

Vom selben Typus sind z. B. die Ausdrücke
a + a1 b c1 und b1 + a1 d,
weil der zweite (zunächst in der mit ihm äquivalenten Form b1 + a1 b d, = b1 + b d a1)
sich aus dem ersten (der auch zu a + b c1 reduzirbar) ergibt, indem man
in diesem das a durch b1' — somit das a1 durch b' — zugleich das b
durch d' und das c1 durch a1' ersetzt, hernach aber die Accente weglässt.
Darnach wird auch der erste Ausdruck sich aus dem zweiten (in seiner
reduzirten Form) ergeben, indem man im letztern b1 durch a', d durch b',
und a1 durch c1' ersetzt, sodann die Accente fortlässt.

Hat man zwei Ausdrücke auf die Übereinstimmung ihres Typus zu
untersuchen, in welchen teilweise oder durchaus die nämlichen Buchstaben
auftreten, so ist es ratsam (so, wie es im vorstehenden Beispiel durch-
geführt worden), die Buchstaben des einen Ausdrucks provisorisch mit Ac-
centen zu versehen und dadurch von denen des andern unterscheidbar zu
machen.

In der That sollten die Buchstaben des einen Ausdrucks eine von den
gleichnamigen des andern unabhängig beliebige Bedeutung haben, und wird
man so nur die allgemeine für das Bezeichnen maassgebende Maxime im
vorliegenden Falle befolgt haben, dass in einer Untersuchung als ver-
schieden Denkbares nicht übereinstimmend bezeichnet werden dürfe.

Andernfalles läuft man nicht selten Gefahr die gleichnamigen Buch-
staben als solche des ersten und als solche des zweiten Ausdruckes zu
vermengen, wie an einem Beispiel dargelegt werden möge: Um den
Ausdruck:
a x + a1 b y + b1 c in b1 x + b c1 y + a c
zu verwandeln und damit zu erkennen, dass beide zum selben Typus ge-
hören, ist erforderlich und hinreichend, a tempo zu ersetzen:
(x durch x, y durch y),

*) Selbstverständlich ist bei diesen Einsetzungen zu beachten, dass nach
Th. 32), wenn b für a gesetzt wird, auch b1 für a1 gesetzt werden muss, gleichwie,
wo a durch b1 ersetzt wird, auch a1 durch b ersetzt werden muss.
<TEI>
  <text>
    <body>
      <div n="1">
        <div n="2">
          <pb facs="#f0671" n="651"/>
          <fw place="top" type="header">Zur Gruppentheorie des identischen Kalkuls.</fw><lb/>
          <p>Von zwei Ausdrücken werden wir nämlich sagen, dass sie zum<lb/>
nämlichen <hi rendition="#i">Typus</hi> gehören, wenn sie durch blossen Buchstabenwechsel<lb/>
aus einander hervorgehen, genauer: wenn es möglich ist, aus dem<lb/>
einen Ausdruck den andern, dadurch abzuleiten, dass man für die ein-<lb/>
fachen Buchstaben <hi rendition="#i">a</hi>, <hi rendition="#i">a</hi><hi rendition="#sub">1</hi>, <hi rendition="#i">b</hi>, <hi rendition="#i">b</hi><hi rendition="#sub">1</hi>, &#x2026; aus denen er sich zusammensetzt und<lb/>
deren positive uns unabhängig beliebige Gebiete vorstellen, eventuell<lb/>
andere (sei es positive, sei es negative) einfache Symbole sub-<lb/>
stituirt, deren positive ebenfalls unabhängig beliebige Gebiete vorzu-<lb/>
stellen haben.<note place="foot" n="*)">Selbstverständlich ist bei diesen Einsetzungen zu beachten, dass nach<lb/>
Th. 32), wenn <hi rendition="#i">b</hi> für <hi rendition="#i">a</hi> gesetzt wird, auch <hi rendition="#i">b</hi><hi rendition="#sub">1</hi> für <hi rendition="#i">a</hi><hi rendition="#sub">1</hi> gesetzt werden muss, gleichwie,<lb/>
wo <hi rendition="#i">a</hi> durch <hi rendition="#i">b</hi><hi rendition="#sub">1</hi> ersetzt wird, auch <hi rendition="#i">a</hi><hi rendition="#sub">1</hi> durch <hi rendition="#i">b</hi> ersetzt werden muss.</note> Es wird dann immer auch möglich sein, den andern<lb/>
Ausdruck aus dem einen zurückzugewinnen: indem man nämlich die<lb/>
vorigen Einsetzungen wieder rückgängig macht. (Postulat?, dass man<lb/>
dies immer könne.)</p><lb/>
          <p>Vom <hi rendition="#i">selben</hi> Typus sind z. B. die Ausdrücke<lb/><hi rendition="#c"><hi rendition="#i">a</hi> + <hi rendition="#i">a</hi><hi rendition="#sub">1</hi> <hi rendition="#i">b c</hi><hi rendition="#sub">1</hi> und <hi rendition="#i">b</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">a</hi><hi rendition="#sub">1</hi> <hi rendition="#i">d</hi>,</hi><lb/>
weil der zweite (zunächst in der mit ihm äquivalenten Form <hi rendition="#i">b</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">a</hi><hi rendition="#sub">1</hi> <hi rendition="#i">b d</hi>, = <hi rendition="#i">b</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">b d a</hi><hi rendition="#sub">1</hi>)<lb/>
sich aus dem ersten (der auch zu <hi rendition="#i">a</hi> + <hi rendition="#i">b c</hi><hi rendition="#sub">1</hi> reduzirbar) ergibt, indem man<lb/>
in diesem das <hi rendition="#i">a</hi> durch <hi rendition="#i">b</hi><hi rendition="#sub">1</hi>' &#x2014; somit das <hi rendition="#i">a</hi><hi rendition="#sub">1</hi> durch <hi rendition="#i">b</hi>' &#x2014; zugleich das <hi rendition="#i">b</hi><lb/>
durch <hi rendition="#i">d</hi>' und das <hi rendition="#i">c</hi><hi rendition="#sub">1</hi> durch <hi rendition="#i">a</hi><hi rendition="#sub">1</hi>' ersetzt, hernach aber die Accente weglässt.<lb/>
Darnach wird auch der erste Ausdruck sich aus dem zweiten (in seiner<lb/>
reduzirten Form) ergeben, indem man im letztern <hi rendition="#i">b</hi><hi rendition="#sub">1</hi> durch <hi rendition="#i">a</hi>', <hi rendition="#i">d</hi> durch <hi rendition="#i">b</hi>',<lb/>
und <hi rendition="#i">a</hi><hi rendition="#sub">1</hi> durch <hi rendition="#i">c</hi><hi rendition="#sub">1</hi>' ersetzt, sodann die Accente fortlässt.</p><lb/>
          <p>Hat man zwei Ausdrücke auf die Übereinstimmung ihres Typus zu<lb/>
untersuchen, in welchen teilweise oder durchaus die <hi rendition="#i">nämlichen</hi> Buchstaben<lb/>
auftreten, so ist es ratsam (so, wie es im vorstehenden Beispiel durch-<lb/>
geführt worden), die Buchstaben des einen Ausdrucks provisorisch mit Ac-<lb/>
centen zu versehen und dadurch von denen des andern unterscheidbar zu<lb/>
machen.</p><lb/>
          <p>In der That sollten die Buchstaben des einen Ausdrucks eine von den<lb/>
gleichnamigen des andern unabhängig beliebige Bedeutung haben, und wird<lb/>
man so nur die allgemeine für das Bezeichnen maassgebende Maxime im<lb/>
vorliegenden Falle befolgt haben, dass in <hi rendition="#i">einer</hi> Untersuchung als ver-<lb/>
schieden Denkbares nicht übereinstimmend bezeichnet werden dürfe.</p><lb/>
          <p>Andernfalles läuft man nicht selten Gefahr die gleichnamigen Buch-<lb/>
staben als solche des ersten und als solche des zweiten Ausdruckes zu<lb/>
vermengen, wie an einem Beispiel dargelegt werden möge: Um den<lb/>
Ausdruck:<lb/><hi rendition="#c"><hi rendition="#i">a x</hi> + <hi rendition="#i">a</hi><hi rendition="#sub">1</hi> <hi rendition="#i">b y</hi> + <hi rendition="#i">b</hi><hi rendition="#sub">1</hi> <hi rendition="#i">c</hi> in <hi rendition="#i">b</hi><hi rendition="#sub">1</hi> <hi rendition="#i">x</hi> + <hi rendition="#i">b c</hi><hi rendition="#sub">1</hi> <hi rendition="#i">y</hi> + <hi rendition="#i">a c</hi></hi><lb/>
zu verwandeln und damit zu erkennen, dass beide zum selben Typus ge-<lb/>
hören, ist erforderlich und hinreichend, a tempo zu ersetzen:<lb/><hi rendition="#c">(<hi rendition="#i">x</hi> durch <hi rendition="#i">x</hi>, <hi rendition="#i">y</hi> durch <hi rendition="#i">y</hi>),</hi><lb/></p>
        </div>
      </div>
    </body>
  </text>
</TEI>
[651/0671] Zur Gruppentheorie des identischen Kalkuls. Von zwei Ausdrücken werden wir nämlich sagen, dass sie zum nämlichen Typus gehören, wenn sie durch blossen Buchstabenwechsel aus einander hervorgehen, genauer: wenn es möglich ist, aus dem einen Ausdruck den andern, dadurch abzuleiten, dass man für die ein- fachen Buchstaben a, a1, b, b1, … aus denen er sich zusammensetzt und deren positive uns unabhängig beliebige Gebiete vorstellen, eventuell andere (sei es positive, sei es negative) einfache Symbole sub- stituirt, deren positive ebenfalls unabhängig beliebige Gebiete vorzu- stellen haben. *) Es wird dann immer auch möglich sein, den andern Ausdruck aus dem einen zurückzugewinnen: indem man nämlich die vorigen Einsetzungen wieder rückgängig macht. (Postulat?, dass man dies immer könne.) Vom selben Typus sind z. B. die Ausdrücke a + a1 b c1 und b1 + a1 d, weil der zweite (zunächst in der mit ihm äquivalenten Form b1 + a1 b d, = b1 + b d a1) sich aus dem ersten (der auch zu a + b c1 reduzirbar) ergibt, indem man in diesem das a durch b1' — somit das a1 durch b' — zugleich das b durch d' und das c1 durch a1' ersetzt, hernach aber die Accente weglässt. Darnach wird auch der erste Ausdruck sich aus dem zweiten (in seiner reduzirten Form) ergeben, indem man im letztern b1 durch a', d durch b', und a1 durch c1' ersetzt, sodann die Accente fortlässt. Hat man zwei Ausdrücke auf die Übereinstimmung ihres Typus zu untersuchen, in welchen teilweise oder durchaus die nämlichen Buchstaben auftreten, so ist es ratsam (so, wie es im vorstehenden Beispiel durch- geführt worden), die Buchstaben des einen Ausdrucks provisorisch mit Ac- centen zu versehen und dadurch von denen des andern unterscheidbar zu machen. In der That sollten die Buchstaben des einen Ausdrucks eine von den gleichnamigen des andern unabhängig beliebige Bedeutung haben, und wird man so nur die allgemeine für das Bezeichnen maassgebende Maxime im vorliegenden Falle befolgt haben, dass in einer Untersuchung als ver- schieden Denkbares nicht übereinstimmend bezeichnet werden dürfe. Andernfalles läuft man nicht selten Gefahr die gleichnamigen Buch- staben als solche des ersten und als solche des zweiten Ausdruckes zu vermengen, wie an einem Beispiel dargelegt werden möge: Um den Ausdruck: a x + a1 b y + b1 c in b1 x + b c1 y + a c zu verwandeln und damit zu erkennen, dass beide zum selben Typus ge- hören, ist erforderlich und hinreichend, a tempo zu ersetzen: (x durch x, y durch y), *) Selbstverständlich ist bei diesen Einsetzungen zu beachten, dass nach Th. 32), wenn b für a gesetzt wird, auch b1 für a1 gesetzt werden muss, gleichwie, wo a durch b1 ersetzt wird, auch a1 durch b ersetzt werden muss.

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_logik01_1890
URL zu dieser Seite: https://www.deutschestextarchiv.de/schroeder_logik01_1890/671
Zitationshilfe: Schröder, Ernst: Vorlesungen über die Algebra der Logik. Bd. 1. Leipzig, 1890, S. 651. In: Deutsches Textarchiv <https://www.deutschestextarchiv.de/schroeder_logik01_1890/671>, abgerufen am 23.11.2024.