Anmelden (DTAQ) DWDS     dlexDB     CLARIN-D

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

Bild:
<< vorherige Seite
Zehnte Vorlesung.
§ 19. Funktionen und deren Entwickelung.

Nachdem wir Operationen kennen gelernt haben, dienlich um aus
gegebenen Gebieten oder Klassen deren neue abzuleiten, müssen wir
uns über die Eigenschaften der Ausdrücke orientiren, welche mittelst
dieser Operationen aufgebaut oder zusammengesetzt werden können.
Auf dieses Ziel steuern wir nunmehr hin.

42+) Theorem.

Jedes Gebiet y lässt sich durch jedes andre Gebiet x und dessen Ne-
gation x
1 "linear und homogen" ausdrücken in der Form:
y = a x + b x1.

Beweis. Geometrisch wäre dies zwar evident für die Bedeutungen

[Abbildung]
[Abbildung] Fig. 19.
von a = A, b = B der Fig. 19 in welcher x und y
die Kreisflächen, dagegen A und B die Bilineums-
oder Bogenzweieckflächen, in welche diese Buch-
staben eingeschrieben sind, vorstellen. Offenbar
ist nämlich hier: A x = A, B x1 = B, y = A + B.

Indessen soll ohne Not nicht auf die An-
schauung rekurrirt, zurückgegangen werden oder
Berufung erfolgen.

Wir beweisen daher unsre Behauptung rein "analytisch". Und
dies gelingt bereits -- und auf die einfachste Weise -- durch die
nach bisherigem [Th. 21x), 30+) und 27x)] leicht erweisliche Identität:
y = y x + y x1,
welche mit obiger Behauptung zusammenfällt, sobald man unter a
und b das Gleiche, und zwar y selbst, versteht.

Noch besser, nämlich -- wie man bald in der Lage sein wird,
darzuthun -- auf die allgemeinste Weise, wird der Satz erwiesen durch
die ganz unumschränkt gültige Gleichung:
y = (x y + u x1) x + (x1 y + v x) x1,

Zehnte Vorlesung.
§ 19. Funktionen und deren Entwickelung.

Nachdem wir Operationen kennen gelernt haben, dienlich um aus
gegebenen Gebieten oder Klassen deren neue abzuleiten, müssen wir
uns über die Eigenschaften der Ausdrücke orientiren, welche mittelst
dieser Operationen aufgebaut oder zusammengesetzt werden können.
Auf dieses Ziel steuern wir nunmehr hin.

42+) Theorem.

Jedes Gebiet y lässt sich durch jedes andre Gebiet x und dessen Ne-
gation x
1linear und homogenausdrücken in der Form:
y = a x + b x1.

Beweis. Geometrisch wäre dies zwar evident für die Bedeutungen

[Abbildung]
[Abbildung] Fig. 19.
von a = A, b = B der Fig. 19 in welcher x und y
die Kreisflächen, dagegen A und B die Bilineums-
oder Bogenzweieckflächen, in welche diese Buch-
staben eingeschrieben sind, vorstellen. Offenbar
ist nämlich hier: A x = A, B x1 = B, y = A + B.

Indessen soll ohne Not nicht auf die An-
schauung rekurrirt, zurückgegangen werden oder
Berufung erfolgen.

Wir beweisen daher unsre Behauptung rein „analytisch“. Und
dies gelingt bereits — und auf die einfachste Weise — durch die
nach bisherigem [Th. 21×), 30+) und 27×)] leicht erweisliche Identität:
y = y x + y x1,
welche mit obiger Behauptung zusammenfällt, sobald man unter a
und b das Gleiche, und zwar y selbst, versteht.

Noch besser, nämlich — wie man bald in der Lage sein wird,
darzuthun — auf die allgemeinste Weise, wird der Satz erwiesen durch
die ganz unumschränkt gültige Gleichung:
y = (x y + u x1) x + (x1 y + v x) x1,

<TEI>
  <text>
    <body>
      <pb facs="#f0416" n="[396]"/>
      <div n="1">
        <head><hi rendition="#g">Zehnte Vorlesung</hi>.</head><lb/>
        <div n="2">
          <head>§ 19. <hi rendition="#b">Funktionen und deren Entwickelung.</hi></head><lb/>
          <p>Nachdem wir Operationen kennen gelernt haben, dienlich um aus<lb/>
gegebenen Gebieten oder Klassen deren neue abzuleiten, müssen wir<lb/>
uns über die Eigenschaften der Ausdrücke orientiren, welche mittelst<lb/>
dieser Operationen aufgebaut oder zusammengesetzt werden können.<lb/>
Auf dieses Ziel steuern wir nunmehr hin.</p><lb/>
          <p>42<hi rendition="#sub">+</hi>) <hi rendition="#g">Theorem</hi>.</p><lb/>
          <p><hi rendition="#i">Jedes Gebiet y lässt sich durch jedes andre Gebiet x und dessen Ne-<lb/>
gation x</hi><hi rendition="#sub">1</hi> &#x201E;<hi rendition="#i">linear und homogen</hi>&#x201C; <hi rendition="#i">ausdrücken in der Form:</hi><lb/><hi rendition="#c"><hi rendition="#i">y</hi> = <hi rendition="#i">a x</hi> + <hi rendition="#i">b x</hi><hi rendition="#sub">1</hi>.</hi></p><lb/>
          <p><hi rendition="#g">Beweis</hi>. Geometrisch wäre dies zwar evident für die Bedeutungen<lb/><figure/> <figure><head>Fig. 19.</head></figure><lb/>
