Anmelden (DTAQ) DWDS     dlexDB     CLARIN-D

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

Bild:
<< vorherige Seite
nächste Seite >>
§ 36. Reduktion auf den Typus der Gleichung und Ungleichung.

Nämlich bei a ist allein auf die Def. [60] hinzuweisen, bei b und c auf
das Th. 38x), bei d auf Th. 39x). Die Formeln für e, f, g sind Wieder-
holungen der Definitionen [50], [40] und [70], nämlich e = b c1, f = b1 c,
g = a1 b1 c1 mit Rücksicht auf die unmittelbar vorher gewonnenen Darstel-
lungen der Symbole rechterhand.

Bei b, g, d endlich sind die ersten Darstellungen zunächst nur Aus-
druck (ausführlichere Wiedergabe) der Definitionen [80]: b = e k1, g = f h1,
d = d h1 k1. Durch blosses Einsetzen der voraufgehenden Werte von e, f, d
aber würde man hieraus etwas andere, als die dahinter angegebenen Dar-
stellungen von b, g, d erhalten, nämlich solche, in denen an Stelle des
letzten Faktors {A B 0} bezüglich stünde {B 0}, {A 0}, und
{A 0} {B 0} [oder auch einfacher aber unsymmetrisch nur einer von
diesen beiden Faktoren allein, gleichviel, welcher von beiden -- wegen
d h1 k1 = d h1 = d k1 unter 100)'']. Die angegebenen zweiten Darstellungen
von b, g, d fliessen jedoch sofort aus den Darstellungen 180) mittelst Ein-
setzung der gefundenen Werte für die Symbole rechterhand.

Anmerkung. Wo in IV0 die Gleichung A B1 + A1 B = 0 auftritt,
könnte dieselbe nach Th. 24+) auch in das Produkt (A B1 = 0) (A1 B = 0)
umgeschrieben werden, und da die beiden Aussagen äquivalent sind, müssen
nach Th. 32) auch ihre Negationen es sein, woraus zu lernen, dass analog
die Ungleichung A B1 + A1 B 0 auch in die Summe (A B1 0) + (A1 B 0)
verwandelt werden dürfte.

Es haben sonach alle Umfangsbeziehungen sich durch Aussagen
über Gleichheit oder Ungleichheit wirklich darstellen lassen.

Hieraus folgt aber die wichtige Erkenntniss, dass wir jede über
Beziehungen zwischen Klassen (oder Umfangsverhältnisse von Begriffen)
überhaupt erdenkliche Aufgabe gelöst haben werden, sobald es uns nur ge-
lingen wird, das allgemeinste auf Gleichungen und Ungleichungen bezüg-
liche Problem zu lösen.

Diesem letztern Ziele werden wir demnach in Bälde zusteuern (§ 41
und 49 besonders).

Insofern mit einem Beziehungszeichen, bei Zulassung der Negation auch
an den solche Beziehung statuirenden Aussagen, immer schon dessen Ver-
neinung mitgegeben erscheint, können wir auch sagen:

Die Logik des Umfanges kommt mit den Operationen der identischen
drei Spezies (zur Not schon mit Negation und Multiplikation, vergl. Th. 36)
Anm.) und einem einzigen Beziehungszeichen aus bei allen ihren Problemen
und Untersuchungen, und zwar namentlich mit dem Zeichen = der Gleich-
heit, oder wenn man will auch mit dem Zeichen der Subsumtion.

Praktisch werden die beiden Zeichen = und , oder auch die beiden
und alle Dienste versehen.

Auf Grund der Darstellungen IV0 bewahrheiten sich unmittelbar
die folgenden Beziehungsäquivalenzen:

§ 36. Reduktion auf den Typus der Gleichung und Ungleichung.

Nämlich bei a ist allein auf die Def. [60] hinzuweisen, bei b und c auf
das Th. 38×), bei d auf Th. 39×). Die Formeln für e, f, g sind Wieder-
holungen der Definitionen [50], [40] und [70], nämlich e = b c1, f = b1 c,
g = a1 b1 c1 mit Rücksicht auf die unmittelbar vorher gewonnenen Darstel-
lungen der Symbole rechterhand.

Bei β, γ, δ endlich sind die ersten Darstellungen zunächst nur Aus-
druck (ausführlichere Wiedergabe) der Definitionen [80]: β = e k1, γ = f h1,
δ = d h1 k1. Durch blosses Einsetzen der voraufgehenden Werte von e, f, d
aber würde man hieraus etwas andere, als die dahinter angegebenen Dar-
stellungen von β, γ, δ erhalten, nämlich solche, in denen an Stelle des
letzten Faktors {A B ≠ 0} bezüglich stünde {B ≠ 0}, {A ≠ 0}, und
{A ≠ 0} {B ≠ 0} [oder auch einfacher aber unsymmetrisch nur einer von
diesen beiden Faktoren allein, gleichviel, welcher von beiden — wegen
d h1 k1 = d h1 = d k1 unter 100)'']. Die angegebenen zweiten Darstellungen
von β, γ, δ fliessen jedoch sofort aus den Darstellungen 180) mittelst Ein-
setzung der gefundenen Werte für die Symbole rechterhand.

