Anmelden (DTAQ) DWDS     dlexDB     CLARIN-D

Schröder, Ernst: Vorlesungen über die Algebra der Logik. Bd. 2, Abt. 2. Leipzig, 1905.

Bild:
<< vorherige Seite
nächste Seite >>
Anhang 8.

usw., wobei in der letzten Zeile die Elemente einerseits des Trennungs-
punktes nur durch ihre Anzahl angedeutet sind, -- eine Abkürzung, die
jedenfalls dann stets ohne weiteres anwendbar ist, wenn die ersten auf-
einanderfolgenden Buchstaben des Alphabets von a an als Elementezeichen
genommen sind. -- Man sieht, dass eine derartige Zerlegung eines flachen
Systems in ein Produkt aus ebensolchen mit mehr Gliedern auf die "Ent-
wicklung" des Polynoms einer (rechts auf Null gebrachten) Gleichung nach
einem oder mehreren nicht darin vorkommenden Symbolen hinauskommt. --
In den Faktoren, z. B. von a b · e, erscheinen die durch den Punkt getrennten
Elemente des Produkts a b · e überall ebenfalls getrennt, während die übrigen
neu hereinkommenden Elemente in jeder möglichen Verteilung vor und
hinter dem Punkt auftreten.

u) Wenn a, b, c und d ein flaches System bilden, so muss dieses
offenbar einem der beiden folgenden Typen von vier resp. drei Formen
angehören (K 86):

a · b c d
b · a c d
c · a b d
d · a b c		erster Typus,a b · c d
a c · b d
a d · b c		zweiter Typus.

Ebenso sind alle möglichen Formen eines fünfgliedrigen flachen
Systems aus den Elementen a, b, c, d, e enthalten unter zwei Typen
von fünf und von zehn Formen: (mit der oben erläuterten Abkürzung)
a · 4 b · 4 c · 4 d · 4 e · 4 erster Typus,

a b · 3 a c · 3 a d · 3 a e · 3
b c · 3 b d · 3 b e · 3 c d · 3 c e · 3 d e · 3		zweiter Typus.

Ähnlich bei mehr Elementen.

ph) Durch erhöhte Punkte zwischen je zweien von irgendwieviel
Elementen soll angedeutet werden, dass diese Elemente ein flaches System
bilden, ohne dass zugleich bekannt sein soll, welche von den möglichen
Formen diesem flachen Systeme zukommt, oder welche Elemente vor,
welche hinter den Trennungspunkt treten. So ist also in
(a · b · c) = (a b · c) + (a c · b) + (b c · a)
das Symbol links aussagenrechnerisch definirt als die Alternative
zwischen den drei Aussagen rechts.

Trifft diese Alternative zu, so soll gesagt werden, die Elemente
a, b, c seien kollinear oder lägen in gerader Linie, bildeten ein gerad-
liniges System.

Analog definiren wir
(a · b · c · d) = (a · 3) + (b · 3) + (c · 3) + (d · 3) + (a b · 2) + (a c · 2) + (a d · 2)

Anhang 8.

usw., wobei in der letzten Zeile die Elemente einerseits des Trennungs-
punktes nur durch ihre Anzahl angedeutet sind, — eine Abkürzung, die
jedenfalls dann stets ohne weiteres anwendbar ist, wenn die ersten auf-
einanderfolgenden Buchstaben des Alphabets von a an als Elementezeichen
genommen sind. — Man sieht, dass eine derartige Zerlegung eines flachen
Systems in ein Produkt aus ebensolchen mit mehr Gliedern auf die „Ent-
wicklung“ des Polynoms einer (rechts auf Null gebrachten) Gleichung nach
einem oder mehreren nicht darin vorkommenden Symbolen hinauskommt. —
In den Faktoren, z. B. von a b · e, erscheinen die durch den Punkt getrennten
Elemente des Produkts a b · e überall ebenfalls getrennt, während die übrigen
neu hereinkommenden Elemente in jeder möglichen Verteilung vor und
hinter dem Punkt auftreten.

υ) Wenn a, b, c und d ein flaches System bilden, so muss dieses
offenbar einem der beiden folgenden Typen von vier resp. drei Formen
angehören (K 86):

a · b c d
b · a c d
c · a b d
d · a b c		erster Typus,a b · c d
a c · b d
a d · b c		zweiter Typus.

Ebenso sind alle möglichen Formen eines fünfgliedrigen flachen
Systems aus den Elementen a, b, c, d, e enthalten unter zwei Typen
von fünf und von zehn Formen: (mit der oben erläuterten Abkürzung)
a · 4 b · 4 c · 4 d · 4 e · 4 erster Typus,

a b · 3 a c · 3 a d · 3 a e · 3
b c · 3 b d · 3 b e · 3 c d · 3 c e · 3 d e · 3		zweiter Typus.

Ähnlich bei mehr Elementen.

