Anmelden (DTAQ) DWDS     dlexDB     CLARIN-D

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

Bild:
<< vorherige Seite

Ausdruck: a1 (b1 + c + d1),Negation desselben: a + b c1 d
" a1 b c + a b1 c1," (a + b1 + c1) (a1 + b + c)
" a (b1 + c1) + b1 c1," (a1 + b c) (b + c) = a1 (b + c) +b c
" a1 (b + c + d) + b c d," a (b1 + c1 + d1) + b1 c1 d1.
Noch weitere Aufgaben in § 18, kh).

In jedem aus einfachen Gebietsymbolen durch die Operationen der
drei Spezies
Multiplikation, Addition und Negation aufgebauten Aus-
drucke kann man jetzt alle vorgeschriebenen
(angedeuteten) Negationen
ausführen
, wodurch der Ausdruck übergeht in einen solchen, der nur
noch durch
die beiden direkten Spezies, Multiplikation und Addition,
aufgebaut erscheint aus den einfachen Symbolen und deren Negationen
.

Man braucht zu diesem Zwecke nur mit den innersten "Negan-
den" zusammengesetzter Natur, welche von der oben beschriebenen
Art sein werden, zu beginnen, die innersten mit Negationsstrich be-
hafteten Klammern zuerst, und dann nach aussen fortschreitend nach
und nach auch die äussern Klammern dieser Art, aufzulösen, bis keine
Negationsklammer mehr vorhanden ist.

Wird auch auf diese Weise rasch die Möglichkeit der Ausführung
erkannt, so ist das geschilderte Verfahren doch nicht das praktischste.
Es kann sich nämlich dabei ereignen, dass man irgend einen zusam-
mengesetzten Ausdruckteil wiederholt "umzunegiren", in seine Negation
umzuschreiben bekommt, was, sooft es zweimal geschah, nach Th. 31)
unnötige Arbeit war. Besser also wird man mit dem Auflösen der
Negationsklammern in der Richtung von aussen nach innen fortschreiten,
und sobald man mit dem Negiren der in einer solchen stehenden Terme
wiederum auf eine Negationsklammer stösst, solche (mitsamt dem auf
sie bezüglichen Vorsatze des Negirens) einfach fallen lassen, ignoriren.

Darnach ist z. B.
[{(a + b)1 c + d1 e} f]1 = {(a1 b1 c + d1 e) f}1 = (a + b + c1) (d + e1) + f1
auf die erstere Art mit, auf die letztere ohne die angegebene Zwischen-
rechnung (der doppelt negirte Ausdruckteil war a + b) sofort hinzusetzen.

Weitere Exempel:
[{(a b)1 + (c d)1} (e + f)1]1 = a b c d + e + f,
[a + b {c + d (e + f g)1}1]1 = a1 {b1 + c + d e1 (f1 + g1)},
([(a x + b x1)1 {(m x)1 (n x1)1}1 c]1 + x)1 =
= (a + x1) (b1 + x) (m x + n x1) c x1 = b1n c x1.

Zusatz 3 zu Th. 36).

Das am Schluss des § 13 erwähnte Problem der Zerfällung eines
Ausdrucks in seine letzten Faktoren
kann nunmehr dadurch gelöst wer-

Ausdruck: a1 (b1 + c + d1),Negation desselben: a + b c1 d
a1 b c + a b1 c1,„ (a + b1 + c1) (a1 + b + c)
a (b1 + c1) + b1 c1,„ (a1 + b c) (b + c) = a1 (b + c) +b c
a1 (b + c + d) + b c d,a (b1 + c1 + d1) + b1 c1 d1.
Noch weitere Aufgaben in § 18, χ).

In jedem aus einfachen Gebietsymbolen durch die Operationen der
drei Spezies
Multiplikation, Addition und Negation aufgebauten Aus-
drucke kann man jetzt alle vorgeschriebenen
(angedeuteten) Negationen
ausführen
, wodurch der Ausdruck übergeht in einen solchen, der nur
noch durch
die beiden direkten Spezies, Multiplikation und Addition,
aufgebaut erscheint aus den einfachen Symbolen und deren Negationen
.

Man braucht zu diesem Zwecke nur mit den innersten „Negan-
den“ zusammengesetzter Natur, welche von der oben beschriebenen
Art sein werden, zu beginnen, die innersten mit Negationsstrich be-
hafteten Klammern zuerst, und dann nach aussen fortschreitend nach
und nach auch die äussern Klammern dieser Art, aufzulösen, bis keine
Negationsklammer mehr vorhanden ist.

