Anmelden (DTAQ) DWDS     dlexDB     CLARIN-D

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

Bild:
<< vorherige Seite
Achtzehnte Vorlesung.

Das "Polynom" einer solchen Gleichung oder Ungleichung ist irgend
ein Element der "Gruppe" G (A, B, C, ...) als deren Elementezahl wir in
Bd. 1, Anhaug 6 die Zahl 2n gefunden haben. Es kann daher auch nur 2n
solcher Gleichungen geben, von welchen jedoch die absurde 1 = 0 in Ab-
zug zu bringen wäre, desgleichen sind 2n Ungleichungen denkbar, von
welchen die Verneinung der absurden als nichtssagende zulässig bleibt.
Indessen soll von diesen Ergebnissen hier gar kein Gebrauch gemacht
werden.

Die linke Seite unsrer rechts auf 0 gebrachten Gleichung oder
Ungleichung kann nach ihren n Argumenten A, B, C, ... "entwickelt"
gedacht werden. Da von andern Klassen als ebendiesen nicht ge-
sprochen werden durfte, so können als Koeffizienten in gedachter Ent-
wickelung nur mehr 0 und 1 auftreten. Das heisst: unser Polynom
f (A, B, C, ...), oder f, setzt sich additiv zusammen aus irgend welchen
(nur bei der Gleichung nicht gerade sämtlichen) Konstituenten der
Entwickelung der identischen Eins nach denselben Argumenten, welche
lautet:
1 = A B C .. + ... + A1 B1 C1 ...
und wie bekannt 2n Glieder besitzt.

Sind a, b, c, d, ... die zu f zusammentretenden Glieder, sodass
f = a + b + c + d + ..., so lässt sich aber nach Th. 24+) die Gleichung
f = 0 zerspalten in das Produkt (System) einfacherer Gleichungen:
(f = 0) = (a = 0) (b = 0) (c = 0) (d = 0) ...
und demgemäss lässt auch nach Th. 32) und 36) die Ungleichung
f 0 sich zerlegen in die Summe (Alternative) von einfacheren Un-
gleichungen:
(f 0) = (a 0) + (b 0) + (c 0) + (d 0) + ...

Jede Funktion von lauter irgendwie gebildet gewesenen Glei-
chungen und Ungleichungen wird also auch sein: eine Funktion von
diesen einfacheren Gleichungen und Ungleichungen, und nur von
diesen -- die sich ergeben, indem man die 2n Konstituenten obiger
Entwickelung (der 1) einzeln = resp. 0 setzt.

Diese einfacheren Propositionen wollen wir die "primitiven" nennen
und mit a, b, g, ... a1, b1, ... bezeichnen. Sie kommen (höchstens) in
der Anzahl zwei mal 2n in Betracht, stellen sich dar als 2n Aussagen
nebst deren (ebensovielen) Verneinungen, sodass wir häufig auch nur
von den 2n primitiven Aussagen a, b, g, ... reden mögen -- ihre
Negationen als selbstverständlich dazu gehörige mit Stillschweigen
übergehend.

Für n = 3, wo 23 = 8, ist:

Achtzehnte Vorlesung.

Das „Polynom“ einer solchen Gleichung oder Ungleichung ist irgend
ein Element der „Gruppe“ G (A, B, C, …) als deren Elementezahl wir in
Bd. 1, Anhaug 6 die Zahl 2n gefunden haben. Es kann daher auch nur 2n
solcher Gleichungen geben, von welchen jedoch die absurde 1 = 0 in Ab-
zug zu bringen wäre, desgleichen sind 2n Ungleichungen denkbar, von
welchen die Verneinung der absurden als nichtssagende zulässig bleibt.
Indessen soll von diesen Ergebnissen hier gar kein Gebrauch gemacht
werden.

Die linke Seite unsrer rechts auf 0 gebrachten Gleichung oder
Ungleichung kann nach ihren n Argumenten A, B, C, … „entwickelt“
gedacht werden. Da von andern Klassen als ebendiesen nicht ge-
sprochen werden durfte, so können als Koeffizienten in gedachter Ent-
wickelung nur mehr 0 und 1 auftreten. Das heisst: unser Polynom
f (A, B, C, …), oder f, setzt sich additiv zusammen aus irgend welchen
(nur bei der Gleichung nicht gerade sämtlichen) Konstituenten der
Entwickelung der identischen Eins nach denselben Argumenten, welche
lautet:
1 = A B C ‥ + … + A1 B1 C1
und wie bekannt 2n Glieder besitzt.

