§ 12. Prinzip zur Vertretung des unbeweisbaren Satzes.
Bevor wir weiterfahren sei die Gleichung 28x) auch für Klassen noch durch ein Beispiel erläutert:
Die russischen oder europäischen Kapitalisten oder Kaufleute sind die russischen Kapitalisten nebst den russischen Kaufleuten und den europäi- schen Kapitalisten sowie den europäischen Kaufleuten.
Sobald wir nun uns auf 28x) berufen dürfen lässt sich die rechte Seite von 27+) durch Ausmultipliziren wie folgt zerlegen: (a + b) (a + c) = a a + a b + a c + b c, und dies gibt nach Th. 14x) = {(a + a b) + a c} + b c = {a + a c} + b c = a + b c, indem der erste Term a a oder a nach 23+) die beiden zunächst ihm folgenden successive "absorbirt".
Hiermit aber wird dann die Gleichung 27+) und damit auch die kraft Def. (1) in ihr mitenthaltene Subsumtion 26+) bewiesen er- scheinen.
Dem bisherigen genau dual entsprechend würde vermittelst 26+) auch 26x) sich ableiten lassen. Daher nun musste auch 26+) notwendig unbe- weisbar sein, denn wenn für diese Subsumtion der Beweis gelänge, sc wäre damit auch für die 26x) ein Beweis geliefert, was erwiesenermassen unmöglich ist.
Keinesfalls werden wir also genötigt sein, die Sätze 26) alle beide als Prinzipien hinzustellen.
Versuche, einen von ihnen etwa nach Hinzufügung der Def. (6) der Negation mit ihrem zugehörigen Postulate zu beweisen, schlagen ebenfalls fehl.
Dagegen brauchen wir blos einen speziellen Fall des einen, z. B. von 26x) als Axiom oder Prinzip zu fordern, und zwar den folgenden.
Prinzip IIIx. Wenigstens, wenn [b c 0, somit auch] b c = 0 ist, gilt sicher: a (b + c) a b + a c.
Zusatz 1. Nach 25x) und Def. (1) gilt dann auch die Gleichung: a (b + c) = a b + a c vorerst unter der einschränkenden Voraussetzung, dass b c = 0 sei.
Zusatz 2. Von zweien ist der Satz leicht auf drei und mehr Glieder auszudehnen, vorerst unter der entsprechenden Voraussetzung, dass deren Produkte zu je zweien gleich 0 seien. So muss nament- lich sein: a (b + c + d) = a b + a c + a d,
§ 12. Prinzip zur Vertretung des unbeweisbaren Satzes.
Bevor wir weiterfahren sei die Gleichung 28×) auch für Klassen noch durch ein Beispiel erläutert:
Die russischen oder europäischen Kapitalisten oder Kaufleute sind die russischen Kapitalisten nebst den russischen Kaufleuten und den europäi- schen Kapitalisten sowie den europäischen Kaufleuten.
Sobald wir nun uns auf 28×) berufen dürfen lässt sich die rechte Seite von 27+) durch Ausmultipliziren wie folgt zerlegen: (a + b) (a + c) = a a + a b + a c + b c, und dies gibt nach Th. 14×) = {(a + a b) + a c} + b c = {a + a c} + b c = a + b c, indem der erste Term a a oder a nach 23+) die beiden zunächst ihm folgenden successive „absorbirt“.
Hiermit aber wird dann die Gleichung 27+) und damit auch die kraft Def. (1) in ihr mitenthaltene Subsumtion 26+) bewiesen er- scheinen.
Dem bisherigen genau dual entsprechend würde vermittelst 26+) auch 26×) sich ableiten lassen. Daher nun musste auch 26+) notwendig unbe- weisbar sein, denn wenn für diese Subsumtion der Beweis gelänge, sc wäre damit auch für die 26×) ein Beweis geliefert, was erwiesenermassen unmöglich ist.
Keinesfalls werden wir also genötigt sein, die Sätze 26) alle beide als Prinzipien hinzustellen.
Versuche, einen von ihnen etwa nach Hinzufügung der Def. (6) der Negation mit ihrem zugehörigen Postulate zu beweisen, schlagen ebenfalls fehl.
Dagegen brauchen wir blos einen speziellen Fall des einen, z. B. von 26×) als Axiom oder Prinzip zu fordern, und zwar den folgenden.
Prinzip III×. Wenigstens, wenn [b c ⋹ 0, somit auch] b c = 0 ist, gilt sicher: a (b + c) ⋹ a b + a c.
Zusatz 1. Nach 25×) und Def. (1) gilt dann auch die Gleichung: a (b + c) = a b + a c vorerst unter der einschränkenden Voraussetzung, dass b c = 0 sei.
Zusatz 2. Von zweien ist der Satz leicht auf drei und mehr Glieder auszudehnen, vorerst unter der entsprechenden Voraussetzung, dass deren Produkte zu je zweien gleich 0 seien. So muss nament- lich sein: a (b + c + d) = a b + a c + a d,
<TEI><text><body><divn="1"><divn="2"><pbfacs="#f0313"n="293"/><fwplace="top"type="header">§ 12. Prinzip zur Vertretung des unbeweisbaren Satzes.</fw><lb/><p>Bevor wir weiterfahren sei die Gleichung 28<hirendition="#sub">×</hi>) auch für Klassen noch<lb/>
durch ein Beispiel erläutert:</p><lb/><p>Die russischen oder europäischen Kapitalisten oder Kaufleute sind die<lb/>
russischen Kapitalisten nebst den russischen Kaufleuten und den europäi-<lb/>
schen Kapitalisten sowie den europäischen Kaufleuten.</p><lb/><p>Sobald wir nun uns auf 28<hirendition="#sub">×</hi>) berufen dürfen lässt sich die rechte<lb/>
Seite von 27<hirendition="#sub">+</hi>) durch Ausmultipliziren wie folgt zerlegen:<lb/><hirendition="#c">(<hirendition="#i">a</hi> + <hirendition="#i">b</hi>) (<hirendition="#i">a</hi> + <hirendition="#i">c</hi>) = <hirendition="#i">a a</hi> + <hirendition="#i">a b</hi> + <hirendition="#i">a c</hi> + <hirendition="#i">b c</hi>,</hi><lb/>
und dies gibt nach Th. 14<hirendition="#sub">×</hi>)<lb/><hirendition="#c">= {(<hirendition="#i">a</hi> + <hirendition="#i">a b</hi>) + <hirendition="#i">a c</hi>} + <hirendition="#i">b c</hi> = {<hirendition="#i">a</hi> + <hirendition="#i">a c</hi>} + <hirendition="#i">b c</hi> = <hirendition="#i">a</hi> + <hirendition="#i">b c</hi>,</hi><lb/>
indem der erste Term <hirendition="#i">a a</hi> oder <hirendition="#i">a</hi> nach 23<hirendition="#sub">+</hi>) die beiden zunächst ihm<lb/>
folgenden successive „absorbirt“.</p><lb/><p>Hiermit aber wird dann die Gleichung 27<hirendition="#sub">+</hi>) und damit auch die<lb/>
kraft Def. (1) in ihr mitenthaltene Subsumtion 26<hirendition="#sub">+</hi>) bewiesen er-<lb/>
scheinen.</p><lb/><p>Dem bisherigen genau dual entsprechend würde vermittelst 26<hirendition="#sub">+</hi>) auch<lb/>
26<hirendition="#sub">×</hi>) sich ableiten lassen. Daher nun musste auch 26<hirendition="#sub">+</hi>) notwendig unbe-<lb/>
weisbar sein, denn wenn für diese Subsumtion der Beweis gelänge, sc<lb/>
wäre damit auch für die 26<hirendition="#sub">×</hi>) ein Beweis geliefert, was erwiesenermassen<lb/>
unmöglich ist.</p><lb/><p>Keinesfalls werden wir also genötigt sein, die Sätze 26) <hirendition="#i">alle beide</hi><lb/>
als Prinzipien hinzustellen.</p><lb/><p>Versuche, einen von ihnen etwa <hirendition="#i">nach</hi> Hinzufügung der Def. (6)<lb/>
der Negation mit ihrem zugehörigen Postulate zu beweisen, schlagen<lb/>
ebenfalls fehl.</p><lb/><p>Dagegen brauchen wir blos einen speziellen Fall des einen, z. B.<lb/>
von 26<hirendition="#sub">×</hi>) als Axiom oder Prinzip zu fordern, und zwar den folgenden.</p><lb/><p><hirendition="#g">Prinzip</hi> III<hirendition="#sub">×</hi>. <hirendition="#i">Wenigstens</hi>, <hirendition="#i">wenn</hi> [<hirendition="#i">b c</hi>⋹ 0, somit auch] <hirendition="#i">b c</hi> = 0 <hirendition="#i">ist</hi>,<lb/><hirendition="#i">gilt sicher:</hi><lb/><hirendition="#c"><hirendition="#i">a</hi> (<hirendition="#i">b</hi> + <hirendition="#i">c</hi>) ⋹<hirendition="#i">a b</hi> + <hirendition="#i">a c</hi>.</hi></p><lb/><p><hirendition="#g">Zusatz</hi> 1. Nach 25<hirendition="#sub">×</hi>) und Def. (1) gilt dann auch die Gleichung:<lb/><hirendition="#c"><hirendition="#i">a</hi> (<hirendition="#i">b</hi> + <hirendition="#i">c</hi>) = <hirendition="#i">a b</hi> + <hirendition="#i">a c</hi></hi><lb/>
vorerst unter der einschränkenden Voraussetzung, dass <hirendition="#i">b c</hi> = 0 sei.</p><lb/><p><hirendition="#g">Zusatz</hi> 2. Von zweien ist der Satz leicht auf drei und mehr<lb/>
Glieder auszudehnen, vorerst unter der entsprechenden Voraussetzung,<lb/>
dass deren Produkte zu je zweien gleich 0 seien. So muss nament-<lb/>
lich sein:<lb/><hirendition="#c"><hirendition="#i">a</hi> (<hirendition="#i">b</hi> + <hirendition="#i">c</hi> + <hirendition="#i">d</hi>) = <hirendition="#i">a b</hi> + <hirendition="#i">a c</hi> + <hirendition="#i">a d</hi>,</hi><lb/></p></div></div></body></text></TEI>
[293/0313]
§ 12. Prinzip zur Vertretung des unbeweisbaren Satzes.
Bevor wir weiterfahren sei die Gleichung 28×) auch für Klassen noch
durch ein Beispiel erläutert:
Die russischen oder europäischen Kapitalisten oder Kaufleute sind die
russischen Kapitalisten nebst den russischen Kaufleuten und den europäi-
schen Kapitalisten sowie den europäischen Kaufleuten.
Sobald wir nun uns auf 28×) berufen dürfen lässt sich die rechte
Seite von 27+) durch Ausmultipliziren wie folgt zerlegen:
(a + b) (a + c) = a a + a b + a c + b c,
und dies gibt nach Th. 14×)
= {(a + a b) + a c} + b c = {a + a c} + b c = a + b c,
indem der erste Term a a oder a nach 23+) die beiden zunächst ihm
folgenden successive „absorbirt“.
Hiermit aber wird dann die Gleichung 27+) und damit auch die
kraft Def. (1) in ihr mitenthaltene Subsumtion 26+) bewiesen er-
scheinen.
Dem bisherigen genau dual entsprechend würde vermittelst 26+) auch
26×) sich ableiten lassen. Daher nun musste auch 26+) notwendig unbe-
weisbar sein, denn wenn für diese Subsumtion der Beweis gelänge, sc
wäre damit auch für die 26×) ein Beweis geliefert, was erwiesenermassen
unmöglich ist.
Keinesfalls werden wir also genötigt sein, die Sätze 26) alle beide
als Prinzipien hinzustellen.
Versuche, einen von ihnen etwa nach Hinzufügung der Def. (6)
der Negation mit ihrem zugehörigen Postulate zu beweisen, schlagen
ebenfalls fehl.
Dagegen brauchen wir blos einen speziellen Fall des einen, z. B.
von 26×) als Axiom oder Prinzip zu fordern, und zwar den folgenden.
Prinzip III×. Wenigstens, wenn [b c ⋹ 0, somit auch] b c = 0 ist,
gilt sicher:
a (b + c) ⋹ a b + a c.
Zusatz 1. Nach 25×) und Def. (1) gilt dann auch die Gleichung:
a (b + c) = a b + a c
vorerst unter der einschränkenden Voraussetzung, dass b c = 0 sei.
Zusatz 2. Von zweien ist der Satz leicht auf drei und mehr
Glieder auszudehnen, vorerst unter der entsprechenden Voraussetzung,
dass deren Produkte zu je zweien gleich 0 seien. So muss nament-
lich sein:
a (b + c + d) = a b + a c + a d,
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. 1. Leipzig, 1890, S. 293. In: Deutsches Textarchiv <https://www.deutschestextarchiv.de/schroeder_logik01_1890/313>, abgerufen am 25.08.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/.