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

einer die Negation des andern ist,
verschwindet das Produkt.		als die Negation eines andern Gliedes
erscheint, so hat die Summe den
Wert 1.

So ist z. B.

a b c · a b1 c d1 = 0.a + b + c1 + a + c + d1 = 1.

Man kann nämlich wegen der Kommutativität der Operationen
die Operationsglieder so umordnen, dass das gedachte neben seine
Negation zu stehen kommt; diese beiden kann man dann wegen der
Associativität zu einem einzigen Operationsglied zusammenfassen (des-
gleichen die übrigen Operationsglieder) und nach Th. 19) Zusatz 2
durch seinen Wert 0 resp. 1 ersetzen, worauf das Th. 22) in Wirksam-
keit tritt. In unsern Beispielen haben wir als Wert des Ausdrucks:

a c d1 · b b1 = (a c d1) · 0 = 0.(a + b + d1) + (c + c1) = (a + b + d1) + 1 = 1.

31) Theorem. Es ist allgemein:
(a1)1 = a.

Die Negation der Negation der Negation eines Gebietes ist dies Gebiet selbst, oder:
Doppelte Verneinung "bejaht", hebt sich auf.

Beweis 1. Nach Th. 30) hat man unter Anwendung des Kom-
mutationsgesetzes:
a1 · a = 0, a1 + a = 1,
und andrerseits, wenn Th. 30) für a1 statt a (so, wie es ist) in An-
spruch genommen wird:
a1 · (a1)1 = 0, a1 + (a1)1 = 1.

Vergleicht man diese vier Gleichungen mit dem Schema der Vor-
aussetzungen des Hülfstheorems 29), so nimmt man dessen Anwendbar-
keit wahr, und erhält die Folgerung:
a = (a1)1,
die zu gewinnen war.

Beweis 2. Man kann auch einfach bemerken, dass die beiden
Voraussetzungen der Def. (6) kraft Th. 12) unverändert gültig bleiben,
wenn man die Symbole a und a1 mit einander vertauscht. Da nun
die Def. (6) eine allgemeine Festsetzung sein sollte, so muss auch die
an jene Voraussetzung konventionell geknüpfte Folgerung in Kraft
bleiben, wenn man a und a1 vertauscht. -- Die Sache wird deutlicher,
wenn man in Def. (6) den Namen a1 vermeidet, denselben durch irgend
einen andern, etwa durch b ersetzt. Es wird ausgemacht: b die Nega-
tion von a zu nennen, wenn a b = 0 und a + b = 1 ist. In diesem
Falle ist aber auch b a = 0 und b + a = 1 nach Th. 12). Folglich ist

Schröder, Algebra der Logik. 20

einer die Negation des andern ist,
verschwindet das Produkt.		als die Negation eines andern Gliedes
erscheint, so hat die Summe den
Wert 1.

So ist z. B.

a b c · a b1 c d1 = 0.a + b + c1 + a + c + d1 = 1.

Man kann nämlich wegen der Kommutativität der Operationen
die Operationsglieder so umordnen, dass das gedachte neben seine
Negation zu stehen kommt; diese beiden kann man dann wegen der
Associativität zu einem einzigen Operationsglied zusammenfassen (des-
gleichen die übrigen Operationsglieder) und nach Th. 19) Zusatz 2
durch seinen Wert 0 resp. 1 ersetzen, worauf das Th. 22) in Wirksam-
keit tritt. In unsern Beispielen haben wir als Wert des Ausdrucks:

a c d1 · b b1 = (a c d1) · 0 = 0.(a + b + d1) + (c + c1) = (a + b + d1) + 1 = 1.

31) Theorem. Es ist allgemein:
(a1)1 = a.

Die Negation der Negation der Negation eines Gebietes ist dies Gebiet selbst, oder:
Doppelte Verneinung „bejaht“, hebt sich auf.

Beweis 1. Nach Th. 30) hat man unter Anwendung des Kom-
mutationsgesetzes:
a1 · a = 0, a1 + a = 1,
und andrerseits, wenn Th. 30) für a1 statt a (so, wie es ist) in An-
spruch genommen wird:
a1 · (a1)1 = 0, a1 + (a1)1 = 1.

Vergleicht man diese vier Gleichungen mit dem Schema der Vor-
aussetzungen des Hülfstheorems 29), so nimmt man dessen Anwendbar-
keit wahr, und erhält die Folgerung:
a = (a1)1,
die zu gewinnen war.

Beweis 2. Man kann auch einfach bemerken, dass die beiden
Voraussetzungen der Def. (6) kraft Th. 12) unverändert gültig bleiben,
wenn man die Symbole a und a1 mit einander vertauscht. Da nun
die Def. (6) eine allgemeine Festsetzung sein sollte, so muss auch die
an jene Voraussetzung konventionell geknüpfte Folgerung in Kraft
bleiben, wenn man a und a1 vertauscht. — Die Sache wird deutlicher,
wenn man in Def. (6) den Namen a1 vermeidet, denselben durch irgend
einen andern, etwa durch b ersetzt. Es wird ausgemacht: b die Nega-
tion von a zu nennen, wenn a b = 0 und a + b = 1 ist. In diesem
Falle ist aber auch b a = 0 und b + a = 1 nach Th. 12). Folglich ist

