Anmelden (DTAQ) DWDS     dlexDB     CLARIN-D

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

Bild:
<< vorherige Seite
Anhang 4.

Für die im Anhang 5 gegebenen Beispiele wird sich allemal der
Wert c in einer die Funktion a b definirenden Tabelle (Funktionstafel --
in Gestalt eines symbolischen Einmaleinses) aufschlagen lassen.

Nun kann man aber auch, wenn b und c gegeben sind, nach dem
Werte (oder den Werten) von a fragen, die so beschaffen sind, dass a b
gerade gleich dem gegebenen c ist, und ebenso, wenn a und c gegeben
sind, nach dem oder denjenigen Werten von b, für welche a b = c wäre.

Die Operationen, durch welche wir Antwort auf diese beiden Fragen
erlangen, nennen wir die "umgekehrten" oder "inversen" Operationen von
der als symbolische Multiplikation bezeichneten "direkten" Operation. Wir
bezeichnen sie als "symbolische Divisionen" und zwar bezüglich mittelst
Doppelpunktes als "symbolische Messung" und mittelst Bruchstrichs als
"symbolische Teilung"; sie bilden die beiden andern von den "drei Grund-
operationen". Auch sie werden jeweils äusserst leicht an der die Funktion
a b erklärenden Funktionstafel auszuführen sein.

Wir nehmen nun ferner an, dass die Antwort auf die gestellten Fragen
stets (für jedes Wertepaar von a und c, sowie von b und c) und immer
nur auf eine Weise gegeben werden könne, oder wie man sagt, dass die
beiden symbol. Divisionen (gleichwie die Multiplikation) "unbedingt aus-
führbar" und "nie mehrdeutig" seien. M. a. W. wir erklären, nur mit
solchen Funktionen a b uns beschäftigen zu wollen, bei welchen solche Ein-
deutigkeit der Umkehrungen zutrifft. Sooft dann a b = a' b sein sollte,
wird auch a = a' sein müssen; ebenso, wenn a b = a b' ist, wird b = b'
folgen.

Dasjenige b, für welches bei gegebnen a, c:
a b = c ist, nennen wir b = c : a
und dasjenige a, für welches bei gegebnen b, c:
a b = c ist, nennen wir a = [Formel 1]
und nach der Voraussetzung wird es immer ein und nur ein solches geben,
sodass das symbolische Verhältniss a : b und der symbolische Bruch [Formel 2]
uns in jedem Falle (für gegebene Operationsglieder desselben) eine ganz
bestimmte Zahl vorstellen werden.

Nach diesen Definitionen sind dann
a b = c, b = c : a und a = [Formel 3]
drei einander äquivalente Aussagen, und substituirt man den Ausdruck,
welchen uns irgend eine dieser Gleichungen für den auf ihrer einen Seite
isolirten Buchstaben als einen neuen diesem eben zukommenden Namen zur
Verfügung stellt, in die beiden andern Gleichungen, so ergeben sich die
sechs Beziehungen:
b = (a b) : a, a = [Formel 4] , a (c : a) = c, a = [Formel 5] , [Formel 6] b = c, b = c : [Formel 7]
welche für die beiden, je in sie eingehenden Buchstaben den Charakter von
allgemein gültigen Formeln haben müssen, da zweie von den drei Buch-

Anhang 4.

Für die im Anhang 5 gegebenen Beispiele wird sich allemal der
Wert c in einer die Funktion a b definirenden Tabelle (Funktionstafel —
in Gestalt eines symbolischen Einmaleinses) aufschlagen lassen.

Nun kann man aber auch, wenn b und c gegeben sind, nach dem
Werte (oder den Werten) von a fragen, die so beschaffen sind, dass a b
gerade gleich dem gegebenen c ist, und ebenso, wenn a und c gegeben
sind, nach dem oder denjenigen Werten von b, für welche a b = c wäre.

