Anmelden (DTAQ) DWDS     dlexDB     CLARIN-D

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

Bild:
<< vorherige Seite
nächste Seite >>

§ 46. Aufgaben und Studien.
(a1 + b1) {(a b1 + a1 b) (c d + c1 d1) + a1 c1} + (a + b1) {a c + (a b + a1 b1) (c d1 + c1 d)} 0,
indem der Boole'sche Faktor der Resultante auf (1 = 1) = i hinaus-
läuft. Ausmultiplizirend erhalten wir zunächst:
(a b1 + a1 b) (c d + c1 d1) + a1 c1 + a c + (a b + a1 b1) (c d1 + c1 d) 0
oder thunlichst reduzirt:
(a c1) + (a b1 + a1 b c d1 + c1 d).

Dieses (zuverlässig richtige) Ergebniss stimmt nicht mit dem von den
Lösern gewonnenen. Herr Macfarlane u. s. w. ersetzt die Ungleichung
A B durch eine Gleichung A + v = B + w, wo v, w unbestimmt sein
sollen aber nicht gleichzeitig O sein dürfen etc. Dies ist zwar ein Umweg,
indessen angängig. Das unrichtige Resultat ergab sich ihm zufolge unge-
rechtfertigten Operirens mit dem Minus-Zeichen, dessen Gesetze aus der
Arithmetik in den identischen Kalkul nicht ohne weiteres übertragen werden
dürfen und dessen Anwendung daher im letzteren besser ganz vermieden
wird. Wir haben schon beim Hauber'schen Satze Veranlassung gehabt,
darauf aufmerksam zu machen, wie das gleiche Verfahren, vor welchem
hier gewarnt wird, auch andere namhafte Autoren schon in Fehler führte.
Herrn Macfarlane's und Frau Franklin's Ergebniss lautet:
a (b d1 + b1 d) c1 (b d1 + b1 d).

Das unsrige kann auch geschrieben werden in der Gestalt:
(a c1) + (a b + a1 b1 c d + c1 d1),
und ist dahin zu interpretiren: entweder die a sind nicht einerlei mit
den Nicht-c, oder was a und b oder keins von beiden ist fällt nicht
durchaus zusammen mit dem, was c und d oder keins von beiden ist.

Diese Aussage lässt sich indess noch weiter vereinfachen. Nach Th. 33+)
Zusatz können wir nämlich unsre Resultante auch schreiben:
(a c1) + (a = c1) (a b + a1 b1 c d + c1 d1).
Unter der Voraussetzung a = c1 oder c = a1, sonach in unserm letzten
Aussagenfaktor, dürfen wir aber das Symbol c auch durch a1 ersetzen.
Wir erhalten, wenn wir auch den zugefügten Aussagenfaktor (a = c1) wieder
unterdrücken:
(a c1) + (a b + a1 b1 a1 d + a d1).

Nun lässt sich (als eine Bereicherung unsres § 19) das folgende
allgemeine Theorem:
(a x + b x1 = c x + d x1) = (a x = c x) (b x1 = d x1)
unschwer nach Th. 24+) und 39) rechnerisch beweisen.

Dasselbe lässt sich auch leicht auf beliebig viele Argumente aus-
dehnen zu dem noch allgemeinern Satze:

Wenn zwei Funktionen (im identischen Kalkul) einander gleich
sind, und dieselben nach irgend welchen, aber beide nach den näm-

§ 46. Aufgaben und Studien.
(a1 + b1) {(a b1 + a1 b) (c d + c1 d1) + a1 c1} + (a + b1) {a c + (a b + a1 b1) (c d1 + c1 d)} ≠ 0,
indem der Boole’sche Faktor der Resultante auf (1 = 1) = i hinaus-
läuft. Ausmultiplizirend erhalten wir zunächst:
(a b1 + a1 b) (c d + c1 d1) + a1 c1 + a c + (a b + a1 b1) (c d1 + c1 d) ≠ 0
oder thunlichst reduzirt:
(a ≠ c1) + (a b1 + a1 b ≠ c d1 + c1 d).

