Anmelden (DTAQ) DWDS     dlexDB     CLARIN-D

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

Bild:
<< vorherige Seite

§ 19. Die dritten Inversionstheoreme.
20) [Formel 1] ,
welche die 3) und 9) als ganz partikulare Fälle unter sich begreifen
und die "allgemeinen dritten Inversionstheoreme" genannt werden dürfen.

Es erfordert immerhin noch eine gewisse Kunst, die Sonderfälle
in ihrer einfachsten Gestalt aus dem allgemeinen Theorem 20) abzu-
leiten, welches ja linkerhand 13 Terme aufweist und wobei zur Ver-
einfachung der Teilausdrücke oder Ausdruckteile der linken Seite oft
keine allgemeinen Sätze zur Verfügung zu stehn scheinen.

Dies ist besonders hinsichtlich 9) der Fall, wo sich in der ersten
Gleichung bei der Annahme c = a · a ; b ; b die linke Seite a priori zu c ; b
vereinfachen muss. Wir kommen hierauf in § 29 zurück.

Was die erste Gleichung 3) betrifft, so wolle der Studirende den
Nachweis versuchen, dass sich dieselbe aus (der ersten) 20) beispielsweise
durch eine jede der drei Annahmen c = a ; b j bn, c = 1, c = an j bn j bn ergibt.

Bei solchem Nachweise müssen die aus a ; b a ; b, a a ; b j bn
fliessenden Formeln:
an + a ; b j bn = 1, a · (an j bn) ; b = 0, a(a ; b j bn) = a, an + (an j bn) ; b = an,
a + a ; b j bn = a ; b j bn, an · (an j bn) ; b = (an j bn) ; b

gelegentlich zwecks Vereinfachung berücksichtigt werden.

Weiter zeigt die Annahme c = 0, sowie die c = a ; b ; b, dass all-
gemein auch x = (a ; b j bn) · a ; b ; b eine partikulare Lösung oder Wurzel
der Gleichung x ; b = a ; b sein muss, oder dass die Formel gilt:
21) (a ; b j bn)(a ; b ; b) ; b = a ; b,
etc., u. a. m. Und ähnlich ist das Th. 20) wol überhaupt eine (noch nicht
genügend ausgeschöpfte) Fundgrube von schätzbaren Formeln, die gelegent-
lich doch mindestens zur Vereinfachung von Ausdrücken in unsrer schwie-
rigen Disziplin der relativen Algebra dienlich.

Von den Partikularfällen des dritten Inversionsproblems dürften
diejenigen von der häufigsten Anwendung sein, wo b einen der vier
Moduln
zum Wert hat: b = 1, 0, 1' oder 0' ist.


§ 19. Die dritten Inversionstheoreme.
20) [Formel 1] ,
welche die 3) und 9) als ganz partikulare Fälle unter sich begreifen
und die „allgemeinen dritten Inversionstheoreme“ genannt werden dürfen.

Es erfordert immerhin noch eine gewisse Kunst, die Sonderfälle
in ihrer einfachsten Gestalt aus dem allgemeinen Theorem 20) abzu-
leiten, welches ja linkerhand 13 Terme aufweist und wobei zur Ver-
einfachung der Teilausdrücke oder Ausdruckteile der linken Seite oft
keine allgemeinen Sätze zur Verfügung zu stehn scheinen.

Dies ist besonders hinsichtlich 9) der Fall, wo sich in der ersten
Gleichung bei der Annahme c = a · a ; b ; die linke Seite a priori zu c ; b
vereinfachen muss. Wir kommen hierauf in § 29 zurück.

Was die erste Gleichung 3) betrifft, so wolle der Studirende den
Nachweis versuchen, dass sich dieselbe aus (der ersten) 20) beispielsweise
durch eine jede der drei Annahmen c = a ; b ɟ b̄̆, c = 1, c = ɟ ɟ b̄̆ ergibt.

