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

Achte Vorlesung.
an der Fig. 1 S. 155: die Aussenfläche des Kreises b ist ganz in der
des Kreises a enthalten.

Der Schluss von der Subsumtion a b auf die Subsumtion b1 a1
(oder umgekehrt) gehört zu den sog. "unmittelbaren Folgerungen", in-
dem derselbe schon zustande kommt, wenn auch nur eine Prämisse
gegeben ist. Derselbe wird in der Logik als die "Konversion durch
Kontraposition" des durch die gegebene subsumtion ausgedrückten Ur-
teils bezeichnet.

Zusatz. Ist a b und zugleich a1 b1, so wird a = b sein, und
umgekehrt.

Beweis nach Def. (1), indem aus der letzten Subsumtion nach
Th. 37) und 31) hinzufolgt: b a.

Exempel. Die beiden Sätze: "Was Kochsalz ist, ist auch Chlor-
natrium", und "was nicht Kochsalz ist, ist nicht Chlornatrium" --
drücken zusammen aus, dass Kochsalz und Chlornatrium einerlei sind.

38) Theoreme.

Die Subsumtiona bsagt genau dasselbe
aus, wie eine jede der beiden Gleichungen:
ad 38x) a b1 = 0.ad 38+) a1 + b = 1.

Beweis. Aus a b folgt nach Th.

15x) durch beiderseitiges Multipli-
ziren mit b1, dass a b1 b b1, so-
mit nach Th. 30x), dass a b1 0,
was nach Th. 5x) auf a b1 = 0		15+ durch beiderseitiges Addiren
von a1, dass a1 + a a1 + b, somit
nach Th. 30+), dass 1 a1 + b,
was nach Th. 5+) auf 1 = a1 + b
hinauskommt. -- Ist umgekehrt
a b1 = 0,a1 + b = 1,
so hat man nach Th. 30+):so folgt nach Th. 16x) etc.:
a = a · 1 = a (b + b1)a = a · 1 = a (a1 + b)
= a b + a b1 = a b + 0a a1 + a b = 0 + a b
oder a = a b. Aus diesem Resultate folgt aber nach Th. 20x), dass
a b, wie zu beweisen war.

Aus dem Umstand, dass der letzte Teil des hier gegebenen Beweises
rechterhand dem links durchaus nicht dual entspricht, erkennt man die
Möglichkeit noch andrer Varianten der beiden Beweise, welche aufzusuchen
dem Leser als eine gute Übung empfohlen sei.

Exempel für Klassen. Da alles Gold Metall ist, so gibt es nichts,
was zugleich Gold und nicht Metall wäre. Und jede Substanz -- ja

Achte Vorlesung.
an der Fig. 1 S. 155: die Aussenfläche des Kreises b ist ganz in der
des Kreises a enthalten.

Der Schluss von der Subsumtion a ⋹ b auf die Subsumtion b1 ⋹ a1
(oder umgekehrt) gehört zu den sog. „unmittelbaren Folgerungen“, in-
dem derselbe schon zustande kommt, wenn auch nur eine Prämisse
gegeben ist. Derselbe wird in der Logik als die „Konversion durch
Kontraposition“ des durch die gegebene subsumtion ausgedrückten Ur-
teils bezeichnet.

Zusatz. Ist a ⋹ b und zugleich a1 ⋹ b1, so wird a = b sein, und
umgekehrt.

Beweis nach Def. (1), indem aus der letzten Subsumtion nach
Th. 37) und 31) hinzufolgt: b ⋹ a.

Exempel. Die beiden Sätze: „Was Kochsalz ist, ist auch Chlor-
natrium“, und „was nicht Kochsalz ist, ist nicht Chlornatrium“ —
drücken zusammen aus, dass Kochsalz und Chlornatrium einerlei sind.

38) Theoreme.

Die Subsumtiona ⋹ bsagt genau dasselbe
aus, wie eine jede der beiden Gleichungen:
ad 38×) a b1 = 0.ad 38+) a1 + b = 1.

Beweis. Aus a ⋹ b folgt nach Th.

15×) durch beiderseitiges Multipli-
ziren mit b1, dass a b1 ⋹ b b1, so-
mit nach Th. 30×), dass a b1 ⋹ 0,
was nach Th. 5×) auf a b1 = 0		15+ durch beiderseitiges Addiren
von a1, dass a1 + a ⋹ a1 + b, somit
nach Th. 30+), dass 1 ⋹ a1 + b,
was nach Th. 5+) auf 1 = a1 + b
hinauskommt. — Ist umgekehrt
a b1 = 0,a1 + b = 1,
so hat man nach Th. 30+):so folgt nach Th. 16×) etc.:
a = a · 1 = a (b + b1)a = a · 1 = a (a1 + b)
= a b + a b1 = a b + 0a a1 + a b = 0 + a b
oder a = a b. Aus diesem Resultate folgt aber nach Th. 20×), dass
a ⋹ b, wie zu beweisen war.

