§ 7. Ausgerechnete Koeffizienten von Relativfunktionen.
erste -- beweisen (auf deren linke und rechte Seite dann also die Symbole L und R bezugnehmen sollen) -- es sei denn, dass bei dem Beweise ganz neue Schemata des Aussagenkalkuls in Betracht kämen, die wir insgesamt sichtbar zu machen wünschen. Ebenso werden wir auch bei verwickelteren Untersuchungen von jeder Tetrade von "ver- wandten Problemen" immer nur eines wirklich zu lösen brauchen, das wir den Repräsentanten des Quadrupels oder "Gespannes" nennen mögen.
Zur Sicherung einer Priorität der Entdeckung eines Sätzequadrupels würde auch schon die Mitteilung eines einzigen von den vier Sätzen ge- nügen und die Aufführung der übrigen als ein Luxus, eine Raumverschwen- dung erscheinen. Die Drucklegung aller viere, wie sie hier meistens doch verwirklicht wird, rechtfertigt sich aber aus den Bedürfnissen der Anwen- dung der Sätze, des Nachschlagens, bei den Verweisungen auf dieselben, etc. In Fällen des Zweifels, ob Anwendung aller schon hier erfolgen wird, thun wir auch lieber etwas zu viel als wie zu wenig.
Und ferner werden wir fortan den allgemeinen Koeffizienten eines (wenn auch noch so verwickelten) vermittelst der 6 Spezies aus lauter Relativen zusammengesetzten Ausdruckes zumeist fertig "entwickelt" oder "ausgerechnet" hinsetzen ohne so, wie es im Vorstehenden noch vor- bildlich geschah, die Schritte einzeln darzulegen, welche zu dessen Her- stellung gemäss den Vorschriften (10) bis (13) auszuführen waren.
Der allgemeine Koeffizient eines Ausdrucks wäre zur Not schon ausgerechnet zu nennen, wenn er als eine "Aussagenfunktion" ("Funktion" im Sinne des Aussagenkalkuls) dargestellt ist von den Koeffizienten der "einfachen" Symbole (cf. S. 85) die (als Elemente oder Kompo- nenten im weiteren Sinne, als Argumente, Operationsglieder, Terme) in den Ausdruck eingehen, das heisst also: wenn er aus letzteren nur durch die drei identischen Spezies aufgebaut ist -- während im Aus- drucke selbst ja alle 6 Spezies zur Verwendung kommen mochten. Da aber die beiden nicht knüpfenden Spezies schon im Ausdrucke selbst sich stets "ausführen" liessen, so werden wir an den "ausgerech- neten" Koeffizienten die fernere Anforderung stellen dürfen, dass er blos mittelst identischer Knüpfungen (der Multiplikation und Addition) aus den Koeffizienten seiner "einfachen" Terme sich zusammensetze. Und wo Moduln in Betracht kommen werden, behalten wir uns vor, diese Anforderungen noch weiter zu steigern.
Die Kunst, den allgemeinen Koeffizienten eines zusammengesetzten Relativs "auszurechnen" muss der Studirende sich aneignen. Man ge- langt bei einiger Übung bald dahin, denselben schon mit dem ersten Ansatze fertig hinzustellen, indem man zugleich -- wozu noch nähere Anleitung zu geben sein wird -- die sämtlichen S und P-zeichen mit
§ 7. Ausgerechnete Koeffizienten von Relativfunktionen.
erste — beweisen (auf deren linke und rechte Seite dann also die Symbole L und R bezugnehmen sollen) — es sei denn, dass bei dem Beweise ganz neue Schemata des Aussagenkalkuls in Betracht kämen, die wir insgesamt sichtbar zu machen wünschen. Ebenso werden wir auch bei verwickelteren Untersuchungen von jeder Tetrade von „ver- wandten Problemen“ immer nur eines wirklich zu lösen brauchen, das wir den Repräsentanten des Quadrupels oder „Gespannes“ nennen mögen.
Zur Sicherung einer Priorität der Entdeckung eines Sätzequadrupels würde auch schon die Mitteilung eines einzigen von den vier Sätzen ge- nügen und die Aufführung der übrigen als ein Luxus, eine Raumverschwen- dung erscheinen. Die Drucklegung aller viere, wie sie hier meistens doch verwirklicht wird, rechtfertigt sich aber aus den Bedürfnissen der Anwen- dung der Sätze, des Nachschlagens, bei den Verweisungen auf dieselben, etc. In Fällen des Zweifels, ob Anwendung aller schon hier erfolgen wird, thun wir auch lieber etwas zu viel als wie zu wenig.
Und ferner werden wir fortan den allgemeinen Koeffizienten eines (wenn auch noch so verwickelten) vermittelst der 6 Spezies aus lauter Relativen zusammengesetzten Ausdruckes zumeist fertig „entwickelt“ oder „ausgerechnet“ hinsetzen ohne so, wie es im Vorstehenden noch vor- bildlich geschah, die Schritte einzeln darzulegen, welche zu dessen Her- stellung gemäss den Vorschriften (10) bis (13) auszuführen waren.
Der allgemeine Koeffizient eines Ausdrucks wäre zur Not schon ausgerechnet zu nennen, wenn er als eine „Aussagenfunktion“ („Funktion“ im Sinne des Aussagenkalkuls) dargestellt ist von den Koeffizienten der „einfachen“ Symbole (cf. S. 85) die (als Elemente oder Kompo- nenten im weiteren Sinne, als Argumente, Operationsglieder, Terme) in den Ausdruck eingehen, das heisst also: wenn er aus letzteren nur durch die drei identischen Spezies aufgebaut ist — während im Aus- drucke selbst ja alle 6 Spezies zur Verwendung kommen mochten. Da aber die beiden nicht knüpfenden Spezies schon im Ausdrucke selbst sich stets „ausführen“ liessen, so werden wir an den „ausgerech- neten“ Koeffizienten die fernere Anforderung stellen dürfen, dass er blos mittelst identischer Knüpfungen (der Multiplikation und Addition) aus den Koeffizienten seiner „einfachen“ Terme sich zusammensetze. Und wo Moduln in Betracht kommen werden, behalten wir uns vor, diese Anforderungen noch weiter zu steigern.
Die Kunst, den allgemeinen Koeffizienten eines zusammengesetzten Relativs „auszurechnen“ muss der Studirende sich aneignen. Man ge- langt bei einiger Übung bald dahin, denselben schon mit dem ersten Ansatze fertig hinzustellen, indem man zugleich — wozu noch nähere Anleitung zu geben sein wird — die sämtlichen Σ und Π-zeichen mit
<TEI><text><body><divn="1"><divn="2"><p><pbfacs="#f0123"n="109"/><fwplace="top"type="header">§ 7. Ausgerechnete Koeffizienten von Relativfunktionen.</fw><lb/><hirendition="#i">erste</hi>— beweisen (auf deren linke und rechte Seite dann also die<lb/>
Symbole <hirendition="#i">L</hi> und <hirendition="#i">R</hi> bezugnehmen sollen) — es sei denn, dass bei dem<lb/>
Beweise ganz neue Schemata des Aussagenkalkuls in Betracht kämen,<lb/>
die wir insgesamt sichtbar zu machen wünschen. Ebenso werden wir<lb/>
auch bei verwickelteren Untersuchungen von jeder Tetrade von „ver-<lb/>
wandten Problemen“ immer nur eines wirklich zu lösen brauchen, das<lb/>
wir den Repräsentanten des Quadrupels oder „Gespannes“ nennen mögen.</p><lb/><p>Zur Sicherung einer Priorität der Entdeckung eines Sätzequadrupels<lb/>
würde auch schon die Mitteilung eines einzigen von den vier Sätzen ge-<lb/>
nügen und die Aufführung der übrigen als ein Luxus, eine Raumverschwen-<lb/>
dung erscheinen. Die Drucklegung aller viere, wie sie hier meistens doch<lb/>
verwirklicht wird, rechtfertigt sich aber aus den Bedürfnissen der Anwen-<lb/>
dung der Sätze, des Nachschlagens, bei den Verweisungen auf dieselben, etc.<lb/>
In Fällen des Zweifels, ob Anwendung aller schon hier erfolgen wird, thun<lb/>
wir auch lieber etwas zu viel als wie zu wenig.</p><lb/><p>Und ferner werden wir fortan <hirendition="#i">den allgemeinen Koeffizienten eines</hi><lb/>
(wenn auch noch so verwickelten) vermittelst der 6 Spezies aus lauter<lb/>
Relativen <hirendition="#i">zusammengesetzten Ausdruckes</hi> zumeist fertig „entwickelt“ oder<lb/>„<hirendition="#i">ausgerechnet</hi>“ hinsetzen ohne so, wie es im Vorstehenden noch vor-<lb/>
bildlich geschah, die Schritte einzeln darzulegen, welche zu dessen Her-<lb/>
stellung gemäss den Vorschriften (10) bis (13) auszuführen waren.</p><lb/><p>Der allgemeine Koeffizient eines Ausdrucks wäre zur Not schon<lb/><hirendition="#i">ausgerechnet</hi> zu nennen, wenn er als eine „<hirendition="#i">Aussagenfunktion</hi>“ („Funktion“<lb/>
im Sinne des Aussagenkalkuls) dargestellt ist von den Koeffizienten<lb/>
der „einfachen“ Symbole (cf. S. 85) die (als Elemente oder Kompo-<lb/>
nenten im weiteren Sinne, als Argumente, Operationsglieder, Terme)<lb/>
in den Ausdruck eingehen, das heisst also: wenn er aus letzteren nur<lb/>
durch die drei identischen Spezies aufgebaut ist — während im Aus-<lb/>
drucke selbst ja alle 6 Spezies zur Verwendung kommen mochten.<lb/>
Da aber die beiden nicht knüpfenden Spezies schon im Ausdrucke<lb/>
selbst sich stets „ausführen“ liessen, so werden wir an den „ausgerech-<lb/>
neten“ Koeffizienten die fernere Anforderung stellen dürfen, dass er<lb/><hirendition="#i">blos mittelst identischer Knüpfungen</hi> (der Multiplikation und Addition)<lb/>
aus den Koeffizienten seiner „einfachen“ Terme sich zusammensetze.<lb/>
Und wo Moduln in Betracht kommen werden, behalten wir uns vor,<lb/>
diese Anforderungen noch weiter zu steigern.</p><lb/><p>Die Kunst, den allgemeinen Koeffizienten eines zusammengesetzten<lb/>
Relativs „auszurechnen“ muss der Studirende sich aneignen. Man ge-<lb/>
langt bei einiger Übung bald dahin, denselben schon mit dem ersten<lb/>
Ansatze fertig hinzustellen, <hirendition="#i">indem man zugleich</hi>— wozu noch nähere<lb/>
Anleitung zu geben sein wird —<hirendition="#i">die sämtlichen Σ und Π-zeichen</hi> mit<lb/></p></div></div></body></text></TEI>
[109/0123]
§ 7. Ausgerechnete Koeffizienten von Relativfunktionen.
erste — beweisen (auf deren linke und rechte Seite dann also die
Symbole L und R bezugnehmen sollen) — es sei denn, dass bei dem
Beweise ganz neue Schemata des Aussagenkalkuls in Betracht kämen,
die wir insgesamt sichtbar zu machen wünschen. Ebenso werden wir
auch bei verwickelteren Untersuchungen von jeder Tetrade von „ver-
wandten Problemen“ immer nur eines wirklich zu lösen brauchen, das
wir den Repräsentanten des Quadrupels oder „Gespannes“ nennen mögen.
Zur Sicherung einer Priorität der Entdeckung eines Sätzequadrupels
würde auch schon die Mitteilung eines einzigen von den vier Sätzen ge-
nügen und die Aufführung der übrigen als ein Luxus, eine Raumverschwen-
dung erscheinen. Die Drucklegung aller viere, wie sie hier meistens doch
verwirklicht wird, rechtfertigt sich aber aus den Bedürfnissen der Anwen-
dung der Sätze, des Nachschlagens, bei den Verweisungen auf dieselben, etc.
In Fällen des Zweifels, ob Anwendung aller schon hier erfolgen wird, thun
wir auch lieber etwas zu viel als wie zu wenig.
Und ferner werden wir fortan den allgemeinen Koeffizienten eines
(wenn auch noch so verwickelten) vermittelst der 6 Spezies aus lauter
Relativen zusammengesetzten Ausdruckes zumeist fertig „entwickelt“ oder
„ausgerechnet“ hinsetzen ohne so, wie es im Vorstehenden noch vor-
bildlich geschah, die Schritte einzeln darzulegen, welche zu dessen Her-
stellung gemäss den Vorschriften (10) bis (13) auszuführen waren.
Der allgemeine Koeffizient eines Ausdrucks wäre zur Not schon
ausgerechnet zu nennen, wenn er als eine „Aussagenfunktion“ („Funktion“
im Sinne des Aussagenkalkuls) dargestellt ist von den Koeffizienten
der „einfachen“ Symbole (cf. S. 85) die (als Elemente oder Kompo-
nenten im weiteren Sinne, als Argumente, Operationsglieder, Terme)
in den Ausdruck eingehen, das heisst also: wenn er aus letzteren nur
durch die drei identischen Spezies aufgebaut ist — während im Aus-
drucke selbst ja alle 6 Spezies zur Verwendung kommen mochten.
Da aber die beiden nicht knüpfenden Spezies schon im Ausdrucke
selbst sich stets „ausführen“ liessen, so werden wir an den „ausgerech-
neten“ Koeffizienten die fernere Anforderung stellen dürfen, dass er
blos mittelst identischer Knüpfungen (der Multiplikation und Addition)
aus den Koeffizienten seiner „einfachen“ Terme sich zusammensetze.
Und wo Moduln in Betracht kommen werden, behalten wir uns vor,
diese Anforderungen noch weiter zu steigern.
Die Kunst, den allgemeinen Koeffizienten eines zusammengesetzten
Relativs „auszurechnen“ muss der Studirende sich aneignen. Man ge-
langt bei einiger Übung bald dahin, denselben schon mit dem ersten
Ansatze fertig hinzustellen, indem man zugleich — wozu noch nähere
Anleitung zu geben sein wird — die sämtlichen Σ und Π-zeichen mit
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. 109. In: Deutsches Textarchiv <https://www.deutschestextarchiv.de/schroeder_logik03_1895/123>, 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/.