Anmelden (DTAQ) DWDS     dlexDB     CLARIN-D

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

Bild:
<< vorherige Seite
nächste Seite >>
§ 19. Funktionen und deren Entwickelung.

Der vorstehende Beweis lief mehr auf eine Probe der Richtigkeit,
eine Verifikation des Satzes hinaus. Der folgende Beweis ist mehr
"heuristisch", lässt auch erkennen, auf welchem Wege der Satz leicht
zu entdecken war.

Beweis 2. Nach Th. 36) ist -- zunächst bei einem Argumente:
(a x + b x1)1 = (a x)1 (b x1)1 = (a1 + x1) (b1 + x) = x a1 + a1 b1 + b1 x1 = a1 x + b1 x1
wie nach dem Th. § 18, i) oder k), oder endlich durch völlige Ent-
wickelung des vorletzten Ausdrucks nach x gemäss Th. 44+) unter
Berücksichtigung des Absorptionsgesetzes einzusehen.

Nachdem so für ein Argument der Satz gewonnen ist, lässt er
sich für zwei Argumente hieraus ableiten, wie folgt:

(a x y + b x y1 + c x1 y + d x1 y1)1 = {(a y + b y1) x + (c y + d y1) x1}1 =
= (a y + b y1)1 x + (c y + d y1)1 x1 = (a1 y + b1 y1) x + (c1 y + d1 y1) x1 =
= a1 x y + b1 x y1 + c1 x1 y + d1 x1 y1.

In derselben Weise fortschreitend wird der Satz für immer ein
Argument mehr gewonnen [und allgemein für n + 1 Argumente auf
den vorher erledigten Fall von n Argumenten zurückgeführt].

Das Th. 46+) gestaltet auch das Negiren der Funktionen zu einer
bequemen Operation, sobald solche nur "entwickelt" worden.

Von manchen in meinem Operationskreis2 gegebenen Sätzen, die ich
später durch Herrn Peirce antizipirt, vorweggenommen fand, ist mir
wenigstens dieses Theorem geblieben.

Exempel. (a x + b x1 + c)1 = (a1 x + b1 x1) c1 = a1 c1 x + b1 c1 x1.

Exempel. Nach unserm Satze kann nun die Negation von a b1 + a1 b
auf drei Arten hergestellt werden. Der Ausdruck ist nämlich entwickelt
sowol nach a für sich, als auch nach b allein, als auch nach a und b zu-
sammen. Im Hinblick auf ersteres bekommt man die Koeffizienten b1 und b
zu negiren, während man die Konstituenten a und a1 stehen zu lassen hat;
es entsteht: (a b1 + a1 b)1 = a b + a1 b1.

In der zweiten Hinsicht muss man die a und a1 als die Koeffizienten gelten
lassen, diese negiren, und b1, b als Konstituenten unverändert lassen, wo-
durch a1 b1 + a b somit das gleiche Resultat entsteht.

In der dritten Hinsicht werden in:
a b1 + a1 b = 0 · a b + 1 · a b1 + 1 · a1 b + 0 · a1 b1
die Koeffizienten 0, 1, 1, 0 zu negiren sein, wodurch sich
(a b1 + a1 b)1 = 1 · a b + 0 · a b1 + 0 · a1 b + 1 · a1 b1
also wiederum das alte Resultat ergibt.

Die letzte Betrachtung zeigt, dass bei der Anwendung des Satzes
eine Fehlerquelle verfänglich ist: man darf die etwa fehlenden Glieder

§ 19. Funktionen und deren Entwickelung.

Der vorstehende Beweis lief mehr auf eine Probe der Richtigkeit,
eine Verifikation des Satzes hinaus. Der folgende Beweis ist mehr
„heuristisch“, lässt auch erkennen, auf welchem Wege der Satz leicht
zu entdecken war.

