Schröder, Ernst: Vorlesungen über die Algebra der Logik. Bd. 2, Abt. 1. Leipzig, 1891.§ 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 Bei b, g, d endlich sind die ersten Darstellungen zunächst nur Aus- Anmerkung. Wo in IV0 die Gleichung A B1 + A1 B = 0 auftritt, Es haben sonach alle Umfangsbeziehungen sich durch Aussagen Hieraus folgt aber die wichtige Erkenntniss, dass wir jede über Diesem letztern Ziele werden wir demnach in Bälde zusteuern (§ 41 Insofern mit einem Beziehungszeichen, bei Zulassung der Negation auch Die Logik des Umfanges kommt mit den Operationen der identischen Praktisch werden die beiden Zeichen = und , oder auch die beiden Auf Grund der Darstellungen IV0 bewahrheiten sich unmittelbar § 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 Bei β, γ, δ endlich sind die ersten Darstellungen zunächst nur Aus- Anmerkung. Wo in IV0 die Gleichung A B1 + A1 B = 0 auftritt, Es haben sonach alle Umfangsbeziehungen sich durch Aussagen Hieraus folgt aber die wichtige Erkenntniss, dass wir jede über Diesem letztern Ziele werden wir demnach in Bälde zusteuern (§ 41 Insofern mit einem Beziehungszeichen, bei Zulassung der Negation auch Die Logik des Umfanges kommt mit den Operationen der identischen Praktisch werden die beiden Zeichen = und ≠, oder auch die beiden Auf Grund der Darstellungen IV0 bewahrheiten sich unmittelbar <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">β</hi>, <hi rendition="#i">γ</hi>, <hi rendition="#i">δ</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">β</hi> = <hi rendition="#i">e k</hi><hi rendition="#sub">1</hi>, <hi rendition="#i">γ</hi> = <hi rendition="#i">f h</hi><hi rendition="#sub">1</hi>,<lb/><hi rendition="#i">δ</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">β</hi>, <hi rendition="#i">γ</hi>, <hi rendition="#i">δ</hi> erhalten, nämlich solche, in denen an Stelle des<lb/> letzten Faktors {<hi rendition="#i">A B</hi> ≠ 0} bezüglich stünde {<hi rendition="#i">B</hi> ≠ 0}, {<hi rendition="#i">A</hi> ≠ 0}, und<lb/> {<hi rendition="#i">A</hi> ≠ 0} {<hi rendition="#i">B</hi> ≠ 0} [oder auch einfacher aber unsymmetrisch nur einer von<lb/> diesen beiden Faktoren allein, gleichviel, welcher von beiden — 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">β</hi>, <hi rendition="#i">γ</hi>, <hi rendition="#i">δ</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̅2̅) 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> ≠ 0 auch in die Summe (<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/> 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></orig><reg>⊆</reg></choice> <hi rendition="#i">der Subsumtion</hi>.</p><lb/> <p>Praktisch werden die <hi rendition="#i">beiden</hi> Zeichen = und ≠, oder auch die beiden<lb/><choice><orig></orig><reg>⊆</reg></choice> und <choice><orig></orig><reg>⊆</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 WerkInformationen zum Werk
Download dieses Werks
XML (TEI P5) ·
HTML ·
Text Metadaten zum WerkTEI-Header · CMDI · Dublin Core Ansichten dieser Seite
Voyant Tools
|
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 26.08.2024. |