φ) Durch erhöhte Punkte zwischen je zweien von irgendwieviel
Elementen soll angedeutet werden, dass diese Elemente ein flaches System
bilden, ohne dass zugleich bekannt sein soll, welche von den möglichen
Formen diesem flachen Systeme zukommt, oder welche Elemente vor,
welche hinter den Trennungspunkt treten. So ist also in
(a · b · c) = (a b · c) + (a c · b) + (b c · a)
das Symbol links aussagenrechnerisch definirt als die Alternative
zwischen den drei Aussagen rechts.

Trifft diese Alternative zu, so soll gesagt werden, die Elemente
a, b, c seien kollinear oder lägen in gerader Linie, bildeten ein gerad-
liniges System.

Analog definiren wir
(a · b · c · d) = (a · 3) + (b · 3) + (c · 3) + (d · 3) + (a b · 2) + (a c · 2) + (a d · 2)

<TEI>
  <text>
    <body>
      <div n="1">
        <div n="2">
          <pb facs="#f0218" n="574"/>
          <fw place="top" type="header">Anhang 8.</fw><lb/>
          <p>usw., wobei in der letzten Zeile die Elemente einerseits des Trennungs-<lb/>
punktes nur durch ihre Anzahl angedeutet sind, &#x2014; eine Abkürzung, die<lb/>
jedenfalls dann stets ohne weiteres anwendbar ist, wenn die ersten auf-<lb/>
einanderfolgenden Buchstaben des Alphabets von <hi rendition="#i">a</hi> an als Elementezeichen<lb/>
genommen sind. &#x2014; Man sieht, dass eine derartige Zerlegung eines flachen<lb/>
Systems in ein Produkt aus ebensolchen mit mehr Gliedern auf die &#x201E;Ent-<lb/>
wicklung&#x201C; des Polynoms einer (rechts auf Null gebrachten) Gleichung nach<lb/>
einem oder mehreren nicht darin vorkommenden Symbolen hinauskommt. &#x2014;<lb/>
In den Faktoren, z. B. von <hi rendition="#i">a b</hi> · <hi rendition="#i">e</hi>, erscheinen die durch den Punkt getrennten<lb/>
Elemente des Produkts <hi rendition="#i">a b</hi> · <hi rendition="#i">e</hi> überall ebenfalls getrennt, während die übrigen<lb/>
neu hereinkommenden Elemente in jeder möglichen Verteilung vor und<lb/>
hinter dem Punkt auftreten.</p><lb/>
          <p><hi rendition="#i">&#x03C5;</hi>) Wenn <hi rendition="#i">a</hi>, <hi rendition="#i">b</hi>, <hi rendition="#i">c</hi> und <hi rendition="#i">d</hi> ein flaches System bilden, so muss dieses<lb/>
offenbar einem der beiden folgenden Typen von vier resp. drei Formen<lb/>
angehören (<hi rendition="#fr">K</hi> 86):<lb/><table><row><cell><hi rendition="#i">a</hi> · <hi rendition="#i">b c d<lb/>
b</hi> · <hi rendition="#i">a c d<lb/>
c</hi> · <hi rendition="#i">a b d<lb/>
d</hi> · <hi rendition="#i">a b c</hi></cell><cell>erster Typus,</cell><cell><hi rendition="#i">a b</hi> · <hi rendition="#i">c d<lb/>
a c</hi> · <hi rendition="#i">b d<lb/>
a d</hi> · <hi rendition="#i">b c</hi></cell><cell>zweiter Typus.</cell></row><lb/></table></p>
          <p>Ebenso sind alle möglichen Formen eines fünfgliedrigen flachen<lb/>
Systems aus den Elementen <hi rendition="#i">a</hi>, <hi rendition="#i">b</hi>, <hi rendition="#i">c</hi>, <hi rendition="#i">d</hi>, <hi rendition="#i">e</hi> enthalten unter zwei Typen<lb/>
von fünf und von zehn Formen: (mit der oben erläuterten Abkürzung)<lb/><hi rendition="#et"><hi rendition="#i">a</hi> · 4 <hi rendition="#i">b</hi> · 4 <hi rendition="#i">c</hi> · 4 <hi rendition="#i">d</hi> · 4 <hi rendition="#i">e</hi> · 4 erster Typus,<lb/><list rend="braced"><item><hi rendition="#i">a b</hi> · 3 <hi rendition="#i">a c</hi> · 3 <hi rendition="#i">a d</hi> · 3 <hi rendition="#i">a e</hi> · 3<lb/><hi rendition="#i">b c</hi> · 3 <hi rendition="#i">b d</hi> · 3 <hi rendition="#i">b e</hi> · 3 <hi rendition="#i">c d</hi> · 3 <hi rendition="#i">c e</hi> · 3 <hi rendition="#i">d e</hi> · 3</item><trailer>zweiter Typus.</trailer></list></hi><lb/>
Ähnlich bei mehr Elementen.</p><lb/>
          <p><hi rendition="#i">&#x03C6;</hi>) Durch erhöhte Punkte zwischen je zweien von irgendwieviel<lb/>
