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 >>
§ 51. Zum Kapitel der symmetrisch allgemeinen Lösungen.

Einer Unbekannten xl soll immer ein unbestimmtes Gebiet ul
als wesentlicher Parameter entsprechen. Und alle Lösungen sollen der
"Adventivforderung" genügen derart, dass man aus ihnen ein gewünschtes
System xl (l = 1, 2, 3, ...) von Wurzeln der Aufgabe durch die si-
multanen Annahmen ul = xl (für l = 1, 2, 3, ...) erhält.

Aufgabe 16 (Erweiterung von Aufg. 1 ... 3 des § 24, Bd. 1,
S. 499).

Pl xl = 0. Lösung: xl = ul Sk unk.

Probe 1. Pl xl = Pl ul Sk unk = Pl ul · Sl unl = 0.

Probe 2. Ist Pl xl = 0, so folgt Sl xnl = 1 = Sk xnk, und folg-
lich xl Sk xnk = xl · 1 = xl.

Die Symmetrie des Lösungssystems ist evident.

Aufgabe 17. Pl xl a. (Erweiterung der vorigen.)
Lösung: xl = ul (a + Sk unk), xnl = unl + an Pk uk.

Wie leicht zu sehen, stimmen beide Proben.

Dass auch Lösungen mit noch mehr Parametern aufgestellt werden
können, zeigt z. B. die Annahme a = Sl bnl. Hier lässt sich die Aufgabe
ansetzen als:
Pl bl xl = 0,
und man entdeckt unschwer unter Berufung auf Aufg. 16 die Lösung
x l = bnl bl + bl al g Sk (bnk + ank), xnl = bl (anl + gn) + bnl bnl + Pk bk ak
worin die al, bl und g willkürlich.

Unbedingt stimmt hier die Probe 1, und auch die Probe 2 bei der An-
nahme g = 1, al = bl = kl.

Aufgabe 18. Sl al xl Sl al bl.

Lösung: xl = ul (anl + Sk ak bk).

Probe 1. Es wird Sl al xl = Sl al ul · Sk ak bk Sk ak bk.

Probe 2. Ist die Aufgabensubsumtion erfüllt, so folgt:
xl = xl (anl + Sk ak bk),
indem wegen
Sk ak bk = Sk ak xk + Sk ak bk
hierin der letzte Addend um den vorhergehenden vermehrt werden darf;
dann findet sich aber rechts xl mit anl + al oder 1 multiplizirt.

Die Herleitung ist hier sehr leicht zu bewerkstelligen; es ist nämlich
nach (3+) gestattet, in der Aufgabensubsumtion das Summenzeichen linker-
hand wegzulassen, so dass folgt:
al xl Sk ak bk oder xl anl + Sk ak bk. Usw.

Aufgabe 19. Sl al bl Sl al xl.

§ 51. Zum Kapitel der symmetrisch allgemeinen Lösungen.

Einer Unbekannten xλ soll immer ein unbestimmtes Gebiet uλ
als wesentlicher Parameter entsprechen. Und alle Lösungen sollen der
„Adventivforderung“ genügen derart, dass man aus ihnen ein gewünschtes
System xλ (λ = 1, 2, 3, …) von Wurzeln der Aufgabe durch die si-
multanen Annahmen uλ = xλ (für λ = 1, 2, 3, …) erhält.

Aufgabe 16 (Erweiterung von Aufg. 1 … 3 des § 24, Bd. 1,
S. 499).

Πλ xλ = 0. Lösung: xλ = uλ Σϰ ūϰ.

Probe 1. Πλ xλ = Πλ uλ Σϰ ūϰ = Πλ uλ · Σλ ūλ = 0.

Probe 2. Ist Πλ xλ = 0, so folgt Σλ x̄λ = 1 = Σϰ x̄ϰ, und folg-
lich xλ Σϰ x̄ϰ = xλ · 1 = xλ.

Die Symmetrie des Lösungssystems ist evident.