Beweis 2. Nach Th. 36) ist — zunächst bei einem Argumente:
(a x + b x1)1 = (a x)1 (b x1)1 = (a1 + x1) (b1 + x) = x a1 + a1 b1 + b1 x1 = a1 x + b1 x1
wie nach dem Th. § 18, ι) oder ϰ), oder endlich durch völlige Ent-
wickelung des vorletzten Ausdrucks nach x gemäss Th. 44+) unter
Berücksichtigung des Absorptionsgesetzes einzusehen.

Nachdem so für ein Argument der Satz gewonnen ist, lässt er
sich für zwei Argumente hieraus ableiten, wie folgt:

(a x y + b x y1 + c x1 y + d x1 y1)1 = {(a y + b y1) x + (c y + d y1) x1}1 =
= (a y + b y1)1 x + (c y + d y1)1 x1 = (a1 y + b1 y1) x + (c1 y + d1 y1) x1 =
= a1 x y + b1 x y1 + c1 x1 y + d1 x1 y1.

In derselben Weise fortschreitend wird der Satz für immer ein
Argument mehr gewonnen [und allgemein für n + 1 Argumente auf
den vorher erledigten Fall von n Argumenten zurückgeführt].

Das Th. 46+) gestaltet auch das Negiren der Funktionen zu einer
bequemen Operation, sobald solche nur „entwickelt“ worden.

Von manchen in meinem Operationskreis2 gegebenen Sätzen, die ich
später durch Herrn Peirce antizipirt, vorweggenommen fand, ist mir
wenigstens dieses Theorem geblieben.

Exempel. (a x + b x1 + c)1 = (a1 x + b1 x1) c1 = a1 c1 x + b1 c1 x1.

Exempel. Nach unserm Satze kann nun die Negation von a b1 + a1 b
auf drei Arten hergestellt werden. Der Ausdruck ist nämlich entwickelt
sowol nach a für sich, als auch nach b allein, als auch nach a und b zu-
sammen. Im Hinblick auf ersteres bekommt man die Koeffizienten b1 und b
zu negiren, während man die Konstituenten a und a1 stehen zu lassen hat;
es entsteht: (a b1 + a1 b)1 = a b + a1 b1.

In der zweiten Hinsicht muss man die a und a1 als die Koeffizienten gelten
lassen, diese negiren, und b1, b als Konstituenten unverändert lassen, wo-
durch a1 b1 + a b somit das gleiche Resultat entsteht.

In der dritten Hinsicht werden in:
a b1 + a1 b = 0 · a b + 1 · a b1 + 1 · a1 b + 0 · a1 b1
die Koeffizienten 0, 1, 1, 0 zu negiren sein, wodurch sich
(a b1 + a1 b)1 = 1 · a b + 0 · a b1 + 0 · a1 b + 1 · a1 b1
also wiederum das alte Resultat ergibt.

Die letzte Betrachtung zeigt, dass bei der Anwendung des Satzes
eine Fehlerquelle verfänglich ist: man darf die etwa fehlenden Glieder

<TEI>
  <text>
    <body>
      <div n="1">
        <div n="2">
          <pb facs="#f0443" n="423"/>
          <fw place="top" type="header">§ 19. Funktionen und deren Entwickelung.</fw><lb/>
          <p>Der vorstehende Beweis lief mehr auf eine Probe der Richtigkeit,<lb/>
eine Verifikation des Satzes hinaus. Der folgende Beweis ist mehr<lb/>
&#x201E;heuristisch&#x201C;, lässt auch erkennen, auf welchem Wege der Satz leicht<lb/>
zu entdecken war.</p><lb/>
          <p><hi rendition="#g">Beweis</hi> 2. Nach Th. 36) ist &#x2014; zunächst bei <hi rendition="#i">einem</hi> Argumente:<lb/>
