Anmelden (DTAQ) DWDS     dlexDB     CLARIN-D

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

Bild:
<< vorherige Seite
nächste Seite >>

§ 7. Zu den Hülfsschemata des Aussagenkalkuls.
Gesichtspunkte nochmals zurückzukommen, nach denen hiebei mit den
Zeichen S, P zu operiren ist, obwol sich das meiste schon im § 3,
aus Bd. 2 rekapitulirt und durch weitre Hülfssätze ergänzt, findet.

Hierbei wollen wir (was nicht unumgänglich und vergl. S. 38
streng genommen zu vermeiden wäre) -- aus didaktischen Gründen --
auch auf die gewöhnliche Schreibung des P und S als eines "expli-
ziten" vieltermigen Produkts oder Aggregates (ohne P und S-zeichen),
vorwiegend Rücksicht nehmen.

Nennen wir ah k gedachten allgemeinen Term! Lässt man in ihm
die laufenden Zeiger (Summations- oder Produktationsvariablen) h und k
je eine aparte Reihe, eventuell Sequenz, von Werten durchlaufen und
schreibt die Werte des gedachten Terms geordnet hin, so erhält man
ein jetzt nicht notwendig quadratisches, vielmehr mit Sicherheit nur
rechteckiges Schema, eine Matrix, und zwar:
a11, a12, a13, a14, ...
a21, a22, a23, a24, ...
a31, a32, a33, a34, ...
. . . . . . . .
falls wir etwa hier jene Wertreihen durch Ziffern repräsentiren.

Dass nun hierbei sowohl Summenzeichen unter sich als auch Pro-
duktzeichen unter sich beliebig umgestellt werden dürfen, und dass ihrer
mehrere in ein einziges derselben Art zusammengezogen, resp. aus
letzterem (wieder) abgesondert werden mögen, dies sprechen für den
einfachsten Fall (den wo nur zwei Zeichen in Betracht kommen) die
Schemata aus:
1)

[Tabelle]
.

Das ist aber in der That durch den kommutativen und assozia-
tiven Charakter der identischen Multiplikation resp. Addition garantirt.

Für die selbständig definirten Aussagen P und S folgt es ohne
weitres nach dem "dictum de omni, et" -- möchten wir hinzufügen --
"de aliquo" oder "ullo".

Was von jedem Paare h, k gilt, das gilt bei jedem h für jedes k
und gilt auch bei jedem k für jedes h -- und umgekehrt. Desgleichen:

Was für ein gewisses Paar h, k gilt, das gilt auch bei einem ge-
wissen h für ein gewisses k, und bei einem gewissen k für ein ge-
wissen h, sowie umgekehrt. [Nämlich: was bei einem gewissen h für
gewisses k gilt, das gilt auch für ein gewisses Paar h, k. Etc.]

Lassen wir z. B. h die Werte von 1 bis n, k die von 1 bis m durch-

§ 7. Zu den Hülfsschemata des Aussagenkalkuls.
Gesichtspunkte nochmals zurückzukommen, nach denen hiebei mit den
Zeichen Σ, Π zu operiren ist, obwol sich das meiste schon im § 3,
aus Bd. 2 rekapitulirt und durch weitre Hülfssätze ergänzt, findet.

Hierbei wollen wir (was nicht unumgänglich und vergl. S. 38
streng genommen zu vermeiden wäre) — aus didaktischen Gründen —
auch auf die gewöhnliche Schreibung des Π und Σ als eines „expli-
ziten“ vieltermigen Produkts oder Aggregates (ohne Π und Σ-zeichen),
vorwiegend Rücksicht nehmen.

Nennen wir ah k gedachten allgemeinen Term! Lässt man in ihm
die laufenden Zeiger (Summations- oder Produktationsvariablen) h und k
je eine aparte Reihe, eventuell Sequenz, von Werten durchlaufen und
schreibt die Werte des gedachten Terms geordnet hin, so erhält man
ein jetzt nicht notwendig quadratisches, vielmehr mit Sicherheit nur
rechteckiges Schema, eine Matrix, und zwar:
a11, a12, a13, a14, …
a21, a22, a23, a24, …
a31, a32, a33, a34, …
. . . . . . . .
falls wir etwa hier jene Wertreihen durch Ziffern repräsentiren.

Dass nun hierbei sowohl Summenzeichen unter sich als auch Pro-
duktzeichen unter sich beliebig umgestellt werden dürfen, und dass ihrer
mehrere in ein einziges derselben Art zusammengezogen, resp. aus
letzterem (wieder) abgesondert werden mögen, dies sprechen für den
einfachsten Fall (den wo nur zwei Zeichen in Betracht kommen) die
Schemata aus:
1)

[Tabelle]
.

Das ist aber in der That durch den kommutativen und assozia-
tiven Charakter der identischen Multiplikation resp. Addition garantirt.

Für die selbständig definirten Aussagen Π und Σ folgt es ohne
weitres nach dem „dictum de omni, et“ — möchten wir hinzufügen —
„de aliquo“ oder „ullo“.

