Anmelden (DTAQ) DWDS     dlexDB     CLARIN-D

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

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

§ 19. Funktionen und deren Entwickelung.
nach 43):
a = u b, b = a + v,
woraus nach 32) und 36) auch:
a1 = b1 + u1, b1 = a1 v1
-- in welchen letzteren Darstellungen u, v und somit auch u1, v1, ge-
wisse nicht näher bestimmte Gebiete vorstellen, welche in den oben
erläuterten Fällen auch als arbiträre auszulegen erlaubt ist.

Wie man leicht erkennt kann man obendrein die Gleichungen auch
sämtlich durch Subsumtionen ersetzen in folgender Weise:
a a b, a + b b
a1 + b1 a1, b1 a1 b1
a b1 0, 1 a1 + b
a u b, a + v b
b1 + u1 a1, b1 a1 v1
und mag so die Zahl der verfügbaren Ausdrucksweisen noch um zehn ver-
mehren.

Bei den sechs ersten von diesen gilt nämlich die umgekehrte Subsum-
tion nach Th. 6) und Def. (2) ohnehin als allgemeine Formel, sodass
Gleichheit eintritt. Und bei den vier letzten Subsumtionen, welche ihrer-
seits aus der ihnen entsprechenden Gleichung nach Def. (1) hervorgingen,
folgt auch aus der Subsumtion wieder die Gleichung nach Th. 6), welches
ms u b b resp. a a + v liefert, etc., darnach gemäss Prinzip II den
Schluss a b zu ziehen gestattet, welcher äquivalent war der Gleichung
(in der freilich u, v eine andre Bedeutung haben kann als in der voraus-
gesetzten Subsumtion).

Wir geben jetzt die Erklärung des Funktionsbegriffes für (und in
seiner Beschränkung auf) den identischen Kalkul.

Definition. "Funktion" von x oder f (x) -- gelesen: f von x --
nennen wir im identischen Kalkul jeden Ausdruck, welcher aus dem
Gebietsymbol x (eventuell auch seiner Negation x1) und irgendwelchen
andern Gebietsymbolen aufgebaut ist vermittelst der drei Grundoperationen
des Kalkuls als da sind: identische Multiplikation, Addition und Negation.

Beliebig häufige Verwendung eines jeden Symbols ist bei diesem
Aufbau selbstverständlich zugelassen. Auch war die in Klammer ge-
setzte Einschaltung strenge genommen überflüssig, weil wir zu x zu-
nächst durch Negiren ohnehin x1 ableiten und diese beiden Bausteine
beliebig weiter verwenden können. Von den Operationen dürfen
einzelne auch unvertreten sein; ebenso mögen andere Symbole fehlen.

Analog ist unter einer Funktion f (x, y) von x und y, sowie unter
einer Funktion f (x, y, z) von x, y und z, u. s. w. irgend ein Ausdruck

Schröder, Algebra der Logik. 26

§ 19. Funktionen und deren Entwickelung.
nach 43):
a = u b, b = a + v,
woraus nach 32) und 36) auch:
a1 = b1 + u1, b1 = a1 v1
— in welchen letzteren Darstellungen u, v und somit auch u1, v1, ge-
wisse nicht näher bestimmte Gebiete vorstellen, welche in den oben
erläuterten Fällen auch als arbiträre auszulegen erlaubt ist.

Wie man leicht erkennt kann man obendrein die Gleichungen auch
sämtlich durch Subsumtionen ersetzen in folgender Weise:
a ⋹ a b, a + b ⋹ b
a1 + b1 ⋹ a1, b1 ⋹ a1 b1
a b1 ⋹ 0, 1 ⋹ a1 + b
a ⋹ u b, a + v ⋹ b
b1 + u1 ⋹ a1, b1 ⋹ a1 v1
und mag so die Zahl der verfügbaren Ausdrucksweisen noch um zehn ver-
mehren.

