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.

Eine Mn. aller erfindlichen, (im engern Sinne) individuellen Ob-
jekte des Denkens ohne die (in der suppositio realis genommenen)
Urteile wird nun überall da, wo nicht von Urteilen, sondern von Dingen
schlechtweg die Rede ist, von hinreichender Erstreckung sein, um beim
Negiren aller in Betracht kommenden Begriffe oder Klassen einheit-
lich zugrunde gelegt werden zu können, und mag solche etwa die
"Mannigfaltigkeit der erdenklichen individuellen Dinge" genannt werden.
Nach Bedarf kann man diese auch noch auf die Sphäre der "wirklichen"
Dinge einschränken.

§ 17. Fernere Sätze für Gebiete und Klassen. Kontraposition, etc.

36) Theoreme. Allgemein ist:

36x) (a b)1 = a1 + b136+) (a + b)1 = a1 b1
Die Negation eines Produktes ist
die Summe der Negationen der Fak-
toren.		Die Negation einer Summe ist
das Produkt der Negationen der
Glieder.

Umgekehrt auch:

Eine Summe von Negationen ist
die Negation des Produktes
ihrer Neganden.		Ein Produkt von Negationen ist
die Negation der Summe

Beweis. Da es nur eine Negation zu einem Gebiete geben kann,
so ist behuf Beweises gewissermassen nur die Probe zu machen, d. h.
nachzusehen, ob die angebliche Negation

a1 + b1 von a ba1 b1 von a + b
die für dieselbe charakteristischen beiden Beziehungen des Th. 30) mit
diesem Gebiete zusammen erfüllt, d. h. ob wirklich
a b (a1 + b1) = 0, a b + a1 + b1 = 1(a + b) a1 b1 = 0, a + b + a1 b1 = 1
ist. Dies folgt nun in der That aus den Zusätzen zu Th. 34x) und
34+), wenn man dieselben auch noch für die Gebiete a1, b1 statt a, b
mit Rücksicht auf Th. 31) in Anspruch nimmt.

Im Grunde kam hiebei wieder das Hülfstheorem 29) in Anwendung.
Man hat -- z. B. links vom Mittelstrich -- nach 30) einerseits:
a b · (a b)1 = 0, a b + (a b)1) = 1
und, wie eben gezeigt, andrerseits:
a b · (a1 + b1) = 0, a b + (a1 + b1) = 1,
folglich nach jenem: (a b)1 = a1 + b1.

Exempel für Klassen. Wer nicht adelig und Grundbesitzer zu-

Achte Vorlesung.

Eine Mn. aller erfindlichen, (im engern Sinne) individuellen Ob-
jekte des Denkens ohne die (in der suppositio realis genommenen)
Urteile wird nun überall da, wo nicht von Urteilen, sondern von Dingen
schlechtweg die Rede ist, von hinreichender Erstreckung sein, um beim
Negiren aller in Betracht kommenden Begriffe oder Klassen einheit-
lich zugrunde gelegt werden zu können, und mag solche etwa die
„Mannigfaltigkeit der erdenklichen individuellen Dinge“ genannt werden.
Nach Bedarf kann man diese auch noch auf die Sphäre der „wirklichen“
Dinge einschränken.

§ 17. Fernere Sätze für Gebiete und Klassen. Kontraposition, etc.

36) Theoreme. Allgemein ist:

36×) (a b)1 = a1 + b136+) (a + b)1 = a1 b1
Die Negation eines Produktes ist
die Summe der Negationen der Fak-
toren.		Die Negation einer Summe ist
das Produkt der Negationen der
Glieder.

Umgekehrt auch:

Eine Summe von Negationen ist
die Negation des Produktes
ihrer Neganden.		Ein Produkt von Negationen ist
die Negation der Summe

Beweis. Da es nur eine Negation zu einem Gebiete geben kann,
so ist behuf Beweises gewissermassen nur die Probe zu machen, d. h.
nachzusehen, ob die angebliche Negation