Aufgabe 17. Πλ xλ a. (Erweiterung der vorigen.)
Lösung: xλ = uλ (a + Σϰ ūϰ), x̄λ = ūλ + ā Πϰ uϰ.

Wie leicht zu sehen, stimmen beide Proben.

Dass auch Lösungen mit noch mehr Parametern aufgestellt werden
können, zeigt z. B. die Annahme a = Σλ b̄λ. Hier lässt sich die Aufgabe
ansetzen als:
Πλ bλ xλ = 0,
und man entdeckt unschwer unter Berufung auf Aufg. 16 die Lösung
x λ = b̄λ βλ + bλ αλ γ Σϰ (b̄ϰ + ᾱϰ), x̄λ = bλ (ᾱλ + γ̄) + b̄λ β̄λ + Πϰ bϰ αϰ
worin die αλ, βλ und γ willkürlich.

Unbedingt stimmt hier die Probe 1, und auch die Probe 2 bei der An-
nahme γ = 1, αλ = βλ = ϰλ.

Aufgabe 18. Σλ aλ xλ Σλ aλ bλ.

Lösung: xλ = uλ (āλ + Σϰ aϰ bϰ).

Probe 1. Es wird Σλ aλ xλ = Σλ aλ uλ · Σϰ aϰ bϰ Σϰ aϰ bϰ.

Probe 2. Ist die Aufgabensubsumtion erfüllt, so folgt:
xλ = xλ (āλ + Σϰ aϰ bϰ),
indem wegen
Σϰ aϰ bϰ = Σϰ aϰ xϰ + Σϰ aϰ bϰ
hierin der letzte Addend um den vorhergehenden vermehrt werden darf;
dann findet sich aber rechts xλ mit āλ + aλ oder 1 multiplizirt.

Die Herleitung ist hier sehr leicht zu bewerkstelligen; es ist nämlich
nach (3+) gestattet, in der Aufgabensubsumtion das Summenzeichen linker-
hand wegzulassen, so dass folgt:
aλ xλ Σϰ aϰ bϰ oder xλ āλ + Σϰ aϰ bϰ. Usw.

Aufgabe 19. Σλ aλ bλ Σλ aλ xλ.

<TEI>
  <text>
    <body>
      <div n="1">
        <div n="2">
          <div n="3">
            <pb facs="#f0075" n="431"/>
            <fw place="top" type="header">§ 51. Zum Kapitel der symmetrisch allgemeinen Lösungen.</fw><lb/>
            <p>Einer Unbekannten <hi rendition="#i">x<hi rendition="#sub">&#x03BB;</hi></hi> soll immer ein unbestimmtes Gebiet <hi rendition="#i">u<hi rendition="#sub">&#x03BB;</hi></hi><lb/>
