Anmelden (DTAQ) DWDS     dlexDB     CLARIN-D

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

Bild:
<< vorherige Seite

Sechzehnte Vorlesung.
(a b) {(x a) (x b)},
so ist nach Th. 20x), oder (A B) = (A B = A), auch:
(a b) {(x a) (x b)} = (a b),
sodass also unser Major als Faktor beim ersten Term sich unterdrücken
lässt, und nur noch beim zweiten angemerkt werden muss, wobei man
ihn auch verwenden mag in einer der beiden nach l) und Th. 33+)
Zusatz ihm äquivalenten Formen:
(x b) + (x a) oder (x b) + (x b) + (x a).
Mithin gibt die Gleichung:
{(x a) (x b)} = (a b) + (a b) {(x b) + (x b) (x a)}
die Lösung unsrer Aufgabe an.

Und ebenso haben wir mit der weiteren Geltung:
{(x c) (x a) (x b)} = (c a b) + (c a b) {(x a b) + (x c)}.

Der letzte Term -- nicht aber der: (x = 0) -- ist behufs Er-
zielung dieser weiteren Geltung dem ersten Terme noch hinzuzufügen
gewesen. Indessen könnte man freilich denselben durch Unterdrückung
des Faktors (c a b) noch weiter vereinfachen (und sogar auch den
ersten Term fortlassen).

Die Betrachtung dürfte lehrreich gewesen sein um den Gegensatz
zwischen engerer und weiterer Geltung deutlichst hervortreten zu lassen.

Die im Obigen behufs Verifikation einer jeden Subsumtion unsres
Aussagenkalkuls angeregte und auszuführen gewesene Probe, dass:
Minor + Gewicht = Major
sein muss (während Minor mal Gewicht verschwindet), lief hinaus auf den
rechnerischen Gültigkeitsnachweis von Formeln des Klassenkalkuls, die zu
den Übungsaufgaben des § 18 (Bd. 1, S. 384 sqq.) noch manche Beisteuer
liefern.


Sechzehnte Vorlesung.
(a b) {(x a) (x b)},
so ist nach Th. 2̅0̅×), oder (A B) = (A B = A), auch:
(a b) {(x a) (x b)} = (a b),
sodass also unser Major als Faktor beim ersten Term sich unterdrücken
lässt, und nur noch beim zweiten angemerkt werden muss, wobei man
ihn auch verwenden mag in einer der beiden nach λ) und Th. 3̅3̅+)
Zusatz ihm äquivalenten Formen:
(x b) + (x a) oder (x b) + (x b) + (x a).
Mithin gibt die Gleichung:
{(x a) (x b)} = (a b) + (a b) {(x b) + (x b) (x a)}
die Lösung unsrer Aufgabe an.

Und ebenso haben wir mit der weiteren Geltung:
{(x c) (x a) (x b)} = (c a b) + (c a b) {(x a b) + (x c)}.

Der letzte Term — nicht aber der: (x = 0) — ist behufs Er-
zielung dieser weiteren Geltung dem ersten Terme noch hinzuzufügen
gewesen. Indessen könnte man freilich denselben durch Unterdrückung
des Faktors (c a b) noch weiter vereinfachen (und sogar auch den
ersten Term fortlassen).

Die Betrachtung dürfte lehrreich gewesen sein um den Gegensatz
zwischen engerer und weiterer Geltung deutlichst hervortreten zu lassen.

Die im Obigen behufs Verifikation einer jeden Subsumtion unsres
Aussagenkalkuls angeregte und auszuführen gewesene Probe, dass:
Minor + Gewicht = Major
sein muss (während Minor mal Gewicht verschwindet), lief hinaus auf den
rechnerischen Gültigkeitsnachweis von Formeln des Klassenkalkuls, die zu
den Übungsaufgaben des § 18 (Bd. 1, S. 384 sqq.) noch manche Beisteuer
liefern.


<TEI>
  <text>
    <body>
      <div n="1">
        <div n="2">
          <div n="3">
            <p><pb facs="#f0108" n="84"/><fw place="top" type="header">Sechzehnte Vorlesung.</fw><lb/><hi rendition="#c">(<hi rendition="#i">a</hi> <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> <hi rendition="#i">b</hi>) <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> {(<hi rendition="#i">x</hi> <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> <hi rendition="#i">a</hi>) <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> (<hi rendition="#i">x</hi> <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> <hi rendition="#i">b</hi>)},</hi><lb/>