Die Operationen, durch welche wir Antwort auf diese beiden Fragen
erlangen, nennen wir die „umgekehrten“ oder „inversen“ Operationen von
der als symbolische Multiplikation bezeichneten „direkten“ Operation. Wir
bezeichnen sie als „symbolische Divisionen“ und zwar bezüglich mittelst
Doppelpunktes als „symbolische Messung“ und mittelst Bruchstrichs als
„symbolische Teilung“; sie bilden die beiden andern von den „drei Grund-
operationen“. Auch sie werden jeweils äusserst leicht an der die Funktion
a b erklärenden Funktionstafel auszuführen sein.

Wir nehmen nun ferner an, dass die Antwort auf die gestellten Fragen
stets (für jedes Wertepaar von a und c, sowie von b und c) und immer
nur auf eine Weise gegeben werden könne, oder wie man sagt, dass die
beiden symbol. Divisionen (gleichwie die Multiplikation) „unbedingt aus-
führbar“ und „nie mehrdeutig“ seien. M. a. W. wir erklären, nur mit
solchen Funktionen a b uns beschäftigen zu wollen, bei welchen solche Ein-
deutigkeit der Umkehrungen zutrifft. Sooft dann a b = a' b sein sollte,
wird auch a = a' sein müssen; ebenso, wenn a b = a b' ist, wird b = b'
folgen.

Dasjenige b, für welches bei gegebnen a, c:
a b = c ist, nennen wir b = c : a
und dasjenige a, für welches bei gegebnen b, c:
a b = c ist, nennen wir a = [Formel 1]
und nach der Voraussetzung wird es immer ein und nur ein solches geben,
sodass das symbolische Verhältniss a : b und der symbolische Bruch [Formel 2]
uns in jedem Falle (für gegebene Operationsglieder desselben) eine ganz
bestimmte Zahl vorstellen werden.

Nach diesen Definitionen sind dann
a b = c, b = c : a und a = [Formel 3]
drei einander äquivalente Aussagen, und substituirt man den Ausdruck,
welchen uns irgend eine dieser Gleichungen für den auf ihrer einen Seite
isolirten Buchstaben als einen neuen diesem eben zukommenden Namen zur
Verfügung stellt, in die beiden andern Gleichungen, so ergeben sich die
sechs Beziehungen:
b = (a b) : a, a = [Formel 4] , a (c : a) = c, a = [Formel 5] , [Formel 6] b = c, b = c : [Formel 7]
welche für die beiden, je in sie eingehenden Buchstaben den Charakter von
allgemein gültigen Formeln haben müssen, da zweie von den drei Buch-

<TEI>
  <text>
    <body>
      <div n="1">
        <div n="2">
          <pb facs="#f0640" n="620"/>
          <fw place="top" type="header">Anhang 4.</fw><lb/>
          <p>Für die im Anhang 5 gegebenen Beispiele wird sich allemal der<lb/>
Wert <hi rendition="#i">c</hi> in einer die Funktion <hi rendition="#i">a b</hi> definirenden Tabelle (Funktionstafel &#x2014;<lb/>
in Gestalt eines symbolischen Einmaleinses) aufschlagen lassen.</p><lb/>
          <p>Nun kann man aber auch, wenn <hi rendition="#i">b</hi> und <hi rendition="#i">c</hi> gegeben sind, nach dem<lb/>
Werte (oder den Werten) von <hi rendition="#i">a</hi> fragen, die so beschaffen sind, dass <hi rendition="#i">a b</hi><lb/>
gerade gleich dem gegebenen <hi rendition="#i">c</hi> ist, und ebenso, wenn <hi rendition="#i">a</hi> und <hi rendition="#i">c</hi> gegeben<lb/>
sind, nach dem oder denjenigen Werten von <hi rendition="#i">b</hi>, für welche <hi rendition="#i">a b</hi> = <hi rendition="#i">c</hi> wäre.</p><lb/>
          <p>Die Operationen, durch welche wir Antwort auf diese beiden Fragen<lb/>
