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

§ 23. Die Negation als ihr gemeinsamer Spezialfall.
wie wir gesehen haben, der identische Kalkul -- als mit seiner "dritten
Spezies" -- schon völlig aus.

Zieht man auch die beiden inversen Operationen mit unter den
Gesichtspunkt des Dualismus, so werden natürlich zugleich mit Addi-
tion und Multiplikation auch Subtraktion und Division ihre Rollen
auszutauschen haben. Alsdann kann man sagen, dass die hiemit ge-
gebene Gleichung:
n) [Formel 1]
zu sich selbst dual ist.

Und das gleiche gilt auch von den noch durch ihre Kombination mit
sich selbst entstehenden Gleichungen wie:
[Formel 2] etc. Die p. 31 meines Operationskreis2 gemachte Angabe, dass diese er-
wähnten die einzigen zu sich selbst dualen Formeln des identischen Kal-
kuls seien, beruhte jedoch auf einem Übersehen, ist eine zu weit gehende
gewesen, wie wir denn in der That schon in § 18 unter ph) auch noch
andre Formeln solchen Charakters kennen gelernt haben. --

Mit Rücksicht auf m) hätten die fundamentalen Theoreme 30) und 31)
nun auch in folgenden Formen angeschrieben werden können, in deren
einigen (den durch die Beisetzung der Chiffre hervorgehobenen) es nützlich
ist, sie gesehen zu haben:
[Formel 3]
Die 31) zeigt, dass nicht -- (-- a) = a oder 0 -- (0 -- a) = a, sondern
1 -- (1 -- a) = a das wahre arithmetische Analogon des logischen Satzes
von der doppelten Verneinung ist -- worauf wir uns schon S. 306 beriefen.

Beachtenswert erscheint, dass der Ausdruck k), mit x bezeichnet
bezüglich die Auflösung ist des folgenden Paares von Gleichungen:
o)

x + b = a, x b = 0x b = a, x + b = 1
durch welches also
k )
x = a -- bx = a : b = [Formel 4]
vollkommen eindeutig bestimmt wird.

Man erkennt dies leicht, indem man systematisch zuwerke geht, zu-

§ 23. Die Negation als ihr gemeinsamer Spezialfall.
wie wir gesehen haben, der identische Kalkul — als mit seiner „dritten
Spezies“ — schon völlig aus.

Zieht man auch die beiden inversen Operationen mit unter den
Gesichtspunkt des Dualismus, so werden natürlich zugleich mit Addi-
tion und Multiplikation auch Subtraktion und Division ihre Rollen
auszutauschen haben. Alsdann kann man sagen, dass die hiemit ge-
gebene Gleichung:
ν) [Formel 1]
zu sich selbst dual ist.

Und das gleiche gilt auch von den noch durch ihre Kombination mit
sich selbst entstehenden Gleichungen wie:
[Formel 2] etc. Die p. 31 meines Operationskreis2 gemachte Angabe, dass diese er-
wähnten die einzigen zu sich selbst dualen Formeln des identischen Kal-
kuls seien, beruhte jedoch auf einem Übersehen, ist eine zu weit gehende
gewesen, wie wir denn in der That schon in § 18 unter φ) auch noch
andre Formeln solchen Charakters kennen gelernt haben. —

Mit Rücksicht auf μ) hätten die fundamentalen Theoreme 30) und 31)
nun auch in folgenden Formen angeschrieben werden können, in deren
einigen (den durch die Beisetzung der Chiffre hervorgehobenen) es nützlich
ist, sie gesehen zu haben:
[Formel 3]
Die 31) zeigt, dass nicht — (— a) = a oder 0 — (0 — a) = a, sondern
1 — (1 — a) = a das wahre arithmetische Analogon des logischen Satzes
von der doppelten Verneinung ist — worauf wir uns schon S. 306 beriefen.

Beachtenswert erscheint, dass der Ausdruck ϰ), mit x bezeichnet
bezüglich die Auflösung ist des folgenden Paares von Gleichungen:
ο)

x + b = a, x b = 0x b = a, x + b = 1
durch welches also
ϰ )
x = a — bx = a : b = [Formel 4]
vollkommen eindeutig bestimmt wird.

Man erkennt dies leicht, indem man systematisch zuwerke geht, zu-

<TEI>
  <text>
    <body>
      <div n="1">
        <div n="2">
          <p><pb facs="#f0505" n="485"/><fw place="top" type="header">§ 23. Die Negation als ihr gemeinsamer Spezialfall.</fw><lb/>
wie wir gesehen haben, der identische Kalkul &#x2014; als mit seiner &#x201E;dritten<lb/>
Spezies&#x201C; &#x2014; schon völlig aus.</p><lb/>
          <p>Zieht man auch die beiden inversen Operationen mit unter den<lb/>
Gesichtspunkt des Dualismus, so werden natürlich zugleich mit Addi-<lb/>
tion und Multiplikation auch Subtraktion und Division ihre Rollen<lb/>
auszutauschen haben. Alsdann kann man sagen, dass die hiemit ge-<lb/>
gebene Gleichung:<lb/><hi rendition="#i">&#x03BD;</hi>) <hi rendition="#et"><formula/></hi><lb/><hi rendition="#i">zu sich selbst dual</hi> ist.</p><lb/>
          <p>Und das gleiche gilt auch von den noch durch ihre Kombination mit<lb/>
