Anmelden (DTAQ) DWDS     dlexDB     CLARIN-D

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

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

Einundzwanzigste Vorlesung.
wobei wir das beim Übergang über ein jedes Gleichheitszeichen in Be-
tracht gekommne Theorem, eventuell das Prinzip oder die Definition,
mit ihrer Chiffre unter demselben angemerkt haben, neben 6nx) und In
es aber unterliessen, auch das noch mit in Betracht gekommne Th. 16x)
ausdrücklich anzuführen, kraft dessen in der That erst es erlaubt er-
scheint, z. B. aus (a a) = i zu schliessen auf
(a a) (a b) = i · (a b)
gemäss dem [für B = i in Anspruch zu nehmenden] Schema:
(A = B) (A C = B C)
desselben [in welchem A unsre Aussage (a a) und C die (a b)
hier vertrat].

Analog wäre in etwas kürzerer Darstellung:
[Formel 1] der dual entsprechende Beweis für das Th. 20+) -- welchen wir dem-
ungeachtet auch noch hersetzen, gerade um daran zu zeigen, wie man
in Praxi abkürzend zuwerke gehen mag. In der Regel wird man in
der That auf die Pedanterie verzichten, welche mit peinlicher Sorg-
falt alle mit zur Anwendung kommenden Sätze in erschöpfender Voll-
ständigkeit zu citiren fordert: man wird als selbstverständlich (resp.
auf Grund der Voraussetzungen einer Untersuchung geltende Aussagen-
faktoren immer ohne weiteres unterdrücken, oder nach Belieben auch
anfügen, ohne sie erst durch die i dargestellt, aus dieser oder in
diese umgeschrieben zu haben, und ohne sich auf das Th. 21x) alle-
mal ausdrücklich zu berufen.

Stellt -- um auch auf den in der Klammer vorstehend angedeu-
teten Fall einzugehen -- eine Aussage A irgend eine Annahme vor,
die unter den Voraussetzungen einer zu führenden Untersuchung figu-
rirt, so mögen wir etwa B die vereinigte Aussage aller übrigen Hypo-
thesen von ebendieser nennen, und wird A B das Prämissensystem
jener Untersuchung sein. Ist dann C irgend eine Behauptung, die
kraft der Untersuchung notwendig gelten muss, also eine Konklusion
aus dem Prämissensysteme, und nennen wir D den Komplex aller
übrigen Ergebnisse dieser Untersuchung (vereinigt gedacht zu einer
Gesamtaussage), so wird C D das Konklusionensystem, und der Ansatz:

Einundzwanzigste Vorlesung.
wobei wir das beim Übergang über ein jedes Gleichheitszeichen in Be-
tracht gekommne Theorem, eventuell das Prinzip oder die Definition,
mit ihrer Chiffre unter demselben angemerkt haben, neben 6̄×) und Ī
es aber unterliessen, auch das noch mit in Betracht gekommne Th. 1̅6̅×)
ausdrücklich anzuführen, kraft dessen in der That erst es erlaubt er-
scheint, z. B. aus (a ⊆ a) = i zu schliessen auf
(a ⊆ a) (a ⊆ b) = i · (a ⊆ b)
gemäss dem [für B = i in Anspruch zu nehmenden] Schema:
(A = B) ⊆ (A C = B C)
desselben [in welchem A unsre Aussage (a ⊆ a) und C die (a ⊆ b)
hier vertrat].

Analog wäre in etwas kürzerer Darstellung:
[Formel 1] der dual entsprechende Beweis für das Th. 20+) — welchen wir dem-
ungeachtet auch noch hersetzen, gerade um daran zu zeigen, wie man
in Praxi abkürzend zuwerke gehen mag. In der Regel wird man in
der That auf die Pedanterie verzichten, welche mit peinlicher Sorg-
falt alle mit zur Anwendung kommenden Sätze in erschöpfender Voll-
ständigkeit zu citiren fordert: man wird als selbstverständlich (resp.
auf Grund der Voraussetzungen einer Untersuchung geltende Aussagen-
faktoren immer ohne weiteres unterdrücken, oder nach Belieben auch
anfügen, ohne sie erst durch die i dargestellt, aus dieser oder in
diese umgeschrieben zu haben, und ohne sich auf das Th. 2̅1̅×) alle-
mal ausdrücklich zu berufen.

