Anmelden (DTAQ) DWDS     dlexDB     CLARIN-D

Schröder, Ernst: Vorlesungen über die Algebra der Logik. Bd. 2, Abt. 2. Leipzig, 1905.

Bild:
<< vorherige Seite
nächste Seite >>

McColl's Anwendung des Aussagenkalkuls etc.
fügten. Hier dürfte nur die letzte Zeile eine Erläuterung beanspruchen.
Die Forderung z < [Formel 1] ist, da 0 < x hier ist, äquivalent mit: 2 x z < y2,
und kommt für ein positives z, d. h. für 0 < z auf x < [Formel 2] hinaus, wo-
gegen sie für ein negatives z hinfällig wird, nämlich sich als ohnehin
erfüllt erweist, weil eine negative Zahl sicher kleiner ist als das un-
bedingt positive Quadrat von y.

Man bemerkt, dass wir ohne die eckigen Klammern wieder acht
Faktoren haben, welche als blosse Umformungen der vorigen achte
erscheinen, die wir bei der Transcription vollständig berücksichtigt haben.

Durch diese in den letzten zwei Kolonnen enthaltenen Forderungen
ist nun der Anfang der nachstehenden Tabelle von Grenzen gegeben,
deren übrige Ansätze sich erst später motiviren werden, die wir aber
der Übersicht und leichtern Bezugnahme halber (sonach teilweise vor-
greifend) sogleich vollständig hinsetzen wollen:
Grenzentabelle.

[Tabelle]
Und mit Bezug auf diese haben wir als konzisesten Ausdruck unserer
Integralaussage:
A = x0, 1, 3, 5, (z0' + z0 x2') w2', 0, 1.
Dass der in Gestalt von z0 x2' zunächst sich darbietende Aussagen-
faktor in z0' + z0 x2' umgeschrieben werden durfte, sieht man unschwer
ohne Rechnung, kann es aber auch rechnerisch darthun (nach Th. l)
des § 32 und Th. 33+) Zusatz).

Nun ist:
x0 w2', 0, 1 = x0 w2', 1
indem wegen 0 < x, also 0 < [Formel 3] , der Faktor (0 < w) durch den ( [Formel 4] < w)
überflüssig gemacht ist.

Schröder, Algebra der Logik. 2. II. 35

McColl’s Anwendung des Aussagenkalkuls etc.
fügten. Hier dürfte nur die letzte Zeile eine Erläuterung beanspruchen.
Die Forderung z < [Formel 1] ist, da 0 < x hier ist, äquivalent mit: 2 x z < y2,
und kommt für ein positives z, d. h. für 0 < z auf x < [Formel 2] hinaus, wo-
gegen sie für ein negatives z hinfällig wird, nämlich sich als ohnehin
erfüllt erweist, weil eine negative Zahl sicher kleiner ist als das un-
bedingt positive Quadrat von y.

Man bemerkt, dass wir ohne die eckigen Klammern wieder acht
Faktoren haben, welche als blosse Umformungen der vorigen achte
erscheinen, die wir bei der Transcription vollständig berücksichtigt haben.

Durch diese in den letzten zwei Kolonnen enthaltenen Forderungen
ist nun der Anfang der nachstehenden Tabelle von Grenzen gegeben,
deren übrige Ansätze sich erst später motiviren werden, die wir aber
der Übersicht und leichtern Bezugnahme halber (sonach teilweise vor-
greifend) sogleich vollständig hinsetzen wollen:
Grenzentabelle.

[Tabelle]
Und mit Bezug auf diese haben wir als konzisesten Ausdruck unserer
Integralaussage:
A = x0, 1, 3, 5, (z0' + z0 x2') w2', 0, 1.
Dass der in Gestalt von z0 x2' zunächst sich darbietende Aussagen-
faktor in z0' + z0 x2' umgeschrieben werden durfte, sieht man unschwer
ohne Rechnung, kann es aber auch rechnerisch darthun (nach Th. λ)
des § 32 und Th. 3̅3̅+) Zusatz).

Nun ist:
x0 w2', 0, 1 = x0 w2', 1
indem wegen 0 < x, also 0 < [Formel 3] , der Faktor (0 < w) durch den ( [Formel 4] < w)
überflüssig gemacht ist.

Schröder, Algebra der Logik. 2. II. 35
<TEI>
  <text>
    <body>
      <div n="1">
        <div n="2">
          <p><pb facs="#f0189" n="545"/><fw place="top" type="header">McColl&#x2019;s Anwendung des Aussagenkalkuls etc.</fw><lb/>
fügten. Hier dürfte nur die letzte Zeile eine Erläuterung beanspruchen.<lb/>
Die Forderung <hi rendition="#i">z</hi> &lt; <formula/> ist, da 0 &lt; <hi rendition="#i">x</hi> hier ist, äquivalent mit: 2 <hi rendition="#i">x z</hi> &lt; <hi rendition="#i">y</hi><hi rendition="#sup">2</hi>,<lb/>
und kommt für ein positives <hi rendition="#i">z</hi>, d. h. für 0 &lt; <hi rendition="#i">z</hi> auf <hi rendition="#i">x</hi> &lt; <formula/> hinaus, wo-<lb/>
gegen sie für ein negatives <hi rendition="#i">z</hi> hinfällig wird, nämlich sich als ohnehin<lb/>
erfüllt erweist, weil eine negative Zahl sicher kleiner ist als das un-<lb/>
bedingt positive Quadrat von <hi rendition="#i">y</hi>.</p><lb/>
          <p>Man bemerkt, dass wir ohne die eckigen Klammern wieder acht<lb/>