Bei solchem Nachweise müssen die aus a ; ba ; b, aa ; b ɟ b̄̆
fliessenden Formeln:
+ a ; b ɟ b̄̆ = 1, a · ( ɟ ) ; = 0, a(a ; b ɟ b̄̆) = a, + ( ɟ ) ; = ,
a + a ; b ɟ b̄̆ = a ; b ɟ b̄̆, · ( ɟ ) ; = ( ɟ ) ;

gelegentlich zwecks Vereinfachung berücksichtigt werden.

Weiter zeigt die Annahme c = 0, sowie die c = a ; b ; , dass all-
gemein auch x = (a ; b ɟ b̄̆) · a ; b ; eine partikulare Lösung oder Wurzel
der Gleichung x ; b = a ; b sein muss, oder dass die Formel gilt:
21) (a ; b ɟ b̄̆)(a ; b ; ) ; b = a ; b,
etc., u. a. m. Und ähnlich ist das Th. 20) wol überhaupt eine (noch nicht
genügend ausgeschöpfte) Fundgrube von schätzbaren Formeln, die gelegent-
lich doch mindestens zur Vereinfachung von Ausdrücken in unsrer schwie-
rigen Disziplin der relativen Algebra dienlich.

Von den Partikularfällen des dritten Inversionsproblems dürften
diejenigen von der häufigsten Anwendung sein, wo b einen der vier
Moduln
zum Wert hat: b = 1, 0, 1' oder 0' ist.


<TEI>
  <text>
    <body>
      <div n="1">
        <div n="2">
          <p><pb facs="#f0281" n="267"/><fw place="top" type="header">§ 19. Die dritten Inversionstheoreme.</fw><lb/>
20) <formula/>,<lb/>
welche die 3) und 9) als ganz partikulare Fälle unter sich begreifen<lb/>
und die &#x201E;<hi rendition="#i">allgemeinen</hi> dritten Inversions<hi rendition="#i">theoreme</hi>&#x201C; genannt werden dürfen.</p><lb/>
          <p>Es erfordert immerhin noch eine gewisse Kunst, die Sonderfälle<lb/>
in ihrer einfachsten Gestalt aus dem allgemeinen Theorem 20) abzu-<lb/>
leiten, welches ja linkerhand 13 Terme aufweist und wobei zur Ver-<lb/>
einfachung der Teilausdrücke oder Ausdruckteile der linken Seite oft<lb/>
keine allgemeinen Sätze zur Verfügung zu stehn scheinen.</p><lb/>
          <p>Dies ist besonders hinsichtlich 9) der Fall, wo sich in der ersten<lb/>
Gleichung bei der Annahme <hi rendition="#i">c</hi> = <hi rendition="#i">a</hi> · <hi rendition="#i">a</hi> ; <hi rendition="#i">b</hi> ; <hi rendition="#i">b&#x0306;</hi> die linke Seite a priori zu <hi rendition="#i">c</hi> ; <hi rendition="#i">b</hi><lb/>
vereinfachen muss. Wir kommen hierauf in § 29 zurück.</p><lb/>
          <p>Was die erste Gleichung 3) betrifft, so wolle der Studirende den<lb/>
Nachweis versuchen, dass sich dieselbe aus (der ersten) 20) beispielsweise<lb/>
durch eine jede der drei Annahmen <hi rendition="#i">c</hi> = <hi rendition="#i">a</hi> ; <hi rendition="#i">b</hi> &#x025F; <hi rendition="#i">b&#x0304;&#x0306;</hi>, <hi rendition="#i">c</hi> = 1, <hi rendition="#i">c</hi> = <hi rendition="#i">a&#x0304;</hi> &#x025F; <hi rendition="#i">b&#x0304;</hi> &#x025F; <hi rendition="#i">b&#x0304;&#x0306;</hi> ergibt.</p><lb/>
          <p>Bei solchem Nachweise müssen die aus <hi rendition="#i">a</hi> ; <hi rendition="#i">b</hi> &#x22F9; <hi rendition="#i">a</hi> ; <hi rendition="#i">b</hi>, <hi rendition="#i">a</hi> &#x22F9; <hi rendition="#i">a</hi> ; <hi rendition="#i">b</hi> &#x025F; <hi rendition="#i">b&#x0304;&#x0306;</hi><lb/>
