Anmelden (DTAQ) DWDS     dlexDB     CLARIN-D

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

Bild:
<< vorherige Seite
nächste Seite >>
§ 28. Eine Studie gemäss Peirce über Elimination.
50) ebenso (1' a ; x ; xn ; b) also (1' a ; 0' ; b).
60) [1' a ; x ; (xn ; c j b) a ; (x ; xn ; c j b)] also {1' a ; (0' ; c j b)}.
70) {1' a ; x ; (xn j c) ; b a ; (x ; xn j c) ; b a ; (0' j c) ; b} also (1' a ; c ; b).
80) {1' (a j b ; x) ; (xn ; d j c) (a j b ; x ; xn) ; d j c oder anders
a j b ; (x ; xn ; d j c)} also ergibt sich sowol
1' (a j b ; 0') ; d j c als auch 1' a j b ; (0' ; d j c)
und beide Resultanten sind (1' a j b ; 0' ; d j c).
90) [1 (a j b ; x) ; (xn j d) ; c {a j b ; x ; (xn j d)} ; c
{a j b ; (x ; xn j d)} ; c {a j b ; (0' j d)} ; c] also {1' (a j b ; d) ; c}.
100) {1' a ; (b j x) ; (xn j d) ; c a ; (b j x ; xn j d) ; c a ; (b j 0' j d) ; c}
also {1' a ; (b j d) ; c}.

Es verlohnt wol, unsre Ergebnisse mit den Data zu eignen (Eli-
minations-) Theoremen zusammenzustellen:
7) [Formel 1] ,
wobei die zweite Form der Resultante mittelst einer Konversion aus
der ersten oben gefundnen hervorgeht.

Aus dem Anblick der zweiten und von 50) an beider Formen der
Resultante erhellt sogleich, dass diese Peirce'schen Resultanten durch-
weg auch diejenigen in sich schliessen, welche gemäss 3) aus den ge-
trennten Prämissen schon einzeln folgten. Es ist also bei Peirce
straflos geblieben, sachlich gerechtfertigt, von den letzteren keine
Notiz zu nehmen.


§ 28. Eine Studie gemäss Peirce über Elimination.
50) ebenso ⋹ (1' ⋹ a ; x ; x̄̆ ; b̆) also ⋹ (1' ⋹ a ; 0' ; b̆).
60) ⋹ [1' ⋹ a ; x ; (x̄̆ ; c̆ ɟ b̆) ⋹ a ; (x ; x̄̆ ; c̆ ɟ b̆)] also ⋹ {1' ⋹ a ; (0' ; c̆ ɟ b̆)}.
70) ⋹ {1' ⋹ a ; x ; (x̄̆ ɟ c̆) ; b̆ ⋹ a ; (x ; x̄̆ ɟ c̆) ; b̆ ⋹ a ; (0' ɟ c̆) ; b̆} also ⋹ (1' ⋹ a ; c̆ ; b̆).
80) ⋹ {1' ⋹ (a ɟ b ; x) ; (x̄̆ ; d̆ ɟ c̆) ⋹ (a ɟ b ; x ; x̄̆) ; d̆ ɟ c̆ oder anders
⋹a ɟ b ; (x ; x̄̆ ; d̆ ɟ c̆)} also ergibt sich sowol
1' ⋹ (a ɟ b ; 0') ; d̆ ɟ c̆ als auch 1' ⋹ a ɟ b ; (0' ; d̆ ɟ c̆)
und beide Resultanten sind ⋹ (1' ⋹ a ɟ b ; 0' ; d̆ ɟ c̆).
90) ⋹ [1 ⋹ (a ɟ b ; x) ; (x̄̆ ɟ d̆) ; c̆ ⋹ {a ɟ b ; x ; (x̄̆ ɟ d̆)} ; c̆ ⋹
⋹ {a ɟ b ; (x ; x̄̆ ɟ d̆)} ; c̆ ⋹ {a ɟ b ; (0' ɟ d̆)} ; c̆] also ⋹ {1' ⋹ (a ɟ b ; d̆) ; c̆}.
100) ⋹ {1' ⋹ a ; (b ɟ x) ; (x̄̆ ɟ d̆) ; c̆ ⋹ a ; (b ɟ x ; x̄̆ ɟ d̆) ; c̆ ⋹ a ; (b ɟ 0' ɟ d̆) ; c̆}
also ⋹ {1' ⋹ a ; (b ɟ d̆) ; c̆}.

Es verlohnt wol, unsre Ergebnisse mit den Data zu eignen (Eli-
minations-) Theoremen zusammenzustellen:
7) [Formel 1] ,
wobei die zweite Form der Resultante mittelst einer Konversion aus
der ersten oben gefundnen hervorgeht.

