Schröder, Ernst: Vorlesungen über die Algebra der Logik. Bd. 2, Abt. 1. Leipzig, 1891.Achtzehnte Vorlesung. Erleichterungen (wie XXIV0 für die Unterfälle von a) gewähren soll fürdie Klassifikation aller möglichen Unterfälle von a1 und seinen vier Elementar- fällen a, b, g, d. Obwol die Angaben dieser Tafel äusserst leicht aus dem Anblick der Tafeln III0 und XIII0 zu entnehmen sind und sich auch unter den Hülfsrelationen XV0 bereits mit angeführt finden, wird ihre Zusammen- stellung doch der Bequemlichkeit des Studirenden dienen. Als von hohem Interesse kann man noch die Frage aufwerfen: Eine Aussage über ein gegebenes System von Begriffen (Klassen, Es würde umständlich sein, alle obigen Aussagen auf diese Möglich- Dagegen ergibt sich leicht die Beantwortung der gestellten Frage, Eine zerfallende Aussage über A und B muss sich ausschliesslich Weil h m = 0 und k n = 0 gilt, verschwinden aber einzelne von Achtzehnte Vorlesung. Erleichterungen (wie XXIV0 für die Unterfälle von a) gewähren soll fürdie Klassifikation aller möglichen Unterfälle von a1 und seinen vier Elementar- fällen α, β, γ, δ. Obwol die Angaben dieser Tafel äusserst leicht aus dem Anblick der Tafeln III0 und XIII0 zu entnehmen sind und sich auch unter den Hülfsrelationen XV0 bereits mit angeführt finden, wird ihre Zusammen- stellung doch der Bequemlichkeit des Studirenden dienen. Als von hohem Interesse kann man noch die Frage aufwerfen: Eine Aussage über ein gegebenes System von Begriffen (Klassen, Es würde umständlich sein, alle obigen Aussagen auf diese Möglich- Dagegen ergibt sich leicht die Beantwortung der gestellten Frage, Eine zerfallende Aussage über A und B muss sich ausschliesslich Weil h m = 0 und k n = 0 gilt, verschwinden aber einzelne von <TEI> <text> <body> <div n="1"> <div n="2"> <div n="3"> <p><pb facs="#f0182" n="158"/><fw place="top" type="header">Achtzehnte Vorlesung.</fw><lb/> Erleichterungen (wie XXIV<hi rendition="#sup">0</hi> für die Unterfälle von <hi rendition="#i">a</hi>) gewähren soll für<lb/> die Klassifikation aller möglichen Unterfälle von <hi rendition="#i">a</hi><hi rendition="#sub">1</hi> und seinen vier Elementar-<lb/> fällen <hi rendition="#i">α</hi>, <hi rendition="#i">β</hi>, <hi rendition="#i">γ</hi>, <hi rendition="#i">δ</hi>. Obwol die Angaben dieser Tafel äusserst leicht aus dem<lb/> Anblick der Tafeln III<hi rendition="#sup">0</hi> und XIII<hi rendition="#sup">0</hi> zu entnehmen sind und sich auch unter<lb/> den Hülfsrelationen XV<hi rendition="#sup">0</hi> bereits mit angeführt finden, wird ihre Zusammen-<lb/> stellung doch der Bequemlichkeit des Studirenden dienen.</p><lb/> <p>Als von hohem Interesse kann man noch die Frage aufwerfen:<lb/> wie viele (und welche) von den 32 767 Aussagen über <hi rendition="#i">A</hi> und <hi rendition="#i">B</hi> „zer-<lb/> fallen“?</p><lb/> <p>Eine Aussage über ein gegebenes System von Begriffen (Klassen,<lb/> Gebieten) wird eine „<hi rendition="#i">zerfallende</hi>“ zu nennen sein, wenn es möglich ist,<lb/> sie aussagenrechnerisch aus lauter solchen Aussagen aufzubauen, in<lb/> deren jeder nur je von einem derselben die Rede ist — ohne jegliche<lb/> Erwähnung der übrigen Begriffe des Systemes.</p><lb/> <p>Es würde umständlich sein, alle obigen Aussagen auf diese Möglich-<lb/> keit hin zu untersuchen, nämlich bei einer jeden zu entscheiden, ob sie<lb/> zusammensetzbar ist aus lauter nur <hi rendition="#i">A</hi>, sowie nur <hi rendition="#i">B</hi> betreffenden Teilaus-<lb/> sagen, oder nicht.</p><lb/> <p>Dagegen ergibt sich leicht die Beantwortung der gestellten Frage,<lb/> wenn man die über <hi rendition="#i">A</hi> allein, somit auch die über <hi rendition="#i">B</hi> allein, abgebbaren<lb/> Aussagen systematisch aufsucht, sodann deren mögliche (multiplikative und<lb/> additive) Kombinationen.</p><lb/> <p>Eine zerfallende Aussage über <hi rendition="#i">A</hi> und <hi rendition="#i">B</hi> muss sich ausschliesslich<lb/> aus den vieren:<lb/><hi rendition="#c"><hi rendition="#i">h</hi>, <hi rendition="#i">k</hi>, <hi rendition="#i">m</hi>, <hi rendition="#i">n</hi></hi><lb/> als eine „Funktion“ des Aussagenkalkuls <hi rendition="#i">f</hi> (<hi rendition="#i">h</hi>, <hi rendition="#i">k</hi>, <hi rendition="#i">m</hi>, <hi rendition="#i">n</hi>) zusammensetzen.<lb/> Diese nach ihren 4 Argumenten entwickelt gedacht, setzt sich ihrer-<lb/> seits aus 2<hi rendition="#sup">4</hi> = 16 Konstituenten zusammen, deren jeder entweder 0 oder<lb/> 1 zum Koeffizienten haben muss. Diese Konstituenten sind:<lb/><hi rendition="#i"><hi rendition="#u">h k m n</hi></hi>, <hi rendition="#u"><hi rendition="#i">h k m n</hi><hi rendition="#sub">1</hi></hi>, <hi rendition="#u"><hi rendition="#i">h k m</hi><hi rendition="#sub">1</hi><hi rendition="#i">n</hi></hi>, <hi rendition="#i">h k m</hi><hi rendition="#sub">1</hi> <hi rendition="#i">n</hi><hi rendition="#sub">1</hi>, <hi rendition="#u"><hi rendition="#i">h k</hi><hi rendition="#sub">1</hi><hi rendition="#i">m n</hi></hi>, <hi rendition="#u"><hi rendition="#i">h k</hi><hi rendition="#sub">1</hi><hi rendition="#i">m n</hi><hi rendition="#sub">1</hi></hi>, <hi rendition="#i">h k</hi><hi rendition="#sub">1</hi> <hi rendition="#i">m</hi><hi rendition="#sub">1</hi> <hi rendition="#i">n</hi>, <hi rendition="#i">h k</hi><hi rendition="#sub">1</hi> <hi rendition="#i">m</hi><hi rendition="#sub">1</hi> <hi rendition="#i">n</hi><hi rendition="#sub">1</hi>,<lb/><hi rendition="#u"><hi rendition="#i">h</hi><hi rendition="#sub">1</hi><hi rendition="#i">k m n</hi></hi>, <hi rendition="#i">h</hi><hi rendition="#sub">1</hi> <hi rendition="#i">k m n</hi><hi rendition="#sub">1</hi>, <hi rendition="#u"><hi rendition="#i">h</hi><hi rendition="#sub">1</hi><hi rendition="#i">k m</hi><hi rendition="#sub">1</hi><hi rendition="#i">n</hi></hi>, <hi rendition="#i">h</hi><hi rendition="#sub">1</hi> <hi rendition="#i">k m</hi><hi rendition="#sub">1</hi> <hi rendition="#i">n</hi><hi rendition="#sub">1</hi>, <hi rendition="#i">h</hi><hi rendition="#sub">1</hi> <hi rendition="#i">k</hi><hi rendition="#sub">1</hi> <hi rendition="#i">m n</hi>, <hi rendition="#i">h</hi><hi rendition="#sub">1</hi> <hi rendition="#i">k</hi><hi rendition="#sub">1</hi> <hi rendition="#i">m n</hi><hi rendition="#sub">1</hi>, <hi rendition="#i">h</hi><hi rendition="#sub">1</hi> <hi rendition="#i">k</hi><hi rendition="#sub">1</hi> <hi rendition="#i">m</hi><hi rendition="#sub">1</hi> <hi rendition="#i">n</hi>, <hi rendition="#i">h</hi><hi rendition="#sub">1</hi> <hi rendition="#i">k</hi><hi rendition="#sub">1</hi> <hi rendition="#i">m</hi><hi rendition="#sub">1</hi> <hi rendition="#i">n</hi><hi rendition="#sub">1</hi>.</p><lb/> <p>Weil <hi rendition="#i">h m</hi> = 0 und <hi rendition="#i">k n</hi> = 0 gilt, verschwinden aber einzelne von<lb/> diesen Konstituenten selbst und zwar die 7 vorstehend unterstrichenen.<lb/> Und wegen<lb/><hi rendition="#c"><hi rendition="#i">h m</hi><hi rendition="#sub">1</hi> = <hi rendition="#i">h</hi>, <hi rendition="#i">h</hi><hi rendition="#sub">1</hi> <hi rendition="#i">m</hi> = <hi rendition="#i">m</hi>, <hi rendition="#i">k n</hi><hi rendition="#sub">1</hi> = <hi rendition="#i">k</hi>, <hi rendition="#i">k</hi><hi rendition="#sub">1</hi> <hi rendition="#i">n</hi> = <hi rendition="#i">n</hi></hi><lb/> lassen die neun stehen gebliebenen bezüglich folgende Vereinfachung<lb/> ihres Ausdruckes zu:<lb/><hi rendition="#c"><hi rendition="#i">h k</hi>, <hi rendition="#i">h n</hi>, <hi rendition="#i">h k</hi><hi rendition="#sub">1</hi><hi rendition="#i">n</hi><hi rendition="#sub">1</hi>, <hi rendition="#i">k m</hi>, <hi rendition="#i">h</hi><hi rendition="#sub">1</hi><hi rendition="#i">k m</hi><hi rendition="#sub">1</hi>, <hi rendition="#i">m n</hi>, <hi rendition="#i">k</hi><hi rendition="#sub">1</hi><hi rendition="#i">m n</hi><hi rendition="#sub">1</hi>, <hi rendition="#i">h</hi><hi rendition="#sub">1</hi><hi rendition="#i">m</hi><hi rendition="#sub">1</hi><hi rendition="#i">n</hi>, <hi rendition="#i">h</hi><hi rendition="#sub">1</hi><hi rendition="#i">k</hi><hi rendition="#sub">1</hi><hi rendition="#i">m</hi><hi rendition="#sub">1</hi><hi rendition="#i">n</hi><hi rendition="#sub">1</hi>.</hi></p><lb/> </div> </div> </div> </body> </text> </TEI> [158/0182]
Achtzehnte Vorlesung.
Erleichterungen (wie XXIV0 für die Unterfälle von a) gewähren soll für
die Klassifikation aller möglichen Unterfälle von a1 und seinen vier Elementar-
fällen α, β, γ, δ. Obwol die Angaben dieser Tafel äusserst leicht aus dem
Anblick der Tafeln III0 und XIII0 zu entnehmen sind und sich auch unter
den Hülfsrelationen XV0 bereits mit angeführt finden, wird ihre Zusammen-
stellung doch der Bequemlichkeit des Studirenden dienen.
Als von hohem Interesse kann man noch die Frage aufwerfen:
wie viele (und welche) von den 32 767 Aussagen über A und B „zer-
fallen“?
Eine Aussage über ein gegebenes System von Begriffen (Klassen,
Gebieten) wird eine „zerfallende“ zu nennen sein, wenn es möglich ist,
sie aussagenrechnerisch aus lauter solchen Aussagen aufzubauen, in
deren jeder nur je von einem derselben die Rede ist — ohne jegliche
Erwähnung der übrigen Begriffe des Systemes.
Es würde umständlich sein, alle obigen Aussagen auf diese Möglich-
keit hin zu untersuchen, nämlich bei einer jeden zu entscheiden, ob sie
zusammensetzbar ist aus lauter nur A, sowie nur B betreffenden Teilaus-
sagen, oder nicht.
Dagegen ergibt sich leicht die Beantwortung der gestellten Frage,
wenn man die über A allein, somit auch die über B allein, abgebbaren
Aussagen systematisch aufsucht, sodann deren mögliche (multiplikative und
additive) Kombinationen.
Eine zerfallende Aussage über A und B muss sich ausschliesslich
aus den vieren:
h, k, m, n
als eine „Funktion“ des Aussagenkalkuls f (h, k, m, n) zusammensetzen.
Diese nach ihren 4 Argumenten entwickelt gedacht, setzt sich ihrer-
seits aus 24 = 16 Konstituenten zusammen, deren jeder entweder 0 oder
1 zum Koeffizienten haben muss. Diese Konstituenten sind:
h k m n, h k m n1, h k m1 n, h k m1 n1, h k1 m n, h k1 m n1, h k1 m1 n, h k1 m1 n1,
h1 k m n, h1 k m n1, h1 k m1 n, h1 k m1 n1, h1 k1 m n, h1 k1 m n1, h1 k1 m1 n, h1 k1 m1 n1.
Weil h m = 0 und k n = 0 gilt, verschwinden aber einzelne von
diesen Konstituenten selbst und zwar die 7 vorstehend unterstrichenen.
Und wegen
h m1 = h, h1 m = m, k n1 = k, k1 n = n
lassen die neun stehen gebliebenen bezüglich folgende Vereinfachung
ihres Ausdruckes zu:
h k, h n, h k1 n1, k m, h1 k m1, m n, k1 m n1, h1 m1 n, h1 k1 m1 n1.
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/182 |
Zitationshilfe: | Schröder, Ernst: Vorlesungen über die Algebra der Logik. Bd. 2, Abt. 1. Leipzig, 1891, S. 158. In: Deutsches Textarchiv <https://www.deutschestextarchiv.de/schroeder_logik0201_1891/182>, abgerufen am 24.08.2024. |