Anmelden (DTAQ) DWDS     dlexDB     CLARIN-D

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

Bild:
<< vorherige Seite

§ 6. Gesetze von Negation und Konversion.
ledigung der nächsten Formelgruppe, weil bei Berücksichtigung der in
dieser zu statuirenden Prinzipien der Konjugation und des Dualismus
unsre Arbeit sich sehr verringern wird.

Eine zweite Formelgruppe zieht auch die Spezies der Negation
und Konversion mit in Betracht.

Als die allereinfachsten verdienen vorangestellt zu werden die drei
Sätze:
8) ann = a, an = an, a = a.

Der erste von diesen ist der schon aus dem identischen Kalkul
bekannte "Satz der doppelten Verneinung (Negation)".

Der zweite lehrt, dass die Reihenfolge, in welcher die beiden Ope-
rationen der Negation und der Konversion hintereinander ausgeführt
werden, für das Ergebniss gleichgültig ist.

Dieser Satz hat bislang keinen Namen; vielleicht ist es genehm,
denselben als den "Wechselsatz von Negation und Konversion" zu
bezeichnen.

Der dritte mag analog der "Satz der doppelten Konversion" heissen.
Derselbe lehrt, dass -- gleichwie durch doppelte Negation -- so auch
durch doppelte (zweimal hintereinander vollzogene) Konversion jedes
Relativ ungeändert bleibt
. Auch doppelte Konversion "hebt sich auf"
oder: das Konverse vom Konversen eines Relativs ist dieses ursprüng-
liche Relativ selber.

In ihrer Gesamtheit legen unsre drei Sätze die Folgerung nahe,
dass die vier Ausdrücke
B) a, an, a, an
in Hinsicht der beiden Operationen der Negation und Konversion eine
"Gruppe" bilden.

Dieselben sollen die vier mit a (oder irgend einem von ihnen)
"verwandten" Relative heissen.

In hinreichend vereinfachten (sog. reduzirten) Ausdrücken kann
eine jede der beiden nichtknüpfenden Spezies niemals successive, in
mehrfacher Wiederholung, auftreten, sondern es kann nur vorkommen:
eine jede einzeln, oder gar nicht, oder beide in der Ordnung - (strich-
konvers) je einmal hintereinander.

Insbesondre wird auch stets sein müssen:
ann = a.

Hiernächst treten zu De Morgan's schon bekannten Formeln:
9)

ab = an + bna + b = anbn

6*

§ 6. Gesetze von Negation und Konversion.
ledigung der nächsten Formelgruppe, weil bei Berücksichtigung der in
dieser zu statuirenden Prinzipien der Konjugation und des Dualismus
unsre Arbeit sich sehr verringern wird.

Eine zweite Formelgruppe zieht auch die Spezies der Negation
und Konversion mit in Betracht.

Als die allereinfachsten verdienen vorangestellt zu werden die drei
Sätze:
8) ā̄ = a, ă̄ = ā̆, ă̆ = a.

Der erste von diesen ist der schon aus dem identischen Kalkul
bekannte „Satz der doppelten Verneinung (Negation)“.

Der zweite lehrt, dass die Reihenfolge, in welcher die beiden Ope-
rationen der Negation und der Konversion hintereinander ausgeführt
werden, für das Ergebniss gleichgültig ist.

Dieser Satz hat bislang keinen Namen; vielleicht ist es genehm,
denselben als den „Wechselsatz von Negation und Konversion“ zu
bezeichnen.

Der dritte mag analog der „Satz der doppelten Konversion“ heissen.
Derselbe lehrt, dass — gleichwie durch doppelte Negation — so auch
durch doppelte (zweimal hintereinander vollzogene) Konversion jedes
Relativ ungeändert bleibt
. Auch doppelte Konversion „hebt sich auf“
oder: das Konverse vom Konversen eines Relativs ist dieses ursprüng-
liche Relativ selber.

In ihrer Gesamtheit legen unsre drei Sätze die Folgerung nahe,
dass die vier Ausdrücke
B) a, , , ā̆
in Hinsicht der beiden Operationen der Negation und Konversion eine
Gruppe“ bilden.

Dieselben sollen die vier mit a (oder irgend einem von ihnen)
verwandtenRelative heissen.