als wesentlicher Parameter entsprechen. Und alle Lösungen sollen der<lb/>
&#x201E;Adventivforderung&#x201C; genügen derart, dass man aus ihnen ein gewünschtes<lb/>
System <hi rendition="#i">x<hi rendition="#sub">&#x03BB;</hi></hi> (<hi rendition="#i">&#x03BB;</hi> = 1, 2, 3, &#x2026;) von Wurzeln der Aufgabe durch die si-<lb/>
multanen Annahmen <hi rendition="#i">u<hi rendition="#sub">&#x03BB;</hi></hi> = <hi rendition="#i">x<hi rendition="#sub">&#x03BB;</hi></hi> (für <hi rendition="#i">&#x03BB;</hi> = 1, 2, 3, &#x2026;) erhält.</p><lb/>
            <p><hi rendition="#g">Aufgabe</hi> 16 (Erweiterung von Aufg. 1 &#x2026; 3 des § 24, Bd. 1,<lb/>
S. 499).</p><lb/>
            <p> <hi rendition="#c"><hi rendition="#i">&#x03A0;<hi rendition="#sub">&#x03BB;</hi> x<hi rendition="#sub">&#x03BB;</hi></hi> = 0. Lösung: <hi rendition="#i">x<hi rendition="#sub">&#x03BB;</hi></hi> = <hi rendition="#i">u<hi rendition="#sub">&#x03BB;</hi> &#x03A3;<hi rendition="#sub">&#x03F0;</hi> <hi rendition="#i">u&#x0304;</hi><hi rendition="#sub">&#x03F0;</hi></hi>.</hi> </p><lb/>
            <p>Probe 1. <hi rendition="#i">&#x03A0;<hi rendition="#sub">&#x03BB;</hi> x<hi rendition="#sub">&#x03BB;</hi></hi> = <hi rendition="#i">&#x03A0;<hi rendition="#sub">&#x03BB;</hi> u<hi rendition="#sub">&#x03BB;</hi> &#x03A3;<hi rendition="#sub">&#x03F0;</hi> u&#x0304;<hi rendition="#sub">&#x03F0;</hi></hi> = <hi rendition="#i">&#x03A0;<hi rendition="#sub">&#x03BB;</hi> u<hi rendition="#sub">&#x03BB;</hi></hi> · <hi rendition="#i">&#x03A3;<hi rendition="#sub">&#x03BB;</hi> u&#x0304;<hi rendition="#sub">&#x03BB;</hi></hi> = 0.</p><lb/>
            <p>Probe 2. Ist <hi rendition="#i">&#x03A0;<hi rendition="#sub">&#x03BB;</hi> x<hi rendition="#sub">&#x03BB;</hi></hi> = 0, so folgt <hi rendition="#i">&#x03A3;<hi rendition="#sub">&#x03BB;</hi> x&#x0304;<hi rendition="#sub">&#x03BB;</hi></hi> = 1 = <hi rendition="#i">&#x03A3;<hi rendition="#sub">&#x03F0;</hi> x&#x0304;<hi rendition="#sub">&#x03F0;</hi></hi>, und folg-<lb/>
lich <hi rendition="#i">x<hi rendition="#sub">&#x03BB;</hi> &#x03A3;<hi rendition="#sub">&#x03F0;</hi> x&#x0304;<hi rendition="#sub">&#x03F0;</hi></hi> = <hi rendition="#i">x<hi rendition="#sub">&#x03BB;</hi></hi> · 1 = <hi rendition="#i">x<hi rendition="#sub">&#x03BB;</hi></hi>.</p><lb/>
            <p>Die Symmetrie des Lösungssystems ist evident.</p><lb/>
            <p><hi rendition="#g">Aufgabe</hi> 17. <hi rendition="#i">&#x03A0;<hi rendition="#sub">&#x03BB;</hi> x<hi rendition="#sub">&#x03BB;</hi> <g ref="subeq"/> a</hi>. (Erweiterung der vorigen.)<lb/><hi rendition="#c">Lösung: <hi rendition="#i">x<hi rendition="#sub">&#x03BB;</hi></hi> = <hi rendition="#i">u<hi rendition="#sub">&#x03BB;</hi></hi> (<hi rendition="#i">a</hi> + <hi rendition="#i">&#x03A3;<hi rendition="#sub">&#x03F0;</hi> u&#x0304;<hi rendition="#sub">&#x03F0;</hi></hi>), <hi rendition="#i">x&#x0304;<hi rendition="#sub">&#x03BB;</hi></hi> = <hi rendition="#i">u&#x0304;<hi rendition="#sub">&#x03BB;</hi></hi> + <hi rendition="#i">a&#x0304; &#x03A0;<hi rendition="#sub">&#x03F0;</hi> u<hi rendition="#sub">&#x03F0;</hi></hi>.</hi></p><lb/>
            <p>Wie leicht zu sehen, stimmen beide Proben.</p><lb/>
            <p>Dass auch Lösungen mit noch mehr Parametern aufgestellt werden<lb/>