Wird auch auf diese Weise rasch die Möglichkeit der Ausführung
erkannt, so ist das geschilderte Verfahren doch nicht das praktischste.
Es kann sich nämlich dabei ereignen, dass man irgend einen zusam-
mengesetzten Ausdruckteil wiederholt „umzunegiren“, in seine Negation
umzuschreiben bekommt, was, sooft es zweimal geschah, nach Th. 31)
unnötige Arbeit war. Besser also wird man mit dem Auflösen der
Negationsklammern in der Richtung von aussen nach innen fortschreiten,
und sobald man mit dem Negiren der in einer solchen stehenden Terme
wiederum auf eine Negationsklammer stösst, solche (mitsamt dem auf
sie bezüglichen Vorsatze des Negirens) einfach fallen lassen, ignoriren.

Darnach ist z. B.
[{(a + b)1 c + d1 e} f]1 = {(a1 b1 c + d1 e) f}1 = (a + b + c1) (d + e1) + f1
auf die erstere Art mit, auf die letztere ohne die angegebene Zwischen-
rechnung (der doppelt negirte Ausdruckteil war a + b) sofort hinzusetzen.

Weitere Exempel:
[{(a b)1 + (c d)1} (e + f)1]1 = a b c d + e + f,
[a + b {c + d (e + f g)1}1]1 = a1 {b1 + c + d e1 (f1 + g1)},
([(a x + b x1)1 {(m x)1 (n x1)1}1 c]1 + x)1 =
= (a + x1) (b1 + x) (m x + n x1) c x1 = b1n c x1.

Zusatz 3 zu Th. 36).

Das am Schluss des § 13 erwähnte Problem der Zerfällung eines
Ausdrucks in seine letzten Faktoren
kann nunmehr dadurch gelöst wer-

