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 >>
§ 11. Gemischte Gesetze.

Von den beiden Theoremen 23) ist -- aus einem erst unter 28)
darzulegenden Grunde -- das zweite 23+) von der grösseren Wichtig-
keit. Es genügt, von beiden nur dieses für den Gebrauch beim
Rechnen sich einzuprägen, weshalb wir dasselbe auch allein in Worte
kleiden wollen: Solche Glieder einer Summe, welche ein anderes Glied
derselben zum Faktor haben, können jeweils unterdrückt, gestrichen, weg-
gelassen werden, sie gehen in dem letzteren ein, werden von ihm ge-
wissermassen verschluckt, einverleibt oder absorbirt -- weshalb man
das Th. 23+) auch als das "Absorptionsgesetz" des identischen Kalkuls
bezeichnen kann. Umgekehrt kann man natürlich auch ein beliebiges
(Gebiets- oder Klassen-)Symbol um das Produkt desselben in irgend welche
andere Symbole auf Wunsch additiv vermehren, ohne dass dies von Ein-
fluss auf die Bedeutung des Ausdrucks wäre, in welchem jenes Symbol
vorkommt.

Für irgend zwei Gebiete a, b ist die Gültigkeit der Theoreme 23)
auch unmittelbar anschaulich.

Exempel für Klassen: Die Adeligen, welche adelig oder auch besitzend
sind, müssen eben die Adeligen sein. Die Adeligen und die besitzenden
Adeligen sind einfach die Adeligen.

Der Ausdruck: "Pferde oder auch Rappen (schwarze Pferde)" sagt
weiter nichts, als der kürzere Ausdruck: "Pferde".

Freilich, wenn jemand erzählte, es seien (bei einer gedachten Gelegen-
heit) "Pferde und Rappen" zu sehen gewesen, so würde er mehr sagen, als
wenn er blos erzählte, es seien "Pferde" zu sehen gewesen; es wäre näm-
lich im erstern Falle positiv behauptet, dass unter den Pferden auch
(einige) Rappen bemerkbar gewesen seien, während im zweiten Falle hier-
über nichts ausgesagt, also das Gegenteil auch als möglich offen gelassen
ist. Wie ein solcher Ausspruch in der logischen Zeichensprache darzu-
stellen wäre, würde sich erst nach dem Eingehen auf die partikularen und
Existenzial-Urteile angeben lassen, dann aber dem Studirenden auch keine
Schwierigkeit mehr bereiten.

Aufgaben. Den Ausdruck zu vereinfachen:
a b c (b + c) + (c d + a + d e f) a
Resultat: a.

Desgleichen die Ausdrücke:
a b (a + b), a + b + a b, a b c (a + b + c), a + b + c + a b + a c + b c + a b c.

Endergebnisse bezüglich: a b, a + b, a b c, a + b + c.

24x) Theorem. Wenn24+) Theorem. Wenn
1 = a ba + b = 0
ist, so muss auch sein:ist, so muss auch sein:
1 = a und 1 = b.a = 0 und b = 0.
§ 11. Gemischte Gesetze.

Von den beiden Theoremen 23) ist — aus einem erst unter 28)
darzulegenden Grunde — das zweite 23+) von der grösseren Wichtig-
keit. Es genügt, von beiden nur dieses für den Gebrauch beim
Rechnen sich einzuprägen, weshalb wir dasselbe auch allein in Worte
kleiden wollen: Solche Glieder einer Summe, welche ein anderes Glied
derselben zum Faktor haben, können jeweils unterdrückt, gestrichen, weg-
gelassen werden, sie gehen in dem letzteren ein, werden von ihm ge-
wissermassen verschluckt, einverleibt oder absorbirt — weshalb man
das Th. 23+) auch als das „Absorptionsgesetz“ des identischen Kalkuls
bezeichnen kann. Umgekehrt kann man natürlich auch ein beliebiges
(Gebiets- oder Klassen-)Symbol um das Produkt desselben in irgend welche
andere Symbole auf Wunsch additiv vermehren, ohne dass dies von Ein-
fluss auf die Bedeutung des Ausdrucks wäre, in welchem jenes Symbol
vorkommt.