Stellt — um auch auf den in der Klammer vorstehend angedeu-
teten Fall einzugehen — eine Aussage A irgend eine Annahme vor,
die unter den Voraussetzungen einer zu führenden Untersuchung figu-
rirt, so mögen wir etwa B die vereinigte Aussage aller übrigen Hypo-
thesen von ebendieser nennen, und wird A B das Prämissensystem
jener Untersuchung sein. Ist dann C irgend eine Behauptung, die
kraft der Untersuchung notwendig gelten muss, also eine Konklusion
aus dem Prämissensysteme, und nennen wir D den Komplex aller
übrigen Ergebnisse dieser Untersuchung (vereinigt gedacht zu einer
Gesamtaussage), so wird C D das Konklusionensystem, und der Ansatz:

<TEI>
  <text>
    <body>
      <div n="1">
        <div n="2">
          <div n="3">
            <p><pb facs="#f0314" n="290"/><fw place="top" type="header">Einundzwanzigste Vorlesung.</fw><lb/>
wobei wir das beim Übergang über ein jedes Gleichheitszeichen in Be-<lb/>
tracht gekommne Theorem, eventuell das Prinzip oder die Definition,<lb/>
mit ihrer Chiffre unter demselben angemerkt haben, neben 6&#x0304;<hi rendition="#sub">×</hi>) und I&#x0304;<lb/>
es aber unterliessen, auch das noch mit in Betracht gekommne Th. 1&#x0305;6&#x0305;<hi rendition="#sub">×</hi>)<lb/>
ausdrücklich anzuführen, kraft dessen in der That erst es erlaubt er-<lb/>
scheint, z. B. aus (<hi rendition="#i">a</hi> <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> <hi rendition="#i">a</hi>) = i zu schliessen auf<lb/><hi rendition="#c">(<hi rendition="#i">a</hi> <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> <hi rendition="#i">a</hi>) (<hi rendition="#i">a</hi> <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> <hi rendition="#i">b</hi>) = i · (<hi rendition="#i">a</hi> <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> <hi rendition="#i">b</hi>)</hi><lb/>
gemäss dem [für <hi rendition="#i">B</hi> = i in Anspruch zu nehmenden] Schema:<lb/><hi rendition="#c">(<hi rendition="#i">A</hi> = <hi rendition="#i">B</hi>) <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> (<hi rendition="#i">A C</hi> = <hi rendition="#i">B C</hi>)</hi><lb/>
desselben [in welchem <hi rendition="#i">A</hi> unsre Aussage (<hi rendition="#i">a</hi> <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> <hi rendition="#i">a</hi>) und <hi rendition="#i">C</hi> die (<hi rendition="#i">a</hi> <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> <hi rendition="#i">b</hi>)<lb/>
hier vertrat].</p><lb/>
            <p>Analog wäre in etwas kürzerer Darstellung:<lb/><hi rendition="#et"><formula/></hi> der dual entsprechende Beweis für das Th. 20<hi rendition="#sub">+</hi>) &#x2014; welchen wir dem-<lb/>