können, zeigt z. B. die Annahme <hi rendition="#i">a</hi> = <hi rendition="#i">&#x03A3;<hi rendition="#sub">&#x03BB;</hi> b&#x0304;<hi rendition="#sub">&#x03BB;</hi></hi>. Hier lässt sich die Aufgabe<lb/>
ansetzen als:<lb/><hi rendition="#c"><hi rendition="#i">&#x03A0;<hi rendition="#sub">&#x03BB;</hi> b<hi rendition="#sub">&#x03BB;</hi> x<hi rendition="#sub">&#x03BB;</hi></hi> = 0,</hi><lb/>
und man entdeckt unschwer unter Berufung auf Aufg. 16 die Lösung<lb/><hi rendition="#c"><hi rendition="#i">x <hi rendition="#sub">&#x03BB;</hi></hi> = <hi rendition="#i">b&#x0304;<hi rendition="#sub">&#x03BB;</hi> &#x03B2;<hi rendition="#sub">&#x03BB;</hi></hi> + <hi rendition="#i">b<hi rendition="#sub">&#x03BB;</hi> &#x03B1;<hi rendition="#sub">&#x03BB;</hi> &#x03B3; &#x03A3;<hi rendition="#sub">&#x03F0;</hi></hi> (<hi rendition="#i">b&#x0304;<hi rendition="#sub">&#x03F0;</hi></hi> + <hi rendition="#i">&#x03B1;&#x0304;<hi rendition="#sub">&#x03F0;</hi></hi>), <hi rendition="#i">x&#x0304;<hi rendition="#sub">&#x03BB;</hi></hi> = <hi rendition="#i">b<hi rendition="#sub">&#x03BB;</hi></hi> (<hi rendition="#i">&#x03B1;&#x0304;<hi rendition="#sub">&#x03BB;</hi></hi> + <hi rendition="#i">&#x03B3;&#x0304;</hi>) + <hi rendition="#i">b&#x0304;<hi rendition="#sub">&#x03BB;</hi> &#x03B2;&#x0304;<hi rendition="#sub">&#x03BB;</hi></hi> + <hi rendition="#i">&#x03A0;<hi rendition="#sub">&#x03F0;</hi> b<hi rendition="#sub">&#x03F0;</hi> &#x03B1;<hi rendition="#sub">&#x03F0;</hi></hi></hi><lb/>
worin die <hi rendition="#i">&#x03B1;<hi rendition="#sub">&#x03BB;</hi></hi>, <hi rendition="#i">&#x03B2;<hi rendition="#sub">&#x03BB;</hi></hi> und <hi rendition="#i">&#x03B3;</hi> willkürlich.</p><lb/>
            <p>Unbedingt stimmt hier die Probe 1, und auch die Probe 2 bei der An-<lb/>
