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

Achte Vorlesung.
und folgt aus diesen durch überschiebendes Addiren resp. Multipliziren
die zu beweisende Gleichung in der einen ihrer angegebenen beiden
Formen.

Umgekehrt, wenn die Gleichung gilt:

a b1 + a1 b = 0,a b + a1 b1 = 1,
sive (a + b1) (a1 + b) = 1,
so muss nach Th. 24) sein:
a b1 = 0 und a1b = 0,a1 + b = 1 und a + b1 = 1,
was nach Th. 38) hinauskommt auf die beiden Subsumtionen a b und
b a, somit nach Def. (1) auf die Gleichung a = b, wie zu zeigen war.

Indess konnte man hier auch schon mit der ersten Hälfte des Be-
weises auskommen, mit Rücksicht darauf, dass nach den citirten Sätzen
das Paar der Subsumtionen sowie der für sie genommenen Gleichungen
jeweils äquivalent sein musste der zum Ausgangspunkt genommenen Gleichung.

Exempel. Da Kochsalz einerlei mit Chlornatrium ist, so gibt es
nichts, was Kochsalz und nicht Chlornatrium oder Chlornatrium und nicht
Kochsalz wäre. Auch nichts, was Kochsalz oder Chlornatrium und zugleich
nicht Kochsalz oder nicht Chlornatrium wäre.

Alles ist entweder Kochsalz und zugleich Chlornatrium oder nicht
Kochsalz und dann auch nicht Chlornatrium. Desgleichen Kochsalz oder
nicht Chlornatrium und zugleich Chlornatrium oder nicht Kochsalz.

Aufgabe. Man bringe die Gleichungen
a b = a c, a + b = a + c
rechts auf 0.

Auflösung: Mittelst der Zwischenrechnung -- cf. Th. 36):
a b (a1 + c1) + a c (a1 + b1) = 0, (a + b) a1 c1 + a1 b1 (a + c) = 0
erhält man leicht die Resultate:
a(b c1 + b1 c) = 0 resp. a1(b c1 + b1 c) = 0.
Bei den Anwendungen wird man aber, besonders wenn a, b oder c kom-
plizirte Ausdrücke vorstellen, die Zwischenrechnung sparen und sich so-
gleich an das Schema dieser Endergebnisse halten. -- Ebenso würden die
rechts auf 1 gebrachten Gleichungen lauten:
a1 + b c + b1 c1 = 1 resp. a + b c + b1 c1 = 1.

Das Th. 39) ist von grosser Wichtigkeit für die Technik unsres
Kalkuls, und zwar das 39x) in höherem Maasse als sein duales Gegen-
stück aus dem teilweise schon erwähnten Grunde, weil man lieber mit
Aggregaten (Summen) von monomischen Produkten als mit Produkten
von Polynomen (die in Klammern gesetzt bleiben müssten) rechnet,
desgleichen vorzieht, das auch der Arithmetik angehörige Distributions-
gesetz 27x), statt seines Gegenparts 27+), anzuwenden -- wozu endlich

Achte Vorlesung.
und folgt aus diesen durch überschiebendes Addiren resp. Multipliziren
die zu beweisende Gleichung in der einen ihrer angegebenen beiden
Formen.

Umgekehrt, wenn die Gleichung gilt:

a b1 + a1 b = 0,a b + a1 b1 = 1,
sive (a + b1) (a1 + b) = 1,
so muss nach Th. 24) sein:
a b1 = 0 und a1b = 0,a1 + b = 1 und a + b1 = 1,
was nach Th. 38) hinauskommt auf die beiden Subsumtionen a ⋹ b und
b ⋹ a, somit nach Def. (1) auf die Gleichung a = b, wie zu zeigen war.

Indess konnte man hier auch schon mit der ersten Hälfte des Be-
weises auskommen, mit Rücksicht darauf, dass nach den citirten Sätzen
das Paar der Subsumtionen sowie der für sie genommenen Gleichungen
jeweils äquivalent sein musste der zum Ausgangspunkt genommenen Gleichung.

Exempel. Da Kochsalz einerlei mit Chlornatrium ist, so gibt es
nichts, was Kochsalz und nicht Chlornatrium oder Chlornatrium und nicht
Kochsalz wäre. Auch nichts, was Kochsalz oder Chlornatrium und zugleich
nicht Kochsalz oder nicht Chlornatrium wäre.

Alles ist entweder Kochsalz und zugleich Chlornatrium oder nicht
Kochsalz und dann auch nicht Chlornatrium. Desgleichen Kochsalz oder
nicht Chlornatrium und zugleich Chlornatrium oder nicht Kochsalz.

Aufgabe. Man bringe die Gleichungen
a b = a c, a + b = a + c
rechts auf 0.

