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 >>

Zehnte Vorlesung.
daher ist nach Th. 20x):
a b f und f a + b,
somit f in der That zwischen a b und a + b gelegen.

Ebenso leicht wäre dies auch mittelst a b + f = f und f + (a + b) = a + b
zu zeigen gewesen. Desgleichen ganz direkt: Es ist nach 6x) a x a,
b x1 b, woraus durch überschiebendes Addiren folgt: f a + b. Und
ferner ist: f = (a + a b) x + (a b + b) x1 = x a + a b + b x1,
sonach kraft 6+): a b f.

Daher muss nach Th. 47) nun f sich darstellen lassen in der Form:
f = a b w1 + (a + b) w.

Damit aber diese Gleichung, d. h.
a x + b x1 = a b + w (a + b),
zu einer richtigen Identität werde, kann man zu jedem gegebenen x
ein w angeben, und zu jedem gegebenen w ein x, das sie erfüllt. Für
ersteres genügt die Annahme:
w = a x + b x1,
für letzteres die Annahme:
x = a1 b w1 + a b1 w,
wie man leicht nachrechnet.

In der That ist also f zwischen a · b und a + b auch jedes Zwischen-
wertes fähig, und zwar wird der Ausdruck a x + b x1 einen gegebenen
Wert f, für den nur
a b f a + b
ist, annehmen, indem man
x = a1 b f1 + a b1 f, somit x1 = (a + b1) f1 + (a1 + b) f
nimmt, da nach dem Hülfstheorem zu 47+) dann sein wird:
a b f1 + (a + b) f = f.

Beweis für zwei Argumente. Sei
f = a x y + b x y1 + c x1 y + d x1 y1,
so sieht man, dass
a b c d · f = a b c d und (a + b + c + d) + f = a + b + c + d
ist. Nach Th. 20) haben wir also in der That:
a b c d f und f a + b + c + d,
wie dies auch noch auf verschiedene andere Arten wieder nachweis-
bar wäre.

Zehnte Vorlesung.
daher ist nach Th. 20×):
a b ⋹ f und f ⋹ a + b,
somit f in der That zwischen a b und a + b gelegen.

Ebenso leicht wäre dies auch mittelst a b + f = f und f + (a + b) = a + b
zu zeigen gewesen. Desgleichen ganz direkt: Es ist nach 6×) a x ⋹ a,
b x1 ⋹ b, woraus durch überschiebendes Addiren folgt: f ⋹ a + b. Und
ferner ist: f = (a + a b) x + (a b + b) x1 = x a + a b + b x1,
sonach kraft 6+): a b ⋹ f.

Daher muss nach Th. 47) nun f sich darstellen lassen in der Form:
f = a b w1 + (a + b) w.

Damit aber diese Gleichung, d. h.
a x + b x1 = a b + w (a + b),
zu einer richtigen Identität werde, kann man zu jedem gegebenen x
ein w angeben, und zu jedem gegebenen w ein x, das sie erfüllt. Für
ersteres genügt die Annahme:
w = a x + b x1,
für letzteres die Annahme:
x = a1 b w1 + a b1 w,
wie man leicht nachrechnet.

In der That ist also f zwischen a · b und a + b auch jedes Zwischen-
wertes fähig, und zwar wird der Ausdruck a x + b x1 einen gegebenen
Wert f, für den nur
a b ⋹ f ⋹ a + b
ist, annehmen, indem man
x = a1 b f1 + a b1 f, somit x1 = (a + b1) f1 + (a1 + b) f
nimmt, da nach dem Hülfstheorem zu 47+) dann sein wird:
a b f1 + (a + b) f = f.

Beweis für zwei Argumente. Sei
f = a x y + b x y1 + c x1 y + d x1 y1,
so sieht man, dass
a b c d · f = a b c d und (a + b + c + d) + f = a + b + c + d
ist. Nach Th. 20) haben wir also in der That:
a b c d ⋹ f und f ⋹ a + b + c + d,
wie dies auch noch auf verschiedene andere Arten wieder nachweis-
bar wäre.

<TEI>
  <text>
    <body>
      <div n="1">
        <div n="2">
          <p><pb facs="#f0448" n="428"/><fw place="top" type="header">Zehnte Vorlesung.</fw><lb/>