erlangen, nennen wir die &#x201E;umgekehrten&#x201C; oder &#x201E;<hi rendition="#i">inversen</hi>&#x201C; Operationen von<lb/>
der als symbolische Multiplikation bezeichneten &#x201E;direkten&#x201C; Operation. Wir<lb/>
bezeichnen sie als &#x201E;symbolische Divisionen&#x201C; und zwar bezüglich mittelst<lb/>
Doppelpunktes als &#x201E;symbolische Messung&#x201C; und mittelst Bruchstrichs als<lb/>
&#x201E;symbolische Teilung&#x201C;; sie bilden die beiden andern von den &#x201E;drei Grund-<lb/>
operationen&#x201C;. Auch sie werden jeweils äusserst leicht an der die Funktion<lb/><hi rendition="#i">a b</hi> erklärenden Funktionstafel auszuführen sein.</p><lb/>
          <p>Wir nehmen nun ferner an, dass die Antwort auf die gestellten Fragen<lb/><hi rendition="#i">stets</hi> (für jedes Wertepaar von <hi rendition="#i">a</hi> und <hi rendition="#i">c</hi>, sowie von <hi rendition="#i">b</hi> und <hi rendition="#i">c</hi>) und immer<lb/>
nur auf <hi rendition="#i">eine</hi> Weise gegeben werden könne, oder wie man sagt, dass die<lb/>
beiden symbol. Divisionen (gleichwie die Multiplikation) &#x201E;unbedingt aus-<lb/>
führbar&#x201C; und &#x201E;nie mehrdeutig&#x201C; seien. M. a. W. wir erklären, nur mit<lb/>
solchen Funktionen <hi rendition="#i">a b</hi> uns beschäftigen zu wollen, bei welchen solche Ein-<lb/>
deutigkeit der Umkehrungen zutrifft. Sooft dann <hi rendition="#i">a b</hi> = <hi rendition="#i">a</hi>' <hi rendition="#i">b</hi> sein sollte,<lb/>
wird auch <hi rendition="#i">a</hi> = <hi rendition="#i">a</hi>' sein müssen; ebenso, wenn <hi rendition="#i">a b</hi> = <hi rendition="#i">a b</hi>' ist, wird <hi rendition="#i">b</hi> = <hi rendition="#i">b</hi>'<lb/>
folgen.</p><lb/>
          <p>Dasjenige <hi rendition="#i">b</hi>, für welches bei gegebnen <hi rendition="#i">a</hi>, <hi rendition="#i">c</hi>:<lb/><hi rendition="#c"><hi rendition="#i">a b</hi> = <hi rendition="#i">c</hi> ist, nennen wir <hi rendition="#i">b</hi> = <hi rendition="#i">c</hi> : <hi rendition="#i">a</hi></hi><lb/>
und dasjenige <hi rendition="#i">a</hi>, für welches bei gegebnen <hi rendition="#i">b</hi>, <hi rendition="#i">c</hi>:<lb/><hi rendition="#c"><hi rendition="#i">a b</hi> = <hi rendition="#i">c</hi> ist, nennen wir <hi rendition="#i">a</hi> = <formula/></hi><lb/>
und nach der Voraussetzung wird es immer ein und nur ein solches geben,<lb/>
sodass das symbolische Verhältniss <hi rendition="#i">a</hi> : <hi rendition="#i">b</hi> und der symbolische Bruch <formula/><lb/>
uns in jedem Falle (für gegebene Operationsglieder desselben) eine ganz<lb/>
bestimmte Zahl vorstellen werden.</p><lb/>
          <p>Nach diesen Definitionen sind dann<lb/><hi rendition="#c"><hi rendition="#i">a b</hi> = <hi rendition="#i">c</hi>, <hi rendition="#i">b</hi> = <hi rendition="#i">c</hi> : <hi rendition="#i">a</hi> und <hi rendition="#i">a</hi> = <formula/></hi><lb/>
drei einander äquivalente Aussagen, und substituirt man den Ausdruck,<lb/>
welchen uns irgend eine dieser Gleichungen für den auf ihrer einen Seite<lb/>
isolirten Buchstaben als einen neuen diesem eben zukommenden Namen zur<lb/>
Verfügung stellt, in die beiden andern Gleichungen, so ergeben sich die<lb/>
sechs Beziehungen:<lb/><hi rendition="#c"><hi rendition="#i">b</hi> = (<hi rendition="#i">a b</hi>) : <hi rendition="#i">a</hi>, <hi rendition="#i">a</hi> = <formula/>, <hi rendition="#i">a</hi> (<hi rendition="#i">c</hi> : <hi rendition="#i">a</hi>) = <hi rendition="#i">c</hi>, <hi rendition="#i">a</hi> = <formula/>, <formula/> <hi rendition="#i">b</hi> = <hi rendition="#i">c</hi>, <hi rendition="#i">b</hi> = <hi rendition="#i">c</hi> : <formula/></hi><lb/>
welche für die beiden, je in sie eingehenden Buchstaben den Charakter von<lb/>
allgemein gültigen Formeln haben müssen, da zweie von den drei Buch-<lb/></p>
        </div>
      </div>
    </body>
  </text>