Anmerkung. Wo in IV0 die Gleichung A B1 + A1 B = 0 auftritt,
könnte dieselbe nach Th. 24+) auch in das Produkt (A B1 = 0) (A1 B = 0)
umgeschrieben werden, und da die beiden Aussagen äquivalent sind, müssen
nach Th. 3̅2̅) auch ihre Negationen es sein, woraus zu lernen, dass analog
die Ungleichung A B1 + A1 B ≠ 0 auch in die Summe (A B1 ≠ 0) + (A1 B ≠ 0)
verwandelt werden dürfte.

Es haben sonach alle Umfangsbeziehungen sich durch Aussagen
über Gleichheit oder Ungleichheit wirklich darstellen lassen.

Hieraus folgt aber die wichtige Erkenntniss, dass wir jede über
Beziehungen zwischen Klassen (oder Umfangsverhältnisse von Begriffen)
überhaupt erdenkliche Aufgabe gelöst haben werden, sobald es uns nur ge-
lingen wird, das allgemeinste auf Gleichungen und Ungleichungen bezüg-
liche Problem zu lösen.

Diesem letztern Ziele werden wir demnach in Bälde zusteuern (§ 41
und 49 besonders).

Insofern mit einem Beziehungszeichen, bei Zulassung der Negation auch
an den solche Beziehung statuirenden Aussagen, immer schon dessen Ver-
neinung mitgegeben erscheint, können wir auch sagen:

Die Logik des Umfanges kommt mit den Operationen der identischen
drei Spezies (zur Not schon mit Negation und Multiplikation, vergl. Th. 36)
Anm.) und einem einzigen Beziehungszeichen aus bei allen ihren Problemen
und Untersuchungen, und zwar namentlich mit dem Zeichen = der Gleich-
heit, oder wenn man will auch mit dem Zeichen ⊆ der Subsumtion.

Praktisch werden die beiden Zeichen = und ≠, oder auch die beiden
⊆ und ⊆ alle Dienste versehen.

Auf Grund der Darstellungen IV0 bewahrheiten sich unmittelbar
die folgenden Beziehungsäquivalenzen:

<TEI>
  <text>
    <body>
      <div n="1">
        <div n="2">
          <div n="3">
            <pb facs="#f0145" n="121"/>
            <fw place="top" type="header">§ 36. Reduktion auf den Typus der Gleichung und Ungleichung.</fw><lb/>
            <p>Nämlich bei <hi rendition="#i">a</hi> ist allein auf die Def. [6<hi rendition="#sup">0</hi>] hinzuweisen, bei <hi rendition="#i">b</hi> und <hi rendition="#i">c</hi> auf<lb/>
das Th. 38<hi rendition="#sub">×</hi>), bei <hi rendition="#i">d</hi> auf Th. 39<hi rendition="#sub">×</hi>). Die Formeln für <hi rendition="#i">e</hi>, <hi rendition="#i">f</hi>, <hi rendition="#i">g</hi> sind Wieder-<lb/>
holungen der Definitionen [5<hi rendition="#sup">0</hi>], [4<hi rendition="#sup">0</hi>] und [7<hi rendition="#sup">0</hi>], nämlich <hi rendition="#i">e</hi> = <hi rendition="#i">b c</hi><hi rendition="#sub">1</hi>, <hi rendition="#i">f</hi> = <hi rendition="#i">b</hi><hi rendition="#sub">1</hi> <hi rendition="#i">c</hi>,<lb/><hi rendition="#i">g</hi> = <hi rendition="#i">a</hi><hi rendition="#sub">1</hi> <hi rendition="#i">b</hi><hi rendition="#sub">1</hi> <hi rendition="#i">c</hi><hi rendition="#sub">1</hi> mit Rücksicht auf die unmittelbar vorher gewonnenen Darstel-<lb/>
lungen der Symbole rechterhand.</p><lb/>
            <p>Bei <hi rendition="#i">&#x03B2;</hi>, <hi rendition="#i">&#x03B3;</hi>, <hi rendition="#i">&#x03B4;</hi> endlich sind die ersten Darstellungen zunächst nur Aus-<lb/>