fliessenden Formeln:<lb/><hi rendition="#c"><hi rendition="#i">a&#x0304;</hi> + <hi rendition="#i">a</hi> ; <hi rendition="#i">b</hi> &#x025F; <hi rendition="#i">b&#x0304;&#x0306;</hi> = 1, <hi rendition="#i">a</hi> · (<hi rendition="#i">a&#x0304;</hi> &#x025F; <hi rendition="#i">b&#x0304;</hi>) ; <hi rendition="#i">b&#x0306;</hi> = 0, <hi rendition="#i">a</hi>(<hi rendition="#i">a</hi> ; <hi rendition="#i">b</hi> &#x025F; <hi rendition="#i">b&#x0304;&#x0306;</hi>) = <hi rendition="#i">a</hi>, <hi rendition="#i">a&#x0304;</hi> + (<hi rendition="#i">a&#x0304;</hi> &#x025F; <hi rendition="#i">b&#x0304;</hi>) ; <hi rendition="#i">b&#x0306;</hi> = <hi rendition="#i">a&#x0304;</hi>,<lb/><hi rendition="#i">a</hi> + <hi rendition="#i">a</hi> ; <hi rendition="#i">b</hi> &#x025F; <hi rendition="#i">b&#x0304;&#x0306;</hi> = <hi rendition="#i">a</hi> ; <hi rendition="#i">b</hi> &#x025F; <hi rendition="#i">b&#x0304;&#x0306;</hi>, <hi rendition="#i">a&#x0304;</hi> · (<hi rendition="#i">a&#x0304;</hi> &#x025F; <hi rendition="#i">b&#x0304;</hi>) ; <hi rendition="#i">b&#x0306;</hi> = (<hi rendition="#i">a&#x0304;</hi> &#x025F; <hi rendition="#i">b&#x0304;</hi>) ; <hi rendition="#i">b&#x0306;</hi></hi><lb/>
gelegentlich zwecks Vereinfachung berücksichtigt werden.</p><lb/>
          <p>Weiter zeigt die Annahme <hi rendition="#i">c</hi> = 0, sowie die <hi rendition="#i">c</hi> = <hi rendition="#i">a</hi> ; <hi rendition="#i">b</hi> ; <hi rendition="#i">b&#x0306;</hi>, dass all-<lb/>
gemein auch <hi rendition="#i">x</hi> = (<hi rendition="#i">a</hi> ; <hi rendition="#i">b</hi> &#x025F; <hi rendition="#i">b&#x0304;&#x0306;</hi>) · <hi rendition="#i">a</hi> ; <hi rendition="#i">b</hi> ; <hi rendition="#i">b&#x0306;</hi> eine partikulare Lösung oder Wurzel<lb/>
der Gleichung <hi rendition="#i">x</hi> ; <hi rendition="#i">b</hi> = <hi rendition="#i">a</hi> ; <hi rendition="#i">b</hi> sein muss, oder dass die Formel gilt:<lb/>
21) <hi rendition="#et">(<hi rendition="#i">a</hi> ; <hi rendition="#i">b</hi> &#x025F; <hi rendition="#i">b&#x0304;&#x0306;</hi>)(<hi rendition="#i">a</hi> ; <hi rendition="#i">b</hi> ; <hi rendition="#i">b&#x0306;</hi>) ; <hi rendition="#i">b</hi> = <hi rendition="#i">a</hi> ; <hi rendition="#i">b</hi>,</hi><lb/>
etc., u. a. m. Und ähnlich ist das Th. 20) wol überhaupt eine (noch nicht<lb/>
genügend ausgeschöpfte) Fundgrube von schätzbaren Formeln, die gelegent-<lb/>
lich doch mindestens <hi rendition="#i">zur Vereinfachung von Ausdrücken</hi> in unsrer schwie-<lb/>
rigen Disziplin der relativen Algebra dienlich.</p><lb/>
          <p>Von den Partikularfällen des dritten Inversionsproblems dürften<lb/>