Bei den sechs ersten von diesen gilt nämlich die umgekehrte Subsum-
tion nach Th. 6) und Def. (2) ohnehin als allgemeine Formel, sodass
Gleichheit eintritt. Und bei den vier letzten Subsumtionen, welche ihrer-
seits aus der ihnen entsprechenden Gleichung nach Def. (1) hervorgingen,
folgt auch aus der Subsumtion wieder die Gleichung nach Th. 6), welches
ms u b ⋹ b resp. a ⋹ a + v liefert, etc., darnach gemäss Prinzip II den
Schluss a ⋹ b zu ziehen gestattet, welcher äquivalent war der Gleichung
(in der freilich u, v eine andre Bedeutung haben kann als in der voraus-
gesetzten Subsumtion).

Wir geben jetzt die Erklärung des Funktionsbegriffes für (und in
seiner Beschränkung auf) den identischen Kalkul.

Definition. „Funktion“ von x oder f (x) — gelesen: f von x —
nennen wir im identischen Kalkul jeden Ausdruck, welcher aus dem
Gebietsymbol x (eventuell auch seiner Negation x1) und irgendwelchen
andern Gebietsymbolen aufgebaut ist vermittelst der drei Grundoperationen
des Kalkuls als da sind: identische Multiplikation, Addition und Negation.

Beliebig häufige Verwendung eines jeden Symbols ist bei diesem
Aufbau selbstverständlich zugelassen. Auch war die in Klammer ge-
setzte Einschaltung strenge genommen überflüssig, weil wir zu x zu-
nächst durch Negiren ohnehin x1 ableiten und diese beiden Bausteine
beliebig weiter verwenden können. Von den Operationen dürfen
einzelne auch unvertreten sein; ebenso mögen andere Symbole fehlen.

Analog ist unter einer Funktion f (x, y) von x und y, sowie unter
einer Funktion f (x, y, z) von x, y und z, u. s. w. irgend ein Ausdruck

Schröder, Algebra der Logik. 26
<TEI>
  <text>
    <body>
      <div n="1">
        <div n="2">
          <p><pb facs="#f0421" n="401"/><fw place="top" type="header">§ 19. Funktionen und deren Entwickelung.</fw><lb/>
nach 43):<lb/><hi rendition="#c"><hi rendition="#i">a</hi> = <hi rendition="#i">u b</hi>, <hi rendition="#i">b</hi> = <hi rendition="#i">a</hi> + <hi rendition="#i">v</hi>,</hi><lb/>
woraus nach 32) und 36) auch:<lb/><hi rendition="#c"><hi rendition="#i">a</hi><hi rendition="#sub">1</hi> = <hi rendition="#i">b</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">u</hi><hi rendition="#sub">1</hi>, <hi rendition="#i">b</hi><hi rendition="#sub">1</hi> = <hi rendition="#i">a</hi><hi rendition="#sub">1</hi> <hi rendition="#i">v</hi><hi rendition="#sub">1</hi></hi><lb/>
&#x2014; in welchen letzteren Darstellungen <hi rendition="#i">u</hi>, <hi rendition="#i">v</hi> und somit auch <hi rendition="#i">u</hi><hi rendition="#sub">1</hi>, <hi rendition="#i">v</hi><hi rendition="#sub">1</hi>, <hi rendition="#i">ge-<lb/>
wisse</hi> nicht näher bestimmte Gebiete vorstellen, welche in den oben<lb/>
erläuterten Fällen auch als <hi rendition="#i">arbiträre</hi> auszulegen erlaubt ist.</p><lb/>
          <p>Wie man leicht erkennt kann man obendrein die Gleichungen auch<lb/>
