Anmelden (DTAQ) DWDS     dlexDB     CLARIN-D

Schröder, Ernst: Vorlesungen über die Algebra der Logik. Bd. 3, Abt. 1. Leipzig, 1895.

Bild:
<< vorherige Seite

Sechste Vorlesung.
dende Summe (bei k = m) zum Faktor aufweist. Dagegen für j m kommt
die Behauptung auf 1 + 0 = 1 hinaus.

Letzteres ist so zu sehen: Ri j wird = 1, weil 0'm j = 1 ist und somit
der Term ai m = 1 als Summand auftritt. In Li j wird das zweite Glied
= 0, indem das Pk bei k = m den verschwindenden Faktor Shai h0'h m auf-
weist. In der ersten Summe verschwinden (wegen des bei h m ver-
schwindenden Faktors ai h) alle Glieder bis auf das dem h = m entsprechende,
welches sich als ai m0'm jPk(ani k + 1'k m) = ai m = 1 erweist, indem hierin das Pk
die Negation der laut Voraussetzung verschwindenden Summe Skai k0'k m ist.

Drittens: bei i habe a eine mehrbesetzte Zeile, indem, m n gedacht,
mindestens sowol ai m = 1 als ai n = 1 ist. In diesem Falle ist Shai h0'h k = 1
für jedes k, indem diese Summe (als Summe von allen ai h mit Ausnahme
des ai k) von den beiden Gliedern ai m und ai n doch mindestens eines ent-
hält. Die Negation dieser Summe, worin auch h und k vertauscht werden
durften, mithin das Pk(ani k + 1'k h), ist also = 0 und kommt die Gleichung
auf 0 + 1 = 1 hinaus.

Sie bewahrheitet sich mithin in allen Fällen, q. e. d. Hier gestaltet
sich die zeilenschematische Verifikation einfach wie folgt:
a = 1abg0, an = 0anbngn1, an j 1' = 000g1, (an j 1')a = 0000g0,
(an j 1')a ; 0' = 000gn0, a ; 0' = 111gn0, a ; 0' j 0 = 11100, L = 111gn0 = R,

und sticht dagegen augenscheinlich der vorhergehende Beweis durch seine
Umständlichkeit -- wonicht seine Schwierigkeiten -- sehr unvorteilhaft ab.

Wenn nun doch die Herbeiführung der Koeffizientenevidenz zur
Unterscheidung verschiedener Zeilenkategorieen uns nötigt, so werden
wir diese Unterscheidung und die auf sie zu gründenden Schlüsse am
besten
sogleich in ihrer konzisesten Gestalt, nämlich in Form der
fünfziffrig schematischen Darstellung und Rechnung, vollziehen! Letzteres
Verfahren ist nicht nur als ein vollwichtiges Äquivalent der in §§ 4
und 7 noch anders charakterisirten streng analytischen Methode anzu-
erkennen, sondern auch wol als eine Vereinfachung oder erhebliche
Erleichterung derselben zu begrüssen.

Nur leider ist solches Verfahren bei weitem nicht überall anwendbar,
weil eben die grosse Mehrzahl der Probleme keine reinen Parallelreihen-
probleme sind.

Bei den Kolonnenproblemen ist die Darstellung und Rechnung
genau die gleiche wie bei den Zeilenproblemen die ihnen dual ent-
sprechen. Eventuell wird man sich nur durch ein nach Art eines
musikalischen Notenschlüssels erstmals vorgeschriebenes z oder k --
etwa in Gestalt des Ansatzes:
a = z1abg0 resp. a = k1abg0
zum Bewusstsein zu bringen haben, ob die "Ziffern" auf Zeilen- oder
ob sie auf Kolonnenkategorieen hinweisen sollen.


Sechste Vorlesung.
dende Summe (bei k = m) zum Faktor aufweist. Dagegen für jm kommt
die Behauptung auf 1 + 0 = 1 hinaus.

Letzteres ist so zu sehen: Ri j wird = 1, weil 0'm j = 1 ist und somit
der Term ai m = 1 als Summand auftritt. In Li j wird das zweite Glied
= 0, indem das Πk bei k = m den verschwindenden Faktor Σhai h0'h m auf-
weist. In der ersten Summe verschwinden (wegen des bei hm ver-
schwindenden Faktors ai h) alle Glieder bis auf das dem h = m entsprechende,
welches sich als ai m0'm jΠk(i k + 1'k m) = ai m = 1 erweist, indem hierin das Πk
die Negation der laut Voraussetzung verschwindenden Summe Σkai k0'k m ist.

