nach 43): a = u b, b = a + v, woraus nach 32) und 36) auch: a1 = b1 + u1, b1 = a1v1 -- 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: aa b, a + bb a1 + b1a1, b1a1b1 a b1 0, 1 a1 + b au b, a + vb b1 + u1a1, b1a1v1 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 bb resp. aa + v liefert, etc., darnach gemäss Prinzip II den Schluss ab 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 = a1v1 — 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 ⋹ a1b1 a b1 ⋹ 0, 1 ⋹ a1 + b a ⋹ u b, a + v ⋹ b b1 + u1 ⋹ a1, b1 ⋹ a1v1 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><divn="1"><divn="2"><p><pbfacs="#f0421"n="401"/><fwplace="top"type="header">§ 19. Funktionen und deren Entwickelung.</fw><lb/>
nach 43):<lb/><hirendition="#c"><hirendition="#i">a</hi> = <hirendition="#i">u b</hi>, <hirendition="#i">b</hi> = <hirendition="#i">a</hi> + <hirendition="#i">v</hi>,</hi><lb/>
woraus nach 32) und 36) auch:<lb/><hirendition="#c"><hirendition="#i">a</hi><hirendition="#sub">1</hi> = <hirendition="#i">b</hi><hirendition="#sub">1</hi> + <hirendition="#i">u</hi><hirendition="#sub">1</hi>, <hirendition="#i">b</hi><hirendition="#sub">1</hi> = <hirendition="#i">a</hi><hirendition="#sub">1</hi><hirendition="#i">v</hi><hirendition="#sub">1</hi></hi><lb/>— in welchen letzteren Darstellungen <hirendition="#i">u</hi>, <hirendition="#i">v</hi> und somit auch <hirendition="#i">u</hi><hirendition="#sub">1</hi>, <hirendition="#i">v</hi><hirendition="#sub">1</hi>, <hirendition="#i">ge-<lb/>
wisse</hi> nicht näher bestimmte Gebiete vorstellen, welche in den oben<lb/>
erläuterten Fällen auch als <hirendition="#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/><hirendition="#c"><hirendition="#i">a</hi>⋹<hirendition="#i">a b</hi>, <hirendition="#i">a</hi> + <hirendition="#i">b</hi>⋹<hirendition="#i">b<lb/>
a</hi><hirendition="#sub">1</hi> + <hirendition="#i">b</hi><hirendition="#sub">1</hi>⋹<hirendition="#i">a</hi><hirendition="#sub">1</hi>, <hirendition="#i">b</hi><hirendition="#sub">1</hi>⋹<hirendition="#i">a</hi><hirendition="#sub">1</hi><hirendition="#i">b</hi><hirendition="#sub">1</hi><lb/><hirendition="#i">a b</hi><hirendition="#sub">1</hi>⋹ 0, 1 ⋹<hirendition="#i">a</hi><hirendition="#sub">1</hi> + <hirendition="#i">b<lb/>
a</hi>⋹<hirendition="#i">u b</hi>, <hirendition="#i">a</hi> + <hirendition="#i">v</hi>⋹<hirendition="#i">b<lb/>
b</hi><hirendition="#sub">1</hi> + <hirendition="#i">u</hi><hirendition="#sub">1</hi>⋹<hirendition="#i">a</hi><hirendition="#sub">1</hi>, <hirendition="#i">b</hi><hirendition="#sub">1</hi>⋹<hirendition="#i">a</hi><hirendition="#sub">1</hi><hirendition="#i">v</hi><hirendition="#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 <hirendition="#i">u b</hi>⋹<hirendition="#i">b</hi> resp. <hirendition="#i">a</hi>⋹<hirendition="#i">a</hi> + <hirendition="#i">v</hi> liefert, etc., darnach gemäss Prinzip II den<lb/>
Schluss <hirendition="#i">a</hi>⋹<hirendition="#i">b</hi> zu ziehen gestattet, welcher äquivalent war der Gleichung<lb/>
(in der freilich <hirendition="#i">u</hi>, <hirendition="#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 <hirendition="#i">Funktions</hi>begriffes für (und in<lb/>
seiner Beschränkung auf) den identischen Kalkul.</p><lb/><p><hirendition="#g">Definition</hi>. „<hirendition="#i">Funktion</hi>“<hirendition="#i">von x</hi> oder <hirendition="#i">f</hi> (<hirendition="#i">x</hi>) — gelesen: <hirendition="#i">f</hi> von <hirendition="#i">x</hi>—<lb/><hirendition="#i">nennen wir im identischen Kalkul jeden Ausdruck, welcher aus dem<lb/>
Gebietsymbol x</hi> (eventuell auch seiner Negation <hirendition="#i">x</hi><hirendition="#sub">1</hi>) <hirendition="#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 <hirendition="#i">x</hi> zu-<lb/>
nächst durch Negiren ohnehin <hirendition="#i">x</hi><hirendition="#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 <hirendition="#i">Funktion f</hi> (<hirendition="#i">x</hi>, <hirendition="#i">y</hi>) <hirendition="#i">von x und y</hi>, sowie unter<lb/>
einer <hirendition="#i">Funktion f</hi> (<hirendition="#i">x</hi>, <hirendition="#i">y</hi>, <hirendition="#i">z</hi>) <hirendition="#i">von x</hi>, <hirendition="#i">y und z</hi>, u. s. w. irgend ein <hirendition="#i">Ausdruck</hi><lb/><fwplace="bottom"type="sig"><hirendition="#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
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. 1. Leipzig, 1890, S. 401. In: Deutsches Textarchiv <https://www.deutschestextarchiv.de/schroeder_logik01_1890/421>, abgerufen am 25.11.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/.