sämtlich durch Subsumtionen ersetzen in folgender Weise:<lb/><hi rendition="#c"><hi rendition="#i">a</hi> &#x22F9; <hi rendition="#i">a b</hi>, <hi rendition="#i">a</hi> + <hi rendition="#i">b</hi> &#x22F9; <hi rendition="#i">b<lb/>
a</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">b</hi><hi rendition="#sub">1</hi> &#x22F9; <hi rendition="#i">a</hi><hi rendition="#sub">1</hi>, <hi rendition="#i">b</hi><hi rendition="#sub">1</hi> &#x22F9; <hi rendition="#i">a</hi><hi rendition="#sub">1</hi> <hi rendition="#i">b</hi><hi rendition="#sub">1</hi><lb/><hi rendition="#i">a b</hi><hi rendition="#sub">1</hi> &#x22F9; 0, 1 &#x22F9; <hi rendition="#i">a</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">b<lb/>
a</hi> &#x22F9; <hi rendition="#i">u b</hi>, <hi rendition="#i">a</hi> + <hi rendition="#i">v</hi> &#x22F9; <hi rendition="#i">b<lb/>
b</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">u</hi><hi rendition="#sub">1</hi> &#x22F9; <hi rendition="#i">a</hi><hi rendition="#sub">1</hi>, <hi rendition="#i">b</hi><hi rendition="#sub">1</hi> &#x22F9; <hi rendition="#i">a</hi><hi rendition="#sub">1</hi> <hi rendition="#i">v</hi><hi rendition="#sub">1</hi></hi><lb/>
und mag so die Zahl der verfügbaren Ausdrucksweisen noch um zehn ver-<lb/>
mehren.</p><lb/>
          <p>Bei den sechs ersten von diesen gilt nämlich die umgekehrte Subsum-<lb/>
tion nach Th. 6) und Def. (2) ohnehin als allgemeine Formel, sodass<lb/>
Gleichheit eintritt. Und bei den vier letzten Subsumtionen, welche ihrer-<lb/>
seits aus der ihnen entsprechenden Gleichung nach Def. (1) hervorgingen,<lb/>
folgt auch aus der Subsumtion wieder die Gleichung nach Th. 6), welches<lb/>
ms <hi rendition="#i">u b</hi> &#x22F9; <hi rendition="#i">b</hi> resp. <hi rendition="#i">a</hi> &#x22F9; <hi rendition="#i">a</hi> + <hi rendition="#i">v</hi> liefert, etc., darnach gemäss Prinzip II den<lb/>
Schluss <hi rendition="#i">a</hi> &#x22F9; <hi rendition="#i">b</hi> zu ziehen gestattet, welcher äquivalent war der Gleichung<lb/>
(in der freilich <hi rendition="#i">u</hi>, <hi rendition="#i">v</hi> eine andre Bedeutung haben kann als in der voraus-<lb/>
gesetzten Subsumtion).</p><lb/>
          <p>Wir geben jetzt die Erklärung des <hi rendition="#i">Funktions</hi>begriffes für (und in<lb/>
seiner Beschränkung auf) den identischen Kalkul.</p><lb/>
          <p><hi rendition="#g">Definition</hi>. &#x201E;<hi rendition="#i">Funktion</hi>&#x201C; <hi rendition="#i">von x</hi> oder <hi rendition="#i">f</hi> (<hi rendition="#i">x</hi>) &#x2014; gelesen: <hi rendition="#i">f</hi> von <hi rendition="#i">x</hi> &#x2014;<lb/><hi rendition="#i">nennen wir im identischen Kalkul jeden Ausdruck, welcher aus dem<lb/>
Gebietsymbol x</hi> (eventuell auch seiner Negation <hi rendition="#i">x</hi><hi rendition="#sub">1</hi>) <hi rendition="#i">und irgendwelchen<lb/>
andern Gebietsymbolen aufgebaut ist vermittelst der drei Grundoperationen<lb/>
des Kalkuls als da sind: identische Multiplikation, Addition und Negation.</hi></p><lb/>
          <p>Beliebig häufige Verwendung eines jeden Symbols ist bei diesem<lb/>
Aufbau selbstverständlich zugelassen. Auch war die in Klammer ge-<lb/>
setzte Einschaltung strenge genommen überflüssig, weil wir zu <hi rendition="#i">x</hi> zu-<lb/>
nächst durch Negiren ohnehin <hi rendition="#i">x</hi><hi rendition="#sub">1</hi> ableiten und diese beiden Bausteine<lb/>
beliebig weiter verwenden können. Von den Operationen dürfen<lb/>
einzelne auch unvertreten sein; ebenso mögen andere Symbole fehlen.</p><lb/>
          <p>Analog ist unter einer <hi rendition="#i">Funktion f</hi> (<hi rendition="#i">x</hi>, <hi rendition="#i">y</hi>) <hi rendition="#i">von x und y</hi>, sowie unter<lb/>
