Anmelden (DTAQ) DWDS     dlexDB     CLARIN-D

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

Bild:
<< vorherige Seite
Siebente Vorlesung.

Es verlohnt, deren Lösungen besonders zusammenzustellen, und
zwar -- entsprechend 18), 19) -- in den zwei Formen: mit erst zu
erfüllender sowie mit identisch bereits erfüllter Resultante.

Solche Lösungen lassen sich auch selbständig gewinnen, wie ich
sie in der That so, lange vor denen des allgemeinern Problems, auf-
gestellt hatte. Die selbständige Herleitung weist nicht nur für die
Methodik unsrer Disziplin lehrreiche Momente auf, sondern sie führt
auch in dem letzten der vier Fälle, bei b = 0', zu einer neuen Lösungs-
form 26), die von der durch Partikularisiren (Einsetzen) aus 18), 19)
hervorgehenden verschieden ist und als die bessere bezeichnet werden
muss, schon weil sie sich aus nur 10 statt 12 Termen aufbaut.

Man findet nämlich als die allgemeine Wurzel der Gleichung
x ; 0' = a ; 0' aus 19) den Ausdruck:
22) x = (a ; 0' j 1')[u + (a ; 0')({un + (an j 1') ; 0'} j 1') ; 0']
der allgemein anscheinend nicht weiter vereinfachbar.

Dass derselbe dennoch von dem in der ersten Zeile von 26) angegebnen
nicht wesentlich verschieden ist, wird sehr wahrscheinlich, wenn man be-
merkt, dass für u = 1, 0, a und an die beiden Werte von x übereinstimmen
(wie zeilenrechnerisch zu erhärten), folglich auch sooft u überhaupt ein
Zeilenrelativ von a vorstellt. Ebenso, was minder leicht darzuthun, für
u = 1' und 0'. Im übrigen muss ich die Frage noch offen lassen.

Indem wir sonach für den letzten Fall nur die bessere Lösungs-
form anführen, so haben wir die 8 Formelgespanne:
23) [Formel 1]
24)

[Tabelle]
[Tabelle]
[Tabelle]
[Formel 2]

Siebente Vorlesung.

Es verlohnt, deren Lösungen besonders zusammenzustellen, und
zwar — entsprechend 18), 19) — in den zwei Formen: mit erst zu
erfüllender sowie mit identisch bereits erfüllter Resultante.

Solche Lösungen lassen sich auch selbständig gewinnen, wie ich
sie in der That so, lange vor denen des allgemeinern Problems, auf-
gestellt hatte. Die selbständige Herleitung weist nicht nur für die
Methodik unsrer Disziplin lehrreiche Momente auf, sondern sie führt
auch in dem letzten der vier Fälle, bei b = 0', zu einer neuen Lösungs-
form 26), die von der durch Partikularisiren (Einsetzen) aus 18), 19)
hervorgehenden verschieden ist und als die bessere bezeichnet werden
muss, schon weil sie sich aus nur 10 statt 12 Termen aufbaut.

Man findet nämlich als die allgemeine Wurzel der Gleichung
x ; 0' = a ; 0' aus 19) den Ausdruck:
22) x = (a ; 0' ɟ 1')[u + (a ; 0')({ + ( ɟ 1') ; 0'} ɟ 1') ; 0']
der allgemein anscheinend nicht weiter vereinfachbar.

Dass derselbe dennoch von dem in der ersten Zeile von 26) angegebnen
nicht wesentlich verschieden ist, wird sehr wahrscheinlich, wenn man be-
merkt, dass für u = 1, 0, a und die beiden Werte von x übereinstimmen
(wie zeilenrechnerisch zu erhärten), folglich auch sooft u überhaupt ein
Zeilenrelativ von a vorstellt. Ebenso, was minder leicht darzuthun, für
u = 1' und 0'. Im übrigen muss ich die Frage noch offen lassen.

Indem wir sonach für den letzten Fall nur die bessere Lösungs-
form anführen, so haben wir die 8 Formelgespanne:
23) [Formel 1]
24)

[Tabelle]
[Tabelle]
[Tabelle]
[Formel 2]

<TEI>
  <text>
    <body>
      <div n="1">
        <div n="2">
          <pb facs="#f0282" n="268"/>
          <fw place="top" type="header">Siebente Vorlesung.</fw><lb/>
          <p>Es verlohnt, deren Lösungen besonders zusammenzustellen, und<lb/>
zwar &#x2014; entsprechend 18), 19) &#x2014; in den zwei Formen: mit erst zu<lb/>
erfüllender sowie mit identisch bereits erfüllter Resultante.</p><lb/>
          <p>Solche Lösungen lassen sich auch <hi rendition="#i">selbständig</hi> gewinnen, wie ich<lb/>