<TEI>
  <text>
    <body>
      <div n="1">
        <div n="2">
          <p><table><pb facs="#f0376" n="356"/><fw place="top" type="header">Achte Vorlesung.</fw><lb/><row><cell>Ausdruck: <hi rendition="#i">a</hi><hi rendition="#sub">1</hi> (<hi rendition="#i">b</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">c</hi> + <hi rendition="#i">d</hi><hi rendition="#sub">1</hi>),</cell><cell>Negation desselben: <hi rendition="#i">a</hi> + <hi rendition="#i">b c</hi><hi rendition="#sub">1</hi> <hi rendition="#i">d</hi></cell></row><lb/><row><cell>&#x201E; <hi rendition="#i">a</hi><hi rendition="#sub">1</hi> <hi rendition="#i">b c</hi> + <hi rendition="#i">a b</hi><hi rendition="#sub">1</hi> <hi rendition="#i">c</hi><hi rendition="#sub">1</hi>,</cell><cell>&#x201E; (<hi rendition="#i">a</hi> + <hi rendition="#i">b</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="#i">c</hi>)</cell></row><lb/><row><cell>&#x201E; <hi rendition="#i">a</hi> (<hi rendition="#i">b</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">c</hi><hi rendition="#sub">1</hi>) + <hi rendition="#i">b</hi><hi rendition="#sub">1</hi> <hi rendition="#i">c</hi><hi rendition="#sub">1</hi>,</cell><cell>&#x201E; (<hi rendition="#i">a</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">b c</hi>) (<hi rendition="#i">b</hi> + <hi rendition="#i">c</hi>) = <hi rendition="#i">a</hi><hi rendition="#sub">1</hi> (<hi rendition="#i">b</hi> + <hi rendition="#i">c</hi>) +<hi rendition="#i">b c</hi></cell></row><lb/><row><cell>&#x201E; <hi rendition="#i">a</hi><hi rendition="#sub">1</hi> (<hi rendition="#i">b</hi> + <hi rendition="#i">c</hi> + <hi rendition="#i">d</hi>) + <hi rendition="#i">b c d</hi>,</cell><cell>&#x201E; <hi rendition="#i">a</hi> (<hi rendition="#i">b</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">c</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">d</hi><hi rendition="#sub">1</hi>) + <hi rendition="#i">b</hi><hi rendition="#sub">1</hi> <hi rendition="#i">c</hi><hi rendition="#sub">1</hi> <hi rendition="#i">d</hi><hi rendition="#sub">1</hi>.</cell></row><lb/></table> Noch weitere Aufgaben in § 18, <hi rendition="#i">&#x03C7;</hi>).</p><lb/>
          <p><hi rendition="#i">In jedem</hi> aus einfachen Gebietsymbolen <hi rendition="#i">durch die Operationen der<lb/>
drei Spezies</hi> Multiplikation, Addition und Negation <hi rendition="#i">aufgebauten Aus-<lb/>
drucke kann man jetzt alle vorgeschriebenen</hi> (angedeuteten) <hi rendition="#i">Negationen<lb/>
ausführen</hi>, wodurch der Ausdruck übergeht in einen solchen, <hi rendition="#i">der nur<lb/>
noch durch</hi> die beiden direkten Spezies, <hi rendition="#i">Multiplikation und Addition,<lb/>
aufgebaut erscheint aus den einfachen Symbolen und deren Negationen</hi>.</p><lb/>
          <p>Man braucht zu diesem Zwecke nur mit den innersten &#x201E;Negan-<lb/>
den&#x201C; zusammengesetzter Natur, welche von der oben beschriebenen<lb/>
Art sein werden, zu beginnen, die innersten mit Negationsstrich be-<lb/>
hafteten Klammern zuerst, und dann nach aussen fortschreitend nach<lb/>
und nach auch die äussern Klammern dieser Art, aufzulösen, bis keine<lb/>
Negationsklammer mehr vorhanden ist.</p><lb/>
          <p>Wird auch auf diese Weise rasch die Möglichkeit der Ausführung<lb/>
erkannt, so ist das geschilderte Verfahren doch nicht das praktischste.<lb/>
Es kann sich nämlich dabei ereignen, dass man irgend einen zusam-<lb/>
mengesetzten Ausdruckteil wiederholt &#x201E;umzunegiren&#x201C;, in seine Negation<lb/>
umzuschreiben bekommt, was, sooft es zweimal geschah, nach Th. 31)<lb/>
unnötige Arbeit war. Besser also wird man mit dem Auflösen der<lb/>
Negationsklammern in der Richtung <hi rendition="#i">von aussen nach innen</hi> fortschreiten,<lb/>
und sobald man mit dem Negiren der in einer solchen stehenden Terme<lb/>
wiederum auf eine Negationsklammer stösst, solche (mitsamt dem auf<lb/>
sie bezüglichen Vorsatze des Negirens) einfach fallen lassen, ignoriren.</p><lb/>
          <p>Darnach ist z. B.<lb/><hi rendition="#c">[{(<hi rendition="#i">a</hi> + <hi rendition="#i">b</hi>)<hi rendition="#sub">1</hi> <hi rendition="#i">c</hi> + <hi rendition="#i">d</hi><hi rendition="#sub">1</hi> <hi rendition="#i">e</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="#sub">1</hi> <hi rendition="#i">c</hi> + <hi rendition="#i">d</hi><hi rendition="#sub">1</hi> <hi rendition="#i">e</hi>) <hi rendition="#i">f</hi>}<hi rendition="#sub">1</hi> = (<hi rendition="#i">a</hi> + <hi rendition="#i">b</hi> + <hi rendition="#i">c</hi><hi rendition="#sub">1</hi>) (<hi rendition="#i">d</hi> + <hi rendition="#i">e</hi><hi rendition="#sub">1</hi>) + <hi rendition="#i">f</hi><hi rendition="#sub">1</hi></hi><lb/>
auf die erstere Art <hi rendition="#i">mit</hi>, auf die letztere <hi rendition="#i">ohne</hi> die angegebene Zwischen-<lb/>
rechnung (der doppelt negirte Ausdruckteil war <hi rendition="#i">a</hi> + <hi rendition="#i">b</hi>) sofort hinzusetzen.</p><lb/>
          <p>Weitere Exempel:<lb/><hi rendition="#c">[{(<hi rendition="#i">a b</hi>)<hi rendition="#sub">1</hi> + (<hi rendition="#i">c d</hi>)<hi rendition="#sub">1</hi>} (<hi rendition="#i">e</hi> + <hi rendition="#i">f</hi>)<hi rendition="#sub">1</hi>]<hi rendition="#sub">1</hi> = <hi rendition="#i">a b c d</hi> + <hi rendition="#i">e</hi> + <hi rendition="#i">f</hi>,<lb/>