Für irgend zwei Gebiete a, b ist die Gültigkeit der Theoreme 23)
auch unmittelbar anschaulich.

Exempel für Klassen: Die Adeligen, welche adelig oder auch besitzend
sind, müssen eben die Adeligen sein. Die Adeligen und die besitzenden
Adeligen sind einfach die Adeligen.

Der Ausdruck: „Pferde oder auch Rappen (schwarze Pferde)“ sagt
weiter nichts, als der kürzere Ausdruck: „Pferde“.

Freilich, wenn jemand erzählte, es seien (bei einer gedachten Gelegen-
heit) „Pferde und Rappen“ zu sehen gewesen, so würde er mehr sagen, als
wenn er blos erzählte, es seien „Pferde“ zu sehen gewesen; es wäre näm-
lich im erstern Falle positiv behauptet, dass unter den Pferden auch
(einige) Rappen bemerkbar gewesen seien, während im zweiten Falle hier-
über nichts ausgesagt, also das Gegenteil auch als möglich offen gelassen
ist. Wie ein solcher Ausspruch in der logischen Zeichensprache darzu-
stellen wäre, würde sich erst nach dem Eingehen auf die partikularen und
Existenzial-Urteile angeben lassen, dann aber dem Studirenden auch keine
Schwierigkeit mehr bereiten.

Aufgaben. Den Ausdruck zu vereinfachen:
a b c (b + c) + (c d + a + d e f) a
Resultat: a.

Desgleichen die Ausdrücke:
a b (a + b), a + b + a b, a b c (a + b + c), a + b + c + a b + a c + b c + a b c.

Endergebnisse bezüglich: a b, a + b, a b c, a + b + c.

24×) Theorem. Wenn24+) Theorem. Wenn
1 = a ba + b = 0
ist, so muss auch sein:ist, so muss auch sein:
1 = a und 1 = b.a = 0 und b = 0.
<TEI>
  <text>
    <body>
      <div n="1">
        <pb facs="#f0297" n="277"/>
        <fw place="top" type="header">§ 11. Gemischte Gesetze.</fw><lb/>
        <p>Von den beiden Theoremen 23) ist &#x2014; aus einem erst unter 28)<lb/>
darzulegenden Grunde &#x2014; das zweite 23<hi rendition="#sub">+</hi>) von der grösseren Wichtig-<lb/>
keit. Es genügt, von beiden nur dieses für den Gebrauch beim<lb/>
Rechnen sich einzuprägen, weshalb wir dasselbe auch allein in Worte<lb/>
kleiden wollen: <hi rendition="#i">Solche Glieder einer Summe</hi>, <hi rendition="#i">welche ein anderes Glied<lb/>
derselben zum Faktor haben</hi>, <hi rendition="#i">können jeweils</hi> unterdrückt, gestrichen, <hi rendition="#i">weg-<lb/>
gelassen werden</hi>, sie gehen in dem letzteren ein, werden von ihm ge-<lb/>
wissermassen verschluckt, einverleibt oder <hi rendition="#i">absorbirt</hi> &#x2014; weshalb man<lb/>
das Th. 23<hi rendition="#sub">+</hi>) auch als das &#x201E;Absorptionsgesetz&#x201C; des identischen Kalkuls<lb/>
bezeichnen kann. <hi rendition="#i">Umgekehrt kann man</hi> natürlich <hi rendition="#i">auch ein beliebiges</hi><lb/>
(Gebiets- oder Klassen-)<hi rendition="#i">Symbol um das Produkt desselben in irgend welche<lb/>
andere Symbole</hi> auf Wunsch additiv <hi rendition="#i">vermehren</hi>, ohne dass dies von Ein-<lb/>
fluss auf die Bedeutung des Ausdrucks wäre, in welchem jenes Symbol<lb/>
vorkommt.</p><lb/>
        <p>Für irgend zwei Gebiete <hi rendition="#i">a</hi>, <hi rendition="#i">b</hi> ist die Gültigkeit der Theoreme 23)<lb/>