nahme <hi rendition="#i">&#x03B3;</hi> = 1, <hi rendition="#i">&#x03B1;<hi rendition="#sub">&#x03BB;</hi></hi> = <hi rendition="#i">&#x03B2;<hi rendition="#sub">&#x03BB;</hi></hi> = <hi rendition="#i">&#x03F0;<hi rendition="#sub">&#x03BB;</hi></hi>.</p><lb/>
            <p><hi rendition="#g">Aufgabe</hi> 18. <hi rendition="#i">&#x03A3;<hi rendition="#sub">&#x03BB;</hi> a<hi rendition="#sub">&#x03BB;</hi> x<hi rendition="#sub">&#x03BB;</hi> <g ref="subeq"/> &#x03A3;<hi rendition="#sub">&#x03BB;</hi> a<hi rendition="#sub">&#x03BB;</hi> b<hi rendition="#sub">&#x03BB;</hi></hi>.</p><lb/>
            <p>Lösung: <hi rendition="#i">x<hi rendition="#sub">&#x03BB;</hi></hi> = <hi rendition="#i">u<hi rendition="#sub">&#x03BB;</hi></hi> (<hi rendition="#i">a&#x0304;<hi rendition="#sub">&#x03BB;</hi></hi> + <hi rendition="#i">&#x03A3;<hi rendition="#sub">&#x03F0;</hi> a<hi rendition="#sub">&#x03F0;</hi> b<hi rendition="#sub">&#x03F0;</hi></hi>).</p><lb/>
            <p>Probe 1. Es wird <hi rendition="#i">&#x03A3;<hi rendition="#sub">&#x03BB;</hi> a<hi rendition="#sub">&#x03BB;</hi> x<hi rendition="#sub">&#x03BB;</hi></hi> = <hi rendition="#i">&#x03A3;<hi rendition="#sub">&#x03BB;</hi> a<hi rendition="#sub">&#x03BB;</hi> u<hi rendition="#sub">&#x03BB;</hi></hi> · <hi rendition="#i">&#x03A3;<hi rendition="#sub">&#x03F0;</hi> a<hi rendition="#sub">&#x03F0;</hi> b<hi rendition="#sub">&#x03F0;</hi> <g ref="subeq"/> &#x03A3;<hi rendition="#sub">&#x03F0;</hi> a<hi rendition="#sub">&#x03F0;</hi> b<hi rendition="#sub">&#x03F0;</hi></hi>.</p><lb/>
            <p>Probe 2. Ist die Aufgabensubsumtion erfüllt, so folgt:<lb/><hi rendition="#c"><hi rendition="#i">x<hi rendition="#sub">&#x03BB;</hi></hi> = <hi rendition="#i">x<hi rendition="#sub">&#x03BB;</hi></hi> (<hi rendition="#i">a&#x0304;<hi rendition="#sub">&#x03BB;</hi></hi> + <hi rendition="#i">&#x03A3;<hi rendition="#sub">&#x03F0;</hi> a<hi rendition="#sub">&#x03F0;</hi> b<hi rendition="#sub">&#x03F0;</hi></hi>),</hi><lb/>
indem wegen<lb/><hi rendition="#c"><hi rendition="#i">&#x03A3;<hi rendition="#sub">&#x03F0;</hi> a<hi rendition="#sub">&#x03F0;</hi> b<hi rendition="#sub">&#x03F0;</hi></hi> = <hi rendition="#i">&#x03A3;<hi rendition="#sub">&#x03F0;</hi> a<hi rendition="#sub">&#x03F0;</hi> x<hi rendition="#sub">&#x03F0;</hi></hi> + <hi rendition="#i">&#x03A3;<hi rendition="#sub">&#x03F0;</hi> a<hi rendition="#sub">&#x03F0;</hi> b<hi rendition="#sub">&#x03F0;</hi></hi></hi><lb/>
hierin der letzte Addend um den vorhergehenden vermehrt werden darf;<lb/>
dann findet sich aber rechts <hi rendition="#i">x<hi rendition="#sub">&#x03BB;</hi></hi> mit <hi rendition="#i">a&#x0304;<hi rendition="#sub">&#x03BB;</hi></hi> + <hi rendition="#i">a<hi rendition="#sub">&#x03BB;</hi></hi> oder 1 multiplizirt.</p><lb/>
            <p>Die Herleitung ist hier sehr leicht zu bewerkstelligen; es ist nämlich<lb/>
nach (3<hi rendition="#sub">+</hi>) gestattet, in der Aufgabensubsumtion das Summenzeichen linker-<lb/>
hand wegzulassen, so dass folgt:<lb/><hi rendition="#c"><hi rendition="#i">a<hi rendition="#sub">&#x03BB;</hi> x<hi rendition="#sub">&#x03BB;</hi> <g ref="subeq"/> &#x03A3;<hi rendition="#sub">&#x03F0;</hi> a<hi rendition="#sub">&#x03F0;</hi> b<hi rendition="#sub">&#x03F0;</hi></hi> oder <hi rendition="#i">x<hi rendition="#sub">&#x03BB;</hi> <g ref="subeq"/> a&#x0304;<hi rendition="#sub">&#x03BB;</hi></hi> + <hi rendition="#i">&#x03A3;<hi rendition="#sub">&#x03F0;</hi> a<hi rendition="#sub">&#x03F0;</hi> b<hi rendition="#sub">&#x03F0;</hi></hi>. Usw.</hi></p><lb/>
            <p><hi rendition="#g">Aufgabe</hi> 19. <hi rendition="#i">&#x03A3;<hi rendition="#sub">&#x03BB;</hi> a<hi rendition="#sub">&#x03BB;</hi> b<hi rendition="#sub">&#x03BB;</hi> <g ref="subeq"/> &#x03A3;<hi rendition="#sub">&#x03BB;</hi> a<hi rendition="#sub">&#x03BB;</hi> x<hi rendition="#sub">&#x03BB;</hi></hi>.</p><lb/>
          </div>
        </div>
      </div>
    </body>
  </text>
