Es gelten auch die folgenden Aussagenäquivalenzen: 20)
[Formel 1]
aufgrund deren, wie man sieht, die Mannigfaltigkeit der verfügbaren Schreibweisen oder Darstellungsmöglichkeiten einer Subsumtion, die schon im identischen Kalkul eine grosse gewesen, für unsre Disziplin noch ausserordentlich viel grösser wird, ja fast in's Ungeheuerliche anwächst.
Beweis von 20). Gilt ab, so können wir nach Satz 1) des § 6 -- zum Beispiel: beiderseits an relativ voraddiren und erhalten: an j aan j b.
Nach 3) ist aber 1' an j a und somit folgt a fortiori: 1' an j b, d. h. es ist der Satz erwiesen: (ab) (1' an j b).
Um auch die umgekehrte Subsumtion zu erweisen, erheben wir die rechte Seite zur Voraussetzung und multipliziren beiderseits mit a relativ vor; dadurch entsteht: a ; 1' a ; (an j b), wo die linke Seite sich nach 11) zu a reduzirt. Die rechte Seite ist aber nach Satz 7) des § 6: a ; (an j b) a ; an j b 0' j b = b wegen 3), sowie 1) des § 6, und 11); mithin ist ab erwiesen, q. e. d.
Die Formeln des Gespannes: 21)
[Formel 2]
deren erste wir mit der letzten Beweiszeile erwiesen haben, sind auch an sich bemerkenswert und würden sich den Sätzen des § 6 anreihen.
Nachdem nun die erste von den Äquivalenzen 20) bewiesen ist, er- geben sich die drei übrigen Formen der Aussage links von der Zeilenmitte leicht, indem man den in jener enthaltenen Satz anwendet auf die drei andern Subsumtionen, mit denen nach 13) des § 6, S. 87 die vorgelegte ab äquivalent ist -- wonach denn in der That auch: (bnan) = (1' b j an), (ab) = (1' an j b), (bnan) = (1' b j an) wird sein müssen.
Aus den linksseitigen vier Formen der als äquivalent mit ab hin- gestellten acht Subsumtionen (20) fliessen endlich die vier rechtseitigen (als die jenen dual entsprechenden) durch Kontraposition, sodass sie nun- mehr alle bewiesen sind.
Nimmt man b = a in 20) an, indem man demgemäss b durch a er- setzt, so kommt man, weil aa selbstverständlich gilt, auf die Sätze 3)
Vierte Vorlesung.
Es gelten auch die folgenden Aussagenäquivalenzen: 20)
[Formel 1]
aufgrund deren, wie man sieht, die Mannigfaltigkeit der verfügbaren Schreibweisen oder Darstellungsmöglichkeiten einer Subsumtion, die schon im identischen Kalkul eine grosse gewesen, für unsre Disziplin noch ausserordentlich viel grösser wird, ja fast in’s Ungeheuerliche anwächst.
Beweis von 20). Gilt a ⋹ b, so können wir nach Satz 1) des § 6 — zum Beispiel: beiderseits ā̆ relativ voraddiren und erhalten: ā̆ ɟ a ⋹ ā̆ ɟ b.
Nach 3) ist aber 1' ⋹ ā̆ ɟ a und somit folgt a fortiori: 1' ⋹ ā̆ ɟ b, d. h. es ist der Satz erwiesen: (a ⋹ b) ⋹ (1' ⋹ ā̆ ɟ b).
Um auch die umgekehrte Subsumtion zu erweisen, erheben wir die rechte Seite zur Voraussetzung und multipliziren beiderseits mit a relativ vor; dadurch entsteht: a ; 1' ⋹ a ; (ā̆ ɟ b), wo die linke Seite sich nach 11) zu a reduzirt. Die rechte Seite ist aber nach Satz 7) des § 6: a ; (ā̆ ɟ b) ⋹ a ; ā̆ ɟ b ⋹ 0' ɟ b = b wegen 3), sowie 1) des § 6, und 11); mithin ist a ⋹ b erwiesen, q. e. d.
Die Formeln des Gespannes: 21)
[Formel 2]
deren erste wir mit der letzten Beweiszeile erwiesen haben, sind auch an sich bemerkenswert und würden sich den Sätzen des § 6 anreihen.
Nachdem nun die erste von den Äquivalenzen 20) bewiesen ist, er- geben sich die drei übrigen Formen der Aussage links von der Zeilenmitte leicht, indem man den in jener enthaltenen Satz anwendet auf die drei andern Subsumtionen, mit denen nach 13) des § 6, S. 87 die vorgelegte a ⋹ b äquivalent ist — wonach denn in der That auch: (b̄ ⋹ ā) = (1' ⋹ b̆ ɟ ā), (ă ⋹ b̆) = (1' ⋹ ā ɟ b̆), (b̄̆ ⋹ ā̆) = (1' ⋹ b ɟ ā̆) wird sein müssen.
Aus den linksseitigen vier Formen der als äquivalent mit a ⋹ b hin- gestellten acht Subsumtionen (20) fliessen endlich die vier rechtseitigen (als die jenen dual entsprechenden) durch Kontraposition, sodass sie nun- mehr alle bewiesen sind.
Nimmt man b = a in 20) an, indem man demgemäss b durch a er- setzt, so kommt man, weil a ⋹ a selbstverständlich gilt, auf die Sätze 3)
<TEI><text><body><divn="1"><divn="2"><pbfacs="#f0140"n="126"/><fwplace="top"type="header">Vierte Vorlesung.</fw><lb/><p>Es gelten auch die folgenden Aussagenäquivalenzen:<lb/>
20) <formula/><lb/>
aufgrund deren, wie man sieht, die Mannigfaltigkeit der verfügbaren<lb/>
Schreibweisen oder Darstellungsmöglichkeiten einer Subsumtion, die<lb/>
schon im identischen Kalkul eine grosse gewesen, für unsre Disziplin<lb/>
noch ausserordentlich viel grösser wird, ja fast in’s Ungeheuerliche<lb/>
anwächst.</p><lb/><p><hirendition="#g">Beweis</hi> von 20). Gilt <hirendition="#i">a</hi>⋹<hirendition="#i">b</hi>, so können wir nach Satz 1) des § 6<lb/>— zum Beispiel: beiderseits <hirendition="#i">ā̆</hi> relativ voraddiren und erhalten: <hirendition="#i">ā̆</hi>ɟ<hirendition="#i">a</hi>⋹<hirendition="#i">ā̆</hi>ɟ<hirendition="#i">b</hi>.</p><lb/><p>Nach 3) ist aber 1' ⋹<hirendition="#i">ā̆</hi>ɟ<hirendition="#i">a</hi> und somit folgt a fortiori: 1' ⋹<hirendition="#i">ā̆</hi>ɟ<hirendition="#i">b</hi>, d. h.<lb/>
es ist der Satz erwiesen:<lb/><hirendition="#c">(<hirendition="#i">a</hi>⋹<hirendition="#i">b</hi>) ⋹ (1' ⋹<hirendition="#i">ā̆</hi>ɟ<hirendition="#i">b</hi>).</hi></p><lb/><p>Um auch die umgekehrte Subsumtion zu erweisen, erheben wir die<lb/>
rechte Seite zur Voraussetzung und multipliziren beiderseits mit <hirendition="#i">a</hi> relativ<lb/>
vor; dadurch entsteht: <hirendition="#i">a</hi> ; 1' ⋹<hirendition="#i">a</hi> ; (<hirendition="#i">ā̆</hi>ɟ<hirendition="#i">b</hi>), wo die linke Seite sich nach 11)<lb/>
zu <hirendition="#i">a</hi> reduzirt. Die rechte Seite ist aber nach Satz 7) des § 6:<lb/><hirendition="#c"><hirendition="#i">a</hi> ; (<hirendition="#i">ā̆</hi>ɟ<hirendition="#i">b</hi>) ⋹<hirendition="#i">a</hi> ; <hirendition="#i">ā̆</hi>ɟ<hirendition="#i">b</hi>⋹ 0' ɟ<hirendition="#i">b</hi> = <hirendition="#i">b</hi></hi><lb/>
wegen 3), sowie 1) des § 6, und 11); mithin ist <hirendition="#i">a</hi>⋹<hirendition="#i">b</hi> erwiesen, q. e. d.</p><lb/><p>Die Formeln des Gespannes:<lb/>
21) <formula/><lb/>
deren erste wir mit der letzten Beweiszeile erwiesen haben, sind auch<lb/>
an sich bemerkenswert und würden sich den Sätzen des § 6 anreihen.</p><lb/><p>Nachdem nun die erste von den Äquivalenzen 20) bewiesen ist, er-<lb/>
geben sich die drei übrigen Formen der Aussage links von der Zeilenmitte<lb/>
leicht, indem man den in jener enthaltenen Satz anwendet auf die drei<lb/>
andern Subsumtionen, mit denen nach 13) des § 6, S. 87 die vorgelegte<lb/><hirendition="#i">a</hi>⋹<hirendition="#i">b</hi> äquivalent ist — wonach denn in der That auch:<lb/><hirendition="#c">(<hirendition="#i">b̄</hi>⋹<hirendition="#i">ā</hi>) = (1' ⋹<hirendition="#i">b̆</hi>ɟ<hirendition="#i">ā</hi>), (<hirendition="#i">ă</hi>⋹<hirendition="#i">b̆</hi>) = (1' ⋹<hirendition="#i">ā</hi>ɟ<hirendition="#i">b̆</hi>), (<hirendition="#i">b̄̆</hi>⋹<hirendition="#i">ā̆</hi>) = (1' ⋹<hirendition="#i">b</hi>ɟ<hirendition="#i">ā̆</hi>)</hi><lb/>
wird sein müssen.</p><lb/><p>Aus den linksseitigen vier Formen der als äquivalent mit <hirendition="#i">a</hi>⋹<hirendition="#i">b</hi> hin-<lb/>
gestellten acht Subsumtionen (20) fliessen endlich die vier rechtseitigen<lb/>
(als die jenen dual entsprechenden) durch Kontraposition, sodass sie nun-<lb/>
mehr alle bewiesen sind.</p><lb/><p>Nimmt man <hirendition="#i">b</hi> = <hirendition="#i">a</hi> in 20) an, indem man demgemäss <hirendition="#i">b</hi> durch <hirendition="#i">a</hi> er-<lb/>
setzt, so kommt man, weil <hirendition="#i">a</hi>⋹<hirendition="#i">a</hi> selbstverständlich gilt, auf die Sätze 3)<lb/></p></div></div></body></text></TEI>
[126/0140]
Vierte Vorlesung.
Es gelten auch die folgenden Aussagenäquivalenzen:
20) [FORMEL]
aufgrund deren, wie man sieht, die Mannigfaltigkeit der verfügbaren
Schreibweisen oder Darstellungsmöglichkeiten einer Subsumtion, die
schon im identischen Kalkul eine grosse gewesen, für unsre Disziplin
noch ausserordentlich viel grösser wird, ja fast in’s Ungeheuerliche
anwächst.
Beweis von 20). Gilt a ⋹ b, so können wir nach Satz 1) des § 6
— zum Beispiel: beiderseits ā̆ relativ voraddiren und erhalten: ā̆ ɟ a ⋹ ā̆ ɟ b.
Nach 3) ist aber 1' ⋹ ā̆ ɟ a und somit folgt a fortiori: 1' ⋹ ā̆ ɟ b, d. h.
es ist der Satz erwiesen:
(a ⋹ b) ⋹ (1' ⋹ ā̆ ɟ b).
Um auch die umgekehrte Subsumtion zu erweisen, erheben wir die
rechte Seite zur Voraussetzung und multipliziren beiderseits mit a relativ
vor; dadurch entsteht: a ; 1' ⋹ a ; (ā̆ ɟ b), wo die linke Seite sich nach 11)
zu a reduzirt. Die rechte Seite ist aber nach Satz 7) des § 6:
a ; (ā̆ ɟ b) ⋹ a ; ā̆ ɟ b ⋹ 0' ɟ b = b
wegen 3), sowie 1) des § 6, und 11); mithin ist a ⋹ b erwiesen, q. e. d.
Die Formeln des Gespannes:
21) [FORMEL]
deren erste wir mit der letzten Beweiszeile erwiesen haben, sind auch
an sich bemerkenswert und würden sich den Sätzen des § 6 anreihen.
Nachdem nun die erste von den Äquivalenzen 20) bewiesen ist, er-
geben sich die drei übrigen Formen der Aussage links von der Zeilenmitte
leicht, indem man den in jener enthaltenen Satz anwendet auf die drei
andern Subsumtionen, mit denen nach 13) des § 6, S. 87 die vorgelegte
a ⋹ b äquivalent ist — wonach denn in der That auch:
(b̄ ⋹ ā) = (1' ⋹ b̆ ɟ ā), (ă ⋹ b̆) = (1' ⋹ ā ɟ b̆), (b̄̆ ⋹ ā̆) = (1' ⋹ b ɟ ā̆)
wird sein müssen.
Aus den linksseitigen vier Formen der als äquivalent mit a ⋹ b hin-
gestellten acht Subsumtionen (20) fliessen endlich die vier rechtseitigen
(als die jenen dual entsprechenden) durch Kontraposition, sodass sie nun-
mehr alle bewiesen sind.
Nimmt man b = a in 20) an, indem man demgemäss b durch a er-
setzt, so kommt man, weil a ⋹ a selbstverständlich gilt, auf die Sätze 3)
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. 126. In: Deutsches Textarchiv <https://www.deutschestextarchiv.de/schroeder_logik03_1895/140>, 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/.