Anmelden (DTAQ) DWDS     dlexDB     CLARIN-D

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

Bild:
<< vorherige Seite
Siebente Vorlesung.

Multiplizirt man die letztere Gleichung beiderseits mit b, so ent-
steht nach Prinzip IIIx [sogar schon nach IIIx0] und Th. 14x):
a b + b = a b + b c.

Ebenso entsteht aus ihr durch beiderseitige Multiplikation mit c:
a c + b c = a c + c.

Wegen der erstern Gleichung ist aber gemäss 16+):
a b + b c = a c + b c
und folglich nach Th. 4) auch
a b + b = a c + c;
d. h. nach 23+), indem die ersten Terme absorbirt werden haben wir:
b = c,
q. e. d. Einfacher hätte man auch, mit Rücksicht auf die Voraus-
setzung a b = 0, nach 21+) und 23+) das eine Multiplikationsergebniss
in b = b c, das andre, wegen a c = 0, in b c = c zusammenziehen
können. Indessen hat der erstere Beweis den Vorzug, sich auf eine
spätere Erweiterung des Satzes, zu Th. 40) und Zusätze, ohne weiteres
übertragen zu lassen.

Bezeichnen werden wir die Negation eines Gebietes a, indem wir
diesem den "Negationsstrich" 1 als Suffixum anhängen, sonach mit a1
(gelesen: "a-nicht").

Sollte ein zu negirendes Gebiet einen zusammengesetzten Ausdruck
haben, so wird es überdies dabei einzuklammern sein gemäss der allgemein
bezüglich Gebrauchs der Klammern geltenden Maxime (vergl. Anhang 2).
So wird z. B. (a b)1, (a + b)1, (a1)1 die Negation von a b resp. a + b und a1
vorstellen.

Bei der Wahl obiger Bezeichnung kommt folgendes in Betracht.

Das Suffixum 1 soll einen Vertikalstrich vorstellen. Mittelst eines
solchen werden wir auch anderweitig -- namentlich für Beziehungen --
die Negation andeuten. So wird uns z. B. das vertikal durchgestrichene
Gleichheitszeichen: , gelesen "ungleich", die Verneinung der Gleichheit
auszudrücken haben. Nach diesem Prinzip wird es nämlich leicht, zu
jedem Beziehungszeichen sofort dessen Verneinung zu bilden. Indem man
einfach dasselbe vertikal durchstreicht gewinnt man ein hübsches und durch
sich selbst verständliches, mnemonisches, obendrein auch noch nicht ander-
weitig vergebenes Zeichen zur Darstellung eben der Beziehung, welche die
Negation von jener zu nennen.

Aus >, z. B. wäre hienach auch das regelrechte Zeichen für "nicht
grösser", welches für's reelle Zahlengebiet als ("kleiner oder gleich")
in der Mathematik sehr viel gebraucht wird, unschwer abzuleiten.

Da es nun nicht angängig ist, Buchstaben oder gar zusammengesetzte
Ausdrücke jeweils in Druck und Schrift wirklich durchzustreichen, so muss
eben der Vertikalstrich neben jenen angemerkt werden (im letztern Falle,

Siebente Vorlesung.

Multiplizirt man die letztere Gleichung beiderseits mit b, so ent-
steht nach Prinzip III× [sogar schon nach III×0] und Th. 14×):
a b + b = a b + b c.

Ebenso entsteht aus ihr durch beiderseitige Multiplikation mit c:
a c + b c = a c + c.

Wegen der erstern Gleichung ist aber gemäss 16+):
a b + b c = a c + b c
und folglich nach Th. 4) auch
a b + b = a c + c;
d. h. nach 23+), indem die ersten Terme absorbirt werden haben wir:
b = c,
q. e. d. Einfacher hätte man auch, mit Rücksicht auf die Voraus-
setzung a b = 0, nach 21+) und 23+) das eine Multiplikationsergebniss
in b = b c, das andre, wegen a c = 0, in b c = c zusammenziehen
können. Indessen hat der erstere Beweis den Vorzug, sich auf eine
spätere Erweiterung des Satzes, zu Th. 40) und Zusätze, ohne weiteres
übertragen zu lassen.

Bezeichnen werden wir die Negation eines Gebietes a, indem wir
diesem den „Negationsstrich1 als Suffixum anhängen, sonach mit a1
(gelesen: „a-nicht“).

Sollte ein zu negirendes Gebiet einen zusammengesetzten Ausdruck
haben, so wird es überdies dabei einzuklammern sein gemäss der allgemein
bezüglich Gebrauchs der Klammern geltenden Maxime (vergl. Anhang 2).
So wird z. B. (a b)1, (a + b)1, (a1)1 die Negation von a b resp. a + b und a1
vorstellen.

Bei der Wahl obiger Bezeichnung kommt folgendes in Betracht.

