§ 49. Studien über die Klausel und noch ungelöste Probleme des Kalkuls.
In § 41 haben wir gelernt aus dem allgemeinsten Prämissen- system, welches über Gebiete (oder Klassen) überhaupt erdacht und in Bezug auf solche zugrunde gelegt werden kann, ein Gebietsymbol x zu eliminiren. Wir dachten uns die Prämissen des Systems zu einer Gesamtaussage vereinigt. Dieser konnte die Gestalt des Minor, der Hypothesis, Voraussetzung in der Subsumtion a) des § 41 gegeben werden: 10) S (a x + b x1 = 1) (p x + q x1 0) (r x + s x1 0) ... -- wo alle auf den Gleichungfaktor folgenden Aussagenfaktoren nur Ungleichungen mit der rechten Seite 0 sein dürfen -- und war dies also die allgemeinste "Gesamtaussage der Data" welche sich, während in ihnen von einem Gebiet x die Rede ist, im Gebietekalkul formu- liren lässt.
Um aus diesen Prämissen das Gebiet x zu eliminiren, brauchten wir blos die Gesamtaussage anzusetzen, welche durch den Major, die Thesis oder Behauptung genannter Subsumtion § 41, a) dargestellt wird und lautet: 20) S (a + b = 1) (p a + q b 0) (r a + s b 0) ...
Wie bereits Beispiele zeigten, durfte aber diese Konklusion nicht als die volle Resultante der Elimination des x hingestellt werden -- wir nannten sie einstweilen: die "Resultante aus dem Rohen" und wird sich diese Benennung in Bälde rechtfertigen.
Die erwiesene Beziehung zwischen den Aussagen 10) und 20) war nun diese: 10) 20); aus 10) folgt allemal 20), genauer: wenn für irgend ein x, für (ein) "gewisse(s)" x, die Hypothesis 10) erfüllt ist, so gilt sicher die Be- hauptung 20).
Im allgemeinen zu verneinen war jedoch die Frage, ob auch um- gekehrt, unter der Annahme 20) gefolgert werden könne, dass 10) für gewisse x erfüllt sei, m. a. W. dass es dann überhaupt ein x gebe, welches in die Aussage 10) eingesetzt (unter dem Symbol x in der- selben verstanden) dieselbe zu einer wahren Aussage mache.
Zu erledigen blieb daher noch die Frage nach der vollen Resul- tante der Elimination des x aus den Daten 10), d. h. es bleibt zu er-
24*
§ 49. Studien über die Klausel.
§ 49. Studien über die Klausel und noch ungelöste Probleme des Kalkuls.
In § 41 haben wir gelernt aus dem allgemeinsten Prämissen- system, welches über Gebiete (oder Klassen) überhaupt erdacht und in Bezug auf solche zugrunde gelegt werden kann, ein Gebietsymbol x zu eliminiren. Wir dachten uns die Prämissen des Systems zu einer Gesamtaussage vereinigt. Dieser konnte die Gestalt des Minor, der Hypothesis, Voraussetzung in der Subsumtion α) des § 41 gegeben werden: 10) Σ (a x + b x1 = 1) (p x + q x1 ≠ 0) (r x + s x1 ≠ 0) … — wo alle auf den Gleichungfaktor folgenden Aussagenfaktoren nur Ungleichungen mit der rechten Seite 0 sein dürfen — und war dies also die allgemeinste „Gesamtaussage der Data“ welche sich, während in ihnen von einem Gebiet x die Rede ist, im Gebietekalkul formu- liren lässt.
Um aus diesen Prämissen das Gebiet x zu eliminiren, brauchten wir blos die Gesamtaussage anzusetzen, welche durch den Major, die Thesis oder Behauptung genannter Subsumtion § 41, α) dargestellt wird und lautet: 20) Σ (a + b = 1) (p a + q b ≠ 0) (r a + s b ≠ 0) …
Wie bereits Beispiele zeigten, durfte aber diese Konklusion nicht als die volle Resultante der Elimination des x hingestellt werden — wir nannten sie einstweilen: die „Resultante aus dem Rohen“ und wird sich diese Benennung in Bälde rechtfertigen.
Die erwiesene Beziehung zwischen den Aussagen 10) und 20) war nun diese: 10) ⊆ 20); aus 10) folgt allemal 20), genauer: wenn für irgend ein x, für (ein) „gewisse(s)“ x, die Hypothesis 10) erfüllt ist, so gilt sicher die Be- hauptung 20).
Im allgemeinen zu verneinen war jedoch die Frage, ob auch um- gekehrt, unter der Annahme 20) gefolgert werden könne, dass 10) für gewisse x erfüllt sei, m. a. W. dass es dann überhaupt ein x gebe, welches in die Aussage 10) eingesetzt (unter dem Symbol x in der- selben verstanden) dieselbe zu einer wahren Aussage mache.
Zu erledigen blieb daher noch die Frage nach der vollen Resul- tante der Elimination des x aus den Daten 10), d. h. es bleibt zu er-
24*
<TEI><text><body><divn="1"><divn="2"><pbfacs="#f0395"n="371"/><fwplace="top"type="header">§ 49. Studien über die Klausel.</fw><lb/><divn="3"><head>§ 49. <hirendition="#b">Studien über die Klausel und noch ungelöste Probleme<lb/>
des Kalkuls.</hi></head><lb/><p>In § 41 haben wir gelernt aus dem allgemeinsten Prämissen-<lb/>
system, welches über Gebiete (oder Klassen) überhaupt erdacht und<lb/>
in Bezug auf solche zugrunde gelegt werden kann, ein Gebietsymbol<lb/><hirendition="#i">x</hi> zu eliminiren. Wir dachten uns die Prämissen des Systems zu einer<lb/>
Gesamtaussage vereinigt. Dieser konnte die Gestalt des Minor, der<lb/>
Hypothesis, Voraussetzung in der Subsumtion <hirendition="#i">α</hi>) des § 41 gegeben<lb/>
werden:<lb/>
1<hirendition="#sup">0</hi>) <hirendition="#et"><hirendition="#i">Σ</hi> (<hirendition="#i">a x</hi> + <hirendition="#i">b x</hi><hirendition="#sub">1</hi> = 1) (<hirendition="#i">p x</hi> + <hirendition="#i">q x</hi><hirendition="#sub">1</hi>≠ 0) (<hirendition="#i">r x</hi> + <hirendition="#i">s x</hi><hirendition="#sub">1</hi>≠ 0) …</hi><lb/>— wo alle auf den Gleichungfaktor folgenden Aussagenfaktoren nur<lb/>
Ungleichungen mit der rechten Seite 0 sein dürfen — und war dies<lb/>
also die allgemeinste „Gesamtaussage der Data“ welche sich, während<lb/>
in ihnen von einem Gebiet <hirendition="#i">x</hi> die Rede ist, im Gebietekalkul formu-<lb/>
liren lässt.</p><lb/><p>Um aus diesen Prämissen das Gebiet <hirendition="#i">x</hi> zu eliminiren, brauchten<lb/>
wir blos die Gesamtaussage anzusetzen, welche durch den Major, die<lb/>
Thesis oder Behauptung genannter Subsumtion § 41, <hirendition="#i">α</hi>) dargestellt<lb/>
wird und lautet:<lb/>
2<hirendition="#sup">0</hi>) <hirendition="#et"><hirendition="#i">Σ</hi> (<hirendition="#i">a</hi> + <hirendition="#i">b</hi> = 1) (<hirendition="#i">p a</hi> + <hirendition="#i">q b</hi>≠ 0) (<hirendition="#i">r a</hi> + <hirendition="#i">s b</hi>≠ 0) …</hi></p><lb/><p>Wie bereits Beispiele zeigten, durfte aber diese Konklusion nicht<lb/>
als die volle Resultante der Elimination des <hirendition="#i">x</hi> hingestellt werden —<lb/>
wir nannten sie einstweilen: die „Resultante aus dem Rohen“ und<lb/>
wird sich diese Benennung in Bälde rechtfertigen.</p><lb/><p>Die erwiesene Beziehung zwischen den Aussagen 1<hirendition="#sup">0</hi>) und 2<hirendition="#sup">0</hi>) war<lb/>
nun diese:<lb/><hirendition="#c">1<hirendition="#sup">0</hi>) <choice><orig></orig><reg>⊆</reg></choice> 2<hirendition="#sup">0</hi>);</hi><lb/>
aus 1<hirendition="#sup">0</hi>) folgt allemal 2<hirendition="#sup">0</hi>), genauer: wenn <hirendition="#i">für irgend ein x</hi>, für (ein)<lb/>„<hirendition="#i">gewisse(s)</hi>“<hirendition="#i">x</hi>, die Hypothesis 1<hirendition="#sup">0</hi>) erfüllt ist, so gilt sicher die Be-<lb/>
hauptung 2<hirendition="#sup">0</hi>).</p><lb/><p>Im allgemeinen zu verneinen war jedoch die Frage, ob auch um-<lb/>
gekehrt, unter der <hirendition="#i">Annahme</hi> 2<hirendition="#sup">0</hi>) gefolgert werden könne, dass 1<hirendition="#sup">0</hi>) für<lb/>
gewisse <hirendition="#i">x</hi> erfüllt sei, m. a. W. dass es dann überhaupt ein <hirendition="#i">x gebe</hi>,<lb/>
welches in die Aussage 1<hirendition="#sup">0</hi>) eingesetzt (unter dem Symbol <hirendition="#i">x</hi> in der-<lb/>
selben verstanden) dieselbe zu einer wahren Aussage mache.</p><lb/><p>Zu erledigen blieb daher noch die Frage nach der <hirendition="#i">vollen</hi> Resul-<lb/>
tante der Elimination des <hirendition="#i">x</hi> aus den Daten 1<hirendition="#sup">0</hi>), d. h. es bleibt zu er-<lb/><fwplace="bottom"type="sig">24*</fw><lb/></p></div></div></div></body></text></TEI>
[371/0395]
§ 49. Studien über die Klausel.
§ 49. Studien über die Klausel und noch ungelöste Probleme
des Kalkuls.
In § 41 haben wir gelernt aus dem allgemeinsten Prämissen-
system, welches über Gebiete (oder Klassen) überhaupt erdacht und
in Bezug auf solche zugrunde gelegt werden kann, ein Gebietsymbol
x zu eliminiren. Wir dachten uns die Prämissen des Systems zu einer
Gesamtaussage vereinigt. Dieser konnte die Gestalt des Minor, der
Hypothesis, Voraussetzung in der Subsumtion α) des § 41 gegeben
werden:
10) Σ (a x + b x1 = 1) (p x + q x1 ≠ 0) (r x + s x1 ≠ 0) …
— wo alle auf den Gleichungfaktor folgenden Aussagenfaktoren nur
Ungleichungen mit der rechten Seite 0 sein dürfen — und war dies
also die allgemeinste „Gesamtaussage der Data“ welche sich, während
in ihnen von einem Gebiet x die Rede ist, im Gebietekalkul formu-
liren lässt.
Um aus diesen Prämissen das Gebiet x zu eliminiren, brauchten
wir blos die Gesamtaussage anzusetzen, welche durch den Major, die
Thesis oder Behauptung genannter Subsumtion § 41, α) dargestellt
wird und lautet:
20) Σ (a + b = 1) (p a + q b ≠ 0) (r a + s b ≠ 0) …
Wie bereits Beispiele zeigten, durfte aber diese Konklusion nicht
als die volle Resultante der Elimination des x hingestellt werden —
wir nannten sie einstweilen: die „Resultante aus dem Rohen“ und
wird sich diese Benennung in Bälde rechtfertigen.
Die erwiesene Beziehung zwischen den Aussagen 10) und 20) war
nun diese:
10)  20);
aus 10) folgt allemal 20), genauer: wenn für irgend ein x, für (ein)
„gewisse(s)“ x, die Hypothesis 10) erfüllt ist, so gilt sicher die Be-
hauptung 20).
Im allgemeinen zu verneinen war jedoch die Frage, ob auch um-
gekehrt, unter der Annahme 20) gefolgert werden könne, dass 10) für
gewisse x erfüllt sei, m. a. W. dass es dann überhaupt ein x gebe,
welches in die Aussage 10) eingesetzt (unter dem Symbol x in der-
selben verstanden) dieselbe zu einer wahren Aussage mache.
Zu erledigen blieb daher noch die Frage nach der vollen Resul-
tante der Elimination des x aus den Daten 10), d. h. es bleibt zu er-
24*
Informationen zur CAB-Ansicht
Diese Ansicht bietet Ihnen die Darstellung des Textes in normalisierter Orthographie.
Diese Textvariante wird vollautomatisch erstellt und kann aufgrund dessen auch Fehler enthalten.
Alle veränderten Wortformen sind grau hinterlegt. Als fremdsprachliches Material erkannte
Textteile sind ausgegraut dargestellt.
Schröder, Ernst: Vorlesungen über die Algebra der Logik. Bd. 2, Abt. 1. Leipzig, 1891, S. 371. In: Deutsches Textarchiv <https://www.deutschestextarchiv.de/schroeder_logik0201_1891/395>, abgerufen am 16.04.2024.
Alle Inhalte dieser Seite unterstehen, soweit nicht anders gekennzeichnet, einer
Creative-Commons-Lizenz.
Die Rechte an den angezeigten Bilddigitalisaten, soweit nicht anders gekennzeichnet, liegen bei den besitzenden Bibliotheken.
Weitere Informationen finden Sie in den DTA-Nutzungsbedingungen.
Insbesondere im Hinblick auf die §§ 86a StGB und 130 StGB wird festgestellt, dass die auf
diesen Seiten abgebildeten Inhalte weder in irgendeiner Form propagandistischen Zwecken
dienen, oder Werbung für verbotene Organisationen oder Vereinigungen darstellen, oder
nationalsozialistische Verbrechen leugnen oder verharmlosen, noch zum Zwecke der
Herabwürdigung der Menschenwürde gezeigt werden.
Die auf diesen Seiten abgebildeten Inhalte (in Wort und Bild) dienen im Sinne des
§ 86 StGB Abs. 3 ausschließlich historischen, sozial- oder kulturwissenschaftlichen
Forschungszwecken. Ihre Veröffentlichung erfolgt in der Absicht, Wissen zur Anregung
der intellektuellen Selbstständigkeit und Verantwortungsbereitschaft des Staatsbürgers zu
vermitteln und damit der Förderung seiner Mündigkeit zu dienen.
Zitierempfehlung: Deutsches Textarchiv. Grundlage für ein Referenzkorpus der neuhochdeutschen Sprache. Herausgegeben von der Berlin-Brandenburgischen Akademie der Wissenschaften, Berlin 2024. URL: https://www.deutschestextarchiv.de/.