Aus dem Anblick der zweiten und von 50) an beider Formen der
Resultante erhellt sogleich, dass diese Peirce’schen Resultanten durch-
weg auch diejenigen in sich schliessen, welche gemäss 3) aus den ge-
trennten Prämissen schon einzeln folgten. Es ist also bei Peirce
straflos geblieben, sachlich gerechtfertigt, von den letzteren keine
Notiz zu nehmen.


<TEI>
  <text>
    <body>
      <div n="1">
        <div n="2">
          <pb facs="#f0487" n="473"/>
          <fw place="top" type="header">§ 28. Eine Studie gemäss <hi rendition="#g">Peirce</hi> über Elimination.</fw><lb/>
          <list>
            <item>5<hi rendition="#sup">0</hi>) ebenso &#x22F9; (1' &#x22F9; <hi rendition="#i">a</hi> ; <hi rendition="#i">x</hi> ; <hi rendition="#i">x&#x0304;&#x0306;</hi> ; <hi rendition="#i">b&#x0306;</hi>) also &#x22F9; (1' &#x22F9; <hi rendition="#i">a</hi> ; 0' ; <hi rendition="#i">b&#x0306;</hi>).</item><lb/>
            <item>6<hi rendition="#sup">0</hi>) &#x22F9; [1' &#x22F9; <hi rendition="#i">a</hi> ; <hi rendition="#i">x</hi> ; (<hi rendition="#i">x&#x0304;&#x0306;</hi> ; <hi rendition="#i">c&#x0306;</hi> &#x025F; <hi rendition="#i">b&#x0306;</hi>) &#x22F9; <hi rendition="#i">a</hi> ; (<hi rendition="#i">x</hi> ; <hi rendition="#i">x&#x0304;&#x0306;</hi> ; <hi rendition="#i">c&#x0306;</hi> &#x025F; <hi rendition="#i">b&#x0306;</hi>)] also &#x22F9; {1' &#x22F9; <hi rendition="#i">a</hi> ; (0' ; <hi rendition="#i">c&#x0306;</hi> &#x025F; <hi rendition="#i">b&#x0306;</hi>)}.</item><lb/>
            <item>7<hi rendition="#sup">0</hi>) &#x22F9; {1' &#x22F9; <hi rendition="#i">a</hi> ; <hi rendition="#i">x</hi> ; (<hi rendition="#i">x&#x0304;&#x0306;</hi> &#x025F; <hi rendition="#i">c&#x0306;</hi>) ; <hi rendition="#i">b&#x0306;</hi> &#x22F9; <hi rendition="#i">a</hi> ; (<hi rendition="#i">x</hi> ; <hi rendition="#i">x&#x0304;&#x0306;</hi> &#x025F; <hi rendition="#i">c&#x0306;</hi>) ; <hi rendition="#i">b&#x0306;</hi> &#x22F9; <hi rendition="#i">a</hi> ; (0' &#x025F; <hi rendition="#i">c&#x0306;</hi>) ; <hi rendition="#i">b&#x0306;</hi>} also &#x22F9; (1' &#x22F9; <hi rendition="#i">a</hi> ; <hi rendition="#i">c&#x0306;</hi> ; <hi rendition="#i">b&#x0306;</hi>).</item><lb/>
            <item>8<hi rendition="#sup">0</hi>) &#x22F9; {1' &#x22F9; (<hi rendition="#i">a</hi> &#x025F; <hi rendition="#i">b</hi> ; <hi rendition="#i">x</hi>) ; (<hi rendition="#i">x&#x0304;&#x0306;</hi> ; <hi rendition="#i">d&#x0306;</hi> &#x025F; <hi rendition="#i">c&#x0306;</hi>) &#x22F9; (<hi rendition="#i">a</hi> &#x025F; <hi rendition="#i">b</hi> ; <hi rendition="#i">x</hi> ; <hi rendition="#i">x&#x0304;&#x0306;</hi>) ; <hi rendition="#i">d&#x0306;</hi> &#x025F; <hi rendition="#i">c&#x0306;</hi> oder anders<lb/><hi rendition="#et">&#x22F9;<hi rendition="#i">a</hi> &#x025F; <hi rendition="#i">b</hi> ; (<hi rendition="#i">x</hi> ; <hi rendition="#i">x&#x0304;&#x0306;</hi> ; <hi rendition="#i">d&#x0306;</hi> &#x025F; <hi rendition="#i">c&#x0306;</hi>)} also ergibt sich sowol<lb/>