Das Suffixum 1 soll einen Vertikalstrich vorstellen. Mittelst eines
solchen werden wir auch anderweitig — namentlich für Beziehungen —
die Negation andeuten. So wird uns z. B. das vertikal durchgestrichene
Gleichheitszeichen: ≠, gelesen „ungleich“, die Verneinung der Gleichheit
auszudrücken haben. Nach diesem Prinzip wird es nämlich leicht, zu
jedem Beziehungszeichen sofort dessen Verneinung zu bilden. Indem man
einfach dasselbe vertikal durchstreicht gewinnt man ein hübsches und durch
sich selbst verständliches, mnemonisches, obendrein auch noch nicht ander-
weitig vergebenes Zeichen zur Darstellung eben der Beziehung, welche die
Negation von jener zu nennen.

Aus >, z. B. wäre hienach auch das regelrechte Zeichen für „nicht
grösser“, welches für's reelle Zahlengebiet als ≦ („kleiner oder gleich“)
in der Mathematik sehr viel gebraucht wird, unschwer abzuleiten.

Da es nun nicht angängig ist, Buchstaben oder gar zusammengesetzte
Ausdrücke jeweils in Druck und Schrift wirklich durchzustreichen, so muss
eben der Vertikalstrich neben jenen angemerkt werden (im letztern Falle,

<TEI>
  <text>
    <body>
      <div n="1">
        <div n="2">
          <pb facs="#f0320" n="300"/>
          <fw place="top" type="header">Siebente Vorlesung.</fw><lb/>
          <p>Multiplizirt man die <hi rendition="#i">letztere</hi> Gleichung beiderseits mit <hi rendition="#i">b</hi>, so ent-<lb/>
steht nach Prinzip III<hi rendition="#sub">×</hi> [sogar schon nach III<hi rendition="#sub">×</hi><hi rendition="#sup">0</hi>] und Th. 14<hi rendition="#sub">×</hi>):<lb/><hi rendition="#c"><hi rendition="#i">a b</hi> + <hi rendition="#i">b</hi> = <hi rendition="#i">a b</hi> + <hi rendition="#i">b c</hi>.</hi></p><lb/>
          <p>Ebenso entsteht aus ihr durch beiderseitige Multiplikation mit <hi rendition="#i">c</hi>:<lb/><hi rendition="#c"><hi rendition="#i">a c</hi> + <hi rendition="#i">b c</hi> = <hi rendition="#i">a c</hi> + <hi rendition="#i">c</hi>.</hi></p><lb/>
          <p>Wegen der <hi rendition="#i">erstern</hi> Gleichung ist aber gemäss 16<hi rendition="#sub">+</hi>):<lb/><hi rendition="#c"><hi rendition="#i">a b</hi> + <hi rendition="#i">b c</hi> = <hi rendition="#i">a c</hi> + <hi rendition="#i">b c</hi></hi><lb/>
und folglich nach Th. 4) auch<lb/><hi rendition="#c"><hi rendition="#i">a b</hi> + <hi rendition="#i">b</hi> = <hi rendition="#i">a c</hi> + <hi rendition="#i">c</hi>;</hi><lb/>
d. h. nach 23<hi rendition="#sub">+</hi>), indem die ersten Terme absorbirt werden haben wir:<lb/><hi rendition="#c"><hi rendition="#i">b</hi> = <hi rendition="#i">c</hi>,</hi><lb/>
q. e. d. Einfacher hätte man auch, mit Rücksicht auf die Voraus-<lb/>
setzung <hi rendition="#i">a b</hi> = 0, nach 21<hi rendition="#sub">+</hi>) und 23<hi rendition="#sub">+</hi>) das eine Multiplikationsergebniss<lb/>
in <hi rendition="#i">b</hi> = <hi rendition="#i">b c</hi>, das andre, wegen <hi rendition="#i">a c</hi> = 0, in <hi rendition="#i">b c</hi> = <hi rendition="#i">c</hi> zusammenziehen<lb/>
können. Indessen hat der erstere Beweis den Vorzug, sich auf eine<lb/>
spätere Erweiterung des Satzes, zu Th. 40) und Zusätze, ohne weiteres<lb/>
übertragen zu lassen.</p><lb/>
          <p><hi rendition="#i">Bezeichnen</hi> werden wir die Negation eines Gebietes <hi rendition="#i">a</hi>, indem wir<lb/>