Dieses (zuverlässig richtige) Ergebniss stimmt nicht mit dem von den
Lösern gewonnenen. Herr Macfarlane u. s. w. ersetzt die Ungleichung
A ≠ B durch eine Gleichung A + v = B + w, wo v, w unbestimmt sein
sollen aber nicht gleichzeitig O sein dürfen etc. Dies ist zwar ein Umweg,
indessen angängig. Das unrichtige Resultat ergab sich ihm zufolge unge-
rechtfertigten Operirens mit dem Minus-Zeichen, dessen Gesetze aus der
Arithmetik in den identischen Kalkul nicht ohne weiteres übertragen werden
dürfen und dessen Anwendung daher im letzteren besser ganz vermieden
wird. Wir haben schon beim Hauber’schen Satze Veranlassung gehabt,
darauf aufmerksam zu machen, wie das gleiche Verfahren, vor welchem
hier gewarnt wird, auch andere namhafte Autoren schon in Fehler führte.
Herrn Macfarlane’s und Frau Franklin’s Ergebniss lautet:
a (b d1 + b1 d) ≠ c1 (b d1 + b1 d).

Das unsrige kann auch geschrieben werden in der Gestalt:
(a ≠ c1) + (a b + a1 b1 ≠ c d + c1 d1),
und ist dahin zu interpretiren: entweder die a sind nicht einerlei mit
den Nicht-c, oder was a und b oder keins von beiden ist fällt nicht
durchaus zusammen mit dem, was c und d oder keins von beiden ist.

Diese Aussage lässt sich indess noch weiter vereinfachen. Nach Th. 3̅3̅+)
Zusatz können wir nämlich unsre Resultante auch schreiben:
(a ≠ c1) + (a = c1) (a b + a1 b1 ≠ c d + c1 d1).
Unter der Voraussetzung a = c1 oder c = a1, sonach in unserm letzten
Aussagenfaktor, dürfen wir aber das Symbol c auch durch a1 ersetzen.
Wir erhalten, wenn wir auch den zugefügten Aussagenfaktor (a = c1) wieder
unterdrücken:
(a ≠ c1) + (a b + a1 b1 ≠ a1 d + a d1).

Nun lässt sich (als eine Bereicherung unsres § 19) das folgende
allgemeine Theorem:
(a x + b x1 = c x + d x1) = (a x = c x) (b x1 = d x1)
unschwer nach Th. 24+) und 39) rechnerisch beweisen.

Dasselbe lässt sich auch leicht auf beliebig viele Argumente aus-
dehnen zu dem noch allgemeinern Satze:

Wenn zwei Funktionen (im identischen Kalkul) einander gleich
sind, und dieselben nach irgend welchen, aber beide nach den näm-

<TEI>
  <text>
    <body>
      <div n="1">
        <div n="2">
          <div n="3">
            <p><pb facs="#f0333" n="309"/><fw place="top" type="header">§ 46. Aufgaben und Studien.</fw><lb/>