daher ist nach Th. 20<hi rendition="#sub">×</hi>):<lb/><hi rendition="#c"><hi rendition="#i">a b</hi> &#x22F9; <hi rendition="#i">f</hi> und <hi rendition="#i">f</hi> &#x22F9; <hi rendition="#i">a</hi> + <hi rendition="#i">b</hi>,</hi><lb/>
somit <hi rendition="#i">f</hi> in der That zwischen <hi rendition="#i">a b</hi> und <hi rendition="#i">a</hi> + <hi rendition="#i">b</hi> gelegen.</p><lb/>
          <p>Ebenso leicht wäre dies auch mittelst <hi rendition="#i">a b</hi> + <hi rendition="#i">f</hi> = <hi rendition="#i">f</hi> und <hi rendition="#i">f</hi> + (<hi rendition="#i">a</hi> + <hi rendition="#i">b</hi>) = <hi rendition="#i">a</hi> + <hi rendition="#i">b</hi><lb/>
zu zeigen gewesen. Desgleichen ganz direkt: Es ist nach 6<hi rendition="#sub">×</hi>) <hi rendition="#i">a x</hi> &#x22F9; <hi rendition="#i">a</hi>,<lb/><hi rendition="#i">b x</hi><hi rendition="#sub">1</hi> &#x22F9; <hi rendition="#i">b</hi>, woraus durch überschiebendes Addiren folgt: <hi rendition="#i">f</hi> &#x22F9; <hi rendition="#i">a</hi> + <hi rendition="#i">b</hi>. Und<lb/>
ferner ist: <hi rendition="#i">f</hi> = (<hi rendition="#i">a</hi> + <hi rendition="#i">a b</hi>) <hi rendition="#i">x</hi> + (<hi rendition="#i">a b</hi> + <hi rendition="#i">b</hi>) <hi rendition="#i">x</hi><hi rendition="#sub">1</hi> = <hi rendition="#i">x a</hi> + <hi rendition="#i">a b</hi> + <hi rendition="#i">b x</hi><hi rendition="#sub">1</hi>,<lb/>
sonach kraft 6<hi rendition="#sub">+</hi>): <hi rendition="#i">a b</hi> &#x22F9; <hi rendition="#i">f</hi>.</p><lb/>
          <p>Daher muss nach Th. 47) nun <hi rendition="#i">f</hi> sich darstellen lassen in der Form:<lb/><hi rendition="#c"><hi rendition="#i">f</hi> = <hi rendition="#i">a b w</hi><hi rendition="#sub">1</hi> + (<hi rendition="#i">a</hi> + <hi rendition="#i">b</hi>) <hi rendition="#i">w</hi>.</hi></p><lb/>
          <p>Damit aber diese Gleichung, d. h.<lb/><hi rendition="#c"><hi rendition="#i">a x</hi> + <hi rendition="#i">b x</hi><hi rendition="#sub">1</hi> = <hi rendition="#i">a b</hi> + <hi rendition="#i">w</hi> (<hi rendition="#i">a</hi> + <hi rendition="#i">b</hi>),</hi><lb/>
zu einer richtigen Identität werde, kann man zu jedem gegebenen <hi rendition="#i">x</hi><lb/>
ein <hi rendition="#i">w</hi> angeben, und zu jedem gegebenen <hi rendition="#i">w</hi> ein <hi rendition="#i">x</hi>, das sie erfüllt. Für<lb/>
ersteres genügt die Annahme:<lb/><hi rendition="#c"><hi rendition="#i">w</hi> = <hi rendition="#i">a x</hi> + <hi rendition="#i">b x</hi><hi rendition="#sub">1</hi>,</hi><lb/>
für letzteres die Annahme:<lb/><hi rendition="#c"><hi rendition="#i">x</hi> = <hi rendition="#i">a</hi><hi rendition="#sub">1</hi> <hi rendition="#i">b w</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">a b</hi><hi rendition="#sub">1</hi> <hi rendition="#i">w</hi>,</hi><lb/>
wie man leicht nachrechnet.</p><lb/>
          <p>In der That ist also <hi rendition="#i">f</hi> zwischen <hi rendition="#i">a</hi> · <hi rendition="#i">b</hi> und <hi rendition="#i">a</hi> + <hi rendition="#i">b</hi> auch <hi rendition="#i">jedes</hi> Zwischen-<lb/>