</TEI>
[431/0075] § 51. Zum Kapitel der symmetrisch allgemeinen Lösungen. Einer Unbekannten xλ soll immer ein unbestimmtes Gebiet uλ als wesentlicher Parameter entsprechen. Und alle Lösungen sollen der „Adventivforderung“ genügen derart, dass man aus ihnen ein gewünschtes System xλ (λ = 1, 2, 3, …) von Wurzeln der Aufgabe durch die si- multanen Annahmen uλ = xλ (für λ = 1, 2, 3, …) erhält. Aufgabe 16 (Erweiterung von Aufg. 1 … 3 des § 24, Bd. 1, S. 499). Πλ xλ = 0. Lösung: xλ = uλ Σϰ ūϰ. Probe 1. Πλ xλ = Πλ uλ Σϰ ūϰ = Πλ uλ · Σλ ūλ = 0. Probe 2. Ist Πλ xλ = 0, so folgt Σλ x̄λ = 1 = Σϰ x̄ϰ, und folg- lich xλ Σϰ x̄ϰ = xλ · 1 = xλ. Die Symmetrie des Lösungssystems ist evident. Aufgabe 17. Πλ xλ a. (Erweiterung der vorigen.) Lösung: xλ = uλ (a + Σϰ ūϰ), x̄λ = ūλ + ā Πϰ uϰ. Wie leicht zu sehen, stimmen beide Proben. Dass auch Lösungen mit noch mehr Parametern aufgestellt werden können, zeigt z. B. die Annahme a = Σλ b̄λ. Hier lässt sich die Aufgabe ansetzen als: Πλ bλ xλ = 0, und man entdeckt unschwer unter Berufung auf Aufg. 16 die Lösung x λ = b̄λ βλ + bλ αλ γ Σϰ (b̄ϰ + ᾱϰ), x̄λ = bλ (ᾱλ + γ̄) + b̄λ β̄λ + Πϰ bϰ αϰ worin die αλ, βλ und γ willkürlich. Unbedingt stimmt hier die Probe 1, und auch die Probe 2 bei der An- nahme γ = 1, αλ = βλ = ϰλ. Aufgabe 18. Σλ aλ xλ Σλ aλ bλ. Lösung: xλ = uλ (āλ + Σϰ aϰ bϰ). Probe 1. Es wird Σλ aλ xλ = Σλ aλ uλ · Σϰ aϰ bϰ Σϰ aϰ bϰ. Probe 2. Ist die Aufgabensubsumtion erfüllt, so folgt: xλ = xλ (āλ + Σϰ aϰ bϰ), indem wegen Σϰ aϰ bϰ = Σϰ aϰ xϰ + Σϰ aϰ bϰ hierin der letzte Addend um den vorhergehenden vermehrt werden darf; dann findet sich aber rechts xλ mit āλ + aλ oder 1 multiplizirt. Die Herleitung ist hier sehr leicht zu bewerkstelligen; es ist nämlich nach (3+) gestattet, in der Aufgabensubsumtion das Summenzeichen linker- hand wegzulassen, so dass folgt: aλ xλ Σϰ aϰ bϰ oder xλ āλ + Σϰ aϰ bϰ. Usw. Aufgabe 19. Σλ aλ bλ Σλ aλ xλ.

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