zugefügt werden dürfen, mehr aber noch: welche Mitfaktoren, wenn sie daneben auftreten, ebendort unterdrückbar sind.
Nunmehr können wir also jedes Zeilenrelativ darstellen. Z. B. wird 0an1g1 = 0an000 + 00100 + 000g0 + 00001 zu erhalten sein als die Summe der Ausdrücke, welche sich für die vier Relative rechterhand in 37) und 38) einzeln angegeben finden. Der solchergestalt durch Vereinigung gewonnene Ausdruck für ein Zeilenrelativ ist aber -- wie schon das Beispiel 38) zeigte -- zumeist nicht der konziseste, dessen das Relativ fähig ist. Statt seiner geben wir, wo nur immer uns ein einfacherer Ausdruck zugebote steht, natür- lich diesen letztern an. Und es bleibt ein Tummelplatz noch un- gelöster Aufgaben: für jedes Zeilenrelativ dessen knappsten Ausdruck (eventuell die gleich einfachen konzisesten Ausdrücke desselben) zu finden mit der Minimalzahl der Terme (als da sind Buchstaben a, an oder Modulzeichen) aus denen sein Name aufgebaut, mit Hülfe deren es hinsichtlich der Art und Weise, wie es aus a hervorgeht, "beschrieben" werden kann.
Wir wollen nun diejenigen von den 256 Zeilenrelativen wirklich aufstellen, die man als die ausschliesslich hervorhebenden (oder ab- werfenden) bezeichnen könnte -- inbezug auf das beliebig gegebene Relativ a. Da von einem "Abwerfen" der (fünften) Ziffer 0 nicht die Rede sein kann, so gibt es deren 24 = 16 = 1 + 4 + 6 + 4 + 1 je nach- dem keine, eine, 2, 3 und 4 von den ersten Ziffern abgeworfen werden, nämlich:
1abg0
1a000
10000
1ab00
10b00
0a000
1a0g0
100g0
00b00
10bg0
0ab00
000g0
0abg0
0a0g0
00000.
00bg0
Lexikalisch geordnet stellen sich diese Relative wie folgt wol am einfachsten dar: 39) 1abg0 = a, 1ab00 = a ; 0' · a, 1a0g0 = (a j 1' + an j 1') ; 1 · a, 1a000 = (a j 1') ; 1 · a = (a j 1') ; 0', 10bg0 = (an ; 0' j 0 + a j 1')a = a j 0 + (an ; 0' j 0)a, 10b00 = {a j 0 + (an ; 0' j 0) · a ; 0'}a = a j 0 + (a ; 0' · an ; 0' j 0)a, 100g0 = (a j 1' + an j 1')a = (a j 0 + an j 1')a = a j 0 + (an j 1')a,
§ 15. Zur Darstellung der 256 Zeilenrelative.
zugefügt werden dürfen, mehr aber noch: welche Mitfaktoren, wenn sie daneben auftreten, ebendort unterdrückbar sind.
Nunmehr können wir also jedes Zeilenrelativ darstellen. Z. B. wird 0ᾱ1γ1 = 0ᾱ000 + 00100 + 000γ0 + 00001 zu erhalten sein als die Summe der Ausdrücke, welche sich für die vier Relative rechterhand in 37) und 38) einzeln angegeben finden. Der solchergestalt durch Vereinigung gewonnene Ausdruck für ein Zeilenrelativ ist aber — wie schon das Beispiel 38) zeigte — zumeist nicht der konziseste, dessen das Relativ fähig ist. Statt seiner geben wir, wo nur immer uns ein einfacherer Ausdruck zugebote steht, natür- lich diesen letztern an. Und es bleibt ein Tummelplatz noch un- gelöster Aufgaben: für jedes Zeilenrelativ dessen knappsten Ausdruck (eventuell die gleich einfachen konzisesten Ausdrücke desselben) zu finden mit der Minimalzahl der Terme (als da sind Buchstaben a, ā oder Modulzeichen) aus denen sein Name aufgebaut, mit Hülfe deren es hinsichtlich der Art und Weise, wie es aus a hervorgeht, „beschrieben“ werden kann.
Wir wollen nun diejenigen von den 256 Zeilenrelativen wirklich aufstellen, die man als die ausschliesslich hervorhebenden (oder ab- werfenden) bezeichnen könnte — inbezug auf das beliebig gegebene Relativ a. Da von einem „Abwerfen“ der (fünften) Ziffer 0 nicht die Rede sein kann, so gibt es deren 24 = 16 = 1 + 4 + 6 + 4 + 1 je nach- dem keine, eine, 2, 3 und 4 von den ersten Ziffern abgeworfen werden, nämlich:
1αβγ0
1α000
10000
1αβ00
10β00
0α000
1α0γ0
100γ0
00β00
10βγ0
0αβ00
000γ0
0αβγ0
0α0γ0
00000.
00βγ0
Lexikalisch geordnet stellen sich diese Relative wie folgt wol am einfachsten dar: 39) 1αβγ0 = a, 1αβ00 = a ; 0' · a, 1α0γ0 = (a ɟ 1' + ā ɟ 1') ; 1 · a, 1α000 = (a ɟ 1') ; 1 · a = (a ɟ 1') ; 0', 10βγ0 = (ā ; 0' ɟ 0 + a ɟ 1')a = a ɟ 0 + (ā ; 0' ɟ 0)a, 10β00 = {a ɟ 0 + (ā ; 0' ɟ 0) · a ; 0'}a = a ɟ 0 + (a ; 0' · ā ; 0' ɟ 0)a, 100γ0 = (a ɟ 1' + ā ɟ 1')a = (a ɟ 0 + ā ɟ 1')a = a ɟ 0 + (ā ɟ 1')a,
<TEI><text><body><divn="1"><divn="2"><p><pbfacs="#f0233"n="219"/><fwplace="top"type="header">§ 15. Zur Darstellung der 256 Zeilenrelative.</fw><lb/>
zugefügt werden dürfen, mehr aber noch: welche Mitfaktoren, wenn sie<lb/>
daneben auftreten, ebendort unterdrückbar sind.</p><lb/><p>Nunmehr können wir also jedes Zeilenrelativ darstellen. Z. B. wird<lb/><hirendition="#c">0<hirendition="#i">ᾱ</hi>1<hirendition="#i">γ</hi>1 = 0<hirendition="#i">ᾱ</hi>000 + 00100 + 000<hirendition="#i">γ</hi>0 + 00001</hi><lb/>
zu erhalten sein als die Summe der Ausdrücke, welche sich für die<lb/>
vier Relative rechterhand in 37) und 38) einzeln angegeben finden.<lb/>
Der solchergestalt durch Vereinigung gewonnene Ausdruck für ein<lb/>
Zeilenrelativ ist aber — wie schon das Beispiel 38) zeigte — zumeist<lb/>
nicht der konziseste, dessen das Relativ fähig ist. Statt seiner geben<lb/>
wir, wo nur immer uns ein einfacherer Ausdruck zugebote steht, natür-<lb/>
lich diesen letztern an. Und es bleibt ein Tummelplatz noch un-<lb/>
gelöster Aufgaben: <hirendition="#i">für jedes Zeilenrelativ dessen knappsten Ausdruck</hi><lb/>
(eventuell die gleich einfachen konzisesten Ausdrücke desselben) <hirendition="#i">zu<lb/>
finden</hi> mit der Minimalzahl der Terme (als da sind Buchstaben <hirendition="#i">a</hi>, <hirendition="#i">ā</hi><lb/>
oder Modulzeichen) aus denen sein Name aufgebaut, mit Hülfe deren<lb/>
es hinsichtlich der Art und Weise, wie es aus <hirendition="#i">a</hi> hervorgeht, „beschrieben“<lb/>
werden kann.</p><lb/><p>Wir wollen nun diejenigen von den 256 Zeilenrelativen wirklich<lb/>
aufstellen, die man als die ausschliesslich <hirendition="#i">hervorhebenden</hi> (oder <hirendition="#i">ab-<lb/>
werfenden</hi>) bezeichnen könnte — inbezug auf das beliebig gegebene<lb/>
Relativ <hirendition="#i">a</hi>. Da von einem „Abwerfen“ der (fünften) Ziffer 0 nicht die<lb/>
Rede sein kann, so gibt es deren 2<hirendition="#sup">4</hi> = 16 = 1 + 4 + 6 + 4 + 1 je nach-<lb/>
dem keine, eine, 2, 3 und 4 von den ersten Ziffern abgeworfen werden,<lb/>
nämlich:<lb/><table><row><cell><hirendition="#u">1<hirendition="#i">αβγ</hi>0</hi></cell><cell>1<hirendition="#i">α</hi>000</cell><cell>10000</cell></row><lb/><row><cell>1<hirendition="#i">αβ</hi>00</cell><cell>10<hirendition="#i">β</hi>00</cell><cell>0<hirendition="#i">α</hi>000</cell></row><lb/><row><cell>1<hirendition="#i">α</hi>0<hirendition="#i">γ</hi>0</cell><cell>100<hirendition="#i">γ</hi>0</cell><cell>00<hirendition="#i">β</hi>00</cell></row><lb/><row><cell>10<hirendition="#i">βγ</hi>0</cell><cell>0<hirendition="#i">αβ</hi>00</cell><cell><hirendition="#u">000<hirendition="#i">γ</hi>0</hi></cell></row><lb/><row><cell><hirendition="#u">0<hirendition="#i">αβγ</hi>0</hi></cell><cell>0<hirendition="#i">α</hi>0<hirendition="#i">γ</hi>0</cell><cell>00000.</cell></row><lb/><row><cell/><cell><hirendition="#u">00<hirendition="#i">βγ</hi>0</hi></cell><cell/></row><lb/></table></p><p>Lexikalisch geordnet stellen sich diese Relative wie folgt wol am<lb/>
einfachsten dar:<lb/>
39)<lb/>
1<hirendition="#i">αβγ</hi>0 = <hirendition="#i">a</hi>, 1<hirendition="#i">αβ</hi>00 = <hirendition="#i">a</hi> ; 0' · <hirendition="#i">a</hi>, 1<hirendition="#i">α</hi>0<hirendition="#i">γ</hi>0 = (<hirendition="#i">a</hi>ɟ 1' + <hirendition="#i">ā</hi>ɟ 1') ; 1 · <hirendition="#i">a</hi>,<lb/>
1<hirendition="#i">α</hi>000 = (<hirendition="#i">a</hi>ɟ 1') ; 1 · <hirendition="#i">a</hi> = (<hirendition="#i">a</hi>ɟ 1') ; 0', 10<hirendition="#i">βγ</hi>0 = (<hirendition="#i">ā</hi> ; 0' ɟ 0 + <hirendition="#i">a</hi>ɟ 1')<hirendition="#i">a</hi> = <hirendition="#i">a</hi>ɟ 0 + (<hirendition="#i">ā</hi> ; 0' ɟ 0)<hirendition="#i">a</hi>,<lb/>
10<hirendition="#i">β</hi>00 = {<hirendition="#i">a</hi>ɟ 0 + (<hirendition="#i">ā</hi> ; 0' ɟ 0) · <hirendition="#i">a</hi> ; 0'}<hirendition="#i">a</hi> = <hirendition="#i">a</hi>ɟ 0 + (<hirendition="#i">a</hi> ; 0' · <hirendition="#i">ā</hi> ; 0' ɟ 0)<hirendition="#i">a</hi>,<lb/>
100<hirendition="#i">γ</hi>0 = (<hirendition="#i">a</hi>ɟ 1' + <hirendition="#i">ā</hi>ɟ 1')<hirendition="#i">a</hi> = (<hirendition="#i">a</hi>ɟ 0 + <hirendition="#i">ā</hi>ɟ 1')<hirendition="#i">a</hi> = <hirendition="#i">a</hi>ɟ 0 + (<hirendition="#i">ā</hi>ɟ 1')<hirendition="#i">a</hi>,<lb/></p></div></div></body></text></TEI>
[219/0233]
§ 15. Zur Darstellung der 256 Zeilenrelative.
zugefügt werden dürfen, mehr aber noch: welche Mitfaktoren, wenn sie
daneben auftreten, ebendort unterdrückbar sind.
Nunmehr können wir also jedes Zeilenrelativ darstellen. Z. B. wird
0ᾱ1γ1 = 0ᾱ000 + 00100 + 000γ0 + 00001
zu erhalten sein als die Summe der Ausdrücke, welche sich für die
vier Relative rechterhand in 37) und 38) einzeln angegeben finden.
Der solchergestalt durch Vereinigung gewonnene Ausdruck für ein
Zeilenrelativ ist aber — wie schon das Beispiel 38) zeigte — zumeist
nicht der konziseste, dessen das Relativ fähig ist. Statt seiner geben
wir, wo nur immer uns ein einfacherer Ausdruck zugebote steht, natür-
lich diesen letztern an. Und es bleibt ein Tummelplatz noch un-
gelöster Aufgaben: für jedes Zeilenrelativ dessen knappsten Ausdruck
(eventuell die gleich einfachen konzisesten Ausdrücke desselben) zu
finden mit der Minimalzahl der Terme (als da sind Buchstaben a, ā
oder Modulzeichen) aus denen sein Name aufgebaut, mit Hülfe deren
es hinsichtlich der Art und Weise, wie es aus a hervorgeht, „beschrieben“
werden kann.
Wir wollen nun diejenigen von den 256 Zeilenrelativen wirklich
aufstellen, die man als die ausschliesslich hervorhebenden (oder ab-
werfenden) bezeichnen könnte — inbezug auf das beliebig gegebene
Relativ a. Da von einem „Abwerfen“ der (fünften) Ziffer 0 nicht die
Rede sein kann, so gibt es deren 24 = 16 = 1 + 4 + 6 + 4 + 1 je nach-
dem keine, eine, 2, 3 und 4 von den ersten Ziffern abgeworfen werden,
nämlich:
1αβγ0 1α000 10000
1αβ00 10β00 0α000
1α0γ0 100γ0 00β00
10βγ0 0αβ00 000γ0
0αβγ0 0α0γ0 00000.
00βγ0
Lexikalisch geordnet stellen sich diese Relative wie folgt wol am
einfachsten dar:
39)
1αβγ0 = a, 1αβ00 = a ; 0' · a, 1α0γ0 = (a ɟ 1' + ā ɟ 1') ; 1 · a,
1α000 = (a ɟ 1') ; 1 · a = (a ɟ 1') ; 0', 10βγ0 = (ā ; 0' ɟ 0 + a ɟ 1')a = a ɟ 0 + (ā ; 0' ɟ 0)a,
10β00 = {a ɟ 0 + (ā ; 0' ɟ 0) · a ; 0'}a = a ɟ 0 + (a ; 0' · ā ; 0' ɟ 0)a,
100γ0 = (a ɟ 1' + ā ɟ 1')a = (a ɟ 0 + ā ɟ 1')a = a ɟ 0 + (ā ɟ 1')a,
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. 3, Abt. 1. Leipzig, 1895, S. 219. In: Deutsches Textarchiv <https://www.deutschestextarchiv.de/schroeder_logik03_1895/233>, abgerufen am 23.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/.
