§ 26. Zusammenhang mit der Individuumsdef. im identischen Kalkul.
Im "oberen" Falle müsste für beide darüber erwähnten Möglichkeiten z j 0 = 0 und damit z = 0 sein, was unzulässig. Man hat nämlich als geo- metrisch unmittelbar evident die beiden Sätzchen: 25) (z j 0 1') = (z j 0 = 0) = (z j 0 0').
Der Studirende klappe hier das Buch zu, und versuche, dieselben auch analytisch zu beweisen.
Es geht so: Für das erste Sätzchen schliesst man: z j 0 j 1' 1' j 1', also z j 0 0, q. e. d. (die Umkehrung nämlich ist selbstverständlich).
Für das zweite Sätzchen schliesse man: z j 0 j 1' 0' j 1', also z j 0 1', wonach dasselbe auf das erste zurückkommt -- wofern man nicht lieber das Ergebniss mit der Hypothesis kombiniren will zu z j 0 0' · 1' = 0, q. e. d.
Ergo muss der "untere" Fall statthaben. Wegen z = zn ; 1 · z ; 0' · z folgt dann bei der ersten Möglichkeit mit z 1' a fortiori auch z ; 0' · z 1' und kann man sich weiter auf das Sätzchen berufen: 26) (z ; 0' · z 1') = (z ; 0' · z = 0), welches geometrisch wiederum einleuchtet und womit wir dann wieder bei der zu verwerfenden Konklusion z = 0 angelangt sind. Analytisch ist der Beweis des Sätzchens etwas schwieriger. Man schliesse: (z ; 0')z ; 0' 1' ; 0', also z ; 0' j 0 0', was mit der Prämisse übermultiplizirt wegen z ; 0' j 0 z ; 0' gibt: (z ; 0' j 0)z 0' · 1' = 0 oder z ; 0' · z = 0, q. e. d.
Somit bleibt nur die zweite Möglichkeit im unteren Falle übrig: z = -ab-0 = zn ; 1 · z ; 0' · z 0', während z j 0 = 0 auch hier sein muss.
Dieses z ist nun entweder u = -abn-0 somit z = -a--0, oder un = -anb-1 somit z = --b-0, d. h. entweder hat z nur einlückige mehrbesetzte oder nur mehrlückig mehrbesetzte Zeilen neben Leerzeilen.
Sofern es nicht gelingen sollte, auch diese beiden Möglichkeiten gleich den vorhergehenden vollends ad absurdum rechnerisch zu führen, kann man immer auf irgend zwei Augen einer mehrbesetzten Zeile des Räsonnement des vorhergehenden Haupttextes im Notfalle anwenden, um zu dem Schlusse zu gelangen, dass nur zzn j 1' und konjugirt dazu auch z 1' j zn be- stehen kann, womit dann von den drei Gliedern der Form 6) unsrer Cha- rakteristik das Verschwinden der beiden letzten gesichert ist -- das des letzten Gliedes ist es nämlich ohnehin vermöge z 0. Dann bliebe noch das Verschwinden des ersten Terms zu rechtfertigen. -- Oder auch, um von der Form 10) das Verschwinden aller drei Terme zu sichern (von denen das des dritten nach dem Konjugationsprinzip mit dem des zweiten sich erledigt), so müsste gezeigt werden, dass nicht nur, wie oben, zzn j 1', sondern dass sogar 1 ; zzn j 1', d. h. z 0 j zn j 1' sein muss. Es müsste
§ 26. Zusammenhang mit der Individuumsdef. im identischen Kalkul.
Im „oberen“ Falle müsste für beide darüber erwähnten Möglichkeiten z ɟ 0 = 0 und damit z = 0 sein, was unzulässig. Man hat nämlich als geo- metrisch unmittelbar evident die beiden Sätzchen: 25) (z ɟ 0 ⋹ 1') = (z ɟ 0 = 0) = (z ɟ 0 ⋹ 0').
Der Studirende klappe hier das Buch zu, und versuche, dieselben auch analytisch zu beweisen.
Es geht so: Für das erste Sätzchen schliesst man: z ɟ 0 ɟ 1' ⋹ 1' ɟ 1', also z ɟ 0 ⋹ 0, q. e. d. (die Umkehrung nämlich ist selbstverständlich).
Für das zweite Sätzchen schliesse man: z ɟ 0 ɟ 1' ⋹ 0' ɟ 1', also z ɟ 0 ⋹ 1', wonach dasselbe auf das erste zurückkommt — wofern man nicht lieber das Ergebniss mit der Hypothesis kombiniren will zu z ɟ 0 ⋹ 0' · 1' = 0, q. e. d.
Ergo muss der „untere“ Fall statthaben. Wegen z = z̄ ; 1 · z ; 0' · z folgt dann bei der ersten Möglichkeit mit z ⋹ 1' a fortiori auch z ; 0' · z ⋹ 1' und kann man sich weiter auf das Sätzchen berufen: 26) (z ; 0' · z ⋹ 1') = (z ; 0' · z = 0), welches geometrisch wiederum einleuchtet und womit wir dann wieder bei der zu verwerfenden Konklusion z = 0 angelangt sind. Analytisch ist der Beweis des Sätzchens etwas schwieriger. Man schliesse: (z ; 0')z ; 0' ⋹ 1' ; 0', also z ; 0' ɟ 0 ⋹ 0', was mit der Prämisse übermultiplizirt wegen z ; 0' ɟ 0 ⋹ z ; 0' gibt: (z ; 0' ɟ 0)z ⋹ 0' · 1' = 0 oder z ; 0' · z = 0, q. e. d.
Somit bleibt nur die zweite Möglichkeit im unteren Falle übrig: z = -αβ-0 = z̄ ; 1 · z ; 0' · z ⋹ 0', während z ɟ 0 = 0 auch hier sein muss.
Dieses z ist nun entweder ⋹u = -αβ̄-0 somit z = -α--0, oder ⋹ ū = -ᾱβ-1 somit z = --β-0, d. h. entweder hat z nur einlückige mehrbesetzte oder nur mehrlückig mehrbesetzte Zeilen neben Leerzeilen.
Sofern es nicht gelingen sollte, auch diese beiden Möglichkeiten gleich den vorhergehenden vollends ad absurdum rechnerisch zu führen, kann man immer auf irgend zwei Augen einer mehrbesetzten Zeile des Räsonnement des vorhergehenden Haupttextes im Notfalle anwenden, um zu dem Schlusse zu gelangen, dass nur z ⋹ z̄ ɟ 1' und konjugirt dazu auch z ⋹ 1' ɟ z̄ be- stehen kann, womit dann von den drei Gliedern der Form 6) unsrer Cha- rakteristik das Verschwinden der beiden letzten gesichert ist — das des letzten Gliedes ist es nämlich ohnehin vermöge z ≠ 0. Dann bliebe noch das Verschwinden des ersten Terms zu rechtfertigen. — Oder auch, um von der Form 10) das Verschwinden aller drei Terme zu sichern (von denen das des dritten nach dem Konjugationsprinzip mit dem des zweiten sich erledigt), so müsste gezeigt werden, dass nicht nur, wie oben, z ⋹ z̄ ɟ 1', sondern dass sogar 1 ; z ⋹ z̄ ɟ 1', d. h. z ⋹ 0 ɟ z̄ ɟ 1' sein muss. Es müsste
<TEI><text><body><divn="1"><divn="2"><p><pbfacs="#f0451"n="437"/><fwplace="top"type="header">§ 26. Zusammenhang mit der Individuumsdef. im identischen Kalkul.</fw><lb/>
Im „oberen“ Falle müsste für beide darüber erwähnten Möglichkeiten<lb/><hirendition="#i">z</hi>ɟ 0 = 0 <hirendition="#i">und damit z</hi> = 0 sein, was unzulässig. Man hat nämlich als geo-<lb/>
metrisch unmittelbar evident die beiden <hirendition="#g">Sätzchen</hi>:<lb/>
25) <hirendition="#et">(<hirendition="#i">z</hi>ɟ 0 ⋹ 1') = (<hirendition="#i">z</hi>ɟ 0 = 0) = (<hirendition="#i">z</hi>ɟ 0 ⋹ 0').</hi></p><lb/><p>Der Studirende klappe hier das Buch zu, und versuche, dieselben auch<lb/>
analytisch zu beweisen.</p><lb/><p>Es geht so: Für das erste Sätzchen schliesst man: <hirendition="#i">z</hi>ɟ 0 ɟ 1' ⋹ 1' ɟ 1',<lb/>
also <hirendition="#i">z</hi>ɟ 0 ⋹ 0, q. e. d. (die Umkehrung nämlich ist selbstverständlich).</p><lb/><p>Für das zweite Sätzchen schliesse man: <hirendition="#i">z</hi>ɟ 0 ɟ 1' ⋹ 0' ɟ 1', also <hirendition="#i">z</hi>ɟ 0 ⋹ 1',<lb/>
wonach dasselbe auf das erste zurückkommt — wofern man nicht lieber<lb/>
das Ergebniss mit der Hypothesis kombiniren will zu <hirendition="#i">z</hi>ɟ 0 ⋹ 0' · 1' = 0,<lb/>
q. e. d.</p><lb/><p>Ergo muss der „untere“ Fall statthaben. Wegen <hirendition="#i">z</hi> = <hirendition="#i">z̄</hi> ; 1 · <hirendition="#i">z</hi> ; 0' · <hirendition="#i">z</hi><lb/>
folgt dann bei der ersten Möglichkeit mit <hirendition="#i">z</hi>⋹ 1' a fortiori auch <hirendition="#i">z</hi> ; 0' · <hirendition="#i">z</hi>⋹ 1'<lb/>
und kann man sich weiter auf das <hirendition="#g">Sätzchen</hi> berufen:<lb/>
26) <hirendition="#et">(<hirendition="#i">z</hi> ; 0' · <hirendition="#i">z</hi>⋹ 1') = (<hirendition="#i">z</hi> ; 0' · <hirendition="#i">z</hi> = 0),</hi><lb/>
welches geometrisch wiederum einleuchtet und womit wir dann wieder bei<lb/>
der zu verwerfenden Konklusion <hirendition="#i">z</hi> = 0 angelangt sind. Analytisch ist der<lb/>
Beweis des Sätzchens etwas schwieriger. Man schliesse: (<hirendition="#i">z</hi> ; 0')<hirendition="#i">z</hi> ; 0' ⋹ 1' ; 0',<lb/>
also <hirendition="#i">z</hi> ; 0' ɟ 0 ⋹ 0', was mit der Prämisse übermultiplizirt wegen<lb/><hirendition="#c"><hirendition="#i">z</hi> ; 0' ɟ 0 ⋹<hirendition="#i">z</hi> ; 0' gibt: (<hirendition="#i">z</hi> ; 0' ɟ 0)<hirendition="#i">z</hi>⋹ 0' · 1' = 0 oder <hirendition="#i">z</hi> ; 0' · <hirendition="#i">z</hi> = 0, q. e. d.</hi></p><lb/><p>Somit bleibt nur die zweite Möglichkeit im unteren Falle übrig:<lb/><hirendition="#c"><hirendition="#i">z</hi> = -<hirendition="#i">αβ</hi>-0 = <hirendition="#i">z̄</hi> ; 1 · <hirendition="#i">z</hi> ; 0' · <hirendition="#i">z</hi>⋹ 0', während <hirendition="#i">z</hi>ɟ 0 = 0</hi><lb/>
auch hier sein muss.</p><lb/><p>Dieses <hirendition="#i">z</hi> ist nun entweder<lb/><hirendition="#et">⋹<hirendition="#i">u</hi> = -<hirendition="#i">αβ̄</hi>-0 somit <hirendition="#i">z</hi> = -<hirendition="#i">α</hi>--0, oder<lb/>⋹<hirendition="#i">ū</hi> = -<hirendition="#i">ᾱβ</hi>-1 somit <hirendition="#i">z</hi> = --<hirendition="#i">β</hi>-0,</hi><lb/>
d. h. entweder hat <hirendition="#i">z</hi> nur einlückige mehrbesetzte oder nur mehrlückig<lb/>
mehrbesetzte Zeilen neben Leerzeilen.</p><lb/><p>Sofern es nicht gelingen sollte, auch diese beiden Möglichkeiten gleich<lb/>
den vorhergehenden vollends ad absurdum rechnerisch zu führen, kann man<lb/>
immer auf irgend zwei Augen einer mehrbesetzten Zeile des Räsonnement<lb/>
des vorhergehenden Haupttextes im Notfalle anwenden, um zu dem Schlusse<lb/>
zu gelangen, dass nur <hirendition="#i">z</hi>⋹<hirendition="#i">z̄</hi>ɟ 1' und konjugirt dazu auch <hirendition="#i">z</hi>⋹ 1' ɟ<hirendition="#i">z̄</hi> be-<lb/>
stehen kann, womit dann von den drei Gliedern der Form 6) unsrer Cha-<lb/>
rakteristik das Verschwinden der beiden letzten gesichert ist — das des<lb/>
letzten Gliedes ist es nämlich ohnehin vermöge <hirendition="#i">z</hi>≠ 0. Dann bliebe noch<lb/>
das Verschwinden des ersten Terms zu rechtfertigen. — Oder auch, um<lb/>
von der Form 10) das Verschwinden aller drei Terme zu sichern (von<lb/>
denen das des dritten nach dem Konjugationsprinzip mit dem des zweiten<lb/>
sich erledigt), so müsste gezeigt werden, dass nicht nur, wie oben, <hirendition="#i">z</hi>⋹<hirendition="#i">z̄</hi>ɟ 1',<lb/>
sondern dass sogar 1 ; <hirendition="#i">z</hi>⋹<hirendition="#i">z̄</hi>ɟ 1', d. h. <hirendition="#i">z</hi>⋹ 0 ɟ<hirendition="#i">z̄</hi>ɟ 1' sein muss. Es müsste<lb/></p></div></div></body></text></TEI>
[437/0451]
§ 26. Zusammenhang mit der Individuumsdef. im identischen Kalkul.
Im „oberen“ Falle müsste für beide darüber erwähnten Möglichkeiten
z ɟ 0 = 0 und damit z = 0 sein, was unzulässig. Man hat nämlich als geo-
metrisch unmittelbar evident die beiden Sätzchen:
25) (z ɟ 0 ⋹ 1') = (z ɟ 0 = 0) = (z ɟ 0 ⋹ 0').
Der Studirende klappe hier das Buch zu, und versuche, dieselben auch
analytisch zu beweisen.
Es geht so: Für das erste Sätzchen schliesst man: z ɟ 0 ɟ 1' ⋹ 1' ɟ 1',
also z ɟ 0 ⋹ 0, q. e. d. (die Umkehrung nämlich ist selbstverständlich).
Für das zweite Sätzchen schliesse man: z ɟ 0 ɟ 1' ⋹ 0' ɟ 1', also z ɟ 0 ⋹ 1',
wonach dasselbe auf das erste zurückkommt — wofern man nicht lieber
das Ergebniss mit der Hypothesis kombiniren will zu z ɟ 0 ⋹ 0' · 1' = 0,
q. e. d.
Ergo muss der „untere“ Fall statthaben. Wegen z = z̄ ; 1 · z ; 0' · z
folgt dann bei der ersten Möglichkeit mit z ⋹ 1' a fortiori auch z ; 0' · z ⋹ 1'
und kann man sich weiter auf das Sätzchen berufen:
26) (z ; 0' · z ⋹ 1') = (z ; 0' · z = 0),
welches geometrisch wiederum einleuchtet und womit wir dann wieder bei
der zu verwerfenden Konklusion z = 0 angelangt sind. Analytisch ist der
Beweis des Sätzchens etwas schwieriger. Man schliesse: (z ; 0')z ; 0' ⋹ 1' ; 0',
also z ; 0' ɟ 0 ⋹ 0', was mit der Prämisse übermultiplizirt wegen
z ; 0' ɟ 0 ⋹ z ; 0' gibt: (z ; 0' ɟ 0)z ⋹ 0' · 1' = 0 oder z ; 0' · z = 0, q. e. d.
Somit bleibt nur die zweite Möglichkeit im unteren Falle übrig:
z = -αβ-0 = z̄ ; 1 · z ; 0' · z ⋹ 0', während z ɟ 0 = 0
auch hier sein muss.
Dieses z ist nun entweder
⋹u = -αβ̄-0 somit z = -α--0, oder
⋹ ū = -ᾱβ-1 somit z = --β-0,
d. h. entweder hat z nur einlückige mehrbesetzte oder nur mehrlückig
mehrbesetzte Zeilen neben Leerzeilen.
Sofern es nicht gelingen sollte, auch diese beiden Möglichkeiten gleich
den vorhergehenden vollends ad absurdum rechnerisch zu führen, kann man
immer auf irgend zwei Augen einer mehrbesetzten Zeile des Räsonnement
des vorhergehenden Haupttextes im Notfalle anwenden, um zu dem Schlusse
zu gelangen, dass nur z ⋹ z̄ ɟ 1' und konjugirt dazu auch z ⋹ 1' ɟ z̄ be-
stehen kann, womit dann von den drei Gliedern der Form 6) unsrer Cha-
rakteristik das Verschwinden der beiden letzten gesichert ist — das des
letzten Gliedes ist es nämlich ohnehin vermöge z ≠ 0. Dann bliebe noch
das Verschwinden des ersten Terms zu rechtfertigen. — Oder auch, um
von der Form 10) das Verschwinden aller drei Terme zu sichern (von
denen das des dritten nach dem Konjugationsprinzip mit dem des zweiten
sich erledigt), so müsste gezeigt werden, dass nicht nur, wie oben, z ⋹ z̄ ɟ 1',
sondern dass sogar 1 ; z ⋹ z̄ ɟ 1', d. h. z ⋹ 0 ɟ z̄ ɟ 1' sein muss. Es müsste
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. 3, Abt. 1. Leipzig, 1895, S. 437. In: Deutsches Textarchiv <https://www.deutschestextarchiv.de/schroeder_logik03_1895/451>, abgerufen am 01.09.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/.