Drittens: bei i habe a eine mehrbesetzte Zeile, indem, mn gedacht,
mindestens sowol ai m = 1 als ai n = 1 ist. In diesem Falle ist Σhai h0'h k = 1
für jedes k, indem diese Summe (als Summe von allen ai h mit Ausnahme
des ai k) von den beiden Gliedern ai m und ai n doch mindestens eines ent-
hält. Die Negation dieser Summe, worin auch h und k vertauscht werden
durften, mithin das Πk(i k + 1'k h), ist also = 0 und kommt die Gleichung
auf 0 + 1 = 1 hinaus.

Sie bewahrheitet sich mithin in allen Fällen, q. e. d. Hier gestaltet
sich die zeilenschematische Verifikation einfach wie folgt:
a = 1αβγ0, = 0ᾱβ̄γ̄1, ɟ 1' = 000γ1, ( ɟ 1')a = 0000γ0,
( ɟ 1')a ; 0' = 000γ̄0, a ; 0' = 111γ̄0, a ; 0' ɟ 0 = 11100, L = 111γ̄0 = R,

und sticht dagegen augenscheinlich der vorhergehende Beweis durch seine
Umständlichkeit — wonicht seine Schwierigkeiten — sehr unvorteilhaft ab.

Wenn nun doch die Herbeiführung der Koeffizientenevidenz zur
Unterscheidung verschiedener Zeilenkategorieen uns nötigt, so werden
wir diese Unterscheidung und die auf sie zu gründenden Schlüsse am
besten
sogleich in ihrer konzisesten Gestalt, nämlich in Form der
fünfziffrig schematischen Darstellung und Rechnung, vollziehen! Letzteres
Verfahren ist nicht nur als ein vollwichtiges Äquivalent der in §§ 4
und 7 noch anders charakterisirten streng analytischen Methode anzu-
erkennen, sondern auch wol als eine Vereinfachung oder erhebliche
Erleichterung derselben zu begrüssen.

Nur leider ist solches Verfahren bei weitem nicht überall anwendbar,
weil eben die grosse Mehrzahl der Probleme keine reinen Parallelreihen-
probleme sind.

Bei den Kolonnenproblemen ist die Darstellung und Rechnung
genau die gleiche wie bei den Zeilenproblemen die ihnen dual ent-
sprechen. Eventuell wird man sich nur durch ein nach Art eines
musikalischen Notenschlüssels erstmals vorgeschriebenes z oder k
etwa in Gestalt des Ansatzes:
a = z1αβγ0 resp. a = k1αβγ0
zum Bewusstsein zu bringen haben, ob die „Ziffern“ auf Zeilen- oder
ob sie auf Kolonnenkategorieen hinweisen sollen.


<TEI>
  <text>
    <body>
      <div n="1">
        <div n="2">
          <p><pb facs="#f0228" n="214"/><fw place="top" type="header">Sechste Vorlesung.</fw><lb/>
dende Summe (bei <hi rendition="#i">k</hi> = <hi rendition="#i">m</hi>) zum Faktor aufweist. Dagegen für <hi rendition="#i">j</hi> &#x2260; <hi rendition="#i">m</hi> kommt<lb/>
die Behauptung auf 1 + 0 = 1 hinaus.</p><lb/>
          <p>Letzteres ist so zu sehen: <hi rendition="#i">R<hi rendition="#sub">i j</hi></hi> wird = 1, weil 0'<hi rendition="#i"><hi rendition="#sub">m j</hi></hi> = 1 ist und somit<lb/>
der Term <hi rendition="#i">a<hi rendition="#sub">i m</hi></hi> = 1 als Summand auftritt. In <hi rendition="#i">L<hi rendition="#sub">i j</hi></hi> wird das zweite Glied<lb/>
= 0, indem das <hi rendition="#i">&#x03A0;<hi rendition="#sub">k</hi></hi> bei <hi rendition="#i">k</hi> = <hi rendition="#i">m</hi> den verschwindenden Faktor <hi rendition="#i">&#x03A3;<hi rendition="#sub">h</hi>a<hi rendition="#sub">i h</hi></hi>0'<hi rendition="#i"><hi rendition="#sub">h m</hi></hi> auf-<lb/>
weist. In der ersten Summe verschwinden (wegen des bei <hi rendition="#i">h</hi> &#x2260; <hi rendition="#i">m</hi> ver-<lb/>
schwindenden Faktors <hi rendition="#i">a<hi rendition="#sub">i h</hi></hi>) alle Glieder bis auf das dem <hi rendition="#i">h</hi> = <hi rendition="#i">m</hi> entsprechende,<lb/>
welches sich als <hi rendition="#i">a<hi rendition="#sub">i m</hi></hi>0'<hi rendition="#i"><hi rendition="#sub">m j</hi>&#x03A0;<hi rendition="#sub">k</hi></hi>(<hi rendition="#i">a&#x0304;<hi rendition="#sub">i k</hi></hi> + 1'<hi rendition="#i"><hi rendition="#sub">k m</hi></hi>) = <hi rendition="#i">a<hi rendition="#sub">i m</hi></hi> = 1 erweist, indem hierin das <hi rendition="#i">&#x03A0;<hi rendition="#sub">k</hi></hi><lb/>
die Negation der laut Voraussetzung verschwindenden Summe <hi rendition="#i">&#x03A3;<hi rendition="#sub">k</hi>a<hi rendition="#sub">i k</hi></hi>0'<hi rendition="#i"><hi rendition="#sub">k m</hi></hi> ist.</p><lb/>
          <p>Drittens: bei <hi rendition="#i">i</hi> habe <hi rendition="#i">a</hi> eine <hi rendition="#i">mehrbesetzte</hi> Zeile, indem, <hi rendition="#i">m</hi> &#x2260; <hi rendition="#i">n</hi> gedacht,<lb/>