Was von jedem Paare h, k gilt, das gilt bei jedem h für jedes k
und gilt auch bei jedem k für jedes h — und umgekehrt. Desgleichen:

Was für ein gewisses Paar h, k gilt, das gilt auch bei einem ge-
wissen h für ein gewisses k, und bei einem gewissen k für ein ge-
wissen h, sowie umgekehrt. [Nämlich: was bei einem gewissen h für
gewisses k gilt, das gilt auch für ein gewisses Paar h, k. Etc.]

Lassen wir z. B. h die Werte von 1 bis n, k die von 1 bis m durch-

<TEI>
  <text>
    <body>
      <div n="1">
        <div n="2">
          <p><pb facs="#f0125" n="111"/><fw place="top" type="header">§ 7. Zu den Hülfsschemata des Aussagenkalkuls.</fw><lb/>
Gesichtspunkte nochmals zurückzukommen, nach denen hiebei mit den<lb/>
Zeichen <hi rendition="#i">&#x03A3;</hi>, <hi rendition="#i">&#x03A0;</hi> zu operiren ist, obwol sich das meiste schon im § 3,<lb/>
aus Bd. 2 rekapitulirt und durch weitre Hülfssätze ergänzt, findet.</p><lb/>
          <p>Hierbei wollen wir (was nicht unumgänglich und vergl. S. 38<lb/>
streng genommen zu vermeiden wäre) &#x2014; aus <hi rendition="#i">didaktischen</hi> Gründen &#x2014;<lb/>
auch auf die gewöhnliche Schreibung des <hi rendition="#i">&#x03A0;</hi> und <hi rendition="#i">&#x03A3;</hi> als eines &#x201E;expli-<lb/>
ziten&#x201C; <hi rendition="#i">vieltermigen</hi> Produkts oder Aggregates (ohne <hi rendition="#i">&#x03A0;</hi> und <hi rendition="#i">&#x03A3;</hi>-zeichen),<lb/>
vorwiegend Rücksicht nehmen.</p><lb/>
          <p>Nennen wir <hi rendition="#i">a<hi rendition="#sub">h k</hi></hi> gedachten allgemeinen Term! Lässt man in ihm<lb/>
die laufenden Zeiger (Summations- oder Produktationsvariablen) <hi rendition="#i">h</hi> und <hi rendition="#i">k</hi><lb/>
je eine aparte Reihe, eventuell Sequenz, von Werten durchlaufen und<lb/>
schreibt die Werte des gedachten Terms geordnet hin, so erhält man<lb/>
ein jetzt nicht notwendig quadratisches, vielmehr mit Sicherheit nur<lb/><hi rendition="#i">rechteckiges</hi> Schema, eine <hi rendition="#i">Matrix</hi>, und zwar:<lb/><hi rendition="#c"><hi rendition="#i">a</hi><hi rendition="#sub">11</hi>, <hi rendition="#i">a</hi><hi rendition="#sub">12</hi>, <hi rendition="#i">a</hi><hi rendition="#sub">13</hi>, <hi rendition="#i">a</hi><hi rendition="#sub">14</hi>, &#x2026;<lb/><hi rendition="#i">a</hi><hi rendition="#sub">21</hi>, <hi rendition="#i">a</hi><hi rendition="#sub">22</hi>, <hi rendition="#i">a</hi><hi rendition="#sub">23</hi>, <hi rendition="#i">a</hi><hi rendition="#sub">24</hi>, &#x2026;<lb/><hi rendition="#i">a</hi><hi rendition="#sub">31</hi>, <hi rendition="#i">a</hi><hi rendition="#sub">32</hi>, <hi rendition="#i">a</hi><hi rendition="#sub">33</hi>, <hi rendition="#i">a</hi><hi rendition="#sub">34</hi>, &#x2026;<lb/>
. . . . . . . .</hi><lb/>
falls wir etwa hier jene Wertreihen durch Ziffern repräsentiren.</p><lb/>
          <p>Dass nun hierbei sowohl <hi rendition="#i">Summenzeichen unter sich</hi> als auch <hi rendition="#i">Pro-<lb/>
duktzeichen unter sich beliebig umgestellt werden dürfen</hi>, und dass ihrer<lb/>
mehrere in ein einziges derselben Art zusammengezogen, resp. aus<lb/>
letzterem (wieder) abgesondert werden mögen, dies sprechen für den<lb/>
einfachsten Fall (den wo nur zwei Zeichen in Betracht kommen) die<lb/>
Schemata aus:<lb/>
1) <table><row><cell/></row></table>.</p><lb/>
          <p>Das ist aber in der That durch den kommutativen und assozia-<lb/>
tiven Charakter der identischen Multiplikation resp. Addition garantirt.</p><lb/>
          <p>Für die selbständig definirten Aussagen <hi rendition="#i">&#x03A0;</hi> und <hi rendition="#i">&#x03A3;</hi> folgt es ohne<lb/>