sie in der That so, lange vor denen des allgemeinern Problems, auf-<lb/>
gestellt hatte. Die selbständige Herleitung weist nicht nur für die<lb/>
Methodik unsrer Disziplin lehrreiche Momente auf, sondern sie führt<lb/>
auch in dem letzten der vier Fälle, bei <hi rendition="#i">b</hi> = 0', zu einer neuen Lösungs-<lb/>
form 26), die von der durch Partikularisiren (Einsetzen) aus 18), 19)<lb/>
hervorgehenden verschieden ist und als die <hi rendition="#i">bessere</hi> bezeichnet werden<lb/>
muss, schon weil sie sich aus nur 10 statt 12 Termen aufbaut.</p><lb/>
          <p>Man findet nämlich als die allgemeine Wurzel der Gleichung<lb/><hi rendition="#i">x</hi> ; 0' = <hi rendition="#i">a</hi> ; 0' aus 19) den Ausdruck:<lb/>
22) <hi rendition="#et"><hi rendition="#i">x</hi> = (<hi rendition="#i">a</hi> ; 0' &#x025F; 1')[<hi rendition="#i">u</hi> + (<hi rendition="#i">a</hi> ; 0')<hi rendition="#b">(</hi>{<hi rendition="#i">u&#x0304;</hi> + (<hi rendition="#i">a&#x0304;</hi> &#x025F; 1') ; 0'} &#x025F; 1'<hi rendition="#b">)</hi> ; 0']</hi><lb/>
der allgemein anscheinend nicht weiter vereinfachbar.</p><lb/>
          <p>Dass derselbe dennoch von dem in der ersten Zeile von 26) angegebnen<lb/>
nicht wesentlich verschieden ist, wird sehr wahrscheinlich, wenn man be-<lb/>
merkt, dass für <hi rendition="#i">u</hi> = 1, 0, <hi rendition="#i">a</hi> und <hi rendition="#i">a&#x0304;</hi> die beiden Werte von <hi rendition="#i">x übereinstimmen</hi><lb/>
(wie zeilenrechnerisch zu erhärten), folglich auch sooft <hi rendition="#i">u</hi> überhaupt ein<lb/>
Zeilenrelativ von <hi rendition="#i">a</hi> vorstellt. Ebenso, was minder leicht darzuthun, für<lb/><hi rendition="#i">u</hi> = 1' und 0'. Im übrigen muss ich die Frage noch offen lassen.</p><lb/>
          <p>Indem wir sonach für den letzten Fall nur die bessere Lösungs-<lb/>
form anführen, so haben wir die 8 Formelgespanne:<lb/>
23) <hi rendition="#et"><formula/></hi><lb/>
24) <table><row><cell/></row></table><lb/><table><row><cell/></row></table> <table><row><cell/></row></table><lb/><formula/><lb/></p>
        </div>
      </div>
    </body>
  </text>
</TEI>
[268/0282] Siebente Vorlesung. Es verlohnt, deren Lösungen besonders zusammenzustellen, und zwar — entsprechend 18), 19) — in den zwei Formen: mit erst zu erfüllender sowie mit identisch bereits erfüllter Resultante. Solche Lösungen lassen sich auch selbständig gewinnen, wie ich sie in der That so, lange vor denen des allgemeinern Problems, auf- gestellt hatte. Die selbständige Herleitung weist nicht nur für die Methodik unsrer Disziplin lehrreiche Momente auf, sondern sie führt auch in dem letzten der vier Fälle, bei b = 0', zu einer neuen Lösungs- form 26), die von der durch Partikularisiren (Einsetzen) aus 18), 19) hervorgehenden verschieden ist und als die bessere bezeichnet werden muss, schon weil sie sich aus nur 10 statt 12 Termen aufbaut. Man findet nämlich als die allgemeine Wurzel der Gleichung x ; 0' = a ; 0' aus 19) den Ausdruck: 22) x = (a ; 0' ɟ 1')[u + (a ; 0')({ū + (ā ɟ 1') ; 0'} ɟ 1') ; 0'] der allgemein anscheinend nicht weiter vereinfachbar. Dass derselbe dennoch von dem in der ersten Zeile von 26) angegebnen nicht wesentlich verschieden ist, wird sehr wahrscheinlich, wenn man be- merkt, dass für u = 1, 0, a und ā die beiden Werte von x übereinstimmen (wie zeilenrechnerisch zu erhärten), folglich auch sooft u überhaupt ein Zeilenrelativ von a vorstellt. Ebenso, was minder leicht darzuthun, für u = 1' und 0'. Im übrigen muss ich die Frage noch offen lassen. Indem wir sonach für den letzten Fall nur die bessere Lösungs- form anführen, so haben wir die 8 Formelgespanne: 23) [FORMEL] 24) [FORMEL]

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_logik03_1895
URL zu dieser Seite: https://www.deutschestextarchiv.de/schroeder_logik03_1895/282
Zitationshilfe: Schröder, Ernst: Vorlesungen über die Algebra der Logik. Bd. 3, Abt. 1. Leipzig, 1895, S. 268. In: Deutsches Textarchiv <https://www.deutschestextarchiv.de/schroeder_logik03_1895/282>, abgerufen am 29.11.2024.