diejenigen von der häufigsten Anwendung sein, wo <hi rendition="#i">b einen der vier<lb/>
Moduln</hi> zum Wert hat: <hi rendition="#i">b</hi> = 1, 0, 1' oder 0' ist.</p><lb/>
        </div>
      </div>
    </body>
  </text>
</TEI>
[267/0281] § 19. Die dritten Inversionstheoreme. 20) [FORMEL], welche die 3) und 9) als ganz partikulare Fälle unter sich begreifen und die „allgemeinen dritten Inversionstheoreme“ genannt werden dürfen. Es erfordert immerhin noch eine gewisse Kunst, die Sonderfälle in ihrer einfachsten Gestalt aus dem allgemeinen Theorem 20) abzu- leiten, welches ja linkerhand 13 Terme aufweist und wobei zur Ver- einfachung der Teilausdrücke oder Ausdruckteile der linken Seite oft keine allgemeinen Sätze zur Verfügung zu stehn scheinen. Dies ist besonders hinsichtlich 9) der Fall, wo sich in der ersten Gleichung bei der Annahme c = a · a ; b ; b̆ die linke Seite a priori zu c ; b vereinfachen muss. Wir kommen hierauf in § 29 zurück. Was die erste Gleichung 3) betrifft, so wolle der Studirende den Nachweis versuchen, dass sich dieselbe aus (der ersten) 20) beispielsweise durch eine jede der drei Annahmen c = a ; b ɟ b̄̆, c = 1, c = ā ɟ b̄ ɟ b̄̆ ergibt. Bei solchem Nachweise müssen die aus a ; b ⋹ a ; b, a ⋹ a ; b ɟ b̄̆ fliessenden Formeln: ā + a ; b ɟ b̄̆ = 1, a · (ā ɟ b̄) ; b̆ = 0, a(a ; b ɟ b̄̆) = a, ā + (ā ɟ b̄) ; b̆ = ā, a + a ; b ɟ b̄̆ = a ; b ɟ b̄̆, ā · (ā ɟ b̄) ; b̆ = (ā ɟ b̄) ; b̆ gelegentlich zwecks Vereinfachung berücksichtigt werden. Weiter zeigt die Annahme c = 0, sowie die c = a ; b ; b̆, dass all- gemein auch x = (a ; b ɟ b̄̆) · a ; b ; b̆ eine partikulare Lösung oder Wurzel der Gleichung x ; b = a ; b sein muss, oder dass die Formel gilt: 21) (a ; b ɟ b̄̆)(a ; b ; b̆) ; b = a ; b, etc., u. a. m. Und ähnlich ist das Th. 20) wol überhaupt eine (noch nicht genügend ausgeschöpfte) Fundgrube von schätzbaren Formeln, die gelegent- lich doch mindestens zur Vereinfachung von Ausdrücken in unsrer schwie- rigen Disziplin der relativen Algebra dienlich. Von den Partikularfällen des dritten Inversionsproblems dürften diejenigen von der häufigsten Anwendung sein, wo b einen der vier Moduln zum Wert hat: b = 1, 0, 1' oder 0' ist.

Suche im Werk

Hilfe

Informationen zum Werk

Download dieses Werks

XML (TEI P5) · HTML · Text
TCF (text annotation layer)
TCF (tokenisiert, serialisiert, lemmatisiert, normalisiert)
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_logik03_1895
URL zu dieser Seite: https://www.deutschestextarchiv.de/schroeder_logik03_1895/281
Zitationshilfe: Schröder, Ernst: Vorlesungen über die Algebra der Logik. Bd. 3, Abt. 1. Leipzig, 1895, S. 267. In: Deutsches Textarchiv <https://www.deutschestextarchiv.de/schroeder_logik03_1895/281>, abgerufen am 10.05.2024.