so ist nach Th. 2&#x0305;0&#x0305;<hi rendition="#sub">×</hi>), oder (<hi rendition="#i">A</hi> <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> <hi rendition="#i">B</hi>) = (<hi rendition="#i">A B</hi> = <hi rendition="#i">A</hi>), auch:<lb/><hi rendition="#c">(<hi rendition="#i">a</hi> <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> <hi rendition="#i">b</hi>) {(<hi rendition="#i">x</hi> <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> <hi rendition="#i">a</hi>) <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> (<hi rendition="#i">x</hi> <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> <hi rendition="#i">b</hi>)} = (<hi rendition="#i">a</hi> <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> <hi rendition="#i">b</hi>),</hi><lb/>
sodass also unser Major als Faktor beim ersten Term sich unterdrücken<lb/>
lässt, und nur noch beim zweiten angemerkt werden muss, wobei man<lb/>
ihn auch verwenden mag in einer der beiden nach <hi rendition="#i">&#x03BB;</hi>) und Th. 3&#x0305;3&#x0305;<hi rendition="#sub">+</hi>)<lb/>
Zusatz ihm äquivalenten Formen:<lb/><hi rendition="#c">(<hi rendition="#i">x</hi> <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> <hi rendition="#i">b</hi>) + (<hi rendition="#i">x</hi> <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> <hi rendition="#i">a</hi>) oder (<hi rendition="#i">x</hi> <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> <hi rendition="#i">b</hi>) + (<hi rendition="#i">x</hi> <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> <hi rendition="#i">b</hi>) + (<hi rendition="#i">x</hi> <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> <hi rendition="#i">a</hi>).</hi><lb/>
Mithin gibt die Gleichung:<lb/><hi rendition="#c">{(<hi rendition="#i">x</hi> <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> <hi rendition="#i">a</hi>) <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> (<hi rendition="#i">x</hi> <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> <hi rendition="#i">b</hi>)} = (<hi rendition="#i">a</hi> <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> <hi rendition="#i">b</hi>) + (<hi rendition="#i">a</hi> <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> <hi rendition="#i">b</hi>) {(<hi rendition="#i">x</hi> <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> <hi rendition="#i">b</hi>) + (<hi rendition="#i">x</hi> <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> <hi rendition="#i">b</hi>) (<hi rendition="#i">x</hi> <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> <hi rendition="#i">a</hi>)}</hi><lb/>
die Lösung unsrer Aufgabe an.</p><lb/>
            <p>Und ebenso haben wir mit der weiteren Geltung:<lb/><hi rendition="#c">{(<hi rendition="#i">x</hi> <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> <hi rendition="#i">c</hi>) <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> (<hi rendition="#i">x</hi> <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> <hi rendition="#i">a</hi>) (<hi rendition="#i">x</hi> <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> <hi rendition="#i">b</hi>)} = (<hi rendition="#i">c</hi> <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> <hi rendition="#i">a b</hi>) + (<hi rendition="#i">c</hi> <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> <hi rendition="#i">a b</hi>) {(<hi rendition="#i">x</hi> <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> <hi rendition="#i">a b</hi>) + (<hi rendition="#i">x</hi> <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> <hi rendition="#i">c</hi>)}.</hi></p><lb/>
            <p>Der letzte Term &#x2014; nicht aber der: (<hi rendition="#i">x</hi> = 0) &#x2014; ist behufs Er-<lb/>
zielung dieser weiteren Geltung dem ersten Terme noch hinzuzufügen<lb/>
gewesen. Indessen könnte man freilich denselben durch Unterdrückung<lb/>
des Faktors (<hi rendition="#i">c</hi> <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> <hi rendition="#i">a b</hi>) noch weiter vereinfachen (und sogar auch den<lb/>
ersten Term fortlassen).</p><lb/>
            <p>Die Betrachtung dürfte lehrreich gewesen sein um den Gegensatz<lb/>
zwischen engerer und weiterer Geltung deutlichst hervortreten zu lassen.</p><lb/>
            <p>Die im Obigen behufs Verifikation einer jeden Subsumtion unsres<lb/>
Aussagenkalkuls angeregte und auszuführen gewesene <hi rendition="#i">Probe,</hi> dass:<lb/><hi rendition="#c">Minor + Gewicht = Major</hi><lb/>
sein muss (während Minor mal Gewicht verschwindet), lief hinaus auf den<lb/>
rechnerischen Gültigkeitsnachweis von Formeln des Klassenkalkuls, die zu<lb/>
den Übungsaufgaben des § 18 (Bd. 1, S. 384 sqq.) noch manche Beisteuer<lb/>
liefern.</p>
          </div>
        </div><lb/>
        <milestone rendition="#hr" unit="section"/>
      </div>
    </body>
  </text>
</TEI>
[84/0108] Sechzehnte Vorlesung. (a  b)  {(x  a)  (x  b)}, so ist nach Th. 2̅0̅×), oder (A  B) = (A B = A), auch: (a  b) {(x  a)  (x  b)} = (a  b), sodass also unser Major als Faktor beim ersten Term sich unterdrücken lässt, und nur noch beim zweiten angemerkt werden muss, wobei man ihn auch verwenden mag in einer der beiden nach λ) und Th. 3̅3̅+) Zusatz ihm äquivalenten Formen: (x  b) + (x  a) oder (x  b) + (x  b) + (x  a). Mithin gibt die Gleichung: {(x  a)  (x  b)} = (a  b) + (a  b) {(x  b) + (x  b) (x  a)} die Lösung unsrer Aufgabe an. Und ebenso haben wir mit der weiteren Geltung: {(x  c)  (x  a) (x  b)} = (c  a b) + (c  a b) {(x  a b) + (x  c)}. Der letzte Term — nicht aber der: (x = 0) — ist behufs Er- zielung dieser weiteren Geltung dem ersten Terme noch hinzuzufügen gewesen. Indessen könnte man freilich denselben durch Unterdrückung des Faktors (c  a b) noch weiter vereinfachen (und sogar auch den ersten Term fortlassen). Die Betrachtung dürfte lehrreich gewesen sein um den Gegensatz zwischen engerer und weiterer Geltung deutlichst hervortreten zu lassen. Die im Obigen behufs Verifikation einer jeden Subsumtion unsres Aussagenkalkuls angeregte und auszuführen gewesene Probe, dass: Minor + Gewicht = Major sein muss (während Minor mal Gewicht verschwindet), lief hinaus auf den rechnerischen Gültigkeitsnachweis von Formeln des Klassenkalkuls, die zu den Übungsaufgaben des § 18 (Bd. 1, S. 384 sqq.) noch manche Beisteuer liefern.

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/108
Zitationshilfe: Schröder, Ernst: Vorlesungen über die Algebra der Logik. Bd. 2, Abt. 1. Leipzig, 1891, S. 84. In: Deutsches Textarchiv <https://www.deutschestextarchiv.de/schroeder_logik0201_1891/108>, abgerufen am 15.10.2024.