einer <hi rendition="#i">Funktion f</hi> (<hi rendition="#i">x</hi>, <hi rendition="#i">y</hi>, <hi rendition="#i">z</hi>) <hi rendition="#i">von x</hi>, <hi rendition="#i">y und z</hi>, u. s. w. irgend ein <hi rendition="#i">Ausdruck</hi><lb/>
<fw place="bottom" type="sig"><hi rendition="#k">Schröder</hi>, Algebra der Logik. 26</fw><lb/></p>
        </div>
      </div>
    </body>
  </text>
</TEI>
[401/0421] § 19. Funktionen und deren Entwickelung. nach 43): a = u b, b = a + v, woraus nach 32) und 36) auch: a1 = b1 + u1, b1 = a1 v1 — in welchen letzteren Darstellungen u, v und somit auch u1, v1, ge- wisse nicht näher bestimmte Gebiete vorstellen, welche in den oben erläuterten Fällen auch als arbiträre auszulegen erlaubt ist. Wie man leicht erkennt kann man obendrein die Gleichungen auch sämtlich durch Subsumtionen ersetzen in folgender Weise: a ⋹ a b, a + b ⋹ b a1 + b1 ⋹ a1, b1 ⋹ a1 b1 a b1 ⋹ 0, 1 ⋹ a1 + b a ⋹ u b, a + v ⋹ b b1 + u1 ⋹ a1, b1 ⋹ a1 v1 und mag so die Zahl der verfügbaren Ausdrucksweisen noch um zehn ver- mehren. Bei den sechs ersten von diesen gilt nämlich die umgekehrte Subsum- tion nach Th. 6) und Def. (2) ohnehin als allgemeine Formel, sodass Gleichheit eintritt. Und bei den vier letzten Subsumtionen, welche ihrer- seits aus der ihnen entsprechenden Gleichung nach Def. (1) hervorgingen, folgt auch aus der Subsumtion wieder die Gleichung nach Th. 6), welches ms u b ⋹ b resp. a ⋹ a + v liefert, etc., darnach gemäss Prinzip II den Schluss a ⋹ b zu ziehen gestattet, welcher äquivalent war der Gleichung (in der freilich u, v eine andre Bedeutung haben kann als in der voraus- gesetzten Subsumtion). Wir geben jetzt die Erklärung des Funktionsbegriffes für (und in seiner Beschränkung auf) den identischen Kalkul. Definition. „Funktion“ von x oder f (x) — gelesen: f von x — nennen wir im identischen Kalkul jeden Ausdruck, welcher aus dem Gebietsymbol x (eventuell auch seiner Negation x1) und irgendwelchen andern Gebietsymbolen aufgebaut ist vermittelst der drei Grundoperationen des Kalkuls als da sind: identische Multiplikation, Addition und Negation. Beliebig häufige Verwendung eines jeden Symbols ist bei diesem Aufbau selbstverständlich zugelassen. Auch war die in Klammer ge- setzte Einschaltung strenge genommen überflüssig, weil wir zu x zu- nächst durch Negiren ohnehin x1 ableiten und diese beiden Bausteine beliebig weiter verwenden können. Von den Operationen dürfen einzelne auch unvertreten sein; ebenso mögen andere Symbole fehlen. Analog ist unter einer Funktion f (x, y) von x und y, sowie unter einer Funktion f (x, y, z) von x, y und z, u. s. w. irgend ein Ausdruck Schröder, Algebra der Logik. 26

Suche im Werk

Hilfe

Informationen zum Werk

Download dieses Werks

XML (TEI P5) · HTML · Text
TCF (text annotation layer)
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/421
Zitationshilfe: Schröder, Ernst: Vorlesungen über die Algebra der Logik. Bd. 1. Leipzig, 1890, S. 401. In: Deutsches Textarchiv <https://www.deutschestextarchiv.de/schroeder_logik01_1890/421>, abgerufen am 22.11.2024.