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

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

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.

<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">&#x03B1;</hi>, <hi rendition="#i">&#x03B2;</hi>, <hi rendition="#i">&#x03B3;</hi>, <hi rendition="#i">&#x03B4;</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> &#x201E;zer-<lb/>
fallen&#x201C;?</p><lb/>
            <p>Eine Aussage über ein gegebenes System von Begriffen (Klassen,<lb/>
Gebieten) wird eine &#x201E;<hi rendition="#i">zerfallende</hi>&#x201C; 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 &#x2014; 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 &#x201E;Funktion&#x201C; 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 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_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 26.11.2024.