auch unmittelbar anschaulich.</p><lb/>
        <p>Exempel für Klassen: Die Adeligen, welche adelig oder auch besitzend<lb/>
sind, müssen eben die Adeligen sein. Die Adeligen und die besitzenden<lb/>
Adeligen sind einfach die Adeligen.</p><lb/>
        <p>Der Ausdruck: &#x201E;Pferde oder auch Rappen (schwarze Pferde)&#x201C; sagt<lb/>
weiter nichts, als der kürzere Ausdruck: &#x201E;Pferde&#x201C;.</p><lb/>
        <p>Freilich, wenn jemand erzählte, es seien (bei einer gedachten Gelegen-<lb/>
heit) &#x201E;Pferde und Rappen&#x201C; zu sehen gewesen, so würde er <hi rendition="#i">mehr</hi> sagen, als<lb/>
wenn er blos erzählte, es seien &#x201E;Pferde&#x201C; zu sehen gewesen; es wäre näm-<lb/>
lich im erstern Falle positiv behauptet, dass unter den Pferden auch<lb/>
(einige) Rappen bemerkbar gewesen seien, während im zweiten Falle hier-<lb/>
über nichts ausgesagt, also das Gegenteil auch als möglich offen gelassen<lb/>
ist. Wie ein solcher Ausspruch in der logischen Zeichensprache darzu-<lb/>
stellen wäre, würde sich erst nach dem Eingehen auf die partikularen und<lb/>
Existenzial-Urteile angeben lassen, dann aber dem Studirenden auch keine<lb/>
Schwierigkeit mehr bereiten.</p><lb/>
        <p><hi rendition="#g">Aufgaben</hi>. Den Ausdruck zu vereinfachen:<lb/><hi rendition="#c"><hi rendition="#i">a b c</hi> (<hi rendition="#i">b</hi> + <hi rendition="#i">c</hi>) + (<hi rendition="#i">c d</hi> + <hi rendition="#i">a</hi> + <hi rendition="#i">d e f</hi>) <hi rendition="#i">a</hi></hi><lb/>
Resultat: <hi rendition="#i">a</hi>.</p><lb/>
        <p>Desgleichen die Ausdrücke:<lb/><hi rendition="#c"><hi rendition="#i">a b</hi> (<hi rendition="#i">a</hi> + <hi rendition="#i">b</hi>), <hi rendition="#i">a</hi> + <hi rendition="#i">b</hi> + <hi rendition="#i">a b</hi>, <hi rendition="#i">a b c</hi> (<hi rendition="#i">a</hi> + <hi rendition="#i">b</hi> + <hi rendition="#i">c</hi>), <hi rendition="#i">a</hi> + <hi rendition="#i">b</hi> + <hi rendition="#i">c</hi> + <hi rendition="#i">a b</hi> + <hi rendition="#i">a c</hi> + <hi rendition="#i">b c</hi> + <hi rendition="#i">a b c</hi>.</hi></p><lb/>
        <p>Endergebnisse bezüglich: <hi rendition="#i">a b</hi>, <hi rendition="#i">a</hi> + <hi rendition="#i">b</hi>, <hi rendition="#i">a b c</hi>, <hi rendition="#i">a</hi> + <hi rendition="#i">b</hi> + <hi rendition="#i">c</hi>.</p><lb/>
        <table>
          <row>
            <cell>24<hi rendition="#sub">×</hi>) <hi rendition="#g">Theorem</hi>. <hi rendition="#i">Wenn</hi></cell>
            <cell>24<hi rendition="#sub">+</hi>) <hi rendition="#g">Theorem</hi>. <hi rendition="#i">Wenn</hi></cell>
          </row><lb/>
          <row>
            <cell>1 = <hi rendition="#i">a b</hi></cell>
            <cell><hi rendition="#i">a</hi> + <hi rendition="#i">b</hi> = 0</cell>
          </row><lb/>
          <row>
            <cell><hi rendition="#i">ist</hi>, <hi rendition="#i">so muss auch sein:</hi></cell>
            <cell><hi rendition="#i">ist</hi>, <hi rendition="#i">so muss auch sein:</hi></cell>
          </row><lb/>
          <row>
            <cell>1 = <hi rendition="#i">a und</hi> 1 = <hi rendition="#i">b</hi>.</cell>
            <cell><hi rendition="#i">a</hi> = 0 <hi rendition="#i">und b</hi> = 0.</cell>
          </row><lb/>
        </table>
      </div>
    </body>
  </text>