[<hi rendition="#i">a</hi> + <hi rendition="#i">b</hi> {<hi rendition="#i">c</hi> + <hi rendition="#i">d</hi> (<hi rendition="#i">e</hi> + <hi rendition="#i">f g</hi>)<hi rendition="#sub">1</hi>}<hi rendition="#sub">1</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">c</hi> + <hi rendition="#i">d e</hi><hi rendition="#sub">1</hi> (<hi rendition="#i">f</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">g</hi><hi rendition="#sub">1</hi>)},<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">m x</hi>)<hi rendition="#sub">1</hi> (<hi rendition="#i">n x</hi><hi rendition="#sub">1</hi>)<hi rendition="#sub">1</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> =<lb/>
= (<hi rendition="#i">a</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">m x</hi> + <hi rendition="#i">n x</hi><hi rendition="#sub">1</hi>) <hi rendition="#i">c x</hi><hi rendition="#sub">1</hi> = <hi rendition="#i">b</hi><hi rendition="#sub">1</hi><hi rendition="#i">n c x</hi><hi rendition="#sub">1</hi>.</hi></p><lb/>
          <p><hi rendition="#g">Zusatz</hi> 3 <hi rendition="#g">zu Th.</hi> 36).</p><lb/>
          <p>Das am Schluss des § 13 erwähnte Problem der <hi rendition="#i">Zerfällung eines<lb/>
Ausdrucks in seine letzten Faktoren</hi> kann nunmehr dadurch gelöst wer-<lb/></p>
        </div>
      </div>
    </body>
  </text>
</TEI>
[356/0376] Achte Vorlesung. Ausdruck: a1 (b1 + c + d1), Negation desselben: a + b c1 d „ a1 b c + a b1 c1, „ (a + b1 + c1) (a1 + b + c) „ a (b1 + c1) + b1 c1, „ (a1 + b c) (b + c) = a1 (b + c) +b c „ a1 (b + c + d) + b c d, „ a (b1 + c1 + d1) + b1 c1 d1. Noch weitere Aufgaben in § 18, χ). In jedem aus einfachen Gebietsymbolen durch die Operationen der drei Spezies Multiplikation, Addition und Negation aufgebauten Aus- drucke kann man jetzt alle vorgeschriebenen (angedeuteten) Negationen ausführen, wodurch der Ausdruck übergeht in einen solchen, der nur noch durch die beiden direkten Spezies, Multiplikation und Addition, aufgebaut erscheint aus den einfachen Symbolen und deren Negationen. Man braucht zu diesem Zwecke nur mit den innersten „Negan- den“ zusammengesetzter Natur, welche von der oben beschriebenen Art sein werden, zu beginnen, die innersten mit Negationsstrich be- hafteten Klammern zuerst, und dann nach aussen fortschreitend nach und nach auch die äussern Klammern dieser Art, aufzulösen, bis keine Negationsklammer mehr vorhanden ist. Wird auch auf diese Weise rasch die Möglichkeit der Ausführung erkannt, so ist das geschilderte Verfahren doch nicht das praktischste. Es kann sich nämlich dabei ereignen, dass man irgend einen zusam- mengesetzten Ausdruckteil wiederholt „umzunegiren“, in seine Negation umzuschreiben bekommt, was, sooft es zweimal geschah, nach Th. 31) unnötige Arbeit war. Besser also wird man mit dem Auflösen der Negationsklammern in der Richtung von aussen nach innen fortschreiten, und sobald man mit dem Negiren der in einer solchen stehenden Terme wiederum auf eine Negationsklammer stösst, solche (mitsamt dem auf sie bezüglichen Vorsatze des Negirens) einfach fallen lassen, ignoriren. Darnach ist z. B. [{(a + b)1 c + d1 e} f]1 = {(a1 b1 c + d1 e) f}1 = (a + b + c1) (d + e1) + f1 auf die erstere Art mit, auf die letztere ohne die angegebene Zwischen- rechnung (der doppelt negirte Ausdruckteil war a + b) sofort hinzusetzen. Weitere Exempel: [{(a b)1 + (c d)1} (e + f)1]1 = a b c d + e + f, [a + b {c + d (e + f g)1}1]1 = a1 {b1 + c + d e1 (f1 + g1)}, ([(a x + b x1)1 {(m x)1 (n x1)1}1 c]1 + x)1 = = (a + x1) (b1 + x) (m x + n x1) c x1 = b1n c x1. Zusatz 3 zu Th. 36). Das am Schluss des § 13 erwähnte Problem der Zerfällung eines Ausdrucks in seine letzten Faktoren kann nunmehr dadurch gelöst wer-

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