weitres nach dem &#x201E;<hi rendition="#i">dictum de omni</hi>, <hi rendition="#i">et</hi>&#x201C; &#x2014; möchten wir hinzufügen &#x2014;<lb/>
&#x201E;<hi rendition="#i">de aliquo</hi>&#x201C; oder &#x201E;<hi rendition="#i">ullo</hi>&#x201C;.</p><lb/>
          <p>Was von <hi rendition="#i">jedem</hi> Paare <hi rendition="#i">h</hi>, <hi rendition="#i">k</hi> gilt, das gilt bei jedem <hi rendition="#i">h</hi> für jedes <hi rendition="#i">k</hi><lb/>
und gilt auch bei jedem <hi rendition="#i">k</hi> für jedes <hi rendition="#i">h</hi> &#x2014; und umgekehrt. Desgleichen:</p><lb/>
          <p>Was für <hi rendition="#i">ein gewisses</hi> Paar <hi rendition="#i">h</hi>, <hi rendition="#i">k</hi> gilt, das gilt auch bei einem ge-<lb/>
wissen <hi rendition="#i">h</hi> für ein gewisses <hi rendition="#i">k</hi>, und bei einem gewissen <hi rendition="#i">k</hi> für ein ge-<lb/>
wissen <hi rendition="#i">h</hi>, sowie umgekehrt. [Nämlich: was bei einem gewissen <hi rendition="#i">h</hi> für<lb/>
gewisses <hi rendition="#i">k</hi> gilt, das gilt auch für ein gewisses Paar <hi rendition="#i">h</hi>, <hi rendition="#i">k</hi>. Etc.]</p><lb/>
          <p>Lassen wir z. B. <hi rendition="#i">h</hi> die Werte von 1 bis <hi rendition="#i">n, k</hi> die von 1 bis <hi rendition="#i">m</hi> durch-<lb/></p>
        </div>
      </div>
    </body>
  </text>
</TEI>
[111/0125] § 7. Zu den Hülfsschemata des Aussagenkalkuls. Gesichtspunkte nochmals zurückzukommen, nach denen hiebei mit den Zeichen Σ, Π zu operiren ist, obwol sich das meiste schon im § 3, aus Bd. 2 rekapitulirt und durch weitre Hülfssätze ergänzt, findet. Hierbei wollen wir (was nicht unumgänglich und vergl. S. 38 streng genommen zu vermeiden wäre) — aus didaktischen Gründen — auch auf die gewöhnliche Schreibung des Π und Σ als eines „expli- ziten“ vieltermigen Produkts oder Aggregates (ohne Π und Σ-zeichen), vorwiegend Rücksicht nehmen. Nennen wir ah k gedachten allgemeinen Term! Lässt man in ihm die laufenden Zeiger (Summations- oder Produktationsvariablen) h und k je eine aparte Reihe, eventuell Sequenz, von Werten durchlaufen und schreibt die Werte des gedachten Terms geordnet hin, so erhält man ein jetzt nicht notwendig quadratisches, vielmehr mit Sicherheit nur rechteckiges Schema, eine Matrix, und zwar: a11, a12, a13, a14, … a21, a22, a23, a24, … a31, a32, a33, a34, … . . . . . . . . falls wir etwa hier jene Wertreihen durch Ziffern repräsentiren. Dass nun hierbei sowohl Summenzeichen unter sich als auch Pro- duktzeichen unter sich beliebig umgestellt werden dürfen, und dass ihrer mehrere in ein einziges derselben Art zusammengezogen, resp. aus letzterem (wieder) abgesondert werden mögen, dies sprechen für den einfachsten Fall (den wo nur zwei Zeichen in Betracht kommen) die Schemata aus: 1) . Das ist aber in der That durch den kommutativen und assozia- tiven Charakter der identischen Multiplikation resp. Addition garantirt. Für die selbständig definirten Aussagen Π und Σ folgt es ohne weitres nach dem „dictum de omni, et“ — möchten wir hinzufügen — „de aliquo“ oder „ullo“. Was von jedem Paare h, k gilt, das gilt bei jedem h für jedes k und gilt auch bei jedem k für jedes h — und umgekehrt. Desgleichen: Was für ein gewisses Paar h, k gilt, das gilt auch bei einem ge- wissen h für ein gewisses k, und bei einem gewissen k für ein ge- wissen h, sowie umgekehrt. [Nämlich: was bei einem gewissen h für gewisses k gilt, das gilt auch für ein gewisses Paar h, k. Etc.] Lassen wir z. B. h die Werte von 1 bis n, k die von 1 bis m durch-

Suche im Werk

Hilfe

Informationen zum Werk

Download dieses Werks

XML (TEI P5) · HTML · Text
TCF (text annotation layer)
TCF (tokenisiert, serialisiert, lemmatisiert, normalisiert)
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/125
Zitationshilfe: Schröder, Ernst: Vorlesungen über die Algebra der Logik. Bd. 3, Abt. 1. Leipzig, 1895, S. 111. In: Deutsches Textarchiv <https://www.deutschestextarchiv.de/schroeder_logik03_1895/125>, abgerufen am 18.05.2024.