Anmelden (DTAQ) DWDS     dlexDB     CLARIN-D

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

Bild:
<< vorherige Seite
Neunte Vorlesung.

In Worten kann man überlegen: Die reichen Adeligen sind ent-
weder gebildet oder ungebildet. Im erstern Falle sind sie unter den
gebildeten Reichen, im letztern unter den adeligen Ungebildeten ohne-
hin erwähnt, und folglich ist es durchaus überflüssig, sie noch be-
sonders zu erwähnen.

Man sieht, wie hier die Rechnung zwar für den in ihr noch Un-
geübten vielleicht nicht bequemer ist, als die Überlegung in Worten,
wie sie aber die Operationen dieses verbalen oder mentalen Räsonne-
ments Schritt für Schritt wiederspiegelt und dieselben in knappster
Form zum Ausdruck und Bewusstsein bringt.

Beiläufig haben wir vorstehend einen Satz gewonnen. Denselben
spricht die Formel aus:
Theorem i) a b + b c + c a1 = a b + c a1,
welche leicht zu merken und in der Technik des Kalkuls von ziem-
licher Anwendbarkeit ist.

k) Der Satz ist übrigens nahe verwandt, wenn man will nur eine
kleine Umformung, eines schon von Herrn Peirce aufgestellten Theo-
rems, nämlich des folgenden: Es gilt stets:
Theorem k) (a + x) (b + x1) = a x1 + b x.
Durch Ausmultipliziren der linken Seite lässt sich nämlich erhalten:
x b + b a + a x1,
wonach der Satz ersichtlich auf den i) zurückkommt. In der ihr von
Peirce gegebenen Form ist die Gleichung dadurch bemerkenswert,
dass die eine Seite derselben als das duale Gegenstück der andern
(und umgekehrt) erscheinen würde, wenn nicht das Symbol x zugleich
mit seiner Negation x1 tauschte. Es wäre darnach nicht korrekt, die
Formel k) selber eine "zu sich selbst duale" zu nennen, wohl aber
darf man von dem durch sie ausgedrückten allgemeinen Satze sagen,
dass er sich selbst dual entspreche. Denn das duale Gegenstück von k),
welches lautet: a x + b x1 = (a + x1) (b + x),
wird den nämlichen Satz ausdrücken, da man in letzterer Gleichung
unter x auch dasjenige Gebiet verstehen kann, welches in k) mit x1
bezeichnet wurde.

l) Aufgabe. Auf einer strategischen Bahnlinie findet sich für
eine gewisse Zeit der Transport verboten von allen Gütern ausser
solchen, welche Kriegszwecken dienen können, wenn sie explosiv oder

Neunte Vorlesung.

In Worten kann man überlegen: Die reichen Adeligen sind ent-
weder gebildet oder ungebildet. Im erstern Falle sind sie unter den
gebildeten Reichen, im letztern unter den adeligen Ungebildeten ohne-
hin erwähnt, und folglich ist es durchaus überflüssig, sie noch be-
sonders zu erwähnen.

Man sieht, wie hier die Rechnung zwar für den in ihr noch Un-
geübten vielleicht nicht bequemer ist, als die Überlegung in Worten,
wie sie aber die Operationen dieses verbalen oder mentalen Räsonne-
ments Schritt für Schritt wiederspiegelt und dieselben in knappster
Form zum Ausdruck und Bewusstsein bringt.

Beiläufig haben wir vorstehend einen Satz gewonnen. Denselben
spricht die Formel aus:
Theorem ι) a b + b c + c a1 = a b + c a1,
welche leicht zu merken und in der Technik des Kalkuls von ziem-
licher Anwendbarkeit ist.

