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. 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>
      <div n="1">
        <div n="2">
          <p><pb facs="#f0123" n="109"/><fw place="top" type="header">§ 7. Ausgerechnete Koeffizienten von Relativfunktionen.</fw><lb/><hi rendition="#i">erste</hi> &#x2014; beweisen (auf deren linke und rechte Seite dann also die<lb/>
Symbole <hi rendition="#i">L</hi> und <hi rendition="#i">R</hi> bezugnehmen sollen) &#x2014; 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 &#x201E;ver-<lb/>
wandten Problemen&#x201C; immer nur eines wirklich zu lösen brauchen, das<lb/>
wir den Repräsentanten des Quadrupels oder &#x201E;Gespannes&#x201C; 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 <hi rendition="#i">den allgemeinen Koeffizienten eines</hi><lb/>
(wenn auch noch so verwickelten) vermittelst der 6 Spezies aus lauter<lb/>
Relativen <hi rendition="#i">zusammengesetzten Ausdruckes</hi> zumeist fertig &#x201E;entwickelt&#x201C; oder<lb/>
&#x201E;<hi rendition="#i">ausgerechnet</hi>&#x201C; 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/><hi rendition="#i">ausgerechnet</hi> zu nennen, wenn er als eine &#x201E;<hi rendition="#i">Aussagenfunktion</hi>&#x201C; (&#x201E;Funktion&#x201C;<lb/>
im Sinne des Aussagenkalkuls) dargestellt ist von den Koeffizienten<lb/>
der &#x201E;einfachen&#x201C; 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 &#x2014; 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 &#x201E;ausführen&#x201C; liessen, so werden wir an den &#x201E;ausgerech-<lb/>
neten&#x201C; Koeffizienten die fernere Anforderung stellen dürfen, dass er<lb/><hi rendition="#i">blos mittelst identischer Knüpfungen</hi> (der Multiplikation und Addition)<lb/>
aus den Koeffizienten seiner &#x201E;einfachen&#x201C; 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 &#x201E;auszurechnen&#x201C; muss der Studirende sich aneignen. Man ge-<lb/>
langt bei einiger Übung bald dahin, denselben schon mit dem ersten<lb/>
Ansatze fertig hinzustellen, <hi rendition="#i">indem man zugleich</hi> &#x2014; wozu noch nähere<lb/>
Anleitung zu geben sein wird &#x2014; <hi rendition="#i">die sämtlichen &#x03A3; und &#x03A0;-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

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/123
Zitationshilfe: 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 18.05.2024.