</TEI>
[277/0297] § 11. Gemischte Gesetze. Von den beiden Theoremen 23) ist — aus einem erst unter 28) darzulegenden Grunde — das zweite 23+) von der grösseren Wichtig- keit. Es genügt, von beiden nur dieses für den Gebrauch beim Rechnen sich einzuprägen, weshalb wir dasselbe auch allein in Worte kleiden wollen: Solche Glieder einer Summe, welche ein anderes Glied derselben zum Faktor haben, können jeweils unterdrückt, gestrichen, weg- gelassen werden, sie gehen in dem letzteren ein, werden von ihm ge- wissermassen verschluckt, einverleibt oder absorbirt — weshalb man das Th. 23+) auch als das „Absorptionsgesetz“ des identischen Kalkuls bezeichnen kann. Umgekehrt kann man natürlich auch ein beliebiges (Gebiets- oder Klassen-)Symbol um das Produkt desselben in irgend welche andere Symbole auf Wunsch additiv vermehren, ohne dass dies von Ein- fluss auf die Bedeutung des Ausdrucks wäre, in welchem jenes Symbol vorkommt. Für irgend zwei Gebiete a, b ist die Gültigkeit der Theoreme 23) auch unmittelbar anschaulich. Exempel für Klassen: Die Adeligen, welche adelig oder auch besitzend sind, müssen eben die Adeligen sein. Die Adeligen und die besitzenden Adeligen sind einfach die Adeligen. Der Ausdruck: „Pferde oder auch Rappen (schwarze Pferde)“ sagt weiter nichts, als der kürzere Ausdruck: „Pferde“. Freilich, wenn jemand erzählte, es seien (bei einer gedachten Gelegen- heit) „Pferde und Rappen“ zu sehen gewesen, so würde er mehr sagen, als wenn er blos erzählte, es seien „Pferde“ zu sehen gewesen; es wäre näm- lich im erstern Falle positiv behauptet, dass unter den Pferden auch (einige) Rappen bemerkbar gewesen seien, während im zweiten Falle hier- über nichts ausgesagt, also das Gegenteil auch als möglich offen gelassen ist. Wie ein solcher Ausspruch in der logischen Zeichensprache darzu- stellen wäre, würde sich erst nach dem Eingehen auf die partikularen und Existenzial-Urteile angeben lassen, dann aber dem Studirenden auch keine Schwierigkeit mehr bereiten. Aufgaben. Den Ausdruck zu vereinfachen: a b c (b + c) + (c d + a + d e f) a Resultat: a. Desgleichen die Ausdrücke: a b (a + b), a + b + a b, a b c (a + b + c), a + b + c + a b + a c + b c + a b c. Endergebnisse bezüglich: a b, a + b, a b c, a + b + c. 24×) Theorem. Wenn 24+) Theorem. Wenn 1 = a b a + b = 0 ist, so muss auch sein: ist, so muss auch sein: 1 = a und 1 = b. a = 0 und b = 0.

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