ϰ) Der Satz ist übrigens nahe verwandt, wenn man will nur eine
kleine Umformung, eines schon von Herrn Peirce aufgestellten Theo-
rems, nämlich des folgenden: Es gilt stets:
Theorem ϰ) (a + x) (b + x1) = a x1 + b x.
Durch Ausmultipliziren der linken Seite lässt sich nämlich erhalten:
x b + b a + a x1,
wonach der Satz ersichtlich auf den ι) zurückkommt. In der ihr von
Peirce gegebenen Form ist die Gleichung dadurch bemerkenswert,
dass die eine Seite derselben als das duale Gegenstück der andern
(und umgekehrt) erscheinen würde, wenn nicht das Symbol x zugleich
mit seiner Negation x1 tauschte. Es wäre darnach nicht korrekt, die
Formel ϰ) selber eine „zu sich selbst duale“ zu nennen, wohl aber
darf man von dem durch sie ausgedrückten allgemeinen Satze sagen,
dass er sich selbst dual entspreche. Denn das duale Gegenstück von ϰ),
welches lautet: a x + b x1 = (a + x1) (b + x),
wird den nämlichen Satz ausdrücken, da man in letzterer Gleichung
unter x auch dasjenige Gebiet verstehen kann, welches in ϰ) mit x1
bezeichnet wurde.

λ) Aufgabe. Auf einer strategischen Bahnlinie findet sich für
eine gewisse Zeit der Transport verboten von allen Gütern ausser
solchen, welche Kriegszwecken dienen können, wenn sie explosiv oder

<TEI>
  <text>
    <body>
      <div n="1">
        <div n="2">
          <pb facs="#f0396" n="376"/>
          <fw place="top" type="header">Neunte Vorlesung.</fw><lb/>
          <p>In Worten kann man überlegen: Die reichen Adeligen sind ent-<lb/>
weder gebildet oder ungebildet. Im erstern Falle sind sie unter den<lb/>
gebildeten Reichen, im letztern unter den adeligen Ungebildeten ohne-<lb/>
hin erwähnt, und folglich ist es durchaus überflüssig, sie noch be-<lb/>
sonders zu erwähnen.</p><lb/>
          <p>Man sieht, wie hier die Rechnung zwar für den in ihr noch Un-<lb/>
geübten vielleicht nicht bequemer ist, als die Überlegung in Worten,<lb/>
wie sie aber die Operationen dieses verbalen oder mentalen Räsonne-<lb/>
ments Schritt für Schritt wiederspiegelt und dieselben in knappster<lb/>
Form zum Ausdruck und Bewusstsein bringt.</p><lb/>
          <p>Beiläufig haben wir vorstehend einen Satz gewonnen. Denselben<lb/>
spricht die Formel aus:<lb/><hi rendition="#g">Theorem</hi> <hi rendition="#i">&#x03B9;</hi>) <hi rendition="#et"><hi rendition="#i">a b</hi> + <hi rendition="#i">b c</hi> + <hi rendition="#i">c a</hi><hi rendition="#sub">1</hi> = <hi rendition="#i">a b</hi> + <hi rendition="#i">c a</hi><hi rendition="#sub">1</hi>,</hi><lb/>
welche leicht zu merken und in der Technik des Kalkuls von ziem-<lb/>
licher Anwendbarkeit ist.</p><lb/>
          <p><hi rendition="#i">&#x03F0;</hi>) Der Satz ist übrigens nahe verwandt, wenn man will nur eine<lb/>