In hinreichend vereinfachten (sog. reduzirten) Ausdrücken kann
eine jede der beiden nichtknüpfenden Spezies niemals successive, in
mehrfacher Wiederholung, auftreten, sondern es kann nur vorkommen:
eine jede einzeln, oder gar nicht, oder beide in der Ordnung -̆ (strich-
konvers) je einmal hintereinander.

Insbesondre wird auch stets sein müssen:
ā̆̄̆ = a.

Hiernächst treten zu De Morgan’s schon bekannten Formeln:
9)

a̅b̅ = + = āb̄

6*
<TEI>
  <text>
    <body>
      <div n="1">
        <div n="2">
          <p><pb facs="#f0097" n="83"/><fw place="top" type="header">§ 6. Gesetze von Negation und Konversion.</fw><lb/>
ledigung der nächsten Formelgruppe, weil bei Berücksichtigung der in<lb/>
dieser zu statuirenden Prinzipien der Konjugation und des Dualismus<lb/>
unsre Arbeit sich sehr verringern wird.</p><lb/>
          <p>Eine <hi rendition="#i">zweite</hi> Formelgruppe zieht auch die Spezies der Negation<lb/>
und Konversion mit in Betracht.</p><lb/>
          <p>Als die allereinfachsten verdienen vorangestellt zu werden die drei<lb/>
Sätze:<lb/>
8) <hi rendition="#et"><hi rendition="#i">a&#x0304;&#x0304;</hi> = <hi rendition="#i">a</hi>, <hi rendition="#i">a&#x0306;&#x0304;</hi> = <hi rendition="#i">a&#x0304;&#x0306;</hi>, <hi rendition="#i">a&#x0306;&#x0306;</hi> = <hi rendition="#i">a</hi>.</hi></p><lb/>
          <p>Der erste von diesen ist der schon aus dem identischen Kalkul<lb/>
bekannte &#x201E;<hi rendition="#i">Satz der doppelten Verneinung</hi> (Negation)&#x201C;.</p><lb/>
          <p>Der zweite lehrt, dass <hi rendition="#i">die Reihenfolge</hi>, in welcher die beiden Ope-<lb/>
rationen <hi rendition="#i">der Negation und der Konversion</hi> hintereinander ausgeführt<lb/>
werden, für das Ergebniss <hi rendition="#i">gleichgültig</hi> ist.</p><lb/>
          <p>Dieser Satz hat bislang keinen Namen; vielleicht ist es genehm,<lb/>
denselben als den &#x201E;<hi rendition="#i">Wechselsatz</hi> von Negation und Konversion&#x201C; zu<lb/>
bezeichnen.</p><lb/>
          <p>Der dritte mag analog der &#x201E;<hi rendition="#i">Satz der doppelten Konversion</hi>&#x201C; heissen.<lb/>
Derselbe lehrt, dass &#x2014; gleichwie durch doppelte Negation &#x2014; so auch<lb/><hi rendition="#i">durch doppelte</hi> (zweimal hintereinander vollzogene) <hi rendition="#i">Konversion jedes<lb/>
Relativ ungeändert bleibt</hi>. Auch doppelte Konversion &#x201E;hebt sich auf&#x201C;<lb/>
oder: das <hi rendition="#i">Konverse vom Konversen</hi> eines Relativs ist dieses ursprüng-<lb/>
liche Relativ selber.</p><lb/>
          <p>In ihrer Gesamtheit legen unsre drei Sätze die Folgerung nahe,<lb/>
dass die vier Ausdrücke<lb/>
B) <hi rendition="#et"><hi rendition="#i">a</hi>, <hi rendition="#i">a&#x0304;</hi>, <hi rendition="#i">a&#x0306;</hi>, <hi rendition="#i">a&#x0304;&#x0306;</hi></hi><lb/>
in Hinsicht der beiden Operationen der Negation und Konversion eine<lb/>
&#x201E;<hi rendition="#i">Gruppe</hi>&#x201C; bilden.</p><lb/>
          <p>Dieselben sollen <hi rendition="#i">die</hi> vier <hi rendition="#i">mit a</hi> (oder irgend einem von ihnen)<lb/>
&#x201E;<hi rendition="#i">verwandten</hi>&#x201C; <hi rendition="#i">Relative</hi> heissen.</p><lb/>
          <p>In hinreichend vereinfachten (sog. reduzirten) Ausdrücken kann<lb/>
