Anmelden (DTAQ) DWDS     dlexDB     CLARIN-D

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

Bild:
<< vorherige Seite

Subsumtion.
Es ist dann in der That das Formelsystem des Algorithmus A kleiner,
nur ein Teil (m. a. W. "echter Teil") des Formelsystems des Algo-
rithmus B.

Allerdings ist auch die umgekehrte Schreibweise berechtigt und wird
im "Aussagenkalkul" vorgezogen -- vergl. Bd. 2 § 28 -- im Hinblick
darauf, dass die Zeit, während welcher (resp. die Klasse der Gelegenheiten
bei welchen) die von einer andern B einseitig bedingte Aussage A als
wahr anzuerkennen ist, nur ein Teil sein wird der Zeit (resp. etc.) während
welcher die Aussage A gilt:

Wenn (wann, solange, sooft) B gilt, gilt auch A aber nicht umge-
kehrt; A kann auch gelten ohne B.

Ebenso ist nun auch hier die Gesamtheit der Fälle in welchen (die
Klasse der Funktionen, für welche) der Algorithmus B erfüllt wird, nur
ein Teil von derjenigen, für welche es der Algorithmus A ist. Unter
diesem Gesichtspunkt müsste man eigentlich die Schreibung:
b) B A
zur Darstellung des vorausgesetzten Sachverhalts wählen.

Wenn demnach das Zeichen der Unterordnung genau dem
Zeichen < entsprechend verwendet werden soll, so hat man doch für ein-
unddieselbe Beziehung a priori unter zwei Schreibweisen die Wahl, nämlich
einer extensiven a), bei der mehr auf die räumliche (Flächen-)Ausbreitung
der -- etwa geschrieben gedachten -- Sätze oder Formelsysteme gesehen,
und einer intensiven b), bei welcher mehr auf ihre zeitliche Ausdehnung,
ihre Gültigkeitsdauer, das Augenmerk gerichtet wird, oder -- sofern man
von einer solchen nicht sprechen mag -- auf die Klasse der Gelegenheiten,
wo sie Anwendung finden, hier also die Fälle des Erfülltseins oder die Klasse
der Lösungen der Funktionalgleichungen.

Durch die Bevorzugung der extensiven vor der intensiven Schreibung
unterscheidet sich der hier vorzutragende Kalkul schon in der Anlage von
dem später vorzutragenden Aussagenkalkul.

Ich würde mich unter Umständen wol auch der zweiten Schreibweise
anschliessen, muss aber hier der ersteren den Vorzug geben.

Folgt nicht nur A aus B, sondern auch B aus A, so sind die
Formelsysteme der Algorithmen A und B identisch dieselben, und
schreiben wir:
A = B oder B = A.

Denn da wir nur mit Algorithmen zu thun haben wollen, so ist
das Formelsystem A ergänzt zu denken durch Zuziehung aller seiner
Konsequenzen, zu denen nach der Voraussetzung auch B gehört, und
umgekehrt, d. h. beide sind eines.

Um lediglich auszudrücken, dass A aus B folgt, während un-
bekannt ist oder unentschieden, offen gelassen werden soll, ob auch
umgekehrt B aus A folge, werden wir schreiben:
A B desgl. B @ A,

Subsumtion.
Es ist dann in der That das Formelsystem des Algorithmus A kleiner,
nur ein Teil (m. a. W. „echter Teil“) des Formelsystems des Algo-
rithmus B.

Allerdings ist auch die umgekehrte Schreibweise berechtigt und wird
im „Aussagenkalkul“ vorgezogen — vergl. Bd. 2 § 28 — im Hinblick
darauf, dass die Zeit, während welcher (resp. die Klasse der Gelegenheiten
bei welchen) die von einer andern B einseitig bedingte Aussage A als
wahr anzuerkennen ist, nur ein Teil sein wird der Zeit (resp. etc.) während
welcher die Aussage A gilt:

Wenn (wann, solange, sooft) B gilt, gilt auch A aber nicht umge-
kehrt; A kann auch gelten ohne B.

Ebenso ist nun auch hier die Gesamtheit der Fälle in welchen (die
Klasse der Funktionen, für welche) der Algorithmus B erfüllt wird, nur
ein Teil von derjenigen, für welche es der Algorithmus A ist. Unter
diesem Gesichtspunkt müsste man eigentlich die Schreibung:
β) BA
zur Darstellung des vorausgesetzten Sachverhalts wählen.

Wenn demnach das Zeichen ⊂ der Unterordnung genau dem
Zeichen < entsprechend verwendet werden soll, so hat man doch für ein-
unddieselbe Beziehung a priori unter zwei Schreibweisen die Wahl, nämlich
einer extensiven α), bei der mehr auf die räumliche (Flächen-)Ausbreitung
der — etwa geschrieben gedachten — Sätze oder Formelsysteme gesehen,
und einer intensiven β), bei welcher mehr auf ihre zeitliche Ausdehnung,
ihre Gültigkeitsdauer, das Augenmerk gerichtet wird, oder — sofern man
von einer solchen nicht sprechen mag — auf die Klasse der Gelegenheiten,
wo sie Anwendung finden, hier also die Fälle des Erfülltseins oder die Klasse
der Lösungen der Funktionalgleichungen.