a1 + b1 von a ba1 b1 von a + b
die für dieselbe charakteristischen beiden Beziehungen des Th. 30) mit
diesem Gebiete zusammen erfüllt, d. h. ob wirklich
a b (a1 + b1) = 0, a b + a1 + b1 = 1(a + b) a1 b1 = 0, a + b + a1 b1 = 1
ist. Dies folgt nun in der That aus den Zusätzen zu Th. 34×) und
34+), wenn man dieselben auch noch für die Gebiete a1, b1 statt a, b
mit Rücksicht auf Th. 31) in Anspruch nimmt.

Im Grunde kam hiebei wieder das Hülfstheorem 29) in Anwendung.
Man hat — z. B. links vom Mittelstrich — nach 30) einerseits:
a b · (a b)1 = 0, a b + (a b)1) = 1
und, wie eben gezeigt, andrerseits:
a b · (a1 + b1) = 0, a b + (a1 + b1) = 1,
folglich nach jenem: (a b)1 = a1 + b1.

Exempel für Klassen. Wer nicht adelig und Grundbesitzer zu-

<TEI>
  <text>
    <body>
      <div n="1">
        <div n="2">
          <pb facs="#f0372" n="352"/>
          <fw place="top" type="header">Achte Vorlesung.</fw><lb/>
          <p>Eine Mn. aller erfindlichen, (im engern Sinne) individuellen Ob-<lb/>
jekte des Denkens ohne die (in der suppositio realis genommenen)<lb/>
Urteile wird nun überall da, wo nicht von Urteilen, sondern von Dingen<lb/>
schlechtweg die Rede ist, von hinreichender Erstreckung sein, um beim<lb/>
Negiren aller in Betracht kommenden Begriffe oder Klassen einheit-<lb/>
lich zugrunde gelegt werden zu können, und mag solche etwa die<lb/>
&#x201E;<hi rendition="#i">Mannigfaltigkeit der erdenklichen individuellen Dinge</hi>&#x201C; genannt werden.<lb/>
Nach Bedarf kann man diese auch noch auf die Sphäre der &#x201E;<hi rendition="#i">wirklichen</hi>&#x201C;<lb/>
Dinge einschränken.</p>
        </div><lb/>
        <div n="2">
          <head>§ 17. <hi rendition="#b">Fernere Sätze für Gebiete und Klassen. Kontraposition, etc.</hi></head><lb/>
          <p>36) <hi rendition="#g">Theoreme</hi>. <hi rendition="#i">Allgemein ist:</hi><lb/><table><row><cell>36<hi rendition="#sub">×</hi>) (<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></cell><cell>36<hi rendition="#sub">+</hi>) (<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><hi rendition="#sub">1</hi></cell></row><lb/><row><cell><hi rendition="#i">Die Negation eines Produktes ist<lb/>
die Summe der Negationen der Fak-<lb/>
toren.</hi></cell><cell><hi rendition="#i">Die Negation einer Summe ist<lb/>
das Produkt der Negationen der<lb/>
Glieder.</hi></cell></row><lb/></table></p>
          <p>Umgekehrt auch:<lb/><table><row><cell><hi rendition="#i">Eine Summe von Negationen ist<lb/>
die Negation des Produktes<lb/>
ihrer Neganden.</hi></cell><cell><hi rendition="#i">Ein Produkt von Negationen ist<lb/>
die Negation der Summe</hi></cell></row><lb/></table></p>
          <p><hi rendition="#g">Beweis</hi>. Da es nur <hi rendition="#i">eine</hi> Negation zu einem Gebiete geben kann,<lb/>
so ist behuf Beweises gewissermassen nur die Probe zu machen, d. h.<lb/>
nachzusehen, ob die angebliche Negation<lb/><table><row><cell><hi rendition="#i">a</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">b</hi><hi rendition="#sub">1</hi> von <hi rendition="#i">a b</hi></cell><cell><hi rendition="#i">a</hi><hi rendition="#sub">1</hi><hi rendition="#i">b</hi><hi rendition="#sub">1</hi> von <hi rendition="#i">a</hi> + <hi rendition="#i">b</hi></cell></row><lb/></table> die für dieselbe charakteristischen beiden Beziehungen des Th. 30) mit<lb/>
diesem Gebiete zusammen erfüllt, d. h. ob wirklich<lb/><table><row><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>) = 0, <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</cell><cell>(<hi rendition="#i">a</hi> + <hi rendition="#i">b</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">b</hi><hi rendition="#sub">1</hi> = 1</cell></row><lb/></table> ist. Dies folgt nun in der That aus den Zusätzen zu Th. 34<hi rendition="#sub">×</hi>) und<lb/>
34<hi rendition="#sub">+</hi>), wenn man dieselben auch noch für die Gebiete <hi rendition="#i">a</hi><hi rendition="#sub">1</hi>, <hi rendition="#i">b</hi><hi rendition="#sub">1</hi> statt <hi rendition="#i">a</hi>, <hi rendition="#i">b</hi><lb/>
mit Rücksicht auf Th. 31) in Anspruch nimmt.</p><lb/>
          <p>Im Grunde kam hiebei wieder das Hülfstheorem 29) in Anwendung.<lb/>