eine jede der beiden nichtknüpfenden Spezies niemals successive, in<lb/>
mehrfacher Wiederholung, auftreten, sondern es kann nur vorkommen:<lb/>
eine jede einzeln, oder gar nicht, oder beide in der Ordnung -&#x0306; (strich-<lb/>
konvers) je einmal hintereinander.</p><lb/>
          <p>Insbesondre wird auch stets sein müssen:<lb/><hi rendition="#c"><hi rendition="#i">a&#x0304;&#x0306;&#x0304;&#x0306;</hi> = <hi rendition="#i">a</hi>.</hi></p><lb/>
          <p>Hiernächst treten zu <hi rendition="#g">De Morgan&#x2019;</hi>s schon bekannten Formeln:<lb/>
9) <table><lb/><row><cell><hi rendition="#i">a&#x0305;b&#x0305;</hi> = <hi rendition="#i">a&#x0304;</hi> + <hi rendition="#i">b&#x0304;</hi></cell><cell><hi rendition="#i">a&#x0305;</hi> +&#x0305; <hi rendition="#i">b&#x0305;</hi> = <hi rendition="#i">a&#x0304;b&#x0304;</hi></cell></row><lb/></table> <fw place="bottom" type="sig">6*</fw><lb/></p>
        </div>
      </div>
    </body>
  </text>
</TEI>
[83/0097] § 6. Gesetze von Negation und Konversion. ledigung der nächsten Formelgruppe, weil bei Berücksichtigung der in dieser zu statuirenden Prinzipien der Konjugation und des Dualismus unsre Arbeit sich sehr verringern wird. Eine zweite Formelgruppe zieht auch die Spezies der Negation und Konversion mit in Betracht. Als die allereinfachsten verdienen vorangestellt zu werden die drei Sätze: 8) ā̄ = a, ă̄ = ā̆, ă̆ = a. Der erste von diesen ist der schon aus dem identischen Kalkul bekannte „Satz der doppelten Verneinung (Negation)“. Der zweite lehrt, dass die Reihenfolge, in welcher die beiden Ope- rationen der Negation und der Konversion hintereinander ausgeführt werden, für das Ergebniss gleichgültig ist. Dieser Satz hat bislang keinen Namen; vielleicht ist es genehm, denselben als den „Wechselsatz von Negation und Konversion“ zu bezeichnen. Der dritte mag analog der „Satz der doppelten Konversion“ heissen. Derselbe lehrt, dass — gleichwie durch doppelte Negation — so auch durch doppelte (zweimal hintereinander vollzogene) Konversion jedes Relativ ungeändert bleibt. Auch doppelte Konversion „hebt sich auf“ oder: das Konverse vom Konversen eines Relativs ist dieses ursprüng- liche Relativ selber. In ihrer Gesamtheit legen unsre drei Sätze die Folgerung nahe, dass die vier Ausdrücke B) a, ā, ă, ā̆ in Hinsicht der beiden Operationen der Negation und Konversion eine „Gruppe“ bilden. Dieselben sollen die vier mit a (oder irgend einem von ihnen) „verwandten“ Relative heissen. In hinreichend vereinfachten (sog. reduzirten) Ausdrücken kann eine jede der beiden nichtknüpfenden Spezies niemals successive, in mehrfacher Wiederholung, auftreten, sondern es kann nur vorkommen: eine jede einzeln, oder gar nicht, oder beide in der Ordnung -̆ (strich- konvers) je einmal hintereinander. Insbesondre wird auch stets sein müssen: ā̆̄̆ = a. Hiernächst treten zu De Morgan’s schon bekannten Formeln: 9) a̅b̅ = ā + b̄ a̅ +̅ b̅ = āb̄ 6*

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_logik03_1895
URL zu dieser Seite: https://www.deutschestextarchiv.de/schroeder_logik03_1895/97
Zitationshilfe: Schröder, Ernst: Vorlesungen über die Algebra der Logik. Bd. 3, Abt. 1. Leipzig, 1895, S. 83. In: Deutsches Textarchiv <https://www.deutschestextarchiv.de/schroeder_logik03_1895/97>, abgerufen am 03.05.2024.