wertes fähig, und zwar wird der Ausdruck <hi rendition="#i">a x</hi> + <hi rendition="#i">b x</hi><hi rendition="#sub">1</hi> einen <hi rendition="#i">gegebenen</hi><lb/>
Wert <hi rendition="#i">f</hi>, für den nur<lb/><hi rendition="#c"><hi rendition="#i">a b</hi> &#x22F9; <hi rendition="#i">f</hi> &#x22F9; <hi rendition="#i">a</hi> + <hi rendition="#i">b</hi></hi><lb/>
ist, annehmen, indem man<lb/><hi rendition="#c"><hi rendition="#i">x</hi> = <hi rendition="#i">a</hi><hi rendition="#sub">1</hi> <hi rendition="#i">b f</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">a b</hi><hi rendition="#sub">1</hi> <hi rendition="#i">f</hi>, somit <hi rendition="#i">x</hi><hi rendition="#sub">1</hi> = (<hi rendition="#i">a</hi> + <hi rendition="#i">b</hi><hi rendition="#sub">1</hi>) <hi rendition="#i">f</hi><hi rendition="#sub">1</hi> + (<hi rendition="#i">a</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">b</hi>) <hi rendition="#i">f</hi></hi><lb/>
nimmt, da nach dem Hülfstheorem zu 47<hi rendition="#sub">+</hi>) dann sein wird:<lb/><hi rendition="#c"><hi rendition="#i">a b f</hi><hi rendition="#sub">1</hi> + (<hi rendition="#i">a</hi> + <hi rendition="#i">b</hi>) <hi rendition="#i">f</hi> = <hi rendition="#i">f</hi>.</hi></p><lb/>
          <p><hi rendition="#g">Beweis</hi> für <hi rendition="#i">zwei</hi> Argumente. Sei<lb/><hi rendition="#c"><hi rendition="#i">f</hi> = <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><lb/>
so sieht man, dass<lb/><hi rendition="#c"><hi rendition="#i">a b c d</hi> · <hi rendition="#i">f</hi> = <hi rendition="#i">a b c d</hi> und (<hi rendition="#i">a</hi> + <hi rendition="#i">b</hi> + <hi rendition="#i">c</hi> + <hi rendition="#i">d</hi>) + <hi rendition="#i">f</hi> = <hi rendition="#i">a</hi> + <hi rendition="#i">b</hi> + <hi rendition="#i">c</hi> + <hi rendition="#i">d</hi></hi><lb/>
ist. Nach Th. 20) haben wir also in der That:<lb/><hi rendition="#c"><hi rendition="#i">a b c d</hi> &#x22F9; <hi rendition="#i">f</hi> und <hi rendition="#i">f</hi> &#x22F9; <hi rendition="#i">a</hi> + <hi rendition="#i">b</hi> + <hi rendition="#i">c</hi> + <hi rendition="#i">d</hi>,</hi><lb/>
wie dies auch noch auf verschiedene andere Arten wieder nachweis-<lb/>
bar wäre.</p><lb/>
        </div>
      </div>
    </body>
  </text>
</TEI>
[428/0448] Zehnte Vorlesung. daher ist nach Th. 20×): a b ⋹ f und f ⋹ a + b, somit f in der That zwischen a b und a + b gelegen. Ebenso leicht wäre dies auch mittelst a b + f = f und f + (a + b) = a + b zu zeigen gewesen. Desgleichen ganz direkt: Es ist nach 6×) a x ⋹ a, b x1 ⋹ b, woraus durch überschiebendes Addiren folgt: f ⋹ a + b. Und ferner ist: f = (a + a b) x + (a b + b) x1 = x a + a b + b x1, sonach kraft 6+): a b ⋹ f. Daher muss nach Th. 47) nun f sich darstellen lassen in der Form: f = a b w1 + (a + b) w. Damit aber diese Gleichung, d. h. a x + b x1 = a b + w (a + b), zu einer richtigen Identität werde, kann man zu jedem gegebenen x ein w angeben, und zu jedem gegebenen w ein x, das sie erfüllt. Für ersteres genügt die Annahme: w = a x + b x1, für letzteres die Annahme: x = a1 b w1 + a b1 w, wie man leicht nachrechnet. In der That ist also f zwischen a · b und a + b auch jedes Zwischen- wertes fähig, und zwar wird der Ausdruck a x + b x1 einen gegebenen Wert f, für den nur a b ⋹ f ⋹ a + b ist, annehmen, indem man x = a1 b f1 + a b1 f, somit x1 = (a + b1) f1 + (a1 + b) f nimmt, da nach dem Hülfstheorem zu 47+) dann sein wird: a b f1 + (a + b) f = f. Beweis für zwei Argumente. Sei f = a x y + b x y1 + c x1 y + d x1 y1, so sieht man, dass a b c d · f = a b c d und (a + b + c + d) + f = a + b + c + d ist. Nach Th. 20) haben wir also in der That: a b c d ⋹ f und f ⋹ a + b + c + d, wie dies auch noch auf verschiedene andere Arten wieder nachweis- bar wäre.

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