1' &#x22F9; (<hi rendition="#i">a</hi> &#x025F; <hi rendition="#i">b</hi> ; 0') ; <hi rendition="#i">d&#x0306;</hi> &#x025F; <hi rendition="#i">c&#x0306;</hi> als auch 1' &#x22F9; <hi rendition="#i">a</hi> &#x025F; <hi rendition="#i">b</hi> ; (0' ; <hi rendition="#i">d&#x0306;</hi> &#x025F; <hi rendition="#i">c&#x0306;</hi>)</hi><lb/>
und beide Resultanten sind &#x22F9; (1' &#x22F9; <hi rendition="#i">a</hi> &#x025F; <hi rendition="#i">b</hi> ; 0' ; <hi rendition="#i">d&#x0306;</hi> &#x025F; <hi rendition="#i">c&#x0306;</hi>).</item><lb/>
            <item>9<hi rendition="#sup">0</hi>) &#x22F9; [1 &#x22F9; (<hi rendition="#i">a</hi> &#x025F; <hi rendition="#i">b</hi> ; <hi rendition="#i">x</hi>) ; (<hi rendition="#i">x&#x0304;&#x0306;</hi> &#x025F; <hi rendition="#i">d&#x0306;</hi>) ; <hi rendition="#i">c&#x0306;</hi> &#x22F9; {<hi rendition="#i">a</hi> &#x025F; <hi rendition="#i">b</hi> ; <hi rendition="#i">x</hi> ; (<hi rendition="#i">x&#x0304;&#x0306;</hi> &#x025F; <hi rendition="#i">d&#x0306;</hi>)} ; <hi rendition="#i">c&#x0306;</hi> &#x22F9;<lb/>
&#x22F9; {<hi rendition="#i">a</hi> &#x025F; <hi rendition="#i">b</hi> ; (<hi rendition="#i">x</hi> ; <hi rendition="#i">x&#x0304;&#x0306;</hi> &#x025F; <hi rendition="#i">d&#x0306;</hi>)} ; <hi rendition="#i">c&#x0306;</hi> &#x22F9; {<hi rendition="#i">a</hi> &#x025F; <hi rendition="#i">b</hi> ; (0' &#x025F; <hi rendition="#i">d&#x0306;</hi>)} ; <hi rendition="#i">c&#x0306;</hi>] also &#x22F9; {1' &#x22F9; (<hi rendition="#i">a</hi> &#x025F; <hi rendition="#i">b</hi> ; <hi rendition="#i">d&#x0306;</hi>) ; <hi rendition="#i">c&#x0306;</hi>}.</item><lb/>
            <item>10<hi rendition="#sup">0</hi>) &#x22F9; {1' &#x22F9; <hi rendition="#i">a</hi> ; (<hi rendition="#i">b</hi> &#x025F; <hi rendition="#i">x</hi>) ; (<hi rendition="#i">x&#x0304;&#x0306;</hi> &#x025F; <hi rendition="#i">d&#x0306;</hi>) ; <hi rendition="#i">c&#x0306;</hi> &#x22F9; <hi rendition="#i">a</hi> ; (<hi rendition="#i">b</hi> &#x025F; <hi rendition="#i">x</hi> ; <hi rendition="#i">x&#x0304;&#x0306;</hi> &#x025F; <hi rendition="#i">d&#x0306;</hi>) ; <hi rendition="#i">c&#x0306;</hi> &#x22F9; <hi rendition="#i">a</hi> ; (<hi rendition="#i">b</hi> &#x025F; 0' &#x025F; <hi rendition="#i">d&#x0306;</hi>) ; <hi rendition="#i">c&#x0306;</hi>}<lb/>