Schröder, Algebra der Logik. 20
<TEI>
  <text>
    <body>
      <div n="1">
        <div n="2">
          <p>
            <table>
              <pb facs="#f0325" n="305"/>
              <fw place="top" type="header">§ 13. Negation (mit Postulat) und darauf zu gründende Sätze.</fw><lb/>
              <row>
                <cell> <hi rendition="#i">einer die Negation des andern ist,<lb/>
verschwindet das Produkt.</hi> </cell>
                <cell><hi rendition="#i">als die Negation eines andern Gliedes<lb/>
erscheint, so hat die Summe den<lb/>
Wert</hi> 1.</cell>
              </row><lb/>
            </table>
          </p>
          <p>So ist z. B.<lb/><table><row><cell><hi rendition="#i">a b c</hi> · <hi rendition="#i">a b</hi><hi rendition="#sub">1</hi> <hi rendition="#i">c d</hi><hi rendition="#sub">1</hi> = 0.</cell><cell><hi rendition="#i">a</hi> + <hi rendition="#i">b</hi> + <hi rendition="#i">c</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">a</hi> + <hi rendition="#i">c</hi> + <hi rendition="#i">d</hi><hi rendition="#sub">1</hi> = 1.</cell></row><lb/></table></p>
          <p>Man kann nämlich wegen der Kommutativität der Operationen<lb/>
die Operationsglieder so umordnen, dass das gedachte neben seine<lb/>
Negation zu stehen kommt; diese beiden kann man dann wegen der<lb/>
Associativität zu einem einzigen Operationsglied zusammenfassen (des-<lb/>
gleichen die übrigen Operationsglieder) und nach Th. 19) Zusatz 2<lb/>
durch seinen Wert 0 resp. 1 ersetzen, worauf das Th. 22) in Wirksam-<lb/>
keit tritt. In unsern Beispielen haben wir als Wert des Ausdrucks:<lb/><table><row><cell><hi rendition="#i">a c d</hi><hi rendition="#sub">1</hi> · <hi rendition="#i">b b</hi><hi rendition="#sub">1</hi> = (<hi rendition="#i">a c d</hi><hi rendition="#sub">1</hi>) · 0 = 0.</cell><cell>(<hi rendition="#i">a</hi> + <hi rendition="#i">b</hi> + <hi rendition="#i">d</hi><hi rendition="#sub">1</hi>) + (<hi rendition="#i">c</hi> + <hi rendition="#i">c</hi><hi rendition="#sub">1</hi>) = (<hi rendition="#i">a</hi> + <hi rendition="#i">b</hi> + <hi rendition="#i">d</hi><hi rendition="#sub">1</hi>) + 1 = 1.</cell></row><lb/></table></p>
          <p>31) <hi rendition="#g">Theorem</hi>. <hi rendition="#i">Es ist allgemein:</hi><lb/><hi rendition="#c">(<hi rendition="#i">a</hi><hi rendition="#sub">1</hi>)<hi rendition="#sub">1</hi> = <hi rendition="#i">a</hi>.</hi></p><lb/>
          <p><hi rendition="#i">Die Negation der Negation der Negation eines Gebietes ist dies Gebiet selbst</hi>, oder:<lb/><hi rendition="#i">Doppelte Verneinung</hi> &#x201E;<hi rendition="#i">bejaht</hi>&#x201C;, <hi rendition="#i">hebt sich auf.</hi></p><lb/>
          <p><hi rendition="#g">Beweis</hi> 1. Nach Th. 30) hat man unter Anwendung des Kom-<lb/>
mutationsgesetzes:<lb/><hi rendition="#c"><hi rendition="#i">a</hi><hi rendition="#sub">1</hi> · <hi rendition="#i">a</hi> = 0, <hi rendition="#i">a</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">a</hi> = 1,</hi><lb/>
und andrerseits, wenn Th. 30) für <hi rendition="#i">a</hi><hi rendition="#sub">1</hi> statt <hi rendition="#i">a</hi> (so, wie es ist) in An-<lb/>
spruch genommen wird:<lb/><hi rendition="#c"><hi rendition="#i">a</hi><hi rendition="#sub">1</hi> · (<hi rendition="#i">a</hi><hi rendition="#sub">1</hi>)<hi rendition="#sub">1</hi> = 0, <hi rendition="#i">a</hi><hi rendition="#sub">1</hi> + (<hi rendition="#i">a</hi><hi rendition="#sub">1</hi>)<hi rendition="#sub">1</hi> = 1.</hi></p><lb/>
          <p>Vergleicht man diese vier Gleichungen mit dem Schema der Vor-<lb/>