Aus dem Umstand, dass der letzte Teil des hier gegebenen Beweises
rechterhand dem links durchaus nicht dual entspricht, erkennt man die
Möglichkeit noch andrer Varianten der beiden Beweise, welche aufzusuchen
dem Leser als eine gute Übung empfohlen sei.

Exempel für Klassen. Da alles Gold Metall ist, so gibt es nichts,
was zugleich Gold und nicht Metall wäre. Und jede Substanz — ja

<TEI>
  <text>
    <body>
      <div n="1">
        <div n="2">
          <p><pb facs="#f0378" n="358"/><fw place="top" type="header">Achte Vorlesung.</fw><lb/>
an der Fig. 1 S. 155: die Aussenfläche des Kreises <hi rendition="#i">b</hi> ist ganz in der<lb/>
des Kreises <hi rendition="#i">a</hi> enthalten.</p><lb/>
          <p>Der Schluss von der Subsumtion <hi rendition="#i">a</hi> &#x22F9; <hi rendition="#i">b</hi> auf die Subsumtion <hi rendition="#i">b</hi><hi rendition="#sub">1</hi> &#x22F9; <hi rendition="#i">a</hi><hi rendition="#sub">1</hi><lb/>
(oder umgekehrt) gehört zu den sog. &#x201E;unmittelbaren Folgerungen&#x201C;, in-<lb/>
dem derselbe schon zustande kommt, wenn auch nur <hi rendition="#i">eine</hi> Prämisse<lb/>
gegeben ist. Derselbe wird in der Logik als die &#x201E;<hi rendition="#i">Konversion durch<lb/>
Kontraposition</hi>&#x201C; des durch die gegebene subsumtion ausgedrückten Ur-<lb/>
teils bezeichnet.</p><lb/>
          <p><hi rendition="#g">Zusatz</hi>. <hi rendition="#i">Ist a</hi> &#x22F9; <hi rendition="#i">b und zugleich a</hi><hi rendition="#sub">1</hi> &#x22F9; <hi rendition="#i">b</hi><hi rendition="#sub">1</hi>, <hi rendition="#i">so wird a</hi> = <hi rendition="#i">b sein, und<lb/>
umgekehrt</hi>.</p><lb/>
          <p><hi rendition="#g">Beweis</hi> nach Def. (1), indem aus der letzten Subsumtion nach<lb/>
Th. 37) und 31) hinzufolgt: <hi rendition="#i">b</hi> &#x22F9; <hi rendition="#i">a</hi>.</p><lb/>
          <p><hi rendition="#g">Exempel</hi>. Die beiden Sätze: &#x201E;Was Kochsalz ist, ist auch Chlor-<lb/>
natrium&#x201C;, und &#x201E;was nicht Kochsalz ist, ist nicht Chlornatrium&#x201C; &#x2014;<lb/>
drücken zusammen aus, dass Kochsalz und Chlornatrium einerlei sind.</p><lb/>
          <p>38) <hi rendition="#g">Theoreme</hi>.<lb/><table><row><cell><hi rendition="#i">Die Subsumtion</hi></cell><cell><hi rendition="#i">a</hi> &#x22F9; <hi rendition="#i">b</hi></cell><cell><hi rendition="#i">sagt genau dasselbe</hi></cell></row><lb/></table> <hi rendition="#i">aus, wie eine jede der beiden Gleichungen:</hi><lb/><table><row><cell>ad 38<hi rendition="#sub">×</hi>) <hi rendition="#i">a b</hi><hi rendition="#sub">1</hi> = 0.</cell><cell>ad 38<hi rendition="#sub">+</hi>) <hi rendition="#i">a</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">b</hi> = 1.</cell></row><lb/></table></p>
          <p><hi rendition="#g">Beweis</hi>. Aus <hi rendition="#i">a</hi> &#x22F9; <hi rendition="#i">b</hi> folgt nach Th.<lb/><table><row><cell>15<hi rendition="#sub">×</hi>) durch beiderseitiges Multipli-<lb/>
