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 >>

Fünfte Vorlesung.
standswort ersetzt werden können, und dass in der That in unserer Theorie
es geboten erscheint, in beregter Hinsicht mehr als in der Mathematik auf
korrekten Ausdruck zu halten!

Notabene: Multiplizirt man die Gleichung a' = b' beiderseits mit a = b,
so entsteht auch etwas anderes, wie wenn man die Gleichung a = b beider-
seits mit a' = b' multiplizirte. Vergl. § 33, x) und o).

Zusatz 2. Kombinirte Anwendung der Theoreme 19x) und 19+)
liefert den Satz, dass es in jedem Ausdruck, welcher nur durch die
Operationen der identischen Multiplikation und Addition aufgebaut
erscheint, gestattet ist, Gleiches durch Gleiches zu ersetzen. Sicherlich
wird solche Ersetzung ohne Einfluss auf den Wert des Ausdrucks
bleiben, wenngleich die Form desselben dadurch verändert werden mag.

Exempel. Ist b + c = a, so ist auch
a (b + c) + d + (b + c) c = a a + d + a c = a + a c + d = a + d.

Wie Venn1 p. 146 und anderwärts bemerkt ist das der linkseitigen
Kolumne von Sätzen 15) .. 19) zugrundeliegende Th. 15x) bereits von
Leibniz gegeben (Specimen demonstrandi, Erdmann, p. 99), der auch
schon die Determination durch Nebeneinanderstellen der Symbole nach Art
der Faktoren eines Produktes ausdrückt.

Die Theoreme des gegenwärtigen Paragraphen sind von so ausser-
ordentlich häufiger Anwendung, dass es zu umständlich wäre, sie jedes-
mal zu citiren. Dieselben müssen in succum et sanguinem, in Fleisch
und Blut des Rechners übergegangen sein.

§ 11. Gemischte Gesetze, den Zusammenhang zwischen beiden
Operationen zeigend.

20) Theorem. Eine jede von den beiden Gleichungen:
a = a b , a + b = b
ist nur eine Umschreibung der Subsumtion:
a b,
dergestalt, dass diese drei Aussagen äquivalent sind, einander gegen-
seitig bedingen: wenn irgend eine von ihnen gilt, so gelten auch die
beiden andern.

Der Beweis besteht aus vier Teilen, indem zu zeigen ist, dass
aus jeder der Gleichungen die Subsumtion und umgekehrt aus der
Subsumtion eine jede von den Gleichungen folgt.

Ist a = a b, so folgt nach Def. (1)
auch a a b, und weil nach Th. 6x)
auch a b b ist, so folgt a fortiori:		Ist a + b = b, so haben wir auch
a + b b, und weil nach 6+) ohne-
hin a a + b ist, so folgt nach II:
a b.a b.

Fünfte Vorlesung.
standswort ersetzt werden können, und dass in der That in unserer Theorie
es geboten erscheint, in beregter Hinsicht mehr als in der Mathematik auf
korrekten Ausdruck zu halten!

Notabene: Multiplizirt man die Gleichung a' = b' beiderseits mit a = b,
so entsteht auch etwas anderes, wie wenn man die Gleichung a = b beider-
seits mit a' = b' multiplizirte. Vergl. § 33, ξ) und ο).

Zusatz 2. Kombinirte Anwendung der Theoreme 19×) und 19+)
liefert den Satz, dass es in jedem Ausdruck, welcher nur durch die
Operationen der identischen Multiplikation und Addition aufgebaut
erscheint, gestattet ist, Gleiches durch Gleiches zu ersetzen. Sicherlich
wird solche Ersetzung ohne Einfluss auf den Wert des Ausdrucks
bleiben, wenngleich die Form desselben dadurch verändert werden mag.

Exempel. Ist b + c = a, so ist auch
a (b + c) + d + (b + c) c = a a + d + a c = a + a c + d = a + d.

Wie Venn1 p. 146 und anderwärts bemerkt ist das der linkseitigen
Kolumne von Sätzen 15) ‥ 19) zugrundeliegende Th. 15×) bereits von
Leibniz gegeben (Specimen demonstrandi, Erdmann, p. 99), der auch
schon die Determination durch Nebeneinanderstellen der Symbole nach Art
der Faktoren eines Produktes ausdrückt.

Die Theoreme des gegenwärtigen Paragraphen sind von so ausser-
ordentlich häufiger Anwendung, dass es zu umständlich wäre, sie jedes-
mal zu citiren. Dieselben müssen in succum et sanguinem, in Fleisch
und Blut des Rechners übergegangen sein.

§ 11. Gemischte Gesetze, den Zusammenhang zwischen beiden
Operationen zeigend.

20) Theorem. Eine jede von den beiden Gleichungen:
a = a b , a + b = b
ist nur eine Umschreibung der Subsumtion:
a ⋹ b,
dergestalt, dass diese drei Aussagen äquivalent sind, einander gegen-
seitig bedingen: wenn irgend eine von ihnen gilt, so gelten auch die
beiden andern.