druck (ausführlichere Wiedergabe) der Definitionen [8<hi rendition="#sup">0</hi>]: <hi rendition="#i">&#x03B2;</hi> = <hi rendition="#i">e k</hi><hi rendition="#sub">1</hi>, <hi rendition="#i">&#x03B3;</hi> = <hi rendition="#i">f h</hi><hi rendition="#sub">1</hi>,<lb/><hi rendition="#i">&#x03B4;</hi> = <hi rendition="#i">d h</hi><hi rendition="#sub">1</hi> <hi rendition="#i">k</hi><hi rendition="#sub">1</hi>. Durch blosses Einsetzen der voraufgehenden Werte von <hi rendition="#i">e</hi>, <hi rendition="#i">f</hi>, <hi rendition="#i">d</hi><lb/>
aber würde man hieraus etwas andere, als die dahinter angegebenen Dar-<lb/>
stellungen von <hi rendition="#i">&#x03B2;</hi>, <hi rendition="#i">&#x03B3;</hi>, <hi rendition="#i">&#x03B4;</hi> erhalten, nämlich solche, in denen an Stelle des<lb/>
letzten Faktors {<hi rendition="#i">A B</hi> &#x2260; 0} bezüglich stünde {<hi rendition="#i">B</hi> &#x2260; 0}, {<hi rendition="#i">A</hi> &#x2260; 0}, und<lb/>
{<hi rendition="#i">A</hi> &#x2260; 0} {<hi rendition="#i">B</hi> &#x2260; 0} [oder auch einfacher aber unsymmetrisch nur einer von<lb/>
diesen beiden Faktoren allein, gleichviel, welcher von beiden &#x2014; wegen<lb/><hi rendition="#i">d h</hi><hi rendition="#sub">1</hi> <hi rendition="#i">k</hi><hi rendition="#sub">1</hi> = <hi rendition="#i">d h</hi><hi rendition="#sub">1</hi> = <hi rendition="#i">d k</hi><hi rendition="#sub">1</hi> unter 10<hi rendition="#sup">0</hi>)'']. Die angegebenen zweiten Darstellungen<lb/>
von <hi rendition="#i">&#x03B2;</hi>, <hi rendition="#i">&#x03B3;</hi>, <hi rendition="#i">&#x03B4;</hi> fliessen jedoch sofort aus den Darstellungen 18<hi rendition="#sup">0</hi>) mittelst Ein-<lb/>
setzung der gefundenen Werte für die Symbole rechterhand.</p><lb/>
            <p><hi rendition="#g">Anmerkung</hi>. Wo in IV<hi rendition="#sup">0</hi> die Gleichung <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> = 0 auftritt,<lb/>
könnte dieselbe nach Th. 24<hi rendition="#sub">+</hi>) auch in das Produkt (<hi rendition="#i">A B</hi><hi rendition="#sub">1</hi> = 0) (<hi rendition="#i">A</hi><hi rendition="#sub">1</hi> <hi rendition="#i">B</hi> = 0)<lb/>
umgeschrieben werden, und da die beiden Aussagen äquivalent sind, müssen<lb/>
nach Th. 3&#x0305;2&#x0305;) auch ihre Negationen es sein, woraus zu lernen, dass analog<lb/>
die Ungleichung <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> &#x2260; 0 auch in die Summe (<hi rendition="#i">A B</hi><hi rendition="#sub">1</hi> &#x2260; 0) + (<hi rendition="#i">A</hi><hi rendition="#sub">1</hi> <hi rendition="#i">B</hi> &#x2260; 0)<lb/>
verwandelt werden dürfte.</p><lb/>
            <p>Es haben sonach alle Umfangsbeziehungen sich durch Aussagen<lb/>
über Gleichheit oder Ungleichheit wirklich darstellen lassen.</p><lb/>
            <p>Hieraus folgt aber die wichtige Erkenntniss, <hi rendition="#i">dass wir jede über<lb/>
Beziehungen zwischen Klassen (oder Umfangsverhältnisse von Begriffen)<lb/>
überhaupt erdenkliche Aufgabe gelöst haben werden, sobald es uns nur ge-<lb/>
lingen wird, das allgemeinste auf Gleichungen und Ungleichungen bezüg-<lb/>
liche Problem zu lösen</hi>.</p><lb/>
            <p>Diesem letztern Ziele werden wir demnach in Bälde zusteuern (§ 41<lb/>
und 49 besonders).</p><lb/>
            <p>Insofern mit einem Beziehungszeichen, bei Zulassung der Negation auch<lb/>
an den solche Beziehung statuirenden Aussagen, immer schon dessen Ver-<lb/>
neinung mitgegeben erscheint, können wir auch sagen:</p><lb/>
            <p><hi rendition="#i">Die Logik des Umfanges kommt mit den Operationen der identischen<lb/>
drei Spezies</hi> (zur Not schon mit Negation und Multiplikation, vergl. Th. 36)<lb/>
Anm.) <hi rendition="#i">und einem einzigen Beziehungszeichen aus</hi> bei allen ihren Problemen<lb/>
und Untersuchungen, und zwar namentlich <hi rendition="#i">mit dem Zeichen</hi> = <hi rendition="#i">der Gleich-<lb/>
heit</hi>, oder wenn man will auch <hi rendition="#i">mit dem Zeichen</hi> <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> <hi rendition="#i">der Subsumtion</hi>.</p><lb/>
            <p>Praktisch werden die <hi rendition="#i">beiden</hi> Zeichen = und &#x2260;, oder auch die beiden<lb/><choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> und <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice>   alle Dienste versehen.</p><lb/>
            <p>Auf Grund der Darstellungen IV<hi rendition="#sup">0</hi> bewahrheiten sich unmittelbar<lb/>
