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><divn="1"><divn="2"><p><pbfacs="#f0125"n="111"/><fwplace="top"type="header">§ 7. Zu den Hülfsschemata des Aussagenkalkuls.</fw><lb/>
Gesichtspunkte nochmals zurückzukommen, nach denen hiebei mit den<lb/>
Zeichen <hirendition="#i">Σ</hi>, <hirendition="#i">Π</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) — aus <hirendition="#i">didaktischen</hi> Gründen —<lb/>
auch auf die gewöhnliche Schreibung des <hirendition="#i">Π</hi> und <hirendition="#i">Σ</hi> als eines „expli-<lb/>
ziten“<hirendition="#i">vieltermigen</hi> Produkts oder Aggregates (ohne <hirendition="#i">Π</hi> und <hirendition="#i">Σ</hi>-zeichen),<lb/>
vorwiegend Rücksicht nehmen.</p><lb/><p>Nennen wir <hirendition="#i">a<hirendition="#sub">h k</hi></hi> gedachten allgemeinen Term! Lässt man in ihm<lb/>
die laufenden Zeiger (Summations- oder Produktationsvariablen) <hirendition="#i">h</hi> und <hirendition="#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/><hirendition="#i">rechteckiges</hi> Schema, eine <hirendition="#i">Matrix</hi>, und zwar:<lb/><hirendition="#c"><hirendition="#i">a</hi><hirendition="#sub">11</hi>, <hirendition="#i">a</hi><hirendition="#sub">12</hi>, <hirendition="#i">a</hi><hirendition="#sub">13</hi>, <hirendition="#i">a</hi><hirendition="#sub">14</hi>, …<lb/><hirendition="#i">a</hi><hirendition="#sub">21</hi>, <hirendition="#i">a</hi><hirendition="#sub">22</hi>, <hirendition="#i">a</hi><hirendition="#sub">23</hi>, <hirendition="#i">a</hi><hirendition="#sub">24</hi>, …<lb/><hirendition="#i">a</hi><hirendition="#sub">31</hi>, <hirendition="#i">a</hi><hirendition="#sub">32</hi>, <hirendition="#i">a</hi><hirendition="#sub">33</hi>, <hirendition="#i">a</hi><hirendition="#sub">34</hi>, …<lb/>
. . . . . . . .</hi><lb/>
falls wir etwa hier jene Wertreihen durch Ziffern repräsentiren.</p><lb/><p>Dass nun hierbei sowohl <hirendition="#i">Summenzeichen unter sich</hi> als auch <hirendition="#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 <hirendition="#i">Π</hi> und <hirendition="#i">Σ</hi> folgt es ohne<lb/>
weitres nach dem „<hirendition="#i">dictum de omni</hi>, <hirendition="#i">et</hi>“— möchten wir hinzufügen —<lb/>„<hirendition="#i">de aliquo</hi>“ oder „<hirendition="#i">ullo</hi>“.</p><lb/><p>Was von <hirendition="#i">jedem</hi> Paare <hirendition="#i">h</hi>, <hirendition="#i">k</hi> gilt, das gilt bei jedem <hirendition="#i">h</hi> für jedes <hirendition="#i">k</hi><lb/>
und gilt auch bei jedem <hirendition="#i">k</hi> für jedes <hirendition="#i">h</hi>— und umgekehrt. Desgleichen:</p><lb/><p>Was für <hirendition="#i">ein gewisses</hi> Paar <hirendition="#i">h</hi>, <hirendition="#i">k</hi> gilt, das gilt auch bei einem ge-<lb/>
wissen <hirendition="#i">h</hi> für ein gewisses <hirendition="#i">k</hi>, und bei einem gewissen <hirendition="#i">k</hi> für ein ge-<lb/>
wissen <hirendition="#i">h</hi>, sowie umgekehrt. [Nämlich: was bei einem gewissen <hirendition="#i">h</hi> für<lb/>
gewisses <hirendition="#i">k</hi> gilt, das gilt auch für ein gewisses Paar <hirendition="#i">h</hi>, <hirendition="#i">k</hi>. Etc.]</p><lb/><p>Lassen wir z. B. <hirendition="#i">h</hi> die Werte von 1 bis <hirendition="#i">n, k</hi> die von 1 bis <hirendition="#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-
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. 111. In: Deutsches Textarchiv <https://www.deutschestextarchiv.de/schroeder_logik03_1895/125>, abgerufen am 01.09.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/.