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

Anhang 6.
G (0) = G (1) = G {0, 1} = {0, 1};
G (a) = G (a1) = G {0, 1, a, a1} = {0, 1, a, a1}
und zudem = G (a, a1) = G (0, a) = G (1, a) = G (0, a1) = G (1, a1) =
= G (0, a, a1) = G (1, a, a1) = G (a1, a) = G (a, 0) = etc.
indem es auch auf die Reihenfolge bei der Angabe der Elemente nicht an-
kommen wird.

Nehmen wir in G (a) das a gleich 0 an, so entsteht:
G (0) = {0, 1, 0, 1} = {0, 1},
und ebenso für a = 1 erhalten wir G (1) = {0, 1, 1, 0} was sich eben-
falls zu {0, 1} "reduzirt" -- in Illustration des im vorigen Kontext
Gesagten.

Die Nullgruppe besteht aus zwei, die Gruppe von a schlechtweg aus
vier Elementen, weil zunächst in ihr das a als beliebig zu denken.

Bei der Angabe von ausreichenden Bestimmungselementen einer
Gruppe wird indess im Allgemeinen darauf zu halten sein, dass man
sich unnötiger Weitläufigkeiten nicht schuldig mache, d. h. es sind
überflüssige Elemente dabei zu unterdrücken. Als "überflüssig" wird die
Angabe eines Bestimmungselementes dann zu bezeichnen sein, wenn
dasselbe aus den bereits angegebenen (resp. den übrigen "Bestimmungs-
elementen") durch die erlaubten Operationen, eben der drei Spezies,
schon ableitbar ist.

So ist bei G (a, a1) das a1 ein überflüssiges Bestimmungselement, wes-
halb es besser unterdrückt und die betreffende Gruppe einfacher mit G (a)
dargestellt wird. Resp. falls man a1 beibehalten will, so wird a als über-
flüssig zu unterdrücken sein.

Kommen überflüssige Bestimmungselemente nicht (mehr oder von
vornherein nicht) vor, so ist das System der Bestimmungselemente ein
"reduzirtes". Wir haben dann "ein ausreichendes System von unent-
behrlichen Bestimmungselementen" (welche freilich allemal auch durch
ganz andere vertreten werden könnten, und darum nur in einem ge-
wissen Sinne als "unentbehrliche" hingestellt werden dürfen -- näm-
lich als "nicht-überflüssige" -- wie aus dem Obigen erhellt). Auf ein
solches System soll der schlechtweg gebrauchte Name "System von
Bestimmungselementen" künftig immer hinweisen. --

Unsre nächste Aufgabe sei: die Gruppen aufzusuchen der Aus-
drücke, welche mittelst zwei, resp. 3, resp. 4 Buchstaben a, b, c, d
gebildet werden können. So weit thunlich mögen wir auch zusehen,
auf welche Art diese Gruppen in Untergruppen sich gliedern. Vor
allem aber kommt es darauf an, die Anzahl und Beschaffenheit der
verschiedenen "Arten" oder "Typen" zu ermitteln, von welchen die als
Elemente der Gruppe auftretenden Ausdrücke sein werden.

Anhang 6.
G (0) = G (1) = G {0, 1} = {0, 1};
G (a) = G (a1) = G {0, 1, a, a1} = {0, 1, a, a1}
und zudem = G (a, a1) = G (0, a) = G (1, a) = G (0, a1) = G (1, a1) =
= G (0, a, a1) = G (1, a, a1) = G (a1, a) = G (a, 0) = etc.
indem es auch auf die Reihenfolge bei der Angabe der Elemente nicht an-
kommen wird.

Nehmen wir in G (a) das a gleich 0 an, so entsteht:
G (0) = {0, 1, 0, 1} = {0, 1},
und ebenso für a = 1 erhalten wir G (1) = {0, 1, 1, 0} was sich eben-
falls zu {0, 1} „reduzirt“ — in Illustration des im vorigen Kontext
Gesagten.

Die Nullgruppe besteht aus zwei, die Gruppe von a schlechtweg aus
vier Elementen, weil zunächst in ihr das a als beliebig zu denken.