ungeachtet auch noch hersetzen, gerade um daran zu zeigen, wie man<lb/>
in Praxi abkürzend zuwerke gehen mag. In der Regel wird man in<lb/>
der That auf die Pedanterie verzichten, welche mit peinlicher Sorg-<lb/>
falt alle mit zur Anwendung kommenden Sätze in erschöpfender Voll-<lb/>
ständigkeit zu citiren fordert: man wird als selbstverständlich (resp.<lb/>
auf Grund der Voraussetzungen einer Untersuchung geltende Aussagen-<lb/>
faktoren immer ohne weiteres unterdrücken, oder nach Belieben auch<lb/>
anfügen, ohne sie erst durch die i dargestellt, <hi rendition="#i">aus</hi> dieser oder <hi rendition="#i">in</hi><lb/>
diese umgeschrieben zu haben, und ohne sich auf das Th. 2&#x0305;1&#x0305;<hi rendition="#sub">×</hi>) alle-<lb/>
mal ausdrücklich zu berufen.</p><lb/>
            <p>Stellt &#x2014; um auch auf den in der Klammer vorstehend angedeu-<lb/>
teten Fall einzugehen &#x2014; eine Aussage <hi rendition="#i">A</hi> irgend eine Annahme vor,<lb/>
die unter den Voraussetzungen einer zu führenden Untersuchung figu-<lb/>
rirt, so mögen wir etwa <hi rendition="#i">B</hi> die vereinigte Aussage aller übrigen Hypo-<lb/>
thesen von ebendieser nennen, und wird <hi rendition="#i">A B</hi> das Prämissensystem<lb/>
jener Untersuchung sein. Ist dann <hi rendition="#i">C</hi> irgend eine Behauptung, die<lb/>
kraft der Untersuchung notwendig gelten muss, also eine Konklusion<lb/>
aus dem Prämissensysteme, und nennen wir <hi rendition="#i">D</hi> den Komplex aller<lb/>
übrigen Ergebnisse dieser Untersuchung (vereinigt gedacht zu einer<lb/>
Gesamtaussage), so wird <hi rendition="#i">C D</hi> das Konklusionensystem, und der Ansatz:<lb/></p>
          </div>
        </div>
      </div>
    </body>
  </text>
</TEI>
[290/0314] Einundzwanzigste Vorlesung. wobei wir das beim Übergang über ein jedes Gleichheitszeichen in Be- tracht gekommne Theorem, eventuell das Prinzip oder die Definition, mit ihrer Chiffre unter demselben angemerkt haben, neben 6̄×) und Ī es aber unterliessen, auch das noch mit in Betracht gekommne Th. 1̅6̅×) ausdrücklich anzuführen, kraft dessen in der That erst es erlaubt er- scheint, z. B. aus (a  a) = i zu schliessen auf (a  a) (a  b) = i · (a  b) gemäss dem [für B = i in Anspruch zu nehmenden] Schema: (A = B)  (A C = B C) desselben [in welchem A unsre Aussage (a  a) und C die (a  b) hier vertrat]. Analog wäre in etwas kürzerer Darstellung: [FORMEL] der dual entsprechende Beweis für das Th. 20+) — welchen wir dem- ungeachtet auch noch hersetzen, gerade um daran zu zeigen, wie man in Praxi abkürzend zuwerke gehen mag. In der Regel wird man in der That auf die Pedanterie verzichten, welche mit peinlicher Sorg- falt alle mit zur Anwendung kommenden Sätze in erschöpfender Voll- ständigkeit zu citiren fordert: man wird als selbstverständlich (resp. auf Grund der Voraussetzungen einer Untersuchung geltende Aussagen- faktoren immer ohne weiteres unterdrücken, oder nach Belieben auch anfügen, ohne sie erst durch die i dargestellt, aus dieser oder in diese umgeschrieben zu haben, und ohne sich auf das Th. 2̅1̅×) alle- mal ausdrücklich zu berufen. Stellt — um auch auf den in der Klammer vorstehend angedeu- teten Fall einzugehen — eine Aussage A irgend eine Annahme vor, die unter den Voraussetzungen einer zu führenden Untersuchung figu- rirt, so mögen wir etwa B die vereinigte Aussage aller übrigen Hypo- thesen von ebendieser nennen, und wird A B das Prämissensystem jener Untersuchung sein. Ist dann C irgend eine Behauptung, die kraft der Untersuchung notwendig gelten muss, also eine Konklusion aus dem Prämissensysteme, und nennen wir D den Komplex aller übrigen Ergebnisse dieser Untersuchung (vereinigt gedacht zu einer Gesamtaussage), so wird C D das Konklusionensystem, und der Ansatz:

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_logik0201_1891
URL zu dieser Seite: https://www.deutschestextarchiv.de/schroeder_logik0201_1891/314
Zitationshilfe: Schröder, Ernst: Vorlesungen über die Algebra der Logik. Bd. 2, Abt. 1. Leipzig, 1891, S. 290. In: Deutsches Textarchiv <https://www.deutschestextarchiv.de/schroeder_logik0201_1891/314>, abgerufen am 12.05.2024.