Auflösung: Mittelst der Zwischenrechnung — cf. Th. 36):
a b (a1 + c1) + a c (a1 + b1) = 0, (a + b) a1 c1 + a1 b1 (a + c) = 0
erhält man leicht die Resultate:
a(b c1 + b1 c) = 0 resp. a1(b c1 + b1 c) = 0.
Bei den Anwendungen wird man aber, besonders wenn a, b oder c kom-
plizirte Ausdrücke vorstellen, die Zwischenrechnung sparen und sich so-
gleich an das Schema dieser Endergebnisse halten. — Ebenso würden die
rechts auf 1 gebrachten Gleichungen lauten:
a1 + b c + b1 c1 = 1 resp. a + b c + b1 c1 = 1.

Das Th. 39) ist von grosser Wichtigkeit für die Technik unsres
Kalkuls, und zwar das 39×) in höherem Maasse als sein duales Gegen-
stück aus dem teilweise schon erwähnten Grunde, weil man lieber mit
Aggregaten (Summen) von monomischen Produkten als mit Produkten
von Polynomen (die in Klammern gesetzt bleiben müssten) rechnet,
desgleichen vorzieht, das auch der Arithmetik angehörige Distributions-
gesetz 27×), statt seines Gegenparts 27+), anzuwenden — wozu endlich

<TEI>
  <text>
    <body>
      <div n="1">
        <div n="2">
          <p><pb facs="#f0380" n="360"/><fw place="top" type="header">Achte Vorlesung.</fw><lb/>
und folgt aus diesen durch überschiebendes Addiren resp. Multipliziren<lb/>
die zu beweisende Gleichung in der einen ihrer angegebenen beiden<lb/>
Formen.</p><lb/>
          <p>Umgekehrt, wenn die Gleichung gilt:<lb/><table><row><cell><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,</cell><cell><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> = 1,<lb/>
sive (<hi rendition="#i">a</hi> + <hi rendition="#i">b</hi><hi rendition="#sub">1</hi>) (<hi rendition="#i">a</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">b</hi>) = 1,</cell></row><lb/></table> so muss nach Th. 24) sein:<lb/><table><row><cell><hi rendition="#i">a b</hi><hi rendition="#sub">1</hi> = 0 und <hi rendition="#i">a</hi><hi rendition="#sub">1</hi><hi rendition="#i">b</hi> = 0,</cell><cell><hi rendition="#i">a</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">b</hi> = 1 und <hi rendition="#i">a</hi> + <hi rendition="#i">b</hi><hi rendition="#sub">1</hi> = 1,</cell></row><lb/></table> was nach Th. 38) hinauskommt auf die beiden Subsumtionen <hi rendition="#i">a</hi> &#x22F9; <hi rendition="#i">b</hi> und<lb/><hi rendition="#i">b</hi> &#x22F9; <hi rendition="#i">a</hi>, somit nach Def. (1) auf die Gleichung <hi rendition="#i">a</hi> = <hi rendition="#i">b</hi>, wie zu zeigen war.</p><lb/>
          <p>Indess konnte man hier auch schon mit der ersten Hälfte des Be-<lb/>
weises auskommen, mit Rücksicht darauf, dass nach den citirten Sätzen<lb/>
das Paar der Subsumtionen sowie der für sie genommenen Gleichungen<lb/>
jeweils <hi rendition="#i">äquivalent</hi> sein musste der zum Ausgangspunkt genommenen Gleichung.</p><lb/>
          <p><hi rendition="#g">Exempel</hi>. Da Kochsalz einerlei mit Chlornatrium ist, so gibt es<lb/>
nichts, was Kochsalz und nicht Chlornatrium oder Chlornatrium und nicht<lb/>
Kochsalz wäre. Auch nichts, was Kochsalz oder Chlornatrium und zugleich<lb/>
nicht Kochsalz oder nicht Chlornatrium wäre.</p><lb/>
          <p>Alles ist entweder Kochsalz und zugleich Chlornatrium oder nicht<lb/>
Kochsalz und dann auch nicht Chlornatrium. Desgleichen Kochsalz oder<lb/>
nicht Chlornatrium und zugleich Chlornatrium oder nicht Kochsalz.</p><lb/>
          <p><hi rendition="#g">Aufgabe</hi>. Man bringe die Gleichungen<lb/><hi rendition="#c"><hi rendition="#i">a b</hi> = <hi rendition="#i">a c</hi>, <hi rendition="#i">a</hi> + <hi rendition="#i">b</hi> = <hi rendition="#i">a</hi> + <hi rendition="#i">c</hi></hi><lb/>
rechts auf 0.</p><lb/>
          <p>Auflösung: Mittelst der Zwischenrechnung &#x2014; cf. Th. 36):<lb/><hi rendition="#c"><hi rendition="#i">a b</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</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">b</hi><hi rendition="#sub">1</hi>) = 0, (<hi rendition="#i">a</hi> + <hi rendition="#i">b</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="#sub">1</hi> <hi rendition="#i">b</hi><hi rendition="#sub">1</hi> (<hi rendition="#i">a</hi> + <hi rendition="#i">c</hi>) = 0</hi><lb/>
erhält man leicht die Resultate:<lb/><hi rendition="#c"><hi rendition="#i">a</hi>(<hi rendition="#i">b c</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">b</hi><hi rendition="#sub">1</hi> <hi rendition="#i">c</hi>) = 0 resp. <hi rendition="#i">a</hi><hi rendition="#sub">1</hi>(<hi rendition="#i">b c</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">b</hi><hi rendition="#sub">1</hi> <hi rendition="#i">c</hi>) = 0.</hi><lb/>
Bei den Anwendungen wird man aber, besonders wenn <hi rendition="#i">a</hi>, <hi rendition="#i">b</hi> oder <hi rendition="#i">c</hi> kom-<lb/>
plizirte Ausdrücke vorstellen, die Zwischenrechnung sparen und sich so-<lb/>
gleich an das Schema dieser Endergebnisse halten. &#x2014; Ebenso würden die<lb/>
rechts auf 1 gebrachten Gleichungen lauten:<lb/><hi rendition="#c"><hi rendition="#i">a</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">b c</hi> + <hi rendition="#i">b</hi><hi rendition="#sub">1</hi> <hi rendition="#i">c</hi><hi rendition="#sub">1</hi> = 1 resp. <hi rendition="#i">a</hi> + <hi rendition="#i">b c</hi> + <hi rendition="#i">b</hi><hi rendition="#sub">1</hi> <hi rendition="#i">c</hi><hi rendition="#sub">1</hi> = 1.</hi></p><lb/>
          <p>Das Th. 39) ist von grosser Wichtigkeit für die Technik unsres<lb/>
Kalkuls, und zwar das 39<hi rendition="#sub">×</hi>) in höherem Maasse als sein duales Gegen-<lb/>
stück aus dem teilweise schon erwähnten Grunde, weil man lieber mit<lb/>
Aggregaten (Summen) von monomischen Produkten als mit Produkten<lb/>
von Polynomen (die in Klammern gesetzt bleiben müssten) rechnet,<lb/>
desgleichen vorzieht, das auch der Arithmetik angehörige Distributions-<lb/>
gesetz 27<hi rendition="#sub">×</hi>), statt seines Gegenparts 27<hi rendition="#sub">+</hi>), anzuwenden &#x2014; wozu endlich<lb/></p>
        </div>
      </div>
    </body>
  </text>
