Theorem [ohne Nummer]. Auch wenn b c nicht gleich O ist, somit ganz allgemein, gilt die Subsumtion 26x) und damit auch das volle Distributionsgesetz 27x).
Wir mögen sogleich das letztere beweisen.
Beweis. Einerseits ist: a b + a c = a b · 1 + a c · 1 = = a b (c + c1) + a c (b + b1) = = a b c + a b c1 + a c b + a c b1 = = a b c + a b c1 + a b1c nach IIIx [sogar schon nach IIIx0].
Andrerseits ist wegen 33+): a (b + c) = a (b c + b c1 + b1c).
Und da die Produkte je zweier von den rechts eingeklammerten Gliedern O geben müssen, indem hier jedesmal mindestens zwei Fak- toren zusammenkommen, die als Negationen von einander sich gegen- seitig vernichten, da m. a. W.: b c · b c1 = 0, b c · b1c = 0, b c1 · b1c = 0 ist, so dürfen wir nach dem Zusatz 2 zu Prinzip IIIx nun rechterhand ausmultipliziren. Dies liefert: a (b + c) = a b c + a b c1 + a b1c. Durch Vergleichung mit dem obigen Ausdruck folgt also nach Th. 4): a (b + c) = a b + a c, q. e. d. Mit dem durch Prinzip IIIx, Def. (6) und Postulat ((3)) ver stärkten Beweiskapitale ist hienach der Beweis des Distributionsgesetzes nunmehr gelungen.
Anmerkung. Eben um zu zeigen, dass auch das Produkt a (b c + b c1 + b1c) durch Ausmultipliziren entwickelt werden darf, würde augenscheinlich der speziellere Satz IIIx0 nicht ausgereicht haben und war es unumgänglich, den umfassenderen IIIx als Prinzip hinzu- stellen.
Dies scheint mir allerdings mathematisch noch nicht vollkommen sicher- gestellt. Und ebenso muss ich es hier noch dahingestellt sein lassen, ob nicht schon ohne das Prinzip IIIx -- auf Grund lediglich des Zuzugs von Def. (6) und Postulat ((3)) mit Hülfe des (vielleicht auch für Aussagen in Anspruch zu nehmenden) Theorems 30) und 31) (d. i. den Sätzen des Widerspruchs, des ausgeschlossenen Mittels und der doppelten Verneinung) ein Beweis des Distributionsgesetzes möglich wäre. Den in Anhang 4 und 5 entwickelten logischen Kalkul mit Algorithmen kann man hiefür nicht als beweiskräftig gelten lassen, sofern sich in ihn der Begriff der Negation
Siebente Vorlesung.
Theorem [ohne Nummer]. Auch wenn b c nicht gleich O ist, somit ganz allgemein, gilt die Subsumtion 26×) und damit auch das volle Distributionsgesetz 27×).
Wir mögen sogleich das letztere beweisen.
Beweis. Einerseits ist: a b + a c = a b · 1 + a c · 1 = = a b (c + c1) + a c (b + b1) = = a b c + a b c1 + a c b + a c b1 = = a b c + a b c1 + a b1c nach III× [sogar schon nach III×0].
Andrerseits ist wegen 33+): a (b + c) = a (b c + b c1 + b1c).
Und da die Produkte je zweier von den rechts eingeklammerten Gliedern O geben müssen, indem hier jedesmal mindestens zwei Fak- toren zusammenkommen, die als Negationen von einander sich gegen- seitig vernichten, da m. a. W.: b c · b c1 = 0, b c · b1c = 0, b c1 · b1c = 0 ist, so dürfen wir nach dem Zusatz 2 zu Prinzip III× nun rechterhand ausmultipliziren. Dies liefert: a (b + c) = a b c + a b c1 + a b1c. Durch Vergleichung mit dem obigen Ausdruck folgt also nach Th. 4): a (b + c) = a b + a c, q. e. d. Mit dem durch Prinzip III×, Def. (6) und Postulat ((3)) ver stärkten Beweiskapitale ist hienach der Beweis des Distributionsgesetzes nunmehr gelungen.
Anmerkung. Eben um zu zeigen, dass auch das Produkt a (b c + b c1 + b1c) durch Ausmultipliziren entwickelt werden darf, würde augenscheinlich der speziellere Satz III×0 nicht ausgereicht haben und war es unumgänglich, den umfassenderen III× als Prinzip hinzu- stellen.
Dies scheint mir allerdings mathematisch noch nicht vollkommen sicher- gestellt. Und ebenso muss ich es hier noch dahingestellt sein lassen, ob nicht schon ohne das Prinzip III× — auf Grund lediglich des Zuzugs von Def. (6) und Postulat ((3)) mit Hülfe des (vielleicht auch für Aussagen in Anspruch zu nehmenden) Theorems 30) und 31) (d. i. den Sätzen des Widerspruchs, des ausgeschlossenen Mittels und der doppelten Verneinung) ein Beweis des Distributionsgesetzes möglich wäre. Den in Anhang 4 und 5 entwickelten logischen Kalkul mit Algorithmen kann man hiefür nicht als beweiskräftig gelten lassen, sofern sich in ihn der Begriff der Negation
<TEI><text><body><divn="1"><divn="2"><pbfacs="#f0330"n="310"/><fwplace="top"type="header">Siebente Vorlesung.</fw><lb/><p><hirendition="#g">Theorem</hi> [ohne Nummer]. Auch wenn <hirendition="#i">b c</hi> nicht gleich O ist,<lb/>
somit <hirendition="#i">ganz allgemein, gilt die Subsumtion</hi> 26<hirendition="#sub">×</hi>) <hirendition="#i">und damit auch das volle<lb/>
Distributionsgesetz</hi> 27<hirendition="#sub">×</hi>).</p><lb/><p>Wir mögen sogleich das letztere beweisen.</p><lb/><p>Beweis. Einerseits ist:<lb/><hirendition="#et"><hirendition="#i">a b</hi> + <hirendition="#i">a c</hi> = <hirendition="#i">a b</hi> · 1 + <hirendition="#i">a c</hi> · 1 =<lb/>
= <hirendition="#i">a b</hi> (<hirendition="#i">c</hi> + <hirendition="#i">c</hi><hirendition="#sub">1</hi>) + <hirendition="#i">a c</hi> (<hirendition="#i">b</hi> + <hirendition="#i">b</hi><hirendition="#sub">1</hi>) =<lb/>
= <hirendition="#i">a b c</hi> + <hirendition="#i">a b c</hi><hirendition="#sub">1</hi> + <hirendition="#i">a c b</hi> + <hirendition="#i">a c b</hi><hirendition="#sub">1</hi> =<lb/>
= <hirendition="#i">a b c</hi> + <hirendition="#i">a b c</hi><hirendition="#sub">1</hi> + <hirendition="#i">a b</hi><hirendition="#sub">1</hi><hirendition="#i">c</hi></hi><lb/>
nach III<hirendition="#sub">×</hi> [sogar schon nach III<hirendition="#sub">×</hi><hirendition="#sup">0</hi>].</p><lb/><p>Andrerseits ist wegen 33<hirendition="#sub">+</hi>):<lb/><hirendition="#c"><hirendition="#i">a</hi> (<hirendition="#i">b</hi> + <hirendition="#i">c</hi>) = <hirendition="#i">a</hi> (<hirendition="#i">b c</hi> + <hirendition="#i">b c</hi><hirendition="#sub">1</hi> + <hirendition="#i">b</hi><hirendition="#sub">1</hi><hirendition="#i">c</hi>).</hi></p><lb/><p>Und da die Produkte je zweier von den rechts eingeklammerten<lb/>
Gliedern O geben müssen, indem hier jedesmal mindestens zwei Fak-<lb/>
toren zusammenkommen, die als Negationen von einander sich gegen-<lb/>
seitig vernichten, da m. a. W.:<lb/><hirendition="#c"><hirendition="#i">b c</hi> · <hirendition="#i">b c</hi><hirendition="#sub">1</hi> = 0, <hirendition="#i">b c</hi> · <hirendition="#i">b</hi><hirendition="#sub">1</hi><hirendition="#i">c</hi> = 0, <hirendition="#i">b c</hi><hirendition="#sub">1</hi> · <hirendition="#i">b</hi><hirendition="#sub">1</hi><hirendition="#i">c</hi> = 0</hi><lb/>
ist, so dürfen wir nach dem Zusatz 2 zu Prinzip III<hirendition="#sub">×</hi> nun rechterhand<lb/>
ausmultipliziren. Dies liefert:<lb/><hirendition="#c"><hirendition="#i">a</hi> (<hirendition="#i">b</hi> + <hirendition="#i">c</hi>) = <hirendition="#i">a b c</hi> + <hirendition="#i">a b c</hi><hirendition="#sub">1</hi> + <hirendition="#i">a b</hi><hirendition="#sub">1</hi><hirendition="#i">c</hi>.</hi><lb/>
Durch Vergleichung mit dem obigen Ausdruck folgt also nach Th. 4):<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/>
q. e. d. Mit dem durch Prinzip III<hirendition="#sub">×</hi>, Def. (6) und Postulat ((3)) ver<lb/>
stärkten Beweiskapitale ist hienach der Beweis des Distributionsgesetzes<lb/>
nunmehr gelungen.</p><lb/><p><hirendition="#g">Anmerkung</hi>. Eben um zu zeigen, dass auch das Produkt<lb/><hirendition="#i">a</hi> (<hirendition="#i">b c</hi> + <hirendition="#i">b c</hi><hirendition="#sub">1</hi> + <hirendition="#i">b</hi><hirendition="#sub">1</hi><hirendition="#i">c</hi>) durch Ausmultipliziren entwickelt werden darf, würde<lb/>
augenscheinlich der speziellere Satz III<hirendition="#sub">×</hi><hirendition="#sup">0</hi> nicht ausgereicht haben und<lb/>
war es unumgänglich, den umfassenderen III<hirendition="#sub">×</hi> als Prinzip hinzu-<lb/>
stellen.</p><lb/><p>Dies scheint mir allerdings mathematisch noch nicht vollkommen sicher-<lb/>
gestellt. Und ebenso muss ich es hier noch dahingestellt sein lassen, ob<lb/>
nicht schon <hirendition="#i">ohne</hi> das Prinzip III<hirendition="#sub">×</hi>— auf Grund lediglich des Zuzugs von<lb/>
Def. (6) und Postulat ((3)) mit Hülfe des (vielleicht <hirendition="#i">auch für Aussagen<lb/>
in Anspruch zu nehmenden</hi>) Theorems 30) und 31) (d. i. den Sätzen des<lb/>
Widerspruchs, des ausgeschlossenen Mittels und der doppelten Verneinung)<lb/>
ein Beweis des Distributionsgesetzes möglich wäre. Den in Anhang 4 und 5<lb/>
entwickelten logischen Kalkul mit Algorithmen kann man hiefür nicht als<lb/>
beweiskräftig gelten lassen, sofern sich in ihn der Begriff der Negation<lb/></p></div></div></body></text></TEI>
[310/0330]
Siebente Vorlesung.
Theorem [ohne Nummer]. Auch wenn b c nicht gleich O ist,
somit ganz allgemein, gilt die Subsumtion 26×) und damit auch das volle
Distributionsgesetz 27×).
Wir mögen sogleich das letztere beweisen.
Beweis. Einerseits ist:
a b + a c = a b · 1 + a c · 1 =
= a b (c + c1) + a c (b + b1) =
= a b c + a b c1 + a c b + a c b1 =
= a b c + a b c1 + a b1 c
nach III× [sogar schon nach III×0].
Andrerseits ist wegen 33+):
a (b + c) = a (b c + b c1 + b1 c).
Und da die Produkte je zweier von den rechts eingeklammerten
Gliedern O geben müssen, indem hier jedesmal mindestens zwei Fak-
toren zusammenkommen, die als Negationen von einander sich gegen-
seitig vernichten, da m. a. W.:
b c · b c1 = 0, b c · b1 c = 0, b c1 · b1 c = 0
ist, so dürfen wir nach dem Zusatz 2 zu Prinzip III× nun rechterhand
ausmultipliziren. Dies liefert:
a (b + c) = a b c + a b c1 + a b1 c.
Durch Vergleichung mit dem obigen Ausdruck folgt also nach Th. 4):
a (b + c) = a b + a c,
q. e. d. Mit dem durch Prinzip III×, Def. (6) und Postulat ((3)) ver
stärkten Beweiskapitale ist hienach der Beweis des Distributionsgesetzes
nunmehr gelungen.
Anmerkung. Eben um zu zeigen, dass auch das Produkt
a (b c + b c1 + b1 c) durch Ausmultipliziren entwickelt werden darf, würde
augenscheinlich der speziellere Satz III×0 nicht ausgereicht haben und
war es unumgänglich, den umfassenderen III× als Prinzip hinzu-
stellen.
Dies scheint mir allerdings mathematisch noch nicht vollkommen sicher-
gestellt. Und ebenso muss ich es hier noch dahingestellt sein lassen, ob
nicht schon ohne das Prinzip III× — auf Grund lediglich des Zuzugs von
Def. (6) und Postulat ((3)) mit Hülfe des (vielleicht auch für Aussagen
in Anspruch zu nehmenden) Theorems 30) und 31) (d. i. den Sätzen des
Widerspruchs, des ausgeschlossenen Mittels und der doppelten Verneinung)
ein Beweis des Distributionsgesetzes möglich wäre. Den in Anhang 4 und 5
entwickelten logischen Kalkul mit Algorithmen kann man hiefür nicht als
beweiskräftig gelten lassen, sofern sich in ihn der Begriff der Negation
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. 310. In: Deutsches Textarchiv <https://www.deutschestextarchiv.de/schroeder_logik01_1890/330>, abgerufen am 25.11.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/.