diesem den &#x201E;<hi rendition="#i">Negationsstrich</hi>&#x201C; <hi rendition="#sub">1</hi> als Suffixum anhängen, sonach mit <hi rendition="#i">a</hi><hi rendition="#sub">1</hi><lb/>
(gelesen: &#x201E;<hi rendition="#i">a-nicht</hi>&#x201C;).</p><lb/>
          <p>Sollte ein zu negirendes Gebiet einen zusammengesetzten Ausdruck<lb/>
haben, so wird es überdies dabei einzuklammern sein gemäss der allgemein<lb/>
bezüglich Gebrauchs der Klammern geltenden Maxime (vergl. Anhang 2).<lb/>
So wird z. B. (<hi rendition="#i">a b</hi>)<hi rendition="#sub">1</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="#sub">1</hi> die Negation von <hi rendition="#i">a b</hi> resp. <hi rendition="#i">a</hi> + <hi rendition="#i">b</hi> und <hi rendition="#i">a</hi><hi rendition="#sub">1</hi><lb/>
vorstellen.</p><lb/>
          <p>Bei der Wahl obiger Bezeichnung kommt folgendes in Betracht.</p><lb/>
          <p>Das Suffixum <hi rendition="#sub">1</hi> soll einen <hi rendition="#i">Vertikalstrich</hi> vorstellen. Mittelst eines<lb/>
solchen werden wir auch anderweitig &#x2014; namentlich für Beziehungen &#x2014;<lb/>
die Negation andeuten. So wird uns z. B. das vertikal durchgestrichene<lb/>
Gleichheitszeichen: &#x2260;, gelesen &#x201E;ungleich&#x201C;, die Verneinung der Gleichheit<lb/>
auszudrücken haben. Nach diesem Prinzip wird es nämlich leicht, zu<lb/>
jedem Beziehungszeichen sofort dessen Verneinung zu bilden. Indem man<lb/>
einfach dasselbe vertikal <hi rendition="#i">durchstreicht</hi> gewinnt man ein hübsches und durch<lb/>
sich selbst verständliches, mnemonisches, obendrein auch noch nicht ander-<lb/>
weitig vergebenes Zeichen zur Darstellung eben der Beziehung, welche die<lb/>
Negation von jener zu nennen.</p><lb/>
          <p>Aus &gt;, z. B. wäre hienach auch das regelrechte Zeichen für &#x201E;nicht<lb/>
grösser&#x201C;, welches für's reelle Zahlengebiet als &#x2266; (&#x201E;kleiner oder gleich&#x201C;)<lb/>
in der Mathematik sehr viel gebraucht wird, unschwer abzuleiten.</p><lb/>
          <p>Da es nun nicht angängig ist, Buchstaben oder gar zusammengesetzte<lb/>
Ausdrücke jeweils in Druck und Schrift wirklich durchzustreichen, so muss<lb/>
eben der Vertikalstrich <hi rendition="#i">neben</hi> jenen angemerkt werden (im letztern Falle,<lb/></p>
        </div>
      </div>
    </body>
  </text>
</TEI>
[300/0320] Siebente Vorlesung. Multiplizirt man die letztere Gleichung beiderseits mit b, so ent- steht nach Prinzip III× [sogar schon nach III×0] und Th. 14×): a b + b = a b + b c. Ebenso entsteht aus ihr durch beiderseitige Multiplikation mit c: a c + b c = a c + c. Wegen der erstern Gleichung ist aber gemäss 16+): a b + b c = a c + b c und folglich nach Th. 4) auch a b + b = a c + c; d. h. nach 23+), indem die ersten Terme absorbirt werden haben wir: b = c, q. e. d. Einfacher hätte man auch, mit Rücksicht auf die Voraus- setzung a b = 0, nach 21+) und 23+) das eine Multiplikationsergebniss in b = b c, das andre, wegen a c = 0, in b c = c zusammenziehen können. Indessen hat der erstere Beweis den Vorzug, sich auf eine spätere Erweiterung des Satzes, zu Th. 40) und Zusätze, ohne weiteres übertragen zu lassen. Bezeichnen werden wir die Negation eines Gebietes a, indem wir diesem den „Negationsstrich“ 1 als Suffixum anhängen, sonach mit a1 (gelesen: „a-nicht“). Sollte ein zu negirendes Gebiet einen zusammengesetzten Ausdruck haben, so wird es überdies dabei einzuklammern sein gemäss der allgemein bezüglich Gebrauchs der Klammern geltenden Maxime (vergl. Anhang 2). So wird z. B. (a b)1, (a + b)1, (a1)1 die Negation von a b resp. a + b und a1 vorstellen. Bei der Wahl obiger Bezeichnung kommt folgendes in Betracht. Das Suffixum 1 soll einen Vertikalstrich vorstellen. Mittelst eines solchen werden wir auch anderweitig — namentlich für Beziehungen — die Negation andeuten. So wird uns z. B. das vertikal durchgestrichene Gleichheitszeichen: ≠, gelesen „ungleich“, die Verneinung der Gleichheit auszudrücken haben. Nach diesem Prinzip wird es nämlich leicht, zu jedem Beziehungszeichen sofort dessen Verneinung zu bilden. Indem man einfach dasselbe vertikal durchstreicht gewinnt man ein hübsches und durch sich selbst verständliches, mnemonisches, obendrein auch noch nicht ander- weitig vergebenes Zeichen zur Darstellung eben der Beziehung, welche die Negation von jener zu nennen. Aus >, z. B. wäre hienach auch das regelrechte Zeichen für „nicht grösser“, welches für's reelle Zahlengebiet als ≦ („kleiner oder gleich“) in der Mathematik sehr viel gebraucht wird, unschwer abzuleiten. Da es nun nicht angängig ist, Buchstaben oder gar zusammengesetzte Ausdrücke jeweils in Druck und Schrift wirklich durchzustreichen, so muss eben der Vertikalstrich neben jenen angemerkt werden (im letztern Falle,

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