</TEI>
[360/0380] Achte Vorlesung. und folgt aus diesen durch überschiebendes Addiren resp. Multipliziren die zu beweisende Gleichung in der einen ihrer angegebenen beiden Formen. Umgekehrt, wenn die Gleichung gilt: a b1 + a1 b = 0, a b + a1 b1 = 1, sive (a + b1) (a1 + b) = 1, so muss nach Th. 24) sein: a b1 = 0 und a1b = 0, a1 + b = 1 und a + b1 = 1, was nach Th. 38) hinauskommt auf die beiden Subsumtionen a ⋹ b und b ⋹ a, somit nach Def. (1) auf die Gleichung a = b, wie zu zeigen war. Indess konnte man hier auch schon mit der ersten Hälfte des Be- weises auskommen, mit Rücksicht darauf, dass nach den citirten Sätzen das Paar der Subsumtionen sowie der für sie genommenen Gleichungen jeweils äquivalent sein musste der zum Ausgangspunkt genommenen Gleichung. Exempel. Da Kochsalz einerlei mit Chlornatrium ist, so gibt es nichts, was Kochsalz und nicht Chlornatrium oder Chlornatrium und nicht Kochsalz wäre. Auch nichts, was Kochsalz oder Chlornatrium und zugleich nicht Kochsalz oder nicht Chlornatrium wäre. Alles ist entweder Kochsalz und zugleich Chlornatrium oder nicht Kochsalz und dann auch nicht Chlornatrium. Desgleichen Kochsalz oder nicht Chlornatrium und zugleich Chlornatrium oder nicht Kochsalz. Aufgabe. Man bringe die Gleichungen a b = a c, a + b = a + c rechts auf 0. Auflösung: Mittelst der Zwischenrechnung — cf. Th. 36): a b (a1 + c1) + a c (a1 + b1) = 0, (a + b) a1 c1 + a1 b1 (a + c) = 0 erhält man leicht die Resultate: a(b c1 + b1 c) = 0 resp. a1(b c1 + b1 c) = 0. Bei den Anwendungen wird man aber, besonders wenn a, b oder c kom- plizirte Ausdrücke vorstellen, die Zwischenrechnung sparen und sich so- gleich an das Schema dieser Endergebnisse halten. — Ebenso würden die rechts auf 1 gebrachten Gleichungen lauten: a1 + b c + b1 c1 = 1 resp. a + b c + b1 c1 = 1. Das Th. 39) ist von grosser Wichtigkeit für die Technik unsres Kalkuls, und zwar das 39×) in höherem Maasse als sein duales Gegen- stück aus dem teilweise schon erwähnten Grunde, weil man lieber mit Aggregaten (Summen) von monomischen Produkten als mit Produkten von Polynomen (die in Klammern gesetzt bleiben müssten) rechnet, desgleichen vorzieht, das auch der Arithmetik angehörige Distributions- gesetz 27×), statt seines Gegenparts 27+), anzuwenden — wozu endlich

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