von <hi rendition="#i">a</hi> = <hi rendition="#i">A</hi>, <hi rendition="#i">b</hi> = <hi rendition="#i">B</hi> der Fig. 19 in welcher <hi rendition="#i">x</hi> und <hi rendition="#i">y</hi><lb/>
die Kreisflächen, dagegen <hi rendition="#i">A</hi> und <hi rendition="#i">B</hi> die Bilineums-<lb/>
oder Bogenzweieckflächen, in welche diese Buch-<lb/>
staben eingeschrieben sind, vorstellen. Offenbar<lb/>
ist nämlich hier: <hi rendition="#i">A x</hi> = <hi rendition="#i">A</hi>, <hi rendition="#i">B x</hi><hi rendition="#sub">1</hi> = <hi rendition="#i">B</hi>, <hi rendition="#i">y</hi> = <hi rendition="#i">A</hi> + <hi rendition="#i">B</hi>.</p><lb/>
          <p>Indessen soll ohne Not nicht auf die An-<lb/>
schauung rekurrirt, zurückgegangen werden oder<lb/>
Berufung erfolgen.</p><lb/>
          <p>Wir beweisen daher unsre Behauptung rein &#x201E;analytisch&#x201C;. Und<lb/>
dies gelingt bereits &#x2014; und auf die einfachste Weise &#x2014; durch die<lb/>
nach bisherigem [Th. 21<hi rendition="#sub">×</hi>), 30<hi rendition="#sub">+</hi>) und 27<hi rendition="#sub">×</hi>)] leicht erweisliche Identität:<lb/><hi rendition="#c"><hi rendition="#i">y</hi> = <hi rendition="#i">y x</hi> + <hi rendition="#i">y x</hi><hi rendition="#sub">1</hi>,</hi><lb/>
welche mit obiger Behauptung zusammenfällt, sobald man unter <hi rendition="#i">a</hi><lb/>
und <hi rendition="#i">b</hi> das Gleiche, und zwar <hi rendition="#i">y</hi> selbst, versteht.</p><lb/>
          <p>Noch besser, nämlich &#x2014; wie man bald in der Lage sein wird,<lb/>
darzuthun &#x2014; auf die allgemeinste Weise, wird der Satz erwiesen durch<lb/>
die ganz unumschränkt gültige Gleichung:<lb/><hi rendition="#c"><hi rendition="#i">y</hi> = (<hi rendition="#i">x y</hi> + <hi rendition="#i">u x</hi><hi rendition="#sub">1</hi>) <hi rendition="#i">x</hi> + (<hi rendition="#i">x</hi><hi rendition="#sub">1</hi> <hi rendition="#i">y</hi> + <hi rendition="#i">v x</hi>) <hi rendition="#i">x</hi><hi rendition="#sub">1</hi>,</hi><lb/></p>
        </div>
      </div>
    </body>
  </text>
</TEI>
[[396]/0416] Zehnte Vorlesung. § 19. Funktionen und deren Entwickelung. Nachdem wir Operationen kennen gelernt haben, dienlich um aus gegebenen Gebieten oder Klassen deren neue abzuleiten, müssen wir uns über die Eigenschaften der Ausdrücke orientiren, welche mittelst dieser Operationen aufgebaut oder zusammengesetzt werden können. Auf dieses Ziel steuern wir nunmehr hin. 42+) Theorem. Jedes Gebiet y lässt sich durch jedes andre Gebiet x und dessen Ne- gation x1 „linear und homogen“ ausdrücken in der Form: y = a x + b x1. Beweis. Geometrisch wäre dies zwar evident für die Bedeutungen [Abbildung] [Abbildung Fig. 19.] von a = A, b = B der Fig. 19 in welcher x und y die Kreisflächen, dagegen A und B die Bilineums- oder Bogenzweieckflächen, in welche diese Buch- staben eingeschrieben sind, vorstellen. Offenbar ist nämlich hier: A x = A, B x1 = B, y = A + B. Indessen soll ohne Not nicht auf die An- schauung rekurrirt, zurückgegangen werden oder Berufung erfolgen. Wir beweisen daher unsre Behauptung rein „analytisch“. Und dies gelingt bereits — und auf die einfachste Weise — durch die nach bisherigem [Th. 21×), 30+) und 27×)] leicht erweisliche Identität: y = y x + y x1, welche mit obiger Behauptung zusammenfällt, sobald man unter a und b das Gleiche, und zwar y selbst, versteht. Noch besser, nämlich — wie man bald in der Lage sein wird, darzuthun — auf die allgemeinste Weise, wird der Satz erwiesen durch die ganz unumschränkt gültige Gleichung: y = (x y + u x1) x + (x1 y + v x) x1,

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/416
Zitationshilfe: Schröder, Ernst: Vorlesungen über die Algebra der Logik. Bd. 1. Leipzig, 1890, S. [396]. In: Deutsches Textarchiv <https://www.deutschestextarchiv.de/schroeder_logik01_1890/416>, abgerufen am 28.03.2024.