Faktoren haben, welche als blosse Umformungen der vorigen achte<lb/>
erscheinen, die wir bei der Transcription vollständig berücksichtigt haben.</p><lb/>
          <p>Durch diese in den letzten zwei Kolonnen enthaltenen Forderungen<lb/>
ist nun der <hi rendition="#i">Anfang</hi> der nachstehenden Tabelle von Grenzen gegeben,<lb/>
deren übrige Ansätze sich erst später motiviren werden, die wir aber<lb/>
der Übersicht und leichtern Bezugnahme halber (sonach teilweise vor-<lb/>
greifend) sogleich vollständig hinsetzen wollen:<lb/><hi rendition="#c"><hi rendition="#g">Grenzentabelle</hi>.</hi><lb/><table><row><cell/></row></table> Und mit Bezug auf diese haben wir als konzisesten Ausdruck unserer<lb/>
Integralaussage:<lb/><hi rendition="#c"><hi rendition="#i">A</hi> = <hi rendition="#i">x</hi><hi rendition="#sub">0, 1, 3, 5,</hi> (<hi rendition="#i">z</hi><hi rendition="#sub">0'</hi> + <hi rendition="#i">z</hi><hi rendition="#sub">0</hi> <hi rendition="#i">x</hi><hi rendition="#sub">2'</hi>) <hi rendition="#i">w</hi><hi rendition="#sub">2', 0, 1</hi>.</hi><lb/>
Dass der in Gestalt von <hi rendition="#i">z</hi><hi rendition="#sub">0</hi> <g ref="subeq"/> <hi rendition="#i">x</hi><hi rendition="#sub">2'</hi> zunächst sich darbietende Aussagen-<lb/>
faktor in <hi rendition="#i">z</hi><hi rendition="#sub">0'</hi> + <hi rendition="#i">z</hi><hi rendition="#sub">0</hi> <hi rendition="#i">x</hi><hi rendition="#sub">2'</hi> umgeschrieben werden durfte, sieht man unschwer<lb/>
ohne Rechnung, kann es aber auch rechnerisch darthun (nach Th. <hi rendition="#i">&#x03BB;</hi>)<lb/>
des § 32 und Th. 3&#x0305;3&#x0305;<hi rendition="#sub">+</hi>) Zusatz).</p><lb/>
          <p>Nun ist:<lb/><hi rendition="#c"><hi rendition="#i">x</hi><hi rendition="#sub">0</hi><hi rendition="#i">w</hi><hi rendition="#sub">2', 0, 1</hi> = <hi rendition="#i">x</hi><hi rendition="#sub">0</hi> <hi rendition="#i">w</hi><hi rendition="#sub">2', 1</hi></hi><lb/>
indem wegen 0 &lt; <hi rendition="#i">x</hi>, also 0 &lt; <formula/>, der Faktor (0 &lt; <hi rendition="#i">w</hi>) durch den (<formula/> &lt; <hi rendition="#i">w</hi>)<lb/>
überflüssig gemacht ist.</p><lb/>
          <fw place="bottom" type="sig"><hi rendition="#k">Schröder</hi>, Algebra der Logik. 2. II. 35</fw><lb/>
        </div>
      </div>
    </body>
  </text>
</TEI>
[545/0189] McColl’s Anwendung des Aussagenkalkuls etc. fügten. Hier dürfte nur die letzte Zeile eine Erläuterung beanspruchen. Die Forderung z < [FORMEL] ist, da 0 < x hier ist, äquivalent mit: 2 x z < y2, und kommt für ein positives z, d. h. für 0 < z auf x < [FORMEL] hinaus, wo- gegen sie für ein negatives z hinfällig wird, nämlich sich als ohnehin erfüllt erweist, weil eine negative Zahl sicher kleiner ist als das un- bedingt positive Quadrat von y. Man bemerkt, dass wir ohne die eckigen Klammern wieder acht Faktoren haben, welche als blosse Umformungen der vorigen achte erscheinen, die wir bei der Transcription vollständig berücksichtigt haben. Durch diese in den letzten zwei Kolonnen enthaltenen Forderungen ist nun der Anfang der nachstehenden Tabelle von Grenzen gegeben, deren übrige Ansätze sich erst später motiviren werden, die wir aber der Übersicht und leichtern Bezugnahme halber (sonach teilweise vor- greifend) sogleich vollständig hinsetzen wollen: Grenzentabelle. Und mit Bezug auf diese haben wir als konzisesten Ausdruck unserer Integralaussage: A = x0, 1, 3, 5, (z0' + z0 x2') w2', 0, 1. Dass der in Gestalt von z0 x2' zunächst sich darbietende Aussagen- faktor in z0' + z0 x2' umgeschrieben werden durfte, sieht man unschwer ohne Rechnung, kann es aber auch rechnerisch darthun (nach Th. λ) des § 32 und Th. 3̅3̅+) Zusatz). Nun ist: x0 w2', 0, 1 = x0 w2', 1 indem wegen 0 < x, also 0 < [FORMEL], der Faktor (0 < w) durch den ([FORMEL] < w) überflüssig gemacht ist. Schröder, Algebra der Logik. 2. II. 35

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_logik0202_1905
URL zu dieser Seite: https://www.deutschestextarchiv.de/schroeder_logik0202_1905/189
Zitationshilfe: Schröder, Ernst: Vorlesungen über die Algebra der Logik. Bd. 2, Abt. 2. Leipzig, 1905, S. 545. In: Deutsches Textarchiv <https://www.deutschestextarchiv.de/schroeder_logik0202_1905/189>, abgerufen am 02.05.2024.