Man hat &#x2014; z. B. links vom Mittelstrich &#x2014; nach 30) einerseits:<lb/><hi rendition="#c"><hi rendition="#i">a b</hi> · (<hi rendition="#i">a b</hi>)<hi rendition="#sub">1</hi> = 0, <hi rendition="#i">a b</hi> + (<hi rendition="#i">a b</hi>)<hi rendition="#sub">1</hi>) = 1</hi><lb/>
und, wie eben gezeigt, andrerseits:<lb/><hi rendition="#c"><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>) = 0, <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,</hi><lb/>
folglich nach jenem: (<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>.</p><lb/>
          <p><hi rendition="#g">Exempel</hi> für Klassen. Wer nicht adelig <hi rendition="#i">und</hi> Grundbesitzer zu-<lb/></p>
        </div>
      </div>
    </body>
  </text>
</TEI>
[352/0372] Achte Vorlesung. Eine Mn. aller erfindlichen, (im engern Sinne) individuellen Ob- jekte des Denkens ohne die (in der suppositio realis genommenen) Urteile wird nun überall da, wo nicht von Urteilen, sondern von Dingen schlechtweg die Rede ist, von hinreichender Erstreckung sein, um beim Negiren aller in Betracht kommenden Begriffe oder Klassen einheit- lich zugrunde gelegt werden zu können, und mag solche etwa die „Mannigfaltigkeit der erdenklichen individuellen Dinge“ genannt werden. Nach Bedarf kann man diese auch noch auf die Sphäre der „wirklichen“ Dinge einschränken. § 17. Fernere Sätze für Gebiete und Klassen. Kontraposition, etc. 36) Theoreme. Allgemein ist: 36×) (a b)1 = a1 + b1 36+) (a + b)1 = a1 b1 Die Negation eines Produktes ist die Summe der Negationen der Fak- toren. Die Negation einer Summe ist das Produkt der Negationen der Glieder. Umgekehrt auch: Eine Summe von Negationen ist die Negation des Produktes ihrer Neganden. Ein Produkt von Negationen ist die Negation der Summe Beweis. Da es nur eine Negation zu einem Gebiete geben kann, so ist behuf Beweises gewissermassen nur die Probe zu machen, d. h. nachzusehen, ob die angebliche Negation a1 + b1 von a b a1 b1 von a + b die für dieselbe charakteristischen beiden Beziehungen des Th. 30) mit diesem Gebiete zusammen erfüllt, d. h. ob wirklich a b (a1 + b1) = 0, a b + a1 + b1 = 1 (a + b) a1 b1 = 0, a + b + a1 b1 = 1 ist. Dies folgt nun in der That aus den Zusätzen zu Th. 34×) und 34+), wenn man dieselben auch noch für die Gebiete a1, b1 statt a, b mit Rücksicht auf Th. 31) in Anspruch nimmt. Im Grunde kam hiebei wieder das Hülfstheorem 29) in Anwendung. Man hat — z. B. links vom Mittelstrich — nach 30) einerseits: a b · (a b)1 = 0, a b + (a b)1) = 1 und, wie eben gezeigt, andrerseits: a b · (a1 + b1) = 0, a b + (a1 + b1) = 1, folglich nach jenem: (a b)1 = a1 + b1. Exempel für Klassen. Wer nicht adelig und Grundbesitzer zu-

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