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 + a1b c1 und b1 + a1d, weil der zweite (zunächst in der mit ihm äquivalenten Form b1 + a1b 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 + a1b y + b1c in b1x + b c1y + 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 + a1b c1 und b1 + a1d, weil der zweite (zunächst in der mit ihm äquivalenten Form b1 + a1b 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 + a1b y + b1c in b1x + b c1y + 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><divn="1"><divn="2"><pbfacs="#f0671"n="651"/><fwplace="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 <hirendition="#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 <hirendition="#i">a</hi>, <hirendition="#i">a</hi><hirendition="#sub">1</hi>, <hirendition="#i">b</hi>, <hirendition="#i">b</hi><hirendition="#sub">1</hi>, … 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.<noteplace="foot"n="*)">Selbstverständlich ist bei diesen Einsetzungen zu beachten, dass nach<lb/>
Th. 32), wenn <hirendition="#i">b</hi> für <hirendition="#i">a</hi> gesetzt wird, auch <hirendition="#i">b</hi><hirendition="#sub">1</hi> für <hirendition="#i">a</hi><hirendition="#sub">1</hi> gesetzt werden muss, gleichwie,<lb/>
wo <hirendition="#i">a</hi> durch <hirendition="#i">b</hi><hirendition="#sub">1</hi> ersetzt wird, auch <hirendition="#i">a</hi><hirendition="#sub">1</hi> durch <hirendition="#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 <hirendition="#i">selben</hi> Typus sind z. B. die Ausdrücke<lb/><hirendition="#c"><hirendition="#i">a</hi> + <hirendition="#i">a</hi><hirendition="#sub">1</hi><hirendition="#i">b c</hi><hirendition="#sub">1</hi> und <hirendition="#i">b</hi><hirendition="#sub">1</hi> + <hirendition="#i">a</hi><hirendition="#sub">1</hi><hirendition="#i">d</hi>,</hi><lb/>
weil der zweite (zunächst in der mit ihm äquivalenten Form <hirendition="#i">b</hi><hirendition="#sub">1</hi> + <hirendition="#i">a</hi><hirendition="#sub">1</hi><hirendition="#i">b d</hi>, = <hirendition="#i">b</hi><hirendition="#sub">1</hi> + <hirendition="#i">b d a</hi><hirendition="#sub">1</hi>)<lb/>
sich aus dem ersten (der auch zu <hirendition="#i">a</hi> + <hirendition="#i">b c</hi><hirendition="#sub">1</hi> reduzirbar) ergibt, indem man<lb/>
in diesem das <hirendition="#i">a</hi> durch <hirendition="#i">b</hi><hirendition="#sub">1</hi>' — somit das <hirendition="#i">a</hi><hirendition="#sub">1</hi> durch <hirendition="#i">b</hi>' — zugleich das <hirendition="#i">b</hi><lb/>
durch <hirendition="#i">d</hi>' und das <hirendition="#i">c</hi><hirendition="#sub">1</hi> durch <hirendition="#i">a</hi><hirendition="#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 <hirendition="#i">b</hi><hirendition="#sub">1</hi> durch <hirendition="#i">a</hi>', <hirendition="#i">d</hi> durch <hirendition="#i">b</hi>',<lb/>
und <hirendition="#i">a</hi><hirendition="#sub">1</hi> durch <hirendition="#i">c</hi><hirendition="#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 <hirendition="#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 <hirendition="#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/><hirendition="#c"><hirendition="#i">a x</hi> + <hirendition="#i">a</hi><hirendition="#sub">1</hi><hirendition="#i">b y</hi> + <hirendition="#i">b</hi><hirendition="#sub">1</hi><hirendition="#i">c</hi> in <hirendition="#i">b</hi><hirendition="#sub">1</hi><hirendition="#i">x</hi> + <hirendition="#i">b c</hi><hirendition="#sub">1</hi><hirendition="#i">y</hi> + <hirendition="#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/><hirendition="#c">(<hirendition="#i">x</hi> durch <hirendition="#i">x</hi>, <hirendition="#i">y</hi> durch <hirendition="#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.
Informationen zur CAB-Ansicht
Diese Ansicht bietet Ihnen die Darstellung des Textes in normalisierter Orthographie.
Diese Textvariante wird vollautomatisch erstellt und kann aufgrund dessen auch Fehler enthalten.
Alle veränderten Wortformen sind grau hinterlegt. Als fremdsprachliches Material erkannte
Textteile sind ausgegraut dargestellt.
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 24.11.2024.
Alle Inhalte dieser Seite unterstehen, soweit nicht anders gekennzeichnet, einer
Creative-Commons-Lizenz.
Die Rechte an den angezeigten Bilddigitalisaten, soweit nicht anders gekennzeichnet, liegen bei den besitzenden Bibliotheken.
Weitere Informationen finden Sie in den DTA-Nutzungsbedingungen.
Insbesondere im Hinblick auf die §§ 86a StGB und 130 StGB wird festgestellt, dass die auf
diesen Seiten abgebildeten Inhalte weder in irgendeiner Form propagandistischen Zwecken
dienen, oder Werbung für verbotene Organisationen oder Vereinigungen darstellen, oder
nationalsozialistische Verbrechen leugnen oder verharmlosen, noch zum Zwecke der
Herabwürdigung der Menschenwürde gezeigt werden.
Die auf diesen Seiten abgebildeten Inhalte (in Wort und Bild) dienen im Sinne des
§ 86 StGB Abs. 3 ausschließlich historischen, sozial- oder kulturwissenschaftlichen
Forschungszwecken. Ihre Veröffentlichung erfolgt in der Absicht, Wissen zur Anregung
der intellektuellen Selbstständigkeit und Verantwortungsbereitschaft des Staatsbürgers zu
vermitteln und damit der Förderung seiner Mündigkeit zu dienen.
Zitierempfehlung: Deutsches Textarchiv. Grundlage für ein Referenzkorpus der neuhochdeutschen Sprache. Herausgegeben von der Berlin-Brandenburgischen Akademie der Wissenschaften, Berlin 2024. URL: https://www.deutschestextarchiv.de/.