aussetzungen des Hülfstheorems 29), so nimmt man dessen Anwendbar-<lb/>
keit wahr, und erhält die Folgerung:<lb/><hi rendition="#c"><hi rendition="#i">a</hi> = (<hi rendition="#i">a</hi><hi rendition="#sub">1</hi>)<hi rendition="#sub">1</hi>,</hi><lb/>
die zu gewinnen war.</p><lb/>
          <p><hi rendition="#g">Beweis</hi> 2. Man kann auch einfach bemerken, dass die beiden<lb/>
Voraussetzungen der Def. (6) kraft Th. 12) unverändert gültig bleiben,<lb/>
wenn man die Symbole <hi rendition="#i">a</hi> und <hi rendition="#i">a</hi><hi rendition="#sub">1</hi> mit einander vertauscht. Da nun<lb/>
die Def. (6) eine <hi rendition="#i">allgemeine</hi> Festsetzung sein sollte, so muss auch die<lb/>
an jene Voraussetzung konventionell geknüpfte Folgerung in Kraft<lb/>
bleiben, wenn man <hi rendition="#i">a</hi> und <hi rendition="#i">a</hi><hi rendition="#sub">1</hi> vertauscht. &#x2014; Die Sache wird deutlicher,<lb/>
wenn man in Def. (6) den Namen <hi rendition="#i">a</hi><hi rendition="#sub">1</hi> vermeidet, denselben durch irgend<lb/>
einen andern, etwa durch <hi rendition="#i">b</hi> ersetzt. Es wird ausgemacht: <hi rendition="#i">b</hi> die Nega-<lb/>
tion von <hi rendition="#i">a</hi> zu nennen, wenn <hi rendition="#i">a b</hi> = 0 und <hi rendition="#i">a</hi> + <hi rendition="#i">b</hi> = 1 ist. In diesem<lb/>
Falle ist aber auch <hi rendition="#i">b a</hi> = 0 und <hi rendition="#i">b</hi> + <hi rendition="#i">a</hi> = 1 nach Th. 12). Folglich ist<lb/>
<fw place="bottom" type="sig"><hi rendition="#k">Schröder</hi>, Algebra der Logik. 20</fw><lb/></p>
        </div>
      </div>
    </body>
  </text>
</TEI>
[305/0325] § 13. Negation (mit Postulat) und darauf zu gründende Sätze. einer die Negation des andern ist, verschwindet das Produkt. als die Negation eines andern Gliedes erscheint, so hat die Summe den Wert 1. So ist z. B. a b c · a b1 c d1 = 0. a + b + c1 + a + c + d1 = 1. Man kann nämlich wegen der Kommutativität der Operationen die Operationsglieder so umordnen, dass das gedachte neben seine Negation zu stehen kommt; diese beiden kann man dann wegen der Associativität zu einem einzigen Operationsglied zusammenfassen (des- gleichen die übrigen Operationsglieder) und nach Th. 19) Zusatz 2 durch seinen Wert 0 resp. 1 ersetzen, worauf das Th. 22) in Wirksam- keit tritt. In unsern Beispielen haben wir als Wert des Ausdrucks: a c d1 · b b1 = (a c d1) · 0 = 0. (a + b + d1) + (c + c1) = (a + b + d1) + 1 = 1. 31) Theorem. Es ist allgemein: (a1)1 = a. Die Negation der Negation der Negation eines Gebietes ist dies Gebiet selbst, oder: Doppelte Verneinung „bejaht“, hebt sich auf. Beweis 1. Nach Th. 30) hat man unter Anwendung des Kom- mutationsgesetzes: a1 · a = 0, a1 + a = 1, und andrerseits, wenn Th. 30) für a1 statt a (so, wie es ist) in An- spruch genommen wird: a1 · (a1)1 = 0, a1 + (a1)1 = 1. Vergleicht man diese vier Gleichungen mit dem Schema der Vor- aussetzungen des Hülfstheorems 29), so nimmt man dessen Anwendbar- keit wahr, und erhält die Folgerung: a = (a1)1, die zu gewinnen war. Beweis 2. Man kann auch einfach bemerken, dass die beiden Voraussetzungen der Def. (6) kraft Th. 12) unverändert gültig bleiben, wenn man die Symbole a und a1 mit einander vertauscht. Da nun die Def. (6) eine allgemeine Festsetzung sein sollte, so muss auch die an jene Voraussetzung konventionell geknüpfte Folgerung in Kraft bleiben, wenn man a und a1 vertauscht. — Die Sache wird deutlicher, wenn man in Def. (6) den Namen a1 vermeidet, denselben durch irgend einen andern, etwa durch b ersetzt. Es wird ausgemacht: b die Nega- tion von a zu nennen, wenn a b = 0 und a + b = 1 ist. In diesem Falle ist aber auch b a = 0 und b + a = 1 nach Th. 12). Folglich ist Schröder, Algebra der Logik. 20

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