die folgenden Beziehungsäquivalenzen:</p><lb/>
          </div>
        </div>
      </div>
    </body>
  </text>
</TEI>
[121/0145] § 36. Reduktion auf den Typus der Gleichung und Ungleichung. Nämlich bei a ist allein auf die Def. [60] hinzuweisen, bei b und c auf das Th. 38×), bei d auf Th. 39×). Die Formeln für e, f, g sind Wieder- holungen der Definitionen [50], [40] und [70], nämlich e = b c1, f = b1 c, g = a1 b1 c1 mit Rücksicht auf die unmittelbar vorher gewonnenen Darstel- lungen der Symbole rechterhand. Bei β, γ, δ endlich sind die ersten Darstellungen zunächst nur Aus- druck (ausführlichere Wiedergabe) der Definitionen [80]: β = e k1, γ = f h1, δ = d h1 k1. Durch blosses Einsetzen der voraufgehenden Werte von e, f, d aber würde man hieraus etwas andere, als die dahinter angegebenen Dar- stellungen von β, γ, δ erhalten, nämlich solche, in denen an Stelle des letzten Faktors {A B ≠ 0} bezüglich stünde {B ≠ 0}, {A ≠ 0}, und {A ≠ 0} {B ≠ 0} [oder auch einfacher aber unsymmetrisch nur einer von diesen beiden Faktoren allein, gleichviel, welcher von beiden — wegen d h1 k1 = d h1 = d k1 unter 100)'']. Die angegebenen zweiten Darstellungen von β, γ, δ fliessen jedoch sofort aus den Darstellungen 180) mittelst Ein- setzung der gefundenen Werte für die Symbole rechterhand. Anmerkung. Wo in IV0 die Gleichung A B1 + A1 B = 0 auftritt, könnte dieselbe nach Th. 24+) auch in das Produkt (A B1 = 0) (A1 B = 0) umgeschrieben werden, und da die beiden Aussagen äquivalent sind, müssen nach Th. 3̅2̅) auch ihre Negationen es sein, woraus zu lernen, dass analog die Ungleichung A B1 + A1 B ≠ 0 auch in die Summe (A B1 ≠ 0) + (A1 B ≠ 0) verwandelt werden dürfte. Es haben sonach alle Umfangsbeziehungen sich durch Aussagen über Gleichheit oder Ungleichheit wirklich darstellen lassen. Hieraus folgt aber die wichtige Erkenntniss, dass wir jede über Beziehungen zwischen Klassen (oder Umfangsverhältnisse von Begriffen) überhaupt erdenkliche Aufgabe gelöst haben werden, sobald es uns nur ge- lingen wird, das allgemeinste auf Gleichungen und Ungleichungen bezüg- liche Problem zu lösen. Diesem letztern Ziele werden wir demnach in Bälde zusteuern (§ 41 und 49 besonders). Insofern mit einem Beziehungszeichen, bei Zulassung der Negation auch an den solche Beziehung statuirenden Aussagen, immer schon dessen Ver- neinung mitgegeben erscheint, können wir auch sagen: Die Logik des Umfanges kommt mit den Operationen der identischen drei Spezies (zur Not schon mit Negation und Multiplikation, vergl. Th. 36) Anm.) und einem einzigen Beziehungszeichen aus bei allen ihren Problemen und Untersuchungen, und zwar namentlich mit dem Zeichen = der Gleich- heit, oder wenn man will auch mit dem Zeichen  der Subsumtion. Praktisch werden die beiden Zeichen = und ≠, oder auch die beiden  und  alle Dienste versehen. Auf Grund der Darstellungen IV0 bewahrheiten sich unmittelbar die folgenden Beziehungsäquivalenzen:

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_logik0201_1891
URL zu dieser Seite: https://www.deutschestextarchiv.de/schroeder_logik0201_1891/145
Zitationshilfe: Schröder, Ernst: Vorlesungen über die Algebra der Logik. Bd. 2, Abt. 1. Leipzig, 1891, S. 121. In: Deutsches Textarchiv <https://www.deutschestextarchiv.de/schroeder_logik0201_1891/145>, abgerufen am 27.04.2024.