mindestens sowol <hi rendition="#i">a<hi rendition="#sub">i m</hi></hi> = 1 als <hi rendition="#i">a<hi rendition="#sub">i n</hi></hi> = 1 ist. In diesem Falle ist <hi rendition="#i">&#x03A3;<hi rendition="#sub">h</hi>a<hi rendition="#sub">i h</hi></hi>0'<hi rendition="#i"><hi rendition="#sub">h k</hi></hi> = 1<lb/>
für jedes <hi rendition="#i">k</hi>, indem diese Summe (als Summe von allen <hi rendition="#i">a<hi rendition="#sub">i h</hi></hi> mit Ausnahme<lb/>
des <hi rendition="#i">a<hi rendition="#sub">i k</hi></hi>) von den beiden Gliedern <hi rendition="#i">a<hi rendition="#sub">i m</hi></hi> und <hi rendition="#i">a<hi rendition="#sub">i n</hi></hi> doch mindestens eines ent-<lb/>
hält. Die Negation dieser Summe, worin auch <hi rendition="#i">h</hi> und <hi rendition="#i">k</hi> vertauscht werden<lb/>
durften, mithin das <hi rendition="#i">&#x03A0;<hi rendition="#sub">k</hi></hi>(<hi rendition="#i">a&#x0304;<hi rendition="#sub">i k</hi></hi> + 1'<hi rendition="#i"><hi rendition="#sub">k h</hi></hi>), ist also = 0 und kommt die Gleichung<lb/>
auf 0 + 1 = 1 hinaus.</p><lb/>
          <p>Sie bewahrheitet sich mithin in allen Fällen, q. e. d. Hier gestaltet<lb/>
