folgenden Sätze, welche jedenfalls verdienen unter den auf Zeilen- relative bezüglichen mitangeführt zu werden: 21)
[Formel 1]
22)
[Formel 2]
Dieselben sind äusserst leicht nachzurechnen.
Die höheren irreduziblen relativen Modulknüpfungen werden dem- nach das a nicht "am Rande", als ersten oder letzten Term, aufweisen können, folglich sowol Zeilen- als Kolonnenoperationen involviren.
Inbezug auf Beweismethoden gestatte ich mir hier eine Bemerkung anzuknüpfen auf die noch einigemal zurückzukommen sein wird.
Natürlich kann der Beweis aller unsrer Formeln auch mittelst Zurückführung auf die "Koeffizientenevidenz" geleistet werden. Jede Formel liefert uns -- falls sie etwa eine Gleichung L = R ist, in Gestalt von Li j = Ri j -- ein richtiges Schema des Aussagenkalkuls, dessen Richtigkeit auch rein analytisch nachweisbar sein muss. Diesen Nachweis zu erbringen ist aber oft eine nicht zu unterschätzende Kunst. Dies möge zunächst durch ein paar Beispiele illustrirt werden. Zu dem Ende wollen wir einmal die erste Formel 21) auf solchem Wege beweisen.
Es wird die Richtigkeit des Schemas: Li j = PhSkPl(ai l + 1'l k)0'k h = Phai h = Ri j darzuthun sein. Diese ist aber auf den ersten Blick selbst für den Ge- übten keineswegs ersichtlich. Man kann verbal überlegen:
Im Pl muss lk und in der Sk muss kh sein. Folglich ist der Wert h für l effektiv zulässig; denn für l = h wird bei jedem kh der Forderung lk schon von selbst genügt sein. D. h. in jedem Glied der Sk tritt der Faktor ai h auf und lässt sich vorziehen bis er dicht hinter dem Ph von Li j steht.
Ist nun bei gegebnem i auch nur eines der ai h gleich 0, so kommt die Gleichung auf 0 = 0 hinaus, weil beiderseits mindestens ein verschwin- dender Faktor ai h in dem Ph auftritt, und ist ihre Richtigkeit erwiesen. Die- selbe bleibt demnach nur mehr für den Fall darzuthun, wo alle ai h = 1 sind. Wenigstens unter dieser Voraussetzung muss dann gezeigt werden, dass der Faktor, den das in Li j = Phai h · etc. vorgezogene ai h erhält, für jedes h gleich 1 ist. Dieser Faktor "etc." wird rigoros den Ausdruck haben: Sk0'k hPl(ai l + 1'l k + 1'l h) = 1, weil in dem Pl neben ai k nach Vorziehung von ai h auch dieser Faktor fehlen muss; da jedoch tautologische Wiederholung desselben erlaubt ist,
Sechste Vorlesung.
folgenden Sätze, welche jedenfalls verdienen unter den auf Zeilen- relative bezüglichen mitangeführt zu werden: 21)
[Formel 1]
22)
[Formel 2]
Dieselben sind äusserst leicht nachzurechnen.
Die höheren irreduziblen relativen Modulknüpfungen werden dem- nach das a nicht „am Rande“, als ersten oder letzten Term, aufweisen können, folglich sowol Zeilen- als Kolonnenoperationen involviren.
Inbezug auf Beweismethoden gestatte ich mir hier eine Bemerkung anzuknüpfen auf die noch einigemal zurückzukommen sein wird.
Natürlich kann der Beweis aller unsrer Formeln auch mittelst Zurückführung auf die „Koeffizientenevidenz“ geleistet werden. Jede Formel liefert uns — falls sie etwa eine Gleichung L = R ist, in Gestalt von Li j = Ri j — ein richtiges Schema des Aussagenkalkuls, dessen Richtigkeit auch rein analytisch nachweisbar sein muss. Diesen Nachweis zu erbringen ist aber oft eine nicht zu unterschätzende Kunst. Dies möge zunächst durch ein paar Beispiele illustrirt werden. Zu dem Ende wollen wir einmal die erste Formel 21) auf solchem Wege beweisen.
Es wird die Richtigkeit des Schemas: Li j = ΠhΣkΠl(ai l + 1'l k)0'k h = Πhai h = Ri j darzuthun sein. Diese ist aber auf den ersten Blick selbst für den Ge- übten keineswegs ersichtlich. Man kann verbal überlegen:
Im Πl muss l ≠ k und in der Σk muss k ≠ h sein. Folglich ist der Wert h für l effektiv zulässig; denn für l = h wird bei jedem k ≠ h der Forderung l ≠ k schon von selbst genügt sein. D. h. in jedem Glied der Σk tritt der Faktor ai h auf und lässt sich vorziehen bis er dicht hinter dem Πh von Li j steht.
Ist nun bei gegebnem i auch nur eines der ai h gleich 0, so kommt die Gleichung auf 0 = 0 hinaus, weil beiderseits mindestens ein verschwin- dender Faktor ai h in dem Πh auftritt, und ist ihre Richtigkeit erwiesen. Die- selbe bleibt demnach nur mehr für den Fall darzuthun, wo alle ai h = 1 sind. Wenigstens unter dieser Voraussetzung muss dann gezeigt werden, dass der Faktor, den das in Li j = Πhai h · etc. vorgezogene ai h erhält, für jedes h gleich 1 ist. Dieser Faktor „etc.“ wird rigoros den Ausdruck haben: Σk0'k hΠl(ai l + 1'l k + 1'l h) = 1, weil in dem Πl neben ai k nach Vorziehung von ai h auch dieser Faktor fehlen muss; da jedoch tautologische Wiederholung desselben erlaubt ist,
<TEI><text><body><divn="1"><divn="2"><p><pbfacs="#f0226"n="212"/><fwplace="top"type="header">Sechste Vorlesung.</fw><lb/>
folgenden Sätze, welche jedenfalls verdienen unter den auf Zeilen-<lb/>
relative bezüglichen mitangeführt zu werden:<lb/>
21) <formula/><lb/>
22) <formula/><lb/>
Dieselben sind äusserst leicht nachzurechnen.</p><lb/><p>Die höheren irreduziblen relativen Modulknüpfungen werden dem-<lb/>
nach das <hirendition="#i">a</hi> nicht „am Rande“, als ersten oder letzten Term, aufweisen<lb/>
können, folglich sowol Zeilen- als Kolonnenoperationen involviren.</p><lb/><p>Inbezug auf <hirendition="#i">Beweismethoden</hi> gestatte ich mir hier eine Bemerkung<lb/>
anzuknüpfen auf die noch einigemal zurückzukommen sein wird.</p><lb/><p>Natürlich kann der Beweis aller unsrer Formeln auch mittelst<lb/>
Zurückführung auf die „Koeffizientenevidenz“ geleistet werden. Jede<lb/>
Formel liefert uns — falls sie etwa eine Gleichung <hirendition="#i">L</hi> = <hirendition="#i">R</hi> ist, in<lb/>
Gestalt von <hirendition="#i">L<hirendition="#sub">i j</hi></hi> = <hirendition="#i">R<hirendition="#sub">i j</hi></hi>— ein richtiges Schema des Aussagenkalkuls,<lb/>
dessen Richtigkeit auch rein analytisch nachweisbar sein muss. Diesen<lb/>
Nachweis zu erbringen ist aber oft eine nicht zu unterschätzende<lb/><hirendition="#i">Kunst</hi>. Dies möge zunächst durch ein paar Beispiele illustrirt werden.<lb/>
Zu dem Ende wollen wir einmal die erste Formel 21) auf solchem<lb/>
Wege beweisen.</p><lb/><p>Es wird die Richtigkeit des Schemas:<lb/><hirendition="#c"><hirendition="#i">L<hirendition="#sub">i j</hi></hi> = <hirendition="#i">Π<hirendition="#sub">h</hi>Σ<hirendition="#sub">k</hi>Π<hirendition="#sub">l</hi></hi>(<hirendition="#i">a<hirendition="#sub">i l</hi></hi> + 1'<hirendition="#i"><hirendition="#sub">l k</hi></hi>)0'<hirendition="#i"><hirendition="#sub">k h</hi></hi> = <hirendition="#i">Π<hirendition="#sub">h</hi>a<hirendition="#sub">i h</hi></hi> = <hirendition="#i">R<hirendition="#sub">i j</hi></hi></hi><lb/>
darzuthun sein. Diese ist aber auf den ersten Blick selbst für den Ge-<lb/>
übten keineswegs ersichtlich. Man kann verbal überlegen:</p><lb/><p>Im <hirendition="#i">Π<hirendition="#sub">l</hi></hi> muss <hirendition="#i">l</hi>≠<hirendition="#i">k</hi> und in der <hirendition="#i">Σ<hirendition="#sub">k</hi></hi> muss <hirendition="#i">k</hi>≠<hirendition="#i">h</hi> sein. Folglich ist der<lb/>
Wert <hirendition="#i">h</hi> für <hirendition="#i">l</hi> effektiv zulässig; denn für <hirendition="#i">l</hi> = <hirendition="#i">h</hi> wird bei jedem <hirendition="#i">k</hi>≠<hirendition="#i">h</hi> der<lb/>
Forderung <hirendition="#i">l</hi>≠<hirendition="#i">k</hi> schon von selbst genügt sein. D. h. in jedem Glied der<lb/><hirendition="#i">Σ<hirendition="#sub">k</hi></hi> tritt der Faktor <hirendition="#i">a<hirendition="#sub">i h</hi></hi> auf und lässt sich vorziehen bis er dicht hinter<lb/>
dem <hirendition="#i">Π<hirendition="#sub">h</hi></hi> von <hirendition="#i">L<hirendition="#sub">i j</hi></hi> steht.</p><lb/><p>Ist nun bei gegebnem <hirendition="#i">i</hi> auch nur eines der <hirendition="#i">a<hirendition="#sub">i h</hi></hi> gleich 0, so kommt<lb/>
die Gleichung auf 0 = 0 hinaus, weil beiderseits mindestens ein verschwin-<lb/>
dender Faktor <hirendition="#i">a<hirendition="#sub">i h</hi></hi> in dem <hirendition="#i">Π<hirendition="#sub">h</hi></hi> auftritt, und ist ihre Richtigkeit erwiesen. Die-<lb/>
selbe bleibt demnach nur mehr für den Fall darzuthun, wo alle <hirendition="#i">a<hirendition="#sub">i h</hi></hi> = 1<lb/>
sind. Wenigstens unter dieser Voraussetzung muss dann gezeigt werden,<lb/>
dass der Faktor, den das in <hirendition="#i">L<hirendition="#sub">i j</hi></hi> = <hirendition="#i">Π<hirendition="#sub">h</hi>a<hirendition="#sub">i h</hi></hi> · etc. vorgezogene <hirendition="#i">a<hirendition="#sub">i h</hi></hi> erhält, für<lb/>
jedes <hirendition="#i">h</hi> gleich 1 ist. Dieser Faktor „etc.“ wird rigoros den Ausdruck haben:<lb/><hirendition="#c"><hirendition="#i">Σ<hirendition="#sub">k</hi></hi>0'<hirendition="#i"><hirendition="#sub">k h</hi>Π<hirendition="#sub">l</hi></hi>(<hirendition="#i">a<hirendition="#sub">i l</hi></hi> + 1'<hirendition="#i"><hirendition="#sub">l k</hi></hi> + 1'<hirendition="#i"><hirendition="#sub">l h</hi></hi>) = 1,</hi><lb/>
weil in dem <hirendition="#i">Π<hirendition="#sub">l</hi></hi> neben <hirendition="#i">a<hirendition="#sub">i k</hi></hi> nach Vorziehung von <hirendition="#i">a<hirendition="#sub">i h</hi></hi> auch dieser Faktor<lb/>
fehlen muss; da jedoch tautologische Wiederholung desselben erlaubt ist,<lb/></p></div></div></body></text></TEI>
[212/0226]
Sechste Vorlesung.
folgenden Sätze, welche jedenfalls verdienen unter den auf Zeilen-
relative bezüglichen mitangeführt zu werden:
21) [FORMEL]
22) [FORMEL]
Dieselben sind äusserst leicht nachzurechnen.
Die höheren irreduziblen relativen Modulknüpfungen werden dem-
nach das a nicht „am Rande“, als ersten oder letzten Term, aufweisen
können, folglich sowol Zeilen- als Kolonnenoperationen involviren.
Inbezug auf Beweismethoden gestatte ich mir hier eine Bemerkung
anzuknüpfen auf die noch einigemal zurückzukommen sein wird.
Natürlich kann der Beweis aller unsrer Formeln auch mittelst
Zurückführung auf die „Koeffizientenevidenz“ geleistet werden. Jede
Formel liefert uns — falls sie etwa eine Gleichung L = R ist, in
Gestalt von Li j = Ri j — ein richtiges Schema des Aussagenkalkuls,
dessen Richtigkeit auch rein analytisch nachweisbar sein muss. Diesen
Nachweis zu erbringen ist aber oft eine nicht zu unterschätzende
Kunst. Dies möge zunächst durch ein paar Beispiele illustrirt werden.
Zu dem Ende wollen wir einmal die erste Formel 21) auf solchem
Wege beweisen.
Es wird die Richtigkeit des Schemas:
Li j = ΠhΣkΠl(ai l + 1'l k)0'k h = Πhai h = Ri j
darzuthun sein. Diese ist aber auf den ersten Blick selbst für den Ge-
übten keineswegs ersichtlich. Man kann verbal überlegen:
Im Πl muss l ≠ k und in der Σk muss k ≠ h sein. Folglich ist der
Wert h für l effektiv zulässig; denn für l = h wird bei jedem k ≠ h der
Forderung l ≠ k schon von selbst genügt sein. D. h. in jedem Glied der
Σk tritt der Faktor ai h auf und lässt sich vorziehen bis er dicht hinter
dem Πh von Li j steht.
Ist nun bei gegebnem i auch nur eines der ai h gleich 0, so kommt
die Gleichung auf 0 = 0 hinaus, weil beiderseits mindestens ein verschwin-
dender Faktor ai h in dem Πh auftritt, und ist ihre Richtigkeit erwiesen. Die-
selbe bleibt demnach nur mehr für den Fall darzuthun, wo alle ai h = 1
sind. Wenigstens unter dieser Voraussetzung muss dann gezeigt werden,
dass der Faktor, den das in Li j = Πhai h · etc. vorgezogene ai h erhält, für
jedes h gleich 1 ist. Dieser Faktor „etc.“ wird rigoros den Ausdruck haben:
Σk0'k hΠl(ai l + 1'l k + 1'l h) = 1,
weil in dem Πl neben ai k nach Vorziehung von ai h auch dieser Faktor
fehlen muss; da jedoch tautologische Wiederholung desselben erlaubt ist,
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. 212. In: Deutsches Textarchiv <https://www.deutschestextarchiv.de/schroeder_logik03_1895/226>, 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/.