Elementen soll angedeutet werden, dass diese Elemente ein flaches System<lb/>
bilden, ohne dass zugleich bekannt sein soll, welche von den möglichen<lb/>
Formen diesem flachen Systeme zukommt, oder welche Elemente vor,<lb/>
welche hinter den Trennungspunkt treten. So ist also in<lb/><hi rendition="#c">(<hi rendition="#i">a</hi> · <hi rendition="#i">b</hi> · <hi rendition="#i">c</hi>) = (<hi rendition="#i">a b</hi> · <hi rendition="#i">c</hi>) + (<hi rendition="#i">a c</hi> · <hi rendition="#i">b</hi>) + (<hi rendition="#i">b c</hi> · <hi rendition="#i">a</hi>)</hi><lb/>
das Symbol links aussagenrechnerisch definirt als die Alternative<lb/>
zwischen den drei Aussagen rechts.</p><lb/>
          <p>Trifft diese Alternative zu, so soll gesagt werden, die Elemente<lb/><hi rendition="#i">a</hi>, <hi rendition="#i">b</hi>, <hi rendition="#i">c</hi> seien <hi rendition="#i">kollinear</hi> oder <hi rendition="#i">lägen in gerader Linie</hi>, bildeten ein <hi rendition="#i">gerad-<lb/>
liniges System</hi>.</p><lb/>
          <p>Analog definiren wir<lb/><hi rendition="#c">(<hi rendition="#i">a</hi> · <hi rendition="#i">b</hi> · <hi rendition="#i">c</hi> · <hi rendition="#i">d</hi>) = (<hi rendition="#i">a</hi> · 3) + (<hi rendition="#i">b</hi> · 3) + (<hi rendition="#i">c</hi> · 3) + (<hi rendition="#i">d</hi> · 3) + (<hi rendition="#i">a b</hi> · 2) + (<hi rendition="#i">a c</hi> · 2) + (<hi rendition="#i">a d</hi> · 2)</hi><lb/></p>
        </div>
      </div>
    </body>
  </text>
</TEI>
[574/0218] Anhang 8. usw., wobei in der letzten Zeile die Elemente einerseits des Trennungs- punktes nur durch ihre Anzahl angedeutet sind, — eine Abkürzung, die jedenfalls dann stets ohne weiteres anwendbar ist, wenn die ersten auf- einanderfolgenden Buchstaben des Alphabets von a an als Elementezeichen genommen sind. — Man sieht, dass eine derartige Zerlegung eines flachen Systems in ein Produkt aus ebensolchen mit mehr Gliedern auf die „Ent- wicklung“ des Polynoms einer (rechts auf Null gebrachten) Gleichung nach einem oder mehreren nicht darin vorkommenden Symbolen hinauskommt. — In den Faktoren, z. B. von a b · e, erscheinen die durch den Punkt getrennten Elemente des Produkts a b · e überall ebenfalls getrennt, während die übrigen neu hereinkommenden Elemente in jeder möglichen Verteilung vor und hinter dem Punkt auftreten. υ) Wenn a, b, c und d ein flaches System bilden, so muss dieses offenbar einem der beiden folgenden Typen von vier resp. drei Formen angehören (K 86): a · b c d b · a c d c · a b d d · a b c erster Typus, a b · c d a c · b d a d · b c zweiter Typus. Ebenso sind alle möglichen Formen eines fünfgliedrigen flachen Systems aus den Elementen a, b, c, d, e enthalten unter zwei Typen von fünf und von zehn Formen: (mit der oben erläuterten Abkürzung) a · 4 b · 4 c · 4 d · 4 e · 4 erster Typus, a b · 3 a c · 3 a d · 3 a e · 3 b c · 3 b d · 3 b e · 3 c d · 3 c e · 3 d e · 3zweiter Typus. Ähnlich bei mehr Elementen. φ) Durch erhöhte Punkte zwischen je zweien von irgendwieviel Elementen soll angedeutet werden, dass diese Elemente ein flaches System bilden, ohne dass zugleich bekannt sein soll, welche von den möglichen Formen diesem flachen Systeme zukommt, oder welche Elemente vor, welche hinter den Trennungspunkt treten. So ist also in (a · b · c) = (a b · c) + (a c · b) + (b c · a) das Symbol links aussagenrechnerisch definirt als die Alternative zwischen den drei Aussagen rechts. Trifft diese Alternative zu, so soll gesagt werden, die Elemente a, b, c seien kollinear oder lägen in gerader Linie, bildeten ein gerad- liniges System. Analog definiren wir (a · b · c · d) = (a · 3) + (b · 3) + (c · 3) + (d · 3) + (a b · 2) + (a c · 2) + (a d · 2)

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_logik0202_1905
URL zu dieser Seite: https://www.deutschestextarchiv.de/schroeder_logik0202_1905/218
Zitationshilfe: Schröder, Ernst: Vorlesungen über die Algebra der Logik. Bd. 2, Abt. 2. Leipzig, 1905, S. 574. In: Deutsches Textarchiv <https://www.deutschestextarchiv.de/schroeder_logik0202_1905/218>, abgerufen am 24.11.2024.