Der Beweis besteht aus vier Teilen, indem zu zeigen ist, dass
aus jeder der Gleichungen die Subsumtion und umgekehrt aus der
Subsumtion eine jede von den Gleichungen folgt.

Ist a = a b, so folgt nach Def. (1)
auch a ⋹ a b, und weil nach Th. 6×)
auch a b ⋹ b ist, so folgt a fortiori:		Ist a + b = b, so haben wir auch
a + b ⋹ b, und weil nach 6+) ohne-
hin a ⋹ a + b ist, so folgt nach II:
a ⋹ b.a ⋹ b.
<TEI>
  <text>
    <body>
      <div n="1">
        <div n="2">
          <p><pb facs="#f0290" n="270"/><fw place="top" type="header">Fünfte Vorlesung.</fw><lb/>
standswort ersetzt werden können, und dass in der That in unserer Theorie<lb/>
es geboten erscheint, in beregter Hinsicht mehr als in der Mathematik auf<lb/>
korrekten Ausdruck zu halten!</p><lb/>
          <p>Notabene: Multiplizirt man die Gleichung <hi rendition="#i">a</hi>' = <hi rendition="#i">b</hi>' <hi rendition="#i">beiderseits</hi> mit <hi rendition="#i">a</hi> = <hi rendition="#i">b</hi>,<lb/>
so entsteht auch etwas anderes, wie wenn man die Gleichung <hi rendition="#i">a</hi> = <hi rendition="#i">b beider-<lb/>
seits</hi> mit <hi rendition="#i">a</hi>' = <hi rendition="#i">b</hi>' multiplizirte. Vergl. § 33, <hi rendition="#i">&#x03BE;</hi>) und <hi rendition="#i">&#x03BF;</hi>).</p><lb/>
          <p><hi rendition="#g">Zusatz</hi> 2. Kombinirte Anwendung der Theoreme 19<hi rendition="#sub">×</hi>) und 19<hi rendition="#sub">+</hi>)<lb/>
liefert den Satz, dass es in jedem Ausdruck, welcher nur durch die<lb/>
Operationen der identischen Multiplikation und Addition aufgebaut<lb/>
erscheint, <hi rendition="#i">gestattet</hi> ist, <hi rendition="#i">Gleiches durch Gleiches</hi> zu ersetzen. Sicherlich<lb/>
wird solche Ersetzung ohne Einfluss auf den <hi rendition="#i">Wert</hi> des Ausdrucks<lb/>
bleiben, wenngleich die <hi rendition="#i">Form</hi> desselben dadurch verändert werden mag.</p><lb/>
          <p><hi rendition="#g">Exempel</hi>. Ist <hi rendition="#i">b</hi> + <hi rendition="#i">c</hi> = <hi rendition="#i">a</hi>, so ist auch<lb/><hi rendition="#c"><hi rendition="#i">a</hi> (<hi rendition="#i">b</hi> + <hi rendition="#i">c</hi>) + <hi rendition="#i">d</hi> + (<hi rendition="#i">b</hi> + <hi rendition="#i">c</hi>) <hi rendition="#i">c</hi> = <hi rendition="#i">a a</hi> + <hi rendition="#i">d</hi> + <hi rendition="#i">a c</hi> = <hi rendition="#i">a</hi> + <hi rendition="#i">a c</hi> + <hi rendition="#i">d</hi> = <hi rendition="#i">a</hi> + <hi rendition="#i">d</hi>.</hi></p><lb/>
          <p>Wie Venn<hi rendition="#sup">1</hi> p. 146 und anderwärts bemerkt ist das der linkseitigen<lb/>
Kolumne von Sätzen 15) &#x2025; 19) zugrundeliegende Th. 15<hi rendition="#sub">×</hi>) bereits von<lb/><hi rendition="#g">Leibniz</hi> gegeben (Specimen demonstrandi, <hi rendition="#g">Erdmann</hi>, p. 99), der auch<lb/>
schon die Determination durch Nebeneinanderstellen der Symbole nach Art<lb/>
der Faktoren eines Produktes ausdrückt.</p><lb/>
          <p>Die Theoreme des gegenwärtigen Paragraphen sind von so ausser-<lb/>
ordentlich häufiger Anwendung, dass es zu umständlich wäre, sie jedes-<lb/>
mal zu citiren. Dieselben müssen in succum et sanguinem, in Fleisch<lb/>
und Blut des Rechners übergegangen sein.</p>
        </div>
      </div><lb/>
      <div n="1">
        <head>§ 11. <hi rendition="#b">Gemischte Gesetze, den Zusammenhang zwischen beiden<lb/>
Operationen zeigend.</hi></head><lb/>
        <p>20) <hi rendition="#g">Theorem</hi>. <hi rendition="#i">Eine jede von den beiden Gleichungen:</hi><lb/><hi rendition="#c"><hi rendition="#i">a</hi> = <hi rendition="#i">a b</hi> , <hi rendition="#i">a</hi> + <hi rendition="#i">b</hi> = <hi rendition="#i">b</hi></hi><lb/><hi rendition="#i">ist nur eine Umschreibung der Subsumtion:</hi><lb/><hi rendition="#c"><hi rendition="#i">a</hi> &#x22F9; <hi rendition="#i">b</hi>,</hi><lb/>