kleine Umformung, eines schon von Herrn <hi rendition="#g">Peirce</hi> aufgestellten Theo-<lb/>
rems, nämlich des folgenden: <hi rendition="#i">Es gilt stets:</hi><lb/><hi rendition="#g">Theorem</hi> <hi rendition="#i">&#x03F0;</hi>) <hi rendition="#et">(<hi rendition="#i">a</hi> + <hi rendition="#i">x</hi>) (<hi rendition="#i">b</hi> + <hi rendition="#i">x</hi><hi rendition="#sub">1</hi>) = <hi rendition="#i">a x</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">b x</hi>.</hi><lb/>
Durch Ausmultipliziren der linken Seite lässt sich nämlich erhalten:<lb/><hi rendition="#c"><hi rendition="#i">x b</hi> + <hi rendition="#i">b a</hi> + <hi rendition="#i">a x</hi><hi rendition="#sub">1</hi>,</hi><lb/>
wonach der Satz ersichtlich auf den <hi rendition="#i">&#x03B9;</hi>) zurückkommt. In der ihr von<lb/><hi rendition="#g">Peirce</hi> gegebenen Form ist die Gleichung dadurch bemerkenswert,<lb/>
dass die eine Seite derselben als das duale Gegenstück der andern<lb/>
(und umgekehrt) erscheinen <hi rendition="#i">würde</hi>, wenn nicht das Symbol <hi rendition="#i">x</hi> zugleich<lb/>
mit seiner Negation <hi rendition="#i">x</hi><hi rendition="#sub">1</hi> tauschte. Es wäre darnach nicht korrekt, die<lb/>
Formel <hi rendition="#i">&#x03F0;</hi>) selber eine &#x201E;zu sich selbst duale&#x201C; zu nennen, wohl aber<lb/>
darf man von dem durch sie ausgedrückten allgemeinen Satze sagen,<lb/>
dass er sich selbst dual entspreche. Denn das duale Gegenstück von <hi rendition="#i">&#x03F0;</hi>),<lb/>
welches lautet: <hi rendition="#et"><hi rendition="#i">a x</hi> + <hi rendition="#i">b x</hi><hi rendition="#sub">1</hi> = (<hi rendition="#i">a</hi> + <hi rendition="#i">x</hi><hi rendition="#sub">1</hi>) (<hi rendition="#i">b</hi> + <hi rendition="#i">x</hi>),</hi><lb/>
wird den nämlichen Satz ausdrücken, da man in letzterer Gleichung<lb/>
unter <hi rendition="#i">x</hi> auch dasjenige Gebiet verstehen kann, welches in <hi rendition="#i">&#x03F0;</hi>) mit <hi rendition="#i">x</hi><hi rendition="#sub">1</hi><lb/>
bezeichnet wurde.</p><lb/>
          <p><hi rendition="#i">&#x03BB;</hi>) <hi rendition="#g">Aufgabe</hi>. Auf einer strategischen Bahnlinie findet sich für<lb/>
eine gewisse Zeit der Transport verboten von allen Gütern ausser<lb/>
solchen, welche Kriegszwecken dienen können, wenn sie explosiv oder<lb/></p>
        </div>
      </div>
    </body>
  </text>
</TEI>
[376/0396] Neunte Vorlesung. In Worten kann man überlegen: Die reichen Adeligen sind ent- weder gebildet oder ungebildet. Im erstern Falle sind sie unter den gebildeten Reichen, im letztern unter den adeligen Ungebildeten ohne- hin erwähnt, und folglich ist es durchaus überflüssig, sie noch be- sonders zu erwähnen. Man sieht, wie hier die Rechnung zwar für den in ihr noch Un- geübten vielleicht nicht bequemer ist, als die Überlegung in Worten, wie sie aber die Operationen dieses verbalen oder mentalen Räsonne- ments Schritt für Schritt wiederspiegelt und dieselben in knappster Form zum Ausdruck und Bewusstsein bringt. Beiläufig haben wir vorstehend einen Satz gewonnen. Denselben spricht die Formel aus: Theorem ι) a b + b c + c a1 = a b + c a1, welche leicht zu merken und in der Technik des Kalkuls von ziem- licher Anwendbarkeit ist. ϰ) Der Satz ist übrigens nahe verwandt, wenn man will nur eine kleine Umformung, eines schon von Herrn Peirce aufgestellten Theo- rems, nämlich des folgenden: Es gilt stets: Theorem ϰ) (a + x) (b + x1) = a x1 + b x. Durch Ausmultipliziren der linken Seite lässt sich nämlich erhalten: x b + b a + a x1, wonach der Satz ersichtlich auf den ι) zurückkommt. In der ihr von Peirce gegebenen Form ist die Gleichung dadurch bemerkenswert, dass die eine Seite derselben als das duale Gegenstück der andern (und umgekehrt) erscheinen würde, wenn nicht das Symbol x zugleich mit seiner Negation x1 tauschte. Es wäre darnach nicht korrekt, die Formel ϰ) selber eine „zu sich selbst duale“ zu nennen, wohl aber darf man von dem durch sie ausgedrückten allgemeinen Satze sagen, dass er sich selbst dual entspreche. Denn das duale Gegenstück von ϰ), welches lautet: a x + b x1 = (a + x1) (b + x), wird den nämlichen Satz ausdrücken, da man in letzterer Gleichung unter x auch dasjenige Gebiet verstehen kann, welches in ϰ) mit x1 bezeichnet wurde. λ) Aufgabe. Auf einer strategischen Bahnlinie findet sich für eine gewisse Zeit der Transport verboten von allen Gütern ausser solchen, welche Kriegszwecken dienen können, wenn sie explosiv oder

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