also &#x22F9; {1' &#x22F9; <hi rendition="#i">a</hi> ; (<hi rendition="#i">b</hi> &#x025F; <hi rendition="#i">d&#x0306;</hi>) ; <hi rendition="#i">c&#x0306;</hi>}.</item>
          </list><lb/>
          <p>Es verlohnt wol, unsre Ergebnisse mit den Data zu eignen (<hi rendition="#i">Eli-<lb/>
minations</hi>-) <hi rendition="#g">Theoremen</hi> zusammenzustellen:<lb/>
7) <formula/>,<lb/>
wobei die zweite Form der Resultante mittelst einer Konversion aus<lb/>
der ersten oben gefundnen hervorgeht.</p><lb/>
          <p>Aus dem Anblick der zweiten und von 5<hi rendition="#sup">0</hi>) an beider Formen der<lb/>
Resultante erhellt sogleich, dass diese <hi rendition="#g">Peirce&#x2019;</hi>schen Resultanten <hi rendition="#i">durch-<lb/>
weg auch diejenigen in sich schliessen</hi>, welche gemäss 3) aus den ge-<lb/>
trennten Prämissen schon <hi rendition="#i">einzeln</hi> folgten. Es ist also bei <hi rendition="#g">Peirce</hi><lb/>
straflos geblieben, sachlich gerechtfertigt, von den letzteren keine<lb/>
Notiz zu nehmen.</p><lb/>
        </div>
      </div>
    </body>
  </text>
</TEI>
[473/0487] § 28. Eine Studie gemäss Peirce über Elimination. 50) ebenso ⋹ (1' ⋹ a ; x ; x̄̆ ; b̆) also ⋹ (1' ⋹ a ; 0' ; b̆). 60) ⋹ [1' ⋹ a ; x ; (x̄̆ ; c̆ ɟ b̆) ⋹ a ; (x ; x̄̆ ; c̆ ɟ b̆)] also ⋹ {1' ⋹ a ; (0' ; c̆ ɟ b̆)}. 70) ⋹ {1' ⋹ a ; x ; (x̄̆ ɟ c̆) ; b̆ ⋹ a ; (x ; x̄̆ ɟ c̆) ; b̆ ⋹ a ; (0' ɟ c̆) ; b̆} also ⋹ (1' ⋹ a ; c̆ ; b̆). 80) ⋹ {1' ⋹ (a ɟ b ; x) ; (x̄̆ ; d̆ ɟ c̆) ⋹ (a ɟ b ; x ; x̄̆) ; d̆ ɟ c̆ oder anders ⋹a ɟ b ; (x ; x̄̆ ; d̆ ɟ c̆)} also ergibt sich sowol 1' ⋹ (a ɟ b ; 0') ; d̆ ɟ c̆ als auch 1' ⋹ a ɟ b ; (0' ; d̆ ɟ c̆) und beide Resultanten sind ⋹ (1' ⋹ a ɟ b ; 0' ; d̆ ɟ c̆). 90) ⋹ [1 ⋹ (a ɟ b ; x) ; (x̄̆ ɟ d̆) ; c̆ ⋹ {a ɟ b ; x ; (x̄̆ ɟ d̆)} ; c̆ ⋹ ⋹ {a ɟ b ; (x ; x̄̆ ɟ d̆)} ; c̆ ⋹ {a ɟ b ; (0' ɟ d̆)} ; c̆] also ⋹ {1' ⋹ (a ɟ b ; d̆) ; c̆}. 100) ⋹ {1' ⋹ a ; (b ɟ x) ; (x̄̆ ɟ d̆) ; c̆ ⋹ a ; (b ɟ x ; x̄̆ ɟ d̆) ; c̆ ⋹ a ; (b ɟ 0' ɟ d̆) ; c̆} also ⋹ {1' ⋹ a ; (b ɟ d̆) ; c̆}. Es verlohnt wol, unsre Ergebnisse mit den Data zu eignen (Eli- minations-) Theoremen zusammenzustellen: 7) [FORMEL], wobei die zweite Form der Resultante mittelst einer Konversion aus der ersten oben gefundnen hervorgeht. Aus dem Anblick der zweiten und von 50) an beider Formen der Resultante erhellt sogleich, dass diese Peirce’schen Resultanten durch- weg auch diejenigen in sich schliessen, welche gemäss 3) aus den ge- trennten Prämissen schon einzeln folgten. Es ist also bei Peirce straflos geblieben, sachlich gerechtfertigt, von den letzteren keine Notiz zu nehmen.

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/487
Zitationshilfe: Schröder, Ernst: Vorlesungen über die Algebra der Logik. Bd. 3, Abt. 1. Leipzig, 1895, S. 473. In: Deutsches Textarchiv <https://www.deutschestextarchiv.de/schroeder_logik03_1895/487>, abgerufen am 23.11.2024.