Bei der Angabe von ausreichenden Bestimmungselementen einer
Gruppe wird indess im Allgemeinen darauf zu halten sein, dass man
sich unnötiger Weitläufigkeiten nicht schuldig mache, d. h. es sind
überflüssige Elemente dabei zu unterdrücken. Als „überflüssig“ wird die
Angabe eines Bestimmungselementes dann zu bezeichnen sein, wenn
dasselbe aus den bereits angegebenen (resp. den übrigen „Bestimmungs-
elementen“) durch die erlaubten Operationen, eben der drei Spezies,
schon ableitbar ist.

So ist bei G (a, a1) das a1 ein überflüssiges Bestimmungselement, wes-
halb es besser unterdrückt und die betreffende Gruppe einfacher mit G (a)
dargestellt wird. Resp. falls man a1 beibehalten will, so wird a als über-
flüssig zu unterdrücken sein.

Kommen überflüssige Bestimmungselemente nicht (mehr oder von
vornherein nicht) vor, so ist das System der Bestimmungselemente ein
„reduzirtes“. Wir haben dann „ein ausreichendes System von unent-
behrlichen Bestimmungselementen“ (welche freilich allemal auch durch
ganz andere vertreten werden könnten, und darum nur in einem ge-
wissen Sinne als „unentbehrliche“ hingestellt werden dürfen — näm-
lich als „nicht-überflüssige“ — wie aus dem Obigen erhellt). Auf ein
solches System soll der schlechtweg gebrauchte Name „System von
Bestimmungselementen“ künftig immer hinweisen. —

Unsre nächste Aufgabe sei: die Gruppen aufzusuchen der Aus-
drücke, welche mittelst zwei, resp. 3, resp. 4 Buchstaben a, b, c, d
gebildet werden können. So weit thunlich mögen wir auch zusehen,
auf welche Art diese Gruppen in Untergruppen sich gliedern. Vor
allem aber kommt es darauf an, die Anzahl und Beschaffenheit der
verschiedenen „Arten“ oder „Typen“ zu ermitteln, von welchen die als
Elemente der Gruppe auftretenden Ausdrücke sein werden.

<TEI>
  <text>
    <body>
      <div n="1">
        <div n="2">
          <p><pb facs="#f0670" n="650"/><fw place="top" type="header">Anhang 6.</fw><lb/><hi rendition="#c"><hi rendition="#i">G</hi> (0) = <hi rendition="#i">G</hi> (1) = <hi rendition="#i">G</hi> {0, 1} = {0, 1};<lb/><hi rendition="#i">G</hi> (<hi rendition="#i">a</hi>) = <hi rendition="#i">G</hi> (<hi rendition="#i">a</hi><hi rendition="#sub">1</hi>) = <hi rendition="#i">G</hi> {0, 1, <hi rendition="#i">a</hi>, <hi rendition="#i">a</hi><hi rendition="#sub">1</hi>} = {0, 1, <hi rendition="#i">a</hi>, <hi rendition="#i">a</hi><hi rendition="#sub">1</hi>}</hi><lb/>
und zudem = <hi rendition="#i">G</hi> (<hi rendition="#i">a</hi>, <hi rendition="#i">a</hi><hi rendition="#sub">1</hi>) = <hi rendition="#i">G</hi> (0, <hi rendition="#i">a</hi>) = <hi rendition="#i">G</hi> (1, <hi rendition="#i">a</hi>) = <hi rendition="#i">G</hi> (0, <hi rendition="#i">a</hi><hi rendition="#sub">1</hi>) = <hi rendition="#i">G</hi> (1, <hi rendition="#i">a</hi><hi rendition="#sub">1</hi>) =<lb/><hi rendition="#et">= <hi rendition="#i">G</hi> (0, <hi rendition="#i">a</hi>, <hi rendition="#i">a</hi><hi rendition="#sub">1</hi>) = <hi rendition="#i">G</hi> (1, <hi rendition="#i">a</hi>, <hi rendition="#i">a</hi><hi rendition="#sub">1</hi>) = <hi rendition="#i">G</hi> (<hi rendition="#i">a</hi><hi rendition="#sub">1</hi>, <hi rendition="#i">a</hi>) = <hi rendition="#i">G</hi> (<hi rendition="#i">a</hi>, 0) = <hi rendition="#i">etc.</hi></hi><lb/>
indem es auch <hi rendition="#i">auf die Reihenfolge bei der Angabe der Elemente nicht an-<lb/>
kommen</hi> wird.</p><lb/>
          <p>Nehmen wir <hi rendition="#i">in G</hi> (<hi rendition="#i">a</hi>) das <hi rendition="#i">a</hi> gleich 0 an, so entsteht:<lb/><hi rendition="#c"><hi rendition="#i">G</hi> (0) = {0, 1, 0, 1} = {0, 1},</hi><lb/>