Sind a, b, c, d, … die zu f zusammentretenden Glieder, sodass
f = a + b + c + d + …, so lässt sich aber nach Th. 24+) die Gleichung
f = 0 zerspalten in das Produkt (System) einfacherer Gleichungen:
(f = 0) = (a = 0) (b = 0) (c = 0) (d = 0) …
und demgemäss lässt auch nach Th. 3̅2̅) und 3̅6̅) die Ungleichung
f ≠ 0 sich zerlegen in die Summe (Alternative) von einfacheren Un-
gleichungen:
(f ≠ 0) = (a ≠ 0) + (b ≠ 0) + (c ≠ 0) + (d ≠ 0) + …

Jede Funktion von lauter irgendwie gebildet gewesenen Glei-
chungen und Ungleichungen wird also auch sein: eine Funktion von
diesen einfacheren Gleichungen und Ungleichungen, und nur von
diesen — die sich ergeben, indem man die 2n Konstituenten obiger
Entwickelung (der 1) einzeln = resp. ≠ 0 setzt.

Diese einfacheren Propositionen wollen wir die „primitiven“ nennen
und mit α, β, γ, … α1, β1, … bezeichnen. Sie kommen (höchstens) in
der Anzahl zwei mal 2n in Betracht, stellen sich dar als 2n Aussagen
nebst deren (ebensovielen) Verneinungen, sodass wir häufig auch nur
von den 2n primitiven Aussagen α, β, γ, … reden mögen — ihre
Negationen als selbstverständlich dazu gehörige mit Stillschweigen
übergehend.

Für n = 3, wo 23 = 8, ist:

<TEI>
  <text>
    <body>
      <div n="1">
        <div n="2">
          <div n="3">
            <pb facs="#f0200" n="176"/>
            <fw place="top" type="header">Achtzehnte Vorlesung.</fw><lb/>
            <p>Das &#x201E;Polynom&#x201C; einer solchen Gleichung oder Ungleichung ist irgend<lb/>
ein Element der &#x201E;Gruppe&#x201C; <hi rendition="#i">G</hi> (<hi rendition="#i">A</hi>, <hi rendition="#i">B</hi>, <hi rendition="#i">C</hi>, &#x2026;) als deren Elementezahl wir in<lb/>
Bd. 1, Anhaug 6 die Zahl 2<hi rendition="#i"><hi rendition="#sup">n</hi></hi> gefunden haben. Es kann daher auch nur 2<hi rendition="#i"><hi rendition="#sup">n</hi></hi><lb/>
solcher Gleichungen geben, von welchen jedoch die absurde 1 = 0 in Ab-<lb/>
zug zu bringen wäre, desgleichen sind 2<hi rendition="#i"><hi rendition="#sup">n</hi></hi> Ungleichungen denkbar, von<lb/>
welchen die Verneinung der absurden als nichtssagende zulässig bleibt.<lb/>
Indessen soll von diesen Ergebnissen hier gar kein Gebrauch gemacht<lb/>
werden.</p><lb/>
            <p>Die linke Seite unsrer rechts auf 0 gebrachten Gleichung oder<lb/>