(<hi rendition="#i">a</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">b</hi><hi rendition="#sub">1</hi>) {(<hi rendition="#i">a b</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">a</hi><hi rendition="#sub">1</hi> <hi rendition="#i">b</hi>) (<hi rendition="#i">c d</hi> + <hi rendition="#i">c</hi><hi rendition="#sub">1</hi> <hi rendition="#i">d</hi><hi rendition="#sub">1</hi>) + <hi rendition="#i">a</hi><hi rendition="#sub">1</hi> <hi rendition="#i">c</hi><hi rendition="#sub">1</hi>} + (<hi rendition="#i">a</hi> + <hi rendition="#i">b</hi><hi rendition="#sub">1</hi>) {<hi rendition="#i">a c</hi> + (<hi rendition="#i">a b</hi> + <hi rendition="#i">a</hi><hi rendition="#sub">1</hi> <hi rendition="#i">b</hi><hi rendition="#sub">1</hi>) (<hi rendition="#i">c d</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">c</hi><hi rendition="#sub">1</hi> <hi rendition="#i">d</hi>)} &#x2260; 0,<lb/>
indem der <hi rendition="#g">Boole&#x2019;</hi>sche Faktor der Resultante auf (1 = 1) = i hinaus-<lb/>
läuft. Ausmultiplizirend erhalten wir zunächst:<lb/><hi rendition="#c">(<hi rendition="#i">a b</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">a</hi><hi rendition="#sub">1</hi> <hi rendition="#i">b</hi>) (<hi rendition="#i">c d</hi> + <hi rendition="#i">c</hi><hi rendition="#sub">1</hi> <hi rendition="#i">d</hi><hi rendition="#sub">1</hi>) + <hi rendition="#i">a</hi><hi rendition="#sub">1</hi> <hi rendition="#i">c</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">a c</hi> + (<hi rendition="#i">a b</hi> + <hi rendition="#i">a</hi><hi rendition="#sub">1</hi> <hi rendition="#i">b</hi><hi rendition="#sub">1</hi>) (<hi rendition="#i">c d</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">c</hi><hi rendition="#sub">1</hi> <hi rendition="#i">d</hi>) &#x2260; 0</hi><lb/>
oder thunlichst reduzirt:<lb/><hi rendition="#c">(<hi rendition="#i">a</hi> &#x2260; <hi rendition="#i">c</hi><hi rendition="#sub">1</hi>) + (<hi rendition="#i">a b</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">a</hi><hi rendition="#sub">1</hi> <hi rendition="#i">b</hi> &#x2260; <hi rendition="#i">c d</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">c</hi><hi rendition="#sub">1</hi> <hi rendition="#i">d</hi>).</hi></p><lb/>
            <p>Dieses (zuverlässig richtige) Ergebniss stimmt <hi rendition="#i">nicht</hi> mit dem von den<lb/>
Lösern gewonnenen. Herr <hi rendition="#g">Macfarlane</hi> u. s. w. ersetzt die Ungleichung<lb/><hi rendition="#i">A</hi> &#x2260; <hi rendition="#i">B</hi> durch eine Gleichung <hi rendition="#i">A</hi> + <hi rendition="#i">v</hi> = <hi rendition="#i">B</hi> + <hi rendition="#i">w</hi>, wo <hi rendition="#i">v</hi>, <hi rendition="#i">w</hi> unbestimmt sein<lb/>
sollen aber nicht gleichzeitig O sein dürfen etc. Dies ist zwar ein Umweg,<lb/>
indessen angängig. Das unrichtige Resultat ergab sich ihm zufolge unge-<lb/>
rechtfertigten Operirens mit dem <hi rendition="#i">Minus</hi>-Zeichen, dessen Gesetze aus der<lb/>
Arithmetik in den identischen Kalkul nicht ohne weiteres übertragen werden<lb/>
dürfen und dessen Anwendung daher im letzteren <hi rendition="#i">besser ganz vermieden</hi><lb/>
wird. Wir haben schon beim <hi rendition="#g">Hauber&#x2019;</hi>schen Satze Veranlassung gehabt,<lb/>
darauf aufmerksam zu machen, wie das gleiche Verfahren, vor welchem<lb/>
hier gewarnt wird, auch andere namhafte Autoren schon in Fehler führte.<lb/>
Herrn <hi rendition="#g">Macfarlane&#x2019;</hi>s und Frau <hi rendition="#g">Franklin&#x2019;</hi>s Ergebniss lautet:<lb/><hi rendition="#c"><hi rendition="#i">a</hi> (<hi rendition="#i">b d</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">b</hi><hi rendition="#sub">1</hi> <hi rendition="#i">d</hi>) &#x2260; <hi rendition="#i">c</hi><hi rendition="#sub">1</hi> (<hi rendition="#i">b d</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">b</hi><hi rendition="#sub">1</hi> <hi rendition="#i">d</hi>).</hi></p><lb/>
            <p>Das unsrige kann auch geschrieben werden in der Gestalt:<lb/><hi rendition="#c">(<hi rendition="#i">a</hi> &#x2260; <hi rendition="#i">c</hi><hi rendition="#sub">1</hi>) + (<hi rendition="#i">a b</hi> + <hi rendition="#i">a</hi><hi rendition="#sub">1</hi> <hi rendition="#i">b</hi><hi rendition="#sub">1</hi> &#x2260; <hi rendition="#i">c d</hi> + <hi rendition="#i">c</hi><hi rendition="#sub">1</hi> <hi rendition="#i">d</hi><hi rendition="#sub">1</hi>),</hi><lb/>
und ist dahin zu interpretiren: <hi rendition="#i">entweder</hi> die <hi rendition="#i">a</hi> sind nicht einerlei mit<lb/>
den Nicht-<hi rendition="#i">c</hi>, <hi rendition="#i">oder</hi> was <hi rendition="#i">a</hi> und <hi rendition="#i">b</hi> oder keins von beiden ist fällt nicht<lb/>
durchaus zusammen mit dem, was <hi rendition="#i">c</hi> und <hi rendition="#i">d</hi> oder keins von beiden ist.</p><lb/>
            <p>Diese Aussage lässt sich indess noch weiter vereinfachen. Nach Th. 3&#x0305;3&#x0305;<hi rendition="#sub">+</hi>)<lb/>
Zusatz können wir nämlich unsre Resultante auch schreiben:<lb/><hi rendition="#c">(<hi rendition="#i">a</hi> &#x2260; <hi rendition="#i">c</hi><hi rendition="#sub">1</hi>) + (<hi rendition="#i">a</hi> = <hi rendition="#i">c</hi><hi rendition="#sub">1</hi>) (<hi rendition="#i">a b</hi> + <hi rendition="#i">a</hi><hi rendition="#sub">1</hi> <hi rendition="#i">b</hi><hi rendition="#sub">1</hi> &#x2260; <hi rendition="#i">c d</hi> + <hi rendition="#i">c</hi><hi rendition="#sub">1</hi> <hi rendition="#i">d</hi><hi rendition="#sub">1</hi>).</hi><lb/>
Unter der Voraussetzung <hi rendition="#i">a</hi> = <hi rendition="#i">c</hi><hi rendition="#sub">1</hi> oder <hi rendition="#i">c</hi> = <hi rendition="#i">a</hi><hi rendition="#sub">1</hi>, sonach in unserm letzten<lb/>
Aussagenfaktor, dürfen wir aber das Symbol <hi rendition="#i">c</hi> auch durch <hi rendition="#i">a</hi><hi rendition="#sub">1</hi> ersetzen.<lb/>
Wir erhalten, wenn wir auch den zugefügten Aussagenfaktor (<hi rendition="#i">a</hi> = <hi rendition="#i">c</hi><hi rendition="#sub">1</hi>) wieder<lb/>
unterdrücken:<lb/><hi rendition="#c">(<hi rendition="#i">a</hi> &#x2260; <hi rendition="#i">c</hi><hi rendition="#sub">1</hi>) + (<hi rendition="#i">a b</hi> + <hi rendition="#i">a</hi><hi rendition="#sub">1</hi> <hi rendition="#i">b</hi><hi rendition="#sub">1</hi> &#x2260; <hi rendition="#i">a</hi><hi rendition="#sub">1</hi> <hi rendition="#i">d</hi> + <hi rendition="#i">a d</hi><hi rendition="#sub">1</hi>).</hi></p><lb/>
            <p>Nun lässt sich (als eine Bereicherung unsres § 19) das folgende<lb/>
allgemeine <hi rendition="#g">Theorem</hi>:<lb/><hi rendition="#c">(<hi rendition="#i">a x</hi> + <hi rendition="#i">b x</hi><hi rendition="#sub">1</hi> = <hi rendition="#i">c x</hi> + <hi rendition="#i">d x</hi><hi rendition="#sub">1</hi>) = (<hi rendition="#i">a x</hi> = <hi rendition="#i">c x</hi>) (<hi rendition="#i">b x</hi><hi rendition="#sub">1</hi> = <hi rendition="#i">d x</hi><hi rendition="#sub">1</hi>)</hi><lb/>
unschwer nach Th. 24<hi rendition="#sub">+</hi>) und 39) rechnerisch beweisen.</p><lb/>
            <p>Dasselbe lässt sich auch leicht auf beliebig viele Argumente aus-<lb/>
dehnen zu dem noch allgemeinern Satze:</p><lb/>
            <p><hi rendition="#i">Wenn zwei Funktionen</hi> (im identischen Kalkul) <hi rendition="#i">einander gleich<lb/>
sind</hi>, und dieselben nach irgend welchen, aber beide nach den näm-<lb/></p>
          </div>
        </div>
      </div>
    </body>
  </text>
</TEI>
[309/0333] § 46. Aufgaben und Studien. (a1 + b1) {(a b1 + a1 b) (c d + c1 d1) + a1 c1} + (a + b1) {a c + (a b + a1 b1) (c d1 + c1 d)} ≠ 0, indem der Boole’sche Faktor der Resultante auf (1 = 1) = i hinaus- läuft. Ausmultiplizirend erhalten wir zunächst: (a b1 + a1 b) (c d + c1 d1) + a1 c1 + a c + (a b + a1 b1) (c d1 + c1 d) ≠ 0 oder thunlichst reduzirt: (a ≠ c1) + (a b1 + a1 b ≠ c d1 + c1 d). Dieses (zuverlässig richtige) Ergebniss stimmt nicht mit dem von den Lösern gewonnenen. Herr Macfarlane u. s. w. ersetzt die Ungleichung A ≠ B durch eine Gleichung A + v = B + w, wo v, w unbestimmt sein sollen aber nicht gleichzeitig O sein dürfen etc. Dies ist zwar ein Umweg, indessen angängig. Das unrichtige Resultat ergab sich ihm zufolge unge- rechtfertigten Operirens mit dem Minus-Zeichen, dessen Gesetze aus der Arithmetik in den identischen Kalkul nicht ohne weiteres übertragen werden dürfen und dessen Anwendung daher im letzteren besser ganz vermieden wird. Wir haben schon beim Hauber’schen Satze Veranlassung gehabt, darauf aufmerksam zu machen, wie das gleiche Verfahren, vor welchem hier gewarnt wird, auch andere namhafte Autoren schon in Fehler führte. Herrn Macfarlane’s und Frau Franklin’s Ergebniss lautet: a (b d1 + b1 d) ≠ c1 (b d1 + b1 d). Das unsrige kann auch geschrieben werden in der Gestalt: (a ≠ c1) + (a b + a1 b1 ≠ c d + c1 d1), und ist dahin zu interpretiren: entweder die a sind nicht einerlei mit den Nicht-c, oder was a und b oder keins von beiden ist fällt nicht durchaus zusammen mit dem, was c und d oder keins von beiden ist. Diese Aussage lässt sich indess noch weiter vereinfachen. Nach Th. 3̅3̅+) Zusatz können wir nämlich unsre Resultante auch schreiben: (a ≠ c1) + (a = c1) (a b + a1 b1 ≠ c d + c1 d1). Unter der Voraussetzung a = c1 oder c = a1, sonach in unserm letzten Aussagenfaktor, dürfen wir aber das Symbol c auch durch a1 ersetzen. Wir erhalten, wenn wir auch den zugefügten Aussagenfaktor (a = c1) wieder unterdrücken: (a ≠ c1) + (a b + a1 b1 ≠ a1 d + a d1). Nun lässt sich (als eine Bereicherung unsres § 19) das folgende allgemeine Theorem: (a x + b x1 = c x + d x1) = (a x = c x) (b x1 = d x1) unschwer nach Th. 24+) und 39) rechnerisch beweisen. Dasselbe lässt sich auch leicht auf beliebig viele Argumente aus- dehnen zu dem noch allgemeinern Satze: Wenn zwei Funktionen (im identischen Kalkul) einander gleich sind, und dieselben nach irgend welchen, aber beide nach den näm-

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_logik0201_1891
URL zu dieser Seite: https://www.deutschestextarchiv.de/schroeder_logik0201_1891/333
Zitationshilfe: Schröder, Ernst: Vorlesungen über die Algebra der Logik. Bd. 2, Abt. 1. Leipzig, 1891, S. 309. In: Deutsches Textarchiv <https://www.deutschestextarchiv.de/schroeder_logik0201_1891/333>, abgerufen am 11.05.2024.