(<hi rendition="#i">a x</hi> + <hi rendition="#i">b x</hi><hi rendition="#sub">1</hi>)<hi rendition="#sub">1</hi> = (<hi rendition="#i">a x</hi>)<hi rendition="#sub">1</hi> (<hi rendition="#i">b x</hi><hi rendition="#sub">1</hi>)<hi rendition="#sub">1</hi> = (<hi rendition="#i">a</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">x</hi><hi rendition="#sub">1</hi>) (<hi rendition="#i">b</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">x</hi>) = <hi rendition="#i">x a</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">a</hi><hi rendition="#sub">1</hi> <hi rendition="#i">b</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">b</hi><hi rendition="#sub">1</hi> <hi rendition="#i">x</hi><hi rendition="#sub">1</hi> = <hi rendition="#i">a</hi><hi rendition="#sub">1</hi> <hi rendition="#i">x</hi> + <hi rendition="#i">b</hi><hi rendition="#sub">1</hi> <hi rendition="#i">x</hi><hi rendition="#sub">1</hi><lb/>
wie nach dem Th. § 18, <hi rendition="#i">&#x03B9;</hi>) oder <hi rendition="#i">&#x03F0;</hi>), oder endlich durch völlige Ent-<lb/>
wickelung des vorletzten Ausdrucks nach <hi rendition="#i">x</hi> gemäss Th. 44<hi rendition="#sub">+</hi>) unter<lb/>
Berücksichtigung des Absorptionsgesetzes einzusehen.</p><lb/>
          <p>Nachdem so für <hi rendition="#i">ein</hi> Argument der Satz gewonnen ist, lässt er<lb/>
sich für zwei Argumente hieraus ableiten, wie folgt:<lb/><list><item>(<hi rendition="#i">a x y</hi> + <hi rendition="#i">b x y</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">c x</hi><hi rendition="#sub">1</hi> <hi rendition="#i">y</hi> + <hi rendition="#i">d x</hi><hi rendition="#sub">1</hi> <hi rendition="#i">y</hi><hi rendition="#sub">1</hi>)<hi rendition="#sub">1</hi> = {(<hi rendition="#i">a y</hi> + <hi rendition="#i">b y</hi><hi rendition="#sub">1</hi>) <hi rendition="#i">x</hi> + (<hi rendition="#i">c y</hi> + <hi rendition="#i">d y</hi><hi rendition="#sub">1</hi>) <hi rendition="#i">x</hi><hi rendition="#sub">1</hi>}<hi rendition="#sub">1</hi> =<lb/>
= (<hi rendition="#i">a y</hi> + <hi rendition="#i">b y</hi><hi rendition="#sub">1</hi>)<hi rendition="#sub">1</hi> <hi rendition="#i">x</hi> + (<hi rendition="#i">c y</hi> + <hi rendition="#i">d y</hi><hi rendition="#sub">1</hi>)<hi rendition="#sub">1</hi> <hi rendition="#i">x</hi><hi rendition="#sub">1</hi> = (<hi rendition="#i">a</hi><hi rendition="#sub">1</hi> <hi rendition="#i">y</hi> + <hi rendition="#i">b</hi><hi rendition="#sub">1</hi> <hi rendition="#i">y</hi><hi rendition="#sub">1</hi>) <hi rendition="#i">x</hi> + (<hi rendition="#i">c</hi><hi rendition="#sub">1</hi> <hi rendition="#i">y</hi> + <hi rendition="#i">d</hi><hi rendition="#sub">1</hi> <hi rendition="#i">y</hi><hi rendition="#sub">1</hi>) <hi rendition="#i">x</hi><hi rendition="#sub">1</hi> =<lb/>
= <hi rendition="#i">a</hi><hi rendition="#sub">1</hi> <hi rendition="#i">x y</hi> + <hi rendition="#i">b</hi><hi rendition="#sub">1</hi> <hi rendition="#i">x y</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">c</hi><hi rendition="#sub">1</hi> <hi rendition="#i">x</hi><hi rendition="#sub">1</hi> <hi rendition="#i">y</hi> + <hi rendition="#i">d</hi><hi rendition="#sub">1</hi> <hi rendition="#i">x</hi><hi rendition="#sub">1</hi> <hi rendition="#i">y</hi><hi rendition="#sub">1</hi>.</item></list></p><lb/>
          <p>In derselben Weise fortschreitend wird der Satz für immer ein<lb/>
Argument mehr gewonnen [und allgemein für <hi rendition="#i">n</hi> + 1 Argumente auf<lb/>
den vorher erledigten Fall von <hi rendition="#i">n</hi> Argumenten zurückgeführt].</p><lb/>
          <p>Das Th. 46<hi rendition="#sub">+</hi>) gestaltet auch das Negiren der Funktionen zu einer<lb/>