Ungleichung kann nach ihren <hi rendition="#i">n</hi> Argumenten <hi rendition="#i">A</hi>, <hi rendition="#i">B</hi>, <hi rendition="#i">C</hi>, &#x2026; &#x201E;entwickelt&#x201C;<lb/>
gedacht werden. Da von andern Klassen als ebendiesen nicht ge-<lb/>
sprochen werden durfte, so können als Koeffizienten in gedachter Ent-<lb/>
wickelung nur mehr 0 und 1 auftreten. Das heisst: unser Polynom<lb/><hi rendition="#i">f</hi> (<hi rendition="#i">A</hi>, <hi rendition="#i">B</hi>, <hi rendition="#i">C</hi>, &#x2026;), oder <hi rendition="#i">f</hi>, setzt sich additiv zusammen aus irgend welchen<lb/>
(nur bei der Gleichung nicht gerade sämtlichen) Konstituenten der<lb/>
Entwickelung der identischen Eins nach denselben Argumenten, welche<lb/>
lautet:<lb/><hi rendition="#c">1 = <hi rendition="#i">A B C</hi> &#x2025; + &#x2026; + <hi rendition="#i">A</hi><hi rendition="#sub">1</hi> <hi rendition="#i">B</hi><hi rendition="#sub">1</hi> <hi rendition="#i">C</hi><hi rendition="#sub">1</hi> &#x2026;</hi><lb/>
und wie bekannt 2<hi rendition="#i"><hi rendition="#sup">n</hi></hi> Glieder besitzt.</p><lb/>
            <p>Sind <hi rendition="#i">a</hi>, <hi rendition="#i">b</hi>, <hi rendition="#i">c</hi>, <hi rendition="#i">d</hi>, &#x2026; die zu <hi rendition="#i">f</hi> zusammentretenden Glieder, sodass<lb/><hi rendition="#i">f</hi> = <hi rendition="#i">a</hi> + <hi rendition="#i">b</hi> + <hi rendition="#i">c</hi> + <hi rendition="#i">d</hi> + &#x2026;, so lässt sich aber nach Th. 24<hi rendition="#sub">+</hi>) die Gleichung<lb/><hi rendition="#i">f</hi> = 0 zerspalten in das Produkt (System) einfacherer Gleichungen:<lb/><hi rendition="#c">(<hi rendition="#i">f</hi> = 0) = (<hi rendition="#i">a</hi> = 0) (<hi rendition="#i">b</hi> = 0) (<hi rendition="#i">c</hi> = 0) (<hi rendition="#i">d</hi> = 0) &#x2026;</hi><lb/>
und demgemäss lässt auch nach Th. 3&#x0305;2&#x0305;) und 3&#x0305;6&#x0305;) die Ungleichung<lb/><hi rendition="#i">f</hi> &#x2260; 0 sich zerlegen in die Summe (Alternative) von einfacheren Un-<lb/>
gleichungen:<lb/><hi rendition="#c">(<hi rendition="#i">f</hi> &#x2260; 0) = (<hi rendition="#i">a</hi> &#x2260; 0) + (<hi rendition="#i">b</hi> &#x2260; 0) + (<hi rendition="#i">c</hi> &#x2260; 0) + (<hi rendition="#i">d</hi> &#x2260; 0) + &#x2026;</hi></p><lb/>
            <p>Jede Funktion von lauter irgendwie gebildet gewesenen Glei-<lb/>
chungen und Ungleichungen wird also auch sein: eine Funktion von<lb/>
diesen einfacheren Gleichungen und Ungleichungen, und <hi rendition="#i">nur</hi> von<lb/>
diesen &#x2014; die sich ergeben, indem man die 2<hi rendition="#i"><hi rendition="#sup">n</hi></hi> Konstituenten obiger<lb/>
Entwickelung (der 1) einzeln = resp. &#x2260; 0 setzt.</p><lb/>
            <p>Diese einfacheren Propositionen wollen wir die &#x201E;<hi rendition="#i">primitiven</hi>&#x201C; nennen<lb/>
und mit <hi rendition="#i">&#x03B1;</hi>, <hi rendition="#i">&#x03B2;</hi>, <hi rendition="#i">&#x03B3;</hi>, &#x2026; <hi rendition="#i">&#x03B1;</hi><hi rendition="#sub">1</hi>, <hi rendition="#i">&#x03B2;</hi><hi rendition="#sub">1</hi>, &#x2026; bezeichnen. Sie kommen (höchstens) in<lb/>
der Anzahl zwei mal 2<hi rendition="#i"><hi rendition="#sup">n</hi></hi> in Betracht, stellen sich dar als 2<hi rendition="#i"><hi rendition="#sup">n</hi></hi> Aussagen<lb/>
nebst deren (ebensovielen) Verneinungen, sodass wir häufig auch nur<lb/>
von <hi rendition="#i">den</hi> 2<hi rendition="#i"><hi rendition="#sup">n</hi></hi> primitiven Aussagen <hi rendition="#i">&#x03B1;</hi>, <hi rendition="#i">&#x03B2;</hi>, <hi rendition="#i">&#x03B3;</hi>, &#x2026; reden mögen &#x2014; ihre<lb/>
Negationen als selbstverständlich dazu gehörige mit Stillschweigen<lb/>
übergehend.</p><lb/>
            <p>Für <hi rendition="#i">n</hi> = 3, wo 2<hi rendition="#sup">3</hi> = 8, ist:<lb/></p>
          </div>
        </div>
      </div>
    </body>
  </text>
</TEI>
[176/0200] Achtzehnte Vorlesung. Das „Polynom“ einer solchen Gleichung oder Ungleichung ist irgend ein Element der „Gruppe“ G (A, B, C, …) als deren Elementezahl wir in Bd. 1, Anhaug 6 die Zahl 2n gefunden haben. Es kann daher auch nur 2n solcher Gleichungen geben, von welchen jedoch die absurde 1 = 0 in Ab- zug zu bringen wäre, desgleichen sind 2n Ungleichungen denkbar, von welchen die Verneinung der absurden als nichtssagende zulässig bleibt. Indessen soll von diesen Ergebnissen hier gar kein Gebrauch gemacht werden. Die linke Seite unsrer rechts auf 0 gebrachten Gleichung oder Ungleichung kann nach ihren n Argumenten A, B, C, … „entwickelt“ gedacht werden. Da von andern Klassen als ebendiesen nicht ge- sprochen werden durfte, so können als Koeffizienten in gedachter Ent- wickelung nur mehr 0 und 1 auftreten. Das heisst: unser Polynom f (A, B, C, …), oder f, setzt sich additiv zusammen aus irgend welchen (nur bei der Gleichung nicht gerade sämtlichen) Konstituenten der Entwickelung der identischen Eins nach denselben Argumenten, welche lautet: 1 = A B C ‥ + … + A1 B1 C1 … und wie bekannt 2n Glieder besitzt. Sind a, b, c, d, … die zu f zusammentretenden Glieder, sodass f = a + b + c + d + …, so lässt sich aber nach Th. 24+) die Gleichung f = 0 zerspalten in das Produkt (System) einfacherer Gleichungen: (f = 0) = (a = 0) (b = 0) (c = 0) (d = 0) … und demgemäss lässt auch nach Th. 3̅2̅) und 3̅6̅) die Ungleichung f ≠ 0 sich zerlegen in die Summe (Alternative) von einfacheren Un- gleichungen: (f ≠ 0) = (a ≠ 0) + (b ≠ 0) + (c ≠ 0) + (d ≠ 0) + … Jede Funktion von lauter irgendwie gebildet gewesenen Glei- chungen und Ungleichungen wird also auch sein: eine Funktion von diesen einfacheren Gleichungen und Ungleichungen, und nur von diesen — die sich ergeben, indem man die 2n Konstituenten obiger Entwickelung (der 1) einzeln = resp. ≠ 0 setzt. Diese einfacheren Propositionen wollen wir die „primitiven“ nennen und mit α, β, γ, … α1, β1, … bezeichnen. Sie kommen (höchstens) in der Anzahl zwei mal 2n in Betracht, stellen sich dar als 2n Aussagen nebst deren (ebensovielen) Verneinungen, sodass wir häufig auch nur von den 2n primitiven Aussagen α, β, γ, … reden mögen — ihre Negationen als selbstverständlich dazu gehörige mit Stillschweigen übergehend. Für n = 3, wo 23 = 8, ist:

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_logik0201_1891
URL zu dieser Seite: https://www.deutschestextarchiv.de/schroeder_logik0201_1891/200
Zitationshilfe: Schröder, Ernst: Vorlesungen über die Algebra der Logik. Bd. 2, Abt. 1. Leipzig, 1891, S. 176. In: Deutsches Textarchiv <https://www.deutschestextarchiv.de/schroeder_logik0201_1891/200>, abgerufen am 25.11.2024.