sich die zeilenschematische Verifikation einfach wie folgt:<lb/><hi rendition="#c"><hi rendition="#i">a</hi> = 1<hi rendition="#i">&#x03B1;&#x03B2;&#x03B3;</hi>0, <hi rendition="#i">a&#x0304;</hi> = 0<hi rendition="#i">&#x03B1;&#x0304;&#x03B2;&#x0304;&#x03B3;&#x0304;</hi>1, <hi rendition="#i">a&#x0304;</hi> &#x025F; 1' = 000<hi rendition="#i">&#x03B3;</hi>1, (<hi rendition="#i">a&#x0304;</hi> &#x025F; 1')<hi rendition="#i">a</hi> = 0000<hi rendition="#i">&#x03B3;</hi>0,<lb/>
(<hi rendition="#i">a&#x0304;</hi> &#x025F; 1')<hi rendition="#i">a</hi> ; 0' = 000<hi rendition="#i">&#x03B3;&#x0304;</hi>0, <hi rendition="#i">a</hi> ; 0' = 111<hi rendition="#i">&#x03B3;&#x0304;</hi>0, <hi rendition="#i">a</hi> ; 0' &#x025F; 0 = 11100, <hi rendition="#i">L</hi> = 111<hi rendition="#i">&#x03B3;&#x0304;</hi>0 = <hi rendition="#i">R</hi>,</hi><lb/>
und sticht dagegen augenscheinlich der vorhergehende Beweis durch seine<lb/>
Umständlichkeit &#x2014; wonicht seine Schwierigkeiten &#x2014; sehr unvorteilhaft ab.</p><lb/>
          <p>Wenn nun doch die Herbeiführung der Koeffizientenevidenz zur<lb/>
Unterscheidung verschiedener Zeilenkategorieen uns nötigt, so werden<lb/>
wir diese Unterscheidung und die auf sie zu gründenden Schlüsse <hi rendition="#i">am<lb/>
besten</hi> sogleich in ihrer konzisesten Gestalt, nämlich in Form der<lb/>
fünfziffrig schematischen Darstellung und Rechnung, vollziehen! Letzteres<lb/>
Verfahren ist nicht nur als ein vollwichtiges Äquivalent der in §§ 4<lb/>
und 7 noch anders charakterisirten streng analytischen Methode anzu-<lb/>
erkennen, sondern auch wol als eine Vereinfachung oder erhebliche<lb/>
Erleichterung derselben zu begrüssen.</p><lb/>
          <p>Nur leider ist solches Verfahren bei weitem nicht überall anwendbar,<lb/>
weil eben die grosse Mehrzahl der Probleme keine reinen Parallelreihen-<lb/>
probleme sind.</p><lb/>
          <p>Bei den Kolonnenproblemen ist die Darstellung und Rechnung<lb/>
genau die gleiche wie bei den Zeilenproblemen die ihnen dual ent-<lb/>
sprechen. Eventuell wird man sich nur durch ein nach Art eines<lb/>
musikalischen Notenschlüssels erstmals vorgeschriebenes <hi rendition="#i">z</hi> oder <hi rendition="#i">k</hi> &#x2014;<lb/>
etwa in Gestalt des Ansatzes:<lb/><hi rendition="#c"><hi rendition="#i">a</hi> = <hi rendition="#i"><hi rendition="#sup">z</hi></hi>1<hi rendition="#i">&#x03B1;&#x03B2;&#x03B3;</hi>0 resp. <hi rendition="#i">a</hi> = <hi rendition="#i"><hi rendition="#sup">k</hi></hi>1<hi rendition="#i">&#x03B1;&#x03B2;&#x03B3;</hi>0</hi><lb/>
zum Bewusstsein zu bringen haben, ob die &#x201E;Ziffern&#x201C; auf Zeilen- oder<lb/>
ob sie auf Kolonnenkategorieen hinweisen sollen.</p><lb/>
        </div>
      </div>
    </body>
  </text>
</TEI>
[214/0228] Sechste Vorlesung. dende Summe (bei k = m) zum Faktor aufweist. Dagegen für j ≠ m kommt die Behauptung auf 1 + 0 = 1 hinaus. Letzteres ist so zu sehen: Ri j wird = 1, weil 0'm j = 1 ist und somit der Term ai m = 1 als Summand auftritt. In Li j wird das zweite Glied = 0, indem das Πk bei k = m den verschwindenden Faktor Σhai h0'h m auf- weist. In der ersten Summe verschwinden (wegen des bei h ≠ m ver- schwindenden Faktors ai h) alle Glieder bis auf das dem h = m entsprechende, welches sich als ai m0'm jΠk(āi k + 1'k m) = ai m = 1 erweist, indem hierin das Πk die Negation der laut Voraussetzung verschwindenden Summe Σkai k0'k m ist. Drittens: bei i habe a eine mehrbesetzte Zeile, indem, m ≠ n gedacht, mindestens sowol ai m = 1 als ai n = 1 ist. In diesem Falle ist Σhai h0'h k = 1 für jedes k, indem diese Summe (als Summe von allen ai h mit Ausnahme des ai k) von den beiden Gliedern ai m und ai n doch mindestens eines ent- hält. Die Negation dieser Summe, worin auch h und k vertauscht werden durften, mithin das Πk(āi k + 1'k h), ist also = 0 und kommt die Gleichung auf 0 + 1 = 1 hinaus. Sie bewahrheitet sich mithin in allen Fällen, q. e. d. Hier gestaltet sich die zeilenschematische Verifikation einfach wie folgt: a = 1αβγ0, ā = 0ᾱβ̄γ̄1, ā ɟ 1' = 000γ1, (ā ɟ 1')a = 0000γ0, (ā ɟ 1')a ; 0' = 000γ̄0, a ; 0' = 111γ̄0, a ; 0' ɟ 0 = 11100, L = 111γ̄0 = R, und sticht dagegen augenscheinlich der vorhergehende Beweis durch seine Umständlichkeit — wonicht seine Schwierigkeiten — sehr unvorteilhaft ab. Wenn nun doch die Herbeiführung der Koeffizientenevidenz zur Unterscheidung verschiedener Zeilenkategorieen uns nötigt, so werden wir diese Unterscheidung und die auf sie zu gründenden Schlüsse am besten sogleich in ihrer konzisesten Gestalt, nämlich in Form der fünfziffrig schematischen Darstellung und Rechnung, vollziehen! Letzteres Verfahren ist nicht nur als ein vollwichtiges Äquivalent der in §§ 4 und 7 noch anders charakterisirten streng analytischen Methode anzu- erkennen, sondern auch wol als eine Vereinfachung oder erhebliche Erleichterung derselben zu begrüssen. Nur leider ist solches Verfahren bei weitem nicht überall anwendbar, weil eben die grosse Mehrzahl der Probleme keine reinen Parallelreihen- probleme sind. Bei den Kolonnenproblemen ist die Darstellung und Rechnung genau die gleiche wie bei den Zeilenproblemen die ihnen dual ent- sprechen. Eventuell wird man sich nur durch ein nach Art eines musikalischen Notenschlüssels erstmals vorgeschriebenes z oder k — etwa in Gestalt des Ansatzes: a = z1αβγ0 resp. a = k1αβγ0 zum Bewusstsein zu bringen haben, ob die „Ziffern“ auf Zeilen- oder ob sie auf Kolonnenkategorieen hinweisen sollen.

Suche im Werk

Hilfe

Informationen zum Werk

Download dieses Werks

XML (TEI P5) · HTML · Text
TCF (text annotation layer)
XML (TEI P5 inkl. att.linguistic)

Metadaten zum Werk

TEI-Header · CMDI · Dublin Core

Ansichten dieser Seite

Voyant Tools ?

Language Resource Switchboard?

Feedback

Sie haben einen Fehler gefunden? Dann können Sie diesen über unsere Qualitätssicherungsplattform DTAQ melden.

Kommentar zur DTA-Ausgabe

Dieses Werk wurde gemäß den DTA-Transkriptionsrichtlinien im Double-Keying-Verfahren von Nicht-Muttersprachlern erfasst und in XML/TEI P5 nach DTA-Basisformat kodiert.




Ansicht auf Standard zurückstellen

URL zu diesem Werk: https://www.deutschestextarchiv.de/schroeder_logik03_1895
URL zu dieser Seite: https://www.deutschestextarchiv.de/schroeder_logik03_1895/228
Zitationshilfe: Schröder, Ernst: Vorlesungen über die Algebra der Logik. Bd. 3, Abt. 1. Leipzig, 1895, S. 214. In: Deutsches Textarchiv <https://www.deutschestextarchiv.de/schroeder_logik03_1895/228>, abgerufen am 27.11.2024.