Durch die Bevorzugung der extensiven vor der intensiven Schreibung
unterscheidet sich der hier vorzutragende Kalkul schon in der Anlage von
dem später vorzutragenden Aussagenkalkul.

Ich würde mich unter Umständen wol auch der zweiten Schreibweise
anschliessen, muss aber hier der ersteren den Vorzug geben.

Folgt nicht nur A aus B, sondern auch B aus A, so sind die
Formelsysteme der Algorithmen A und B identisch dieselben, und
schreiben wir:
A = B oder B = A.

Denn da wir nur mit Algorithmen zu thun haben wollen, so ist
das Formelsystem A ergänzt zu denken durch Zuziehung aller seiner
Konsequenzen, zu denen nach der Voraussetzung auch B gehört, und
umgekehrt, d. h. beide sind eines.

Um lediglich auszudrücken, dass A aus B folgt, während un-
bekannt ist oder unentschieden, offen gelassen werden soll, ob auch
umgekehrt B aus A folge, werden wir schreiben:
AB desgl. BA,

<TEI>
  <text>
    <body>
      <div n="1">
        <div n="2">
          <div n="3">
            <p><pb facs="#f0643" n="623"/><fw place="top" type="header">Subsumtion.</fw><lb/>
Es ist dann in der That das Formelsystem des Algorithmus <hi rendition="#i">A</hi> kleiner,<lb/><hi rendition="#i">nur</hi> ein Teil (m. a. W. &#x201E;<hi rendition="#i">echter</hi> Teil&#x201C;) des Formelsystems des Algo-<lb/>
rithmus <hi rendition="#i">B</hi>.</p><lb/>
            <p>Allerdings ist auch die umgekehrte Schreibweise berechtigt und wird<lb/>
im &#x201E;Aussagenkalkul&#x201C; vorgezogen &#x2014; vergl. Bd. 2 § 28 &#x2014; im Hinblick<lb/>
darauf, dass die <hi rendition="#i">Zeit</hi>, während welcher (resp. die Klasse der Gelegenheiten<lb/>
bei welchen) die von einer andern <hi rendition="#i">B</hi> einseitig bedingte Aussage <hi rendition="#i">A</hi> als<lb/>
wahr anzuerkennen ist, nur ein Teil sein wird der Zeit (resp. etc.) während<lb/>
welcher die Aussage <hi rendition="#i">A</hi> gilt:</p><lb/>
            <p>Wenn (wann, solange, sooft) <hi rendition="#i">B</hi> gilt, gilt auch <hi rendition="#i">A</hi> aber nicht umge-<lb/>
kehrt; <hi rendition="#i">A</hi> kann auch gelten ohne <hi rendition="#i">B</hi>.</p><lb/>
            <p>Ebenso ist nun auch hier die Gesamtheit der Fälle <hi rendition="#i">in</hi> welchen (die<lb/>
Klasse der Funktionen, <hi rendition="#i">für</hi> welche) der Algorithmus <hi rendition="#i">B</hi> erfüllt wird, nur<lb/>
ein Teil von derjenigen, für welche es der Algorithmus <hi rendition="#i">A</hi> ist. Unter<lb/>
diesem Gesichtspunkt müsste man eigentlich die Schreibung:<lb/><hi rendition="#i">&#x03B2;</hi>) <hi rendition="#et"><hi rendition="#i">B</hi> &#x2282; <hi rendition="#i">A</hi></hi><lb/>
zur Darstellung des vorausgesetzten Sachverhalts wählen.</p><lb/>
            <p>Wenn demnach das Zeichen &#x2282; der Unterordnung genau dem<lb/>
Zeichen &lt; entsprechend verwendet werden soll, so hat man doch für ein-<lb/>
unddieselbe Beziehung <hi rendition="#i">a priori unter zwei Schreibweisen die Wahl,</hi> nämlich<lb/>
einer <hi rendition="#i">extensiven &#x03B1;</hi>), bei der mehr auf die <hi rendition="#i">räumliche</hi> (Flächen-)Ausbreitung<lb/>
der &#x2014; etwa geschrieben gedachten &#x2014; Sätze oder Formelsysteme gesehen,<lb/>
und einer <hi rendition="#i">intensiven &#x03B2;</hi>), bei welcher mehr auf ihre <hi rendition="#i">zeitliche</hi> Ausdehnung,<lb/>
ihre Gültigkeitsdauer, das Augenmerk gerichtet wird, oder &#x2014; sofern man<lb/>
von einer solchen nicht sprechen mag &#x2014; auf die Klasse der Gelegenheiten,<lb/>
wo sie Anwendung finden, hier also die Fälle des Erfülltseins oder die Klasse<lb/>
der <hi rendition="#i">Lösungen</hi> der Funktionalgleichungen.</p><lb/>
            <p>Durch die Bevorzugung der extensiven vor der intensiven Schreibung<lb/>
unterscheidet sich der hier vorzutragende Kalkul schon in der Anlage von<lb/>
dem später vorzutragenden Aussagenkalkul.</p><lb/>
            <p>Ich würde mich unter Umständen wol auch der zweiten Schreibweise<lb/>
anschliessen, muss aber hier der ersteren den Vorzug geben.</p><lb/>
            <p>Folgt nicht nur <hi rendition="#i">A</hi> aus <hi rendition="#i">B</hi>, sondern auch <hi rendition="#i">B</hi> aus <hi rendition="#i">A</hi>, so sind die<lb/>
Formelsysteme der Algorithmen <hi rendition="#i">A</hi> und <hi rendition="#i">B</hi> identisch dieselben, und<lb/>
schreiben wir:<lb/><hi rendition="#c"><hi rendition="#i">A</hi> = <hi rendition="#i">B</hi> oder <hi rendition="#i">B</hi> = <hi rendition="#i">A</hi>.</hi></p><lb/>
            <p>Denn da wir nur mit Algorithmen zu thun haben wollen, so ist<lb/>
das Formelsystem <hi rendition="#i">A</hi> ergänzt zu denken durch Zuziehung aller seiner<lb/>
Konsequenzen, zu denen nach der Voraussetzung auch <hi rendition="#i">B</hi> gehört, und<lb/>
umgekehrt, d. h. beide sind eines.</p><lb/>
            <p>Um lediglich auszudrücken, dass <hi rendition="#i">A</hi> aus <hi rendition="#i">B</hi> folgt, während un-<lb/>
bekannt ist oder unentschieden, offen gelassen werden soll, ob auch<lb/>
umgekehrt <hi rendition="#i">B</hi> aus <hi rendition="#i">A</hi> folge, werden wir schreiben:<lb/><hi rendition="#c"><hi rendition="#i">A</hi> &#x22F9; <hi rendition="#i">B</hi> desgl. <hi rendition="#i">B</hi> &#xFFFC; <hi rendition="#i">A</hi>,</hi><lb/></p>
          </div>
        </div>
      </div>
    </body>
  </text>
</TEI>
[623/0643] Subsumtion. Es ist dann in der That das Formelsystem des Algorithmus A kleiner, nur ein Teil (m. a. W. „echter Teil“) des Formelsystems des Algo- rithmus B. Allerdings ist auch die umgekehrte Schreibweise berechtigt und wird im „Aussagenkalkul“ vorgezogen — vergl. Bd. 2 § 28 — im Hinblick darauf, dass die Zeit, während welcher (resp. die Klasse der Gelegenheiten bei welchen) die von einer andern B einseitig bedingte Aussage A als wahr anzuerkennen ist, nur ein Teil sein wird der Zeit (resp. etc.) während welcher die Aussage A gilt: Wenn (wann, solange, sooft) B gilt, gilt auch A aber nicht umge- kehrt; A kann auch gelten ohne B. Ebenso ist nun auch hier die Gesamtheit der Fälle in welchen (die Klasse der Funktionen, für welche) der Algorithmus B erfüllt wird, nur ein Teil von derjenigen, für welche es der Algorithmus A ist. Unter diesem Gesichtspunkt müsste man eigentlich die Schreibung: β) B ⊂ A zur Darstellung des vorausgesetzten Sachverhalts wählen. Wenn demnach das Zeichen ⊂ der Unterordnung genau dem Zeichen < entsprechend verwendet werden soll, so hat man doch für ein- unddieselbe Beziehung a priori unter zwei Schreibweisen die Wahl, nämlich einer extensiven α), bei der mehr auf die räumliche (Flächen-)Ausbreitung der — etwa geschrieben gedachten — Sätze oder Formelsysteme gesehen, und einer intensiven β), bei welcher mehr auf ihre zeitliche Ausdehnung, ihre Gültigkeitsdauer, das Augenmerk gerichtet wird, oder — sofern man von einer solchen nicht sprechen mag — auf die Klasse der Gelegenheiten, wo sie Anwendung finden, hier also die Fälle des Erfülltseins oder die Klasse der Lösungen der Funktionalgleichungen. Durch die Bevorzugung der extensiven vor der intensiven Schreibung unterscheidet sich der hier vorzutragende Kalkul schon in der Anlage von dem später vorzutragenden Aussagenkalkul. Ich würde mich unter Umständen wol auch der zweiten Schreibweise anschliessen, muss aber hier der ersteren den Vorzug geben. Folgt nicht nur A aus B, sondern auch B aus A, so sind die Formelsysteme der Algorithmen A und B identisch dieselben, und schreiben wir: A = B oder B = A. Denn da wir nur mit Algorithmen zu thun haben wollen, so ist das Formelsystem A ergänzt zu denken durch Zuziehung aller seiner Konsequenzen, zu denen nach der Voraussetzung auch B gehört, und umgekehrt, d. h. beide sind eines. Um lediglich auszudrücken, dass A aus B folgt, während un- bekannt ist oder unentschieden, offen gelassen werden soll, ob auch umgekehrt B aus A folge, werden wir schreiben: A ⋹ B desgl. B  A,

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