dergestalt, dass diese drei Aussagen äquivalent sind, einander gegen-<lb/>
seitig bedingen: wenn irgend eine von ihnen gilt, so gelten auch die<lb/>
beiden andern.</p><lb/>
        <p>Der <hi rendition="#g">Beweis</hi> besteht aus vier Teilen, indem zu zeigen ist, dass<lb/>
aus jeder der Gleichungen die Subsumtion und umgekehrt aus der<lb/>
Subsumtion eine jede von den Gleichungen folgt.</p><lb/>
        <table>
          <row>
            <cell>Ist <hi rendition="#i">a</hi> = <hi rendition="#i">a b</hi>, so folgt nach Def. (1)<lb/>
auch <hi rendition="#i">a</hi> &#x22F9; <hi rendition="#i">a b</hi>, und weil nach Th. 6<hi rendition="#sub">×</hi>)<lb/>
auch <hi rendition="#i">a b</hi> &#x22F9; <hi rendition="#i">b</hi> ist, so folgt a fortiori:</cell>
            <cell>Ist <hi rendition="#i">a</hi> + <hi rendition="#i">b</hi> = <hi rendition="#i">b</hi>, so haben wir auch<lb/><hi rendition="#i">a</hi> + <hi rendition="#i">b</hi> &#x22F9; <hi rendition="#i">b</hi>, und weil nach 6<hi rendition="#sub">+</hi>) ohne-<lb/>
hin <hi rendition="#i">a</hi> &#x22F9; <hi rendition="#i">a</hi> + <hi rendition="#i">b</hi> ist, so folgt nach II:</cell>
          </row><lb/>
          <row>
            <cell><hi rendition="#i">a</hi> &#x22F9; <hi rendition="#i">b</hi>.</cell>
            <cell><hi rendition="#i">a</hi> &#x22F9; <hi rendition="#i">b</hi>.</cell>
          </row><lb/>
        </table>
      </div>
    </body>
  </text>
</TEI>
[270/0290] Fünfte Vorlesung. standswort ersetzt werden können, und dass in der That in unserer Theorie es geboten erscheint, in beregter Hinsicht mehr als in der Mathematik auf korrekten Ausdruck zu halten! Notabene: Multiplizirt man die Gleichung a' = b' beiderseits mit a = b, so entsteht auch etwas anderes, wie wenn man die Gleichung a = b beider- seits mit a' = b' multiplizirte. Vergl. § 33, ξ) und ο). Zusatz 2. Kombinirte Anwendung der Theoreme 19×) und 19+) liefert den Satz, dass es in jedem Ausdruck, welcher nur durch die Operationen der identischen Multiplikation und Addition aufgebaut erscheint, gestattet ist, Gleiches durch Gleiches zu ersetzen. Sicherlich wird solche Ersetzung ohne Einfluss auf den Wert des Ausdrucks bleiben, wenngleich die Form desselben dadurch verändert werden mag. Exempel. Ist b + c = a, so ist auch a (b + c) + d + (b + c) c = a a + d + a c = a + a c + d = a + d. Wie Venn1 p. 146 und anderwärts bemerkt ist das der linkseitigen Kolumne von Sätzen 15) ‥ 19) zugrundeliegende Th. 15×) bereits von Leibniz gegeben (Specimen demonstrandi, Erdmann, p. 99), der auch schon die Determination durch Nebeneinanderstellen der Symbole nach Art der Faktoren eines Produktes ausdrückt. Die Theoreme des gegenwärtigen Paragraphen sind von so ausser- ordentlich häufiger Anwendung, dass es zu umständlich wäre, sie jedes- mal zu citiren. Dieselben müssen in succum et sanguinem, in Fleisch und Blut des Rechners übergegangen sein. § 11. Gemischte Gesetze, den Zusammenhang zwischen beiden Operationen zeigend. 20) Theorem. Eine jede von den beiden Gleichungen: a = a b , a + b = b ist nur eine Umschreibung der Subsumtion: a ⋹ b, dergestalt, dass diese drei Aussagen äquivalent sind, einander gegen- seitig bedingen: wenn irgend eine von ihnen gilt, so gelten auch die beiden andern. Der Beweis besteht aus vier Teilen, indem zu zeigen ist, dass aus jeder der Gleichungen die Subsumtion und umgekehrt aus der Subsumtion eine jede von den Gleichungen folgt. Ist a = a b, so folgt nach Def. (1) auch a ⋹ a b, und weil nach Th. 6×) auch a b ⋹ b ist, so folgt a fortiori: Ist a + b = b, so haben wir auch a + b ⋹ b, und weil nach 6+) ohne- hin a ⋹ a + b ist, so folgt nach II: a ⋹ b. a ⋹ b.

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