sich selbst entstehenden Gleichungen wie:<lb/><hi rendition="#c"><formula/></hi> etc. Die p. 31 meines Operationskreis<hi rendition="#sup">2</hi> gemachte Angabe, dass diese er-<lb/>
wähnten die einzigen zu sich selbst dualen Formeln des identischen Kal-<lb/>
kuls seien, beruhte jedoch auf einem Übersehen, ist eine zu weit gehende<lb/>
gewesen, wie wir denn in der That schon in § 18 unter <hi rendition="#i">&#x03C6;</hi>) auch noch<lb/>
andre Formeln solchen Charakters kennen gelernt haben. &#x2014;</p><lb/>
          <p>Mit Rücksicht auf <hi rendition="#i">&#x03BC;</hi>) hätten die fundamentalen Theoreme 30) und 31)<lb/>
nun auch in folgenden Formen angeschrieben werden können, in deren<lb/>
einigen (den durch die Beisetzung der Chiffre hervorgehobenen) es nützlich<lb/>
ist, sie gesehen zu haben:<lb/><formula/><lb/>
Die 31) zeigt, dass nicht &#x2014; (&#x2014; <hi rendition="#i">a</hi>) = <hi rendition="#i">a</hi> oder 0 &#x2014; (0 &#x2014; <hi rendition="#i">a</hi>) = <hi rendition="#i">a</hi>, sondern<lb/>
1 &#x2014; (1 &#x2014; <hi rendition="#i">a</hi>) = <hi rendition="#i">a</hi> das wahre arithmetische Analogon des logischen Satzes<lb/>
von der doppelten Verneinung ist &#x2014; worauf wir uns schon S. 306 beriefen.</p><lb/>
          <p>Beachtenswert erscheint, dass der Ausdruck <hi rendition="#i">&#x03F0;</hi>), mit <hi rendition="#i">x</hi> bezeichnet<lb/>
bezüglich die Auflösung ist des folgenden Paares von Gleichungen:<lb/><hi rendition="#i">&#x03BF;</hi>) <table><lb/><row><cell><hi rendition="#i">x</hi> + <hi rendition="#i">b</hi> = <hi rendition="#i">a</hi>, <hi rendition="#i">x b</hi> = 0</cell><cell><hi rendition="#i">x b</hi> = <hi rendition="#i">a</hi>, <hi rendition="#i">x</hi> + <hi rendition="#i">b</hi> = 1</cell></row><lb/></table> durch welches also<lb/><hi rendition="#i">&#x03F0;</hi> ) <table><lb/><row><cell><hi rendition="#i">x</hi> = <hi rendition="#i">a</hi> &#x2014; <hi rendition="#i">b</hi></cell><cell><hi rendition="#i">x</hi> = <hi rendition="#i">a</hi> : <hi rendition="#i">b</hi> = <formula/></cell></row><lb/></table> vollkommen eindeutig bestimmt wird.</p><lb/>
          <p>Man erkennt dies leicht, indem man systematisch zuwerke geht, zu-<lb/></p>
        </div>
      </div>
    </body>
  </text>
</TEI>
[485/0505] § 23. Die Negation als ihr gemeinsamer Spezialfall. wie wir gesehen haben, der identische Kalkul — als mit seiner „dritten Spezies“ — schon völlig aus. Zieht man auch die beiden inversen Operationen mit unter den Gesichtspunkt des Dualismus, so werden natürlich zugleich mit Addi- tion und Multiplikation auch Subtraktion und Division ihre Rollen auszutauschen haben. Alsdann kann man sagen, dass die hiemit ge- gebene Gleichung: ν) [FORMEL] zu sich selbst dual ist. Und das gleiche gilt auch von den noch durch ihre Kombination mit sich selbst entstehenden Gleichungen wie: [FORMEL] etc. Die p. 31 meines Operationskreis2 gemachte Angabe, dass diese er- wähnten die einzigen zu sich selbst dualen Formeln des identischen Kal- kuls seien, beruhte jedoch auf einem Übersehen, ist eine zu weit gehende gewesen, wie wir denn in der That schon in § 18 unter φ) auch noch andre Formeln solchen Charakters kennen gelernt haben. — Mit Rücksicht auf μ) hätten die fundamentalen Theoreme 30) und 31) nun auch in folgenden Formen angeschrieben werden können, in deren einigen (den durch die Beisetzung der Chiffre hervorgehobenen) es nützlich ist, sie gesehen zu haben: [FORMEL] Die 31) zeigt, dass nicht — (— a) = a oder 0 — (0 — a) = a, sondern 1 — (1 — a) = a das wahre arithmetische Analogon des logischen Satzes von der doppelten Verneinung ist — worauf wir uns schon S. 306 beriefen. Beachtenswert erscheint, dass der Ausdruck ϰ), mit x bezeichnet bezüglich die Auflösung ist des folgenden Paares von Gleichungen: ο) x + b = a, x b = 0 x b = a, x + b = 1 durch welches also ϰ ) x = a — b x = a : b = [FORMEL] vollkommen eindeutig bestimmt wird. Man erkennt dies leicht, indem man systematisch zuwerke geht, 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/505
Zitationshilfe: Schröder, Ernst: Vorlesungen über die Algebra der Logik. Bd. 1. Leipzig, 1890, S. 485. In: Deutsches Textarchiv <https://www.deutschestextarchiv.de/schroeder_logik01_1890/505>, abgerufen am 22.11.2024.