</TEI>
[620/0640] Anhang 4. Für die im Anhang 5 gegebenen Beispiele wird sich allemal der Wert c in einer die Funktion a b definirenden Tabelle (Funktionstafel — in Gestalt eines symbolischen Einmaleinses) aufschlagen lassen. Nun kann man aber auch, wenn b und c gegeben sind, nach dem Werte (oder den Werten) von a fragen, die so beschaffen sind, dass a b gerade gleich dem gegebenen c ist, und ebenso, wenn a und c gegeben sind, nach dem oder denjenigen Werten von b, für welche a b = c wäre. Die Operationen, durch welche wir Antwort auf diese beiden Fragen erlangen, nennen wir die „umgekehrten“ oder „inversen“ Operationen von der als symbolische Multiplikation bezeichneten „direkten“ Operation. Wir bezeichnen sie als „symbolische Divisionen“ und zwar bezüglich mittelst Doppelpunktes als „symbolische Messung“ und mittelst Bruchstrichs als „symbolische Teilung“; sie bilden die beiden andern von den „drei Grund- operationen“. Auch sie werden jeweils äusserst leicht an der die Funktion a b erklärenden Funktionstafel auszuführen sein. Wir nehmen nun ferner an, dass die Antwort auf die gestellten Fragen stets (für jedes Wertepaar von a und c, sowie von b und c) und immer nur auf eine Weise gegeben werden könne, oder wie man sagt, dass die beiden symbol. Divisionen (gleichwie die Multiplikation) „unbedingt aus- führbar“ und „nie mehrdeutig“ seien. M. a. W. wir erklären, nur mit solchen Funktionen a b uns beschäftigen zu wollen, bei welchen solche Ein- deutigkeit der Umkehrungen zutrifft. Sooft dann a b = a' b sein sollte, wird auch a = a' sein müssen; ebenso, wenn a b = a b' ist, wird b = b' folgen. Dasjenige b, für welches bei gegebnen a, c: a b = c ist, nennen wir b = c : a und dasjenige a, für welches bei gegebnen b, c: a b = c ist, nennen wir a = [FORMEL] und nach der Voraussetzung wird es immer ein und nur ein solches geben, sodass das symbolische Verhältniss a : b und der symbolische Bruch [FORMEL] uns in jedem Falle (für gegebene Operationsglieder desselben) eine ganz bestimmte Zahl vorstellen werden. Nach diesen Definitionen sind dann a b = c, b = c : a und a = [FORMEL] drei einander äquivalente Aussagen, und substituirt man den Ausdruck, welchen uns irgend eine dieser Gleichungen für den auf ihrer einen Seite isolirten Buchstaben als einen neuen diesem eben zukommenden Namen zur Verfügung stellt, in die beiden andern Gleichungen, so ergeben sich die sechs Beziehungen: b = (a b) : a, a = [FORMEL], a (c : a) = c, a = [FORMEL], [FORMEL] b = c, b = c : [FORMEL] welche für die beiden, je in sie eingehenden Buchstaben den Charakter von allgemein gültigen Formeln haben müssen, da zweie von den drei Buch-

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_logik01_1890
URL zu dieser Seite: https://www.deutschestextarchiv.de/schroeder_logik01_1890/640
Zitationshilfe: Schröder, Ernst: Vorlesungen über die Algebra der Logik. Bd. 1. Leipzig, 1890, S. 620. In: Deutsches Textarchiv <https://www.deutschestextarchiv.de/schroeder_logik01_1890/640>, abgerufen am 29.03.2024.