ziren mit <hi rendition="#i">b</hi><hi rendition="#sub">1</hi>, dass <hi rendition="#i">a b</hi><hi rendition="#sub">1</hi> &#x22F9; <hi rendition="#i">b b</hi><hi rendition="#sub">1</hi>, so-<lb/>
mit nach Th. 30<hi rendition="#sub">×</hi>), dass <hi rendition="#i">a b</hi><hi rendition="#sub">1</hi> &#x22F9; 0,<lb/>
was nach Th. 5<hi rendition="#sub">×</hi>) auf <hi rendition="#i">a b</hi><hi rendition="#sub">1</hi> = 0</cell><cell>15<hi rendition="#sub">+</hi> durch beiderseitiges Addiren<lb/>
von <hi rendition="#i">a</hi><hi rendition="#sub">1</hi>, dass <hi rendition="#i">a</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">a</hi> &#x22F9; <hi rendition="#i">a</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">b</hi>, somit<lb/>
nach Th. 30<hi rendition="#sub">+</hi>), dass 1 &#x22F9; <hi rendition="#i">a</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">b</hi>,<lb/>
was nach Th. 5<hi rendition="#sub">+</hi>) auf 1 = <hi rendition="#i">a</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">b</hi></cell></row><lb/></table> hinauskommt. &#x2014; Ist umgekehrt<lb/><table><row><cell><hi rendition="#i">a b</hi><hi rendition="#sub">1</hi> = 0,</cell><cell><hi rendition="#i">a</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">b</hi> = 1,</cell></row><lb/><row><cell>so hat man nach Th. 30<hi rendition="#sub">+</hi>):</cell><cell>so folgt nach Th. 16<hi rendition="#sub">×</hi>) etc.:</cell></row><lb/><row><cell><hi rendition="#i">a</hi> = <hi rendition="#i">a</hi> · 1 = <hi rendition="#i">a</hi> (<hi rendition="#i">b</hi> + <hi rendition="#i">b</hi><hi rendition="#sub">1</hi>)</cell><cell><hi rendition="#i">a</hi> = <hi rendition="#i">a</hi> · 1 = <hi rendition="#i">a</hi> (<hi rendition="#i">a</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">b</hi>)</cell></row><lb/><row><cell>= <hi rendition="#i">a b</hi> + <hi rendition="#i">a b</hi><hi rendition="#sub">1</hi> = <hi rendition="#i">a b</hi> + 0</cell><cell><hi rendition="#i">a a</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">a b</hi> = 0 + <hi rendition="#i">a b</hi></cell></row><lb/></table> oder <hi rendition="#i">a</hi> = <hi rendition="#i">a b</hi>. Aus diesem Resultate folgt aber nach Th. 20<hi rendition="#sub">×</hi>), dass<lb/><hi rendition="#i">a</hi> &#x22F9; <hi rendition="#i">b</hi>, wie zu beweisen war.</p><lb/>
          <p>Aus dem Umstand, dass der letzte Teil des hier gegebenen Beweises<lb/>
rechterhand dem links durchaus nicht dual entspricht, erkennt man die<lb/>
Möglichkeit noch andrer Varianten der beiden Beweise, welche aufzusuchen<lb/>
dem Leser als eine gute Übung empfohlen sei.</p><lb/>
          <p><hi rendition="#g">Exempel</hi> für Klassen. Da alles Gold Metall ist, so gibt es nichts,<lb/>
was zugleich Gold und nicht Metall wäre. Und jede Substanz &#x2014; ja<lb/></p>
        </div>
      </div>
    </body>
  </text>
</TEI>
[358/0378] Achte Vorlesung. an der Fig. 1 S. 155: die Aussenfläche des Kreises b ist ganz in der des Kreises a enthalten. Der Schluss von der Subsumtion a ⋹ b auf die Subsumtion b1 ⋹ a1 (oder umgekehrt) gehört zu den sog. „unmittelbaren Folgerungen“, in- dem derselbe schon zustande kommt, wenn auch nur eine Prämisse gegeben ist. Derselbe wird in der Logik als die „Konversion durch Kontraposition“ des durch die gegebene subsumtion ausgedrückten Ur- teils bezeichnet. Zusatz. Ist a ⋹ b und zugleich a1 ⋹ b1, so wird a = b sein, und umgekehrt. Beweis nach Def. (1), indem aus der letzten Subsumtion nach Th. 37) und 31) hinzufolgt: b ⋹ a. Exempel. Die beiden Sätze: „Was Kochsalz ist, ist auch Chlor- natrium“, und „was nicht Kochsalz ist, ist nicht Chlornatrium“ — drücken zusammen aus, dass Kochsalz und Chlornatrium einerlei sind. 38) Theoreme. Die Subsumtion a ⋹ b sagt genau dasselbe aus, wie eine jede der beiden Gleichungen: ad 38×) a b1 = 0. ad 38+) a1 + b = 1. Beweis. Aus a ⋹ b folgt nach Th. 15×) durch beiderseitiges Multipli- ziren mit b1, dass a b1 ⋹ b b1, so- mit nach Th. 30×), dass a b1 ⋹ 0, was nach Th. 5×) auf a b1 = 0 15+ durch beiderseitiges Addiren von a1, dass a1 + a ⋹ a1 + b, somit nach Th. 30+), dass 1 ⋹ a1 + b, was nach Th. 5+) auf 1 = a1 + b hinauskommt. — Ist umgekehrt a b1 = 0, a1 + b = 1, so hat man nach Th. 30+): so folgt nach Th. 16×) etc.: a = a · 1 = a (b + b1) a = a · 1 = a (a1 + b) = a b + a b1 = a b + 0 a a1 + a b = 0 + a b oder a = a b. Aus diesem Resultate folgt aber nach Th. 20×), dass a ⋹ b, wie zu beweisen war. Aus dem Umstand, dass der letzte Teil des hier gegebenen Beweises rechterhand dem links durchaus nicht dual entspricht, erkennt man die Möglichkeit noch andrer Varianten der beiden Beweise, welche aufzusuchen dem Leser als eine gute Übung empfohlen sei. Exempel für Klassen. Da alles Gold Metall ist, so gibt es nichts, was zugleich Gold und nicht Metall wäre. Und jede Substanz — ja

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