und ebenso für <hi rendition="#i">a</hi> = 1 erhalten wir <hi rendition="#i">G</hi> (1) = {0, 1, 1, 0} was sich eben-<lb/>
falls zu {0, 1} &#x201E;reduzirt&#x201C; &#x2014; in Illustration des im vorigen Kontext<lb/>
Gesagten.</p><lb/>
          <p>Die Nullgruppe besteht aus zwei, die Gruppe von <hi rendition="#i">a</hi> schlechtweg aus<lb/>
vier Elementen, weil zunächst in ihr das <hi rendition="#i">a</hi> als beliebig zu denken.</p><lb/>
          <p>Bei der Angabe von ausreichenden Bestimmungselementen einer<lb/>
Gruppe wird indess im Allgemeinen darauf zu halten sein, dass man<lb/>
sich unnötiger Weitläufigkeiten nicht schuldig mache, d. h. es sind<lb/><hi rendition="#i">überflüssige Elemente</hi> dabei <hi rendition="#i">zu unterdrücken</hi>. Als &#x201E;überflüssig&#x201C; wird die<lb/>
Angabe eines Bestimmungselementes dann zu bezeichnen sein, wenn<lb/>
dasselbe aus den bereits angegebenen (resp. den übrigen &#x201E;Bestimmungs-<lb/>
elementen&#x201C;) durch die erlaubten Operationen, eben der drei Spezies,<lb/>
schon ableitbar ist.</p><lb/>
          <p>So ist bei <hi rendition="#i">G</hi> (<hi rendition="#i">a</hi>, <hi rendition="#i">a</hi><hi rendition="#sub">1</hi>) das <hi rendition="#i">a</hi><hi rendition="#sub">1</hi> ein überflüssiges Bestimmungselement, wes-<lb/>
halb es besser unterdrückt und die betreffende Gruppe einfacher mit <hi rendition="#i">G</hi> (<hi rendition="#i">a</hi>)<lb/>
dargestellt wird. Resp. falls man <hi rendition="#i">a</hi><hi rendition="#sub">1</hi> beibehalten will, so wird <hi rendition="#i">a</hi> als über-<lb/>
flüssig zu unterdrücken sein.</p><lb/>
          <p>Kommen überflüssige Bestimmungselemente nicht (mehr oder von<lb/>
vornherein nicht) vor, so ist das System der Bestimmungselemente ein<lb/>
&#x201E;reduzirtes&#x201C;. Wir haben dann &#x201E;ein <hi rendition="#i">ausreichendes</hi> System von <hi rendition="#i">unent-<lb/>
behrlichen</hi> Bestimmungselementen&#x201C; (welche freilich allemal auch durch<lb/>
ganz andere vertreten werden könnten, und darum nur in einem ge-<lb/>
wissen Sinne als &#x201E;unentbehrliche&#x201C; hingestellt werden dürfen &#x2014; näm-<lb/>
lich als &#x201E;nicht-überflüssige&#x201C; &#x2014; wie aus dem Obigen erhellt). Auf ein<lb/>
solches System soll der schlechtweg gebrauchte Name &#x201E;System von<lb/>
Bestimmungselementen&#x201C; künftig immer hinweisen. &#x2014;</p><lb/>
          <p>Unsre nächste Aufgabe sei: die Gruppen aufzusuchen der Aus-<lb/>
drücke, welche mittelst zwei, resp. 3, resp. 4 Buchstaben <hi rendition="#i">a</hi>, <hi rendition="#i">b</hi>, <hi rendition="#i">c</hi>, <hi rendition="#i">d</hi><lb/>
gebildet werden können. So weit thunlich mögen wir auch zusehen,<lb/>
auf welche Art diese Gruppen in Untergruppen sich gliedern. Vor<lb/>
allem aber kommt es darauf an, die Anzahl und Beschaffenheit der<lb/>
verschiedenen &#x201E;<hi rendition="#i">Arten</hi>&#x201C; oder &#x201E;<hi rendition="#i">Typen</hi>&#x201C; zu ermitteln, von welchen die als<lb/>
Elemente der Gruppe auftretenden Ausdrücke sein werden.</p><lb/>
        </div>
      </div>
    </body>
  </text>
</TEI>
[650/0670] Anhang 6. G (0) = G (1) = G {0, 1} = {0, 1}; G (a) = G (a1) = G {0, 1, a, a1} = {0, 1, a, a1} und zudem = G (a, a1) = G (0, a) = G (1, a) = G (0, a1) = G (1, a1) = = G (0, a, a1) = G (1, a, a1) = G (a1, a) = G (a, 0) = etc. indem es auch auf die Reihenfolge bei der Angabe der Elemente nicht an- kommen wird. Nehmen wir in G (a) das a gleich 0 an, so entsteht: G (0) = {0, 1, 0, 1} = {0, 1}, und ebenso für a = 1 erhalten wir G (1) = {0, 1, 1, 0} was sich eben- falls zu {0, 1} „reduzirt“ — in Illustration des im vorigen Kontext Gesagten. Die Nullgruppe besteht aus zwei, die Gruppe von a schlechtweg aus vier Elementen, weil zunächst in ihr das a als beliebig zu denken. Bei der Angabe von ausreichenden Bestimmungselementen einer Gruppe wird indess im Allgemeinen darauf zu halten sein, dass man sich unnötiger Weitläufigkeiten nicht schuldig mache, d. h. es sind überflüssige Elemente dabei zu unterdrücken. Als „überflüssig“ wird die Angabe eines Bestimmungselementes dann zu bezeichnen sein, wenn dasselbe aus den bereits angegebenen (resp. den übrigen „Bestimmungs- elementen“) durch die erlaubten Operationen, eben der drei Spezies, schon ableitbar ist. So ist bei G (a, a1) das a1 ein überflüssiges Bestimmungselement, wes- halb es besser unterdrückt und die betreffende Gruppe einfacher mit G (a) dargestellt wird. Resp. falls man a1 beibehalten will, so wird a als über- flüssig zu unterdrücken sein. Kommen überflüssige Bestimmungselemente nicht (mehr oder von vornherein nicht) vor, so ist das System der Bestimmungselemente ein „reduzirtes“. Wir haben dann „ein ausreichendes System von unent- behrlichen Bestimmungselementen“ (welche freilich allemal auch durch ganz andere vertreten werden könnten, und darum nur in einem ge- wissen Sinne als „unentbehrliche“ hingestellt werden dürfen — näm- lich als „nicht-überflüssige“ — wie aus dem Obigen erhellt). Auf ein solches System soll der schlechtweg gebrauchte Name „System von Bestimmungselementen“ künftig immer hinweisen. — Unsre nächste Aufgabe sei: die Gruppen aufzusuchen der Aus- drücke, welche mittelst zwei, resp. 3, resp. 4 Buchstaben a, b, c, d gebildet werden können. So weit thunlich mögen wir auch zusehen, auf welche Art diese Gruppen in Untergruppen sich gliedern. Vor allem aber kommt es darauf an, die Anzahl und Beschaffenheit der verschiedenen „Arten“ oder „Typen“ zu ermitteln, von welchen die als Elemente der Gruppe auftretenden Ausdrücke sein werden.

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/670
Zitationshilfe: Schröder, Ernst: Vorlesungen über die Algebra der Logik. Bd. 1. Leipzig, 1890, S. 650. In: Deutsches Textarchiv <https://www.deutschestextarchiv.de/schroeder_logik01_1890/670>, abgerufen am 25.11.2024.