bequemen Operation, sobald solche nur &#x201E;entwickelt&#x201C; worden.</p><lb/>
          <p>Von manchen in meinem Operationskreis<hi rendition="#sup">2</hi> gegebenen Sätzen, die ich<lb/>
später durch Herrn <hi rendition="#g">Peirce</hi> antizipirt, vorweggenommen fand, ist mir<lb/>
wenigstens dieses Theorem geblieben.</p><lb/>
          <p><hi rendition="#g">Exempel</hi>. (<hi rendition="#i">a x</hi> + <hi rendition="#i">b x</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">c</hi>)<hi rendition="#sub">1</hi> = (<hi rendition="#i">a</hi><hi rendition="#sub">1</hi> <hi rendition="#i">x</hi> + <hi rendition="#i">b</hi><hi rendition="#sub">1</hi> <hi rendition="#i">x</hi><hi rendition="#sub">1</hi>) <hi rendition="#i">c</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">x</hi> + <hi rendition="#i">b</hi><hi rendition="#sub">1</hi> <hi rendition="#i">c</hi><hi rendition="#sub">1</hi> <hi rendition="#i">x</hi><hi rendition="#sub">1</hi>.</p><lb/>
          <p><hi rendition="#g">Exempel</hi>. Nach unserm Satze kann nun die Negation von <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><lb/>
auf drei Arten hergestellt werden. Der Ausdruck ist nämlich entwickelt<lb/>
sowol nach <hi rendition="#i">a</hi> für sich, als auch nach <hi rendition="#i">b</hi> allein, als auch nach <hi rendition="#i">a</hi> und <hi rendition="#i">b</hi> zu-<lb/>
sammen. Im Hinblick auf ersteres bekommt man die Koeffizienten <hi rendition="#i">b</hi><hi rendition="#sub">1</hi> und <hi rendition="#i">b</hi><lb/>
zu negiren, während man die Konstituenten <hi rendition="#i">a</hi> und <hi rendition="#i">a</hi><hi rendition="#sub">1</hi> stehen zu lassen hat;<lb/>
es entsteht: <hi rendition="#et">(<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="#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>.</hi></p><lb/>
          <p>In der zweiten Hinsicht muss man die <hi rendition="#i">a</hi> und <hi rendition="#i">a</hi><hi rendition="#sub">1</hi> als die Koeffizienten gelten<lb/>
lassen, diese negiren, und <hi rendition="#i">b</hi><hi rendition="#sub">1</hi>, <hi rendition="#i">b</hi> als Konstituenten unverändert lassen, wo-<lb/>
durch <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> somit das gleiche Resultat entsteht.</p><lb/>
          <p>In der dritten Hinsicht werden in:<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> = 0 · <hi rendition="#i">a b</hi> + 1 · <hi rendition="#i">a b</hi><hi rendition="#sub">1</hi> + 1 · <hi rendition="#i">a</hi><hi rendition="#sub">1</hi> <hi rendition="#i">b</hi> + 0 · <hi rendition="#i">a</hi><hi rendition="#sub">1</hi> <hi rendition="#i">b</hi><hi rendition="#sub">1</hi></hi><lb/>
die Koeffizienten 0, 1, 1, 0 zu negiren sein, wodurch sich<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="#sub">1</hi> = 1 · <hi rendition="#i">a b</hi> + 0 · <hi rendition="#i">a b</hi><hi rendition="#sub">1</hi> + 0 · <hi rendition="#i">a</hi><hi rendition="#sub">1</hi> <hi rendition="#i">b</hi> + 1 · <hi rendition="#i">a</hi><hi rendition="#sub">1</hi> <hi rendition="#i">b</hi><hi rendition="#sub">1</hi></hi><lb/>
also wiederum das alte Resultat ergibt.</p><lb/>
          <p>Die letzte Betrachtung zeigt, dass <hi rendition="#i">bei der Anwendung des Satzes<lb/>
eine Fehlerquelle verfänglich</hi> ist: <hi rendition="#i">man darf die etwa fehlenden Glieder</hi><lb/></p>
        </div>
      </div>
    </body>
  </text>
</TEI>
[423/0443] § 19. Funktionen und deren Entwickelung. Der vorstehende Beweis lief mehr auf eine Probe der Richtigkeit, eine Verifikation des Satzes hinaus. Der folgende Beweis ist mehr „heuristisch“, lässt auch erkennen, auf welchem Wege der Satz leicht zu entdecken war. Beweis 2. Nach Th. 36) ist — zunächst bei einem Argumente: (a x + b x1)1 = (a x)1 (b x1)1 = (a1 + x1) (b1 + x) = x a1 + a1 b1 + b1 x1 = a1 x + b1 x1 wie nach dem Th. § 18, ι) oder ϰ), oder endlich durch völlige Ent- wickelung des vorletzten Ausdrucks nach x gemäss Th. 44+) unter Berücksichtigung des Absorptionsgesetzes einzusehen. Nachdem so für ein Argument der Satz gewonnen ist, lässt er sich für zwei Argumente hieraus ableiten, wie folgt: (a x y + b x y1 + c x1 y + d x1 y1)1 = {(a y + b y1) x + (c y + d y1) x1}1 = = (a y + b y1)1 x + (c y + d y1)1 x1 = (a1 y + b1 y1) x + (c1 y + d1 y1) x1 = = a1 x y + b1 x y1 + c1 x1 y + d1 x1 y1. In derselben Weise fortschreitend wird der Satz für immer ein Argument mehr gewonnen [und allgemein für n + 1 Argumente auf den vorher erledigten Fall von n Argumenten zurückgeführt]. Das Th. 46+) gestaltet auch das Negiren der Funktionen zu einer bequemen Operation, sobald solche nur „entwickelt“ worden. Von manchen in meinem Operationskreis2 gegebenen Sätzen, die ich später durch Herrn Peirce antizipirt, vorweggenommen fand, ist mir wenigstens dieses Theorem geblieben. Exempel. (a x + b x1 + c)1 = (a1 x + b1 x1) c1 = a1 c1 x + b1 c1 x1. Exempel. Nach unserm Satze kann nun die Negation von a b1 + a1 b auf drei Arten hergestellt werden. Der Ausdruck ist nämlich entwickelt sowol nach a für sich, als auch nach b allein, als auch nach a und b zu- sammen. Im Hinblick auf ersteres bekommt man die Koeffizienten b1 und b zu negiren, während man die Konstituenten a und a1 stehen zu lassen hat; es entsteht: (a b1 + a1 b)1 = a b + a1 b1. In der zweiten Hinsicht muss man die a und a1 als die Koeffizienten gelten lassen, diese negiren, und b1, b als Konstituenten unverändert lassen, wo- durch a1 b1 + a b somit das gleiche Resultat entsteht. In der dritten Hinsicht werden in: a b1 + a1 b = 0 · a b + 1 · a b1 + 1 · a1 b + 0 · a1 b1 die Koeffizienten 0, 1, 1, 0 zu negiren sein, wodurch sich (a b1 + a1 b)1 = 1 · a b + 0 · a b1 + 0 · a1 b + 1 · a1 b1 also wiederum das alte Resultat ergibt. Die letzte Betrachtung zeigt, dass bei der Anwendung des Satzes eine Fehlerquelle verfänglich ist: man darf die etwa fehlenden Glieder

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_logik01_1890
URL zu dieser Seite: https://www.deutschestextarchiv.de/schroeder_logik01_1890/443
Zitationshilfe: Schröder, Ernst: Vorlesungen über die Algebra der Logik. Bd. 1. Leipzig, 1890, S. 423. In: Deutsches Textarchiv <https://www.deutschestextarchiv.de/schroeder_logik01_1890/443>, abgerufen am 22.11.2024.