Schröder, Ernst: Vorlesungen über die Algebra der Logik. Bd. 3, Abt. 1. Leipzig, 1895.§ 20. Zum Inversionsproblem der Transoperationen. Es bleibt nun noch die Frage zu erledigen: auf welche Weise Ich will nicht nur die Begründungen, sondern auch die Ergeb- Diese Gleichung liefert als eine Relation für a selbst eine Resul- Die Resultante lautet: Sie ergibt sich wie folgt. Wie schon erkannt, ist die Gleichung 17) Die erstre von diesen gibt: 0 j bn a j 0 + an, die letztere: *) Diese Thatsache ist für den Mathematiker geradezu verblüffend. In ihr
dokumentirt sich ein weitrer tiefwurzelnder Unterschied zwischen den Eliminations- problemen in Arithmetik und Logik. [Ein Unterschied bestand schon in der Unabhängigkeit des Problems von der Anzahl der Gleichungen hier, gegenüber seiner Abhängigkeit dort.] Wenn in der arithmetischen Analysis ein Eliminand x überall nur in der Verbindung ph(x) vorkommt, so ist im Allgemeinen die Elimi- nation von x zugleich mit der von ph(x) geleistet; beide Eliminationen liefern die- selbe Resultante, die erstere läuft einfach auf die letztere hinaus. Hier dagegen kommt der Eliminand b lediglich in der Verbindung 1 ; b vor und dennoch führt die Elimination von b und die von 1 ; b zu ganz verschiednen Resultanten! Woran liegt dies nun? Bei genauerm Zusehn erkennt man wie dies davon kommt, dass der Ausdruck 1 ; b nicht jedes beliebige Relativ, sondern nur Relative von einer bestimmten Sorte vorzustellen fähig ist, m. a. W. davon: weil die [zur relativen Multiplikation mit 1] inverse Operation nicht unbedingt ausführbar ist. Und dar- nach erscheint natürlich die so frappante Thatsache doch als begreiflich. § 20. Zum Inversionsproblem der Transoperationen. Es bleibt nun noch die Frage zu erledigen: auf welche Weise Ich will nicht nur die Begründungen, sondern auch die Ergeb- Diese Gleichung liefert als eine Relation für a selbst eine Resul- Die Resultante lautet: Sie ergibt sich wie folgt. Wie schon erkannt, ist die Gleichung 17) Die erstre von diesen gibt: 0 ɟ b̄ ⋹ a ɟ 0 + ā, die letztere: *) Diese Thatsache ist für den Mathematiker geradezu verblüffend. In ihr
dokumentirt sich ein weitrer tiefwurzelnder Unterschied zwischen den Eliminations- problemen in Arithmetik und Logik. [Ein Unterschied bestand schon in der Unabhängigkeit des Problems von der Anzahl der Gleichungen hier, gegenüber seiner Abhängigkeit dort.] Wenn in der arithmetischen Analysis ein Eliminand x überall nur in der Verbindung φ(x) vorkommt, so ist im Allgemeinen die Elimi- nation von x zugleich mit der von φ(x) geleistet; beide Eliminationen liefern die- selbe Resultante, die erstere läuft einfach auf die letztere hinaus. Hier dagegen kommt der Eliminand b lediglich in der Verbindung 1 ; b vor und dennoch führt die Elimination von b und die von 1 ; b zu ganz verschiednen Resultanten! Woran liegt dies nun? Bei genauerm Zusehn erkennt man wie dies davon kommt, dass der Ausdruck 1 ; b nicht jedes beliebige Relativ, sondern nur Relative von einer bestimmten Sorte vorzustellen fähig ist, m. a. W. davon: weil die [zur relativen Multiplikation mit 1] inverse Operation nicht unbedingt ausführbar ist. Und dar- nach erscheint natürlich die so frappante Thatsache doch als begreiflich. <TEI> <text> <body> <div n="1"> <div n="2"> <pb facs="#f0301" n="287"/> <fw place="top" type="header">§ 20. Zum Inversionsproblem der Transoperationen.</fw><lb/> <p>Es bleibt nun noch die Frage zu erledigen: auf welche Weise<lb/> der Relation zwischen <hi rendition="#i">a</hi> und <hi rendition="#i">b</hi>, als welche die Resultante nach <hi rendition="#i">x</hi> bei<lb/> unserm Probleme sich darstellt, auf die allgemeinste Weise zu genügen<lb/> ist, m. a. W. es bleibt diese <hi rendition="#i">Resultante</hi> noch <hi rendition="#i">nach den Unbekannten a<lb/> und b aufzulösen</hi>.</p><lb/> <p>Ich will nicht nur die Begründungen, sondern auch die Ergeb-<lb/> nisse blos für die Gleichung<lb/> 17) <hi rendition="#et"><hi rendition="#i">a</hi> = <hi rendition="#i">a</hi> ɟ 0 + 1 ; <hi rendition="#i">b</hi></hi><lb/> als den Repräsentanten der vier Probleme angeben.</p><lb/> <p>Diese Gleichung liefert als eine Relation für <hi rendition="#i">a</hi> selbst eine Resul-<lb/> tante durch Elimination von <hi rendition="#i">b</hi>. Zwar durch Elimination des Terms<lb/> „1 ; <hi rendition="#i">b</hi>“ findet man weiter nichts als die Forderung <hi rendition="#i">a</hi> ɟ 0 ⋹ <hi rendition="#i">a</hi>, die als<lb/> identisch erfüllte auf 0 = 0 hinausläuft. Anders bei Elimination von <hi rendition="#i">b</hi>.<note place="foot" n="*)">Diese Thatsache ist für den Mathematiker geradezu verblüffend. In ihr<lb/> dokumentirt sich ein weitrer tiefwurzelnder Unterschied zwischen den Eliminations-<lb/> problemen in Arithmetik und Logik. [Ein Unterschied bestand schon in der<lb/> Unabhängigkeit des Problems von der Anzahl der Gleichungen <hi rendition="#i">hier</hi>, gegenüber<lb/> seiner Abhängigkeit dort.] Wenn in der arithmetischen Analysis ein Eliminand <hi rendition="#i">x</hi><lb/> überall nur in der Verbindung <hi rendition="#i">φ</hi>(<hi rendition="#i">x</hi>) vorkommt, so ist im Allgemeinen die Elimi-<lb/> nation von <hi rendition="#i">x</hi> zugleich mit der von <hi rendition="#i">φ</hi>(<hi rendition="#i">x</hi>) geleistet; beide Eliminationen liefern die-<lb/> selbe Resultante, die erstere läuft einfach auf die letztere hinaus. <hi rendition="#i">Hier</hi> dagegen<lb/> kommt der Eliminand <hi rendition="#i">b</hi> lediglich in der Verbindung 1 ; <hi rendition="#i">b</hi> vor und dennoch führt<lb/> die Elimination von <hi rendition="#i">b</hi> und die von 1 ; <hi rendition="#i">b</hi> zu ganz verschiednen Resultanten! Woran<lb/> liegt dies nun? Bei genauerm Zusehn erkennt man wie dies davon kommt, dass<lb/> der Ausdruck 1 ; <hi rendition="#i">b</hi> nicht jedes beliebige Relativ, sondern nur Relative von einer<lb/> bestimmten Sorte vorzustellen fähig ist, m. a. W. davon: weil die [zur relativen<lb/> Multiplikation mit 1] inverse Operation nicht unbedingt ausführbar ist. Und dar-<lb/> nach erscheint natürlich die so frappante Thatsache doch als begreiflich.</note></p><lb/> <p>Die Resultante lautet:<lb/> 18) <hi rendition="#et"><hi rendition="#i">a</hi>⋹<hi rendition="#i">a</hi> ɟ 0 ɟ <hi rendition="#i">a</hi></hi><lb/> worin das Subsumtionszeichen, da die umgekehrte Einordnung ohnehin<lb/> stattfindet, auch in ein <hi rendition="#i">Gleichheitszeichen</hi> verwandelt werden darf.</p><lb/> <p>Sie ergibt sich wie folgt. Wie schon erkannt, ist die Gleichung 17)<lb/> äquivalent dem Produkt der beiden Subsumtionen:<lb/><hi rendition="#c">(<hi rendition="#i">a</hi> ⋹ <hi rendition="#i">a</hi> ɟ 0 + 1 ; <hi rendition="#i">b</hi>)(1 ; <hi rendition="#i">b</hi> ⋹ <hi rendition="#i">a</hi>).</hi></p><lb/> <p>Die erstre von diesen gibt: 0 ɟ <hi rendition="#i">b̄</hi> ⋹ <hi rendition="#i">a</hi> ɟ 0 + <hi rendition="#i">ā</hi>, die letztere:<lb/><hi rendition="#c"><hi rendition="#i">b</hi>⋹ 0 ɟ <hi rendition="#i">a</hi>, 1 ; <hi rendition="#i">ā</hi> ⋹ <hi rendition="#i">b̄</hi>, 0 ɟ 1 ; <hi rendition="#i">ā</hi> = 1 ; <hi rendition="#i">ā</hi> ⋹ 0 ɟ <hi rendition="#i">b̄</hi>.</hi><lb/> Aus beiden Ergebnissen folgt a fortiori:<lb/><hi rendition="#c">1 ; <hi rendition="#i">ā</hi> ⋹ <hi rendition="#i">a</hi> ɟ 0 + <hi rendition="#i">ā</hi> oder <hi rendition="#i">a</hi> ⋹ <hi rendition="#i">a</hi> ɟ 0 + 0 ɟ <hi rendition="#i">a</hi> = <hi rendition="#i">a</hi> ɟ 0 ɟ <hi rendition="#i">a</hi>, q. e. d.</hi></p><lb/> </div> </div> </body> </text> </TEI> [287/0301]
§ 20. Zum Inversionsproblem der Transoperationen.
Es bleibt nun noch die Frage zu erledigen: auf welche Weise
der Relation zwischen a und b, als welche die Resultante nach x bei
unserm Probleme sich darstellt, auf die allgemeinste Weise zu genügen
ist, m. a. W. es bleibt diese Resultante noch nach den Unbekannten a
und b aufzulösen.
Ich will nicht nur die Begründungen, sondern auch die Ergeb-
nisse blos für die Gleichung
17) a = a ɟ 0 + 1 ; b
als den Repräsentanten der vier Probleme angeben.
Diese Gleichung liefert als eine Relation für a selbst eine Resul-
tante durch Elimination von b. Zwar durch Elimination des Terms
„1 ; b“ findet man weiter nichts als die Forderung a ɟ 0 ⋹ a, die als
identisch erfüllte auf 0 = 0 hinausläuft. Anders bei Elimination von b. *)
Die Resultante lautet:
18) a⋹a ɟ 0 ɟ a
worin das Subsumtionszeichen, da die umgekehrte Einordnung ohnehin
stattfindet, auch in ein Gleichheitszeichen verwandelt werden darf.
Sie ergibt sich wie folgt. Wie schon erkannt, ist die Gleichung 17)
äquivalent dem Produkt der beiden Subsumtionen:
(a ⋹ a ɟ 0 + 1 ; b)(1 ; b ⋹ a).
Die erstre von diesen gibt: 0 ɟ b̄ ⋹ a ɟ 0 + ā, die letztere:
b⋹ 0 ɟ a, 1 ; ā ⋹ b̄, 0 ɟ 1 ; ā = 1 ; ā ⋹ 0 ɟ b̄.
Aus beiden Ergebnissen folgt a fortiori:
1 ; ā ⋹ a ɟ 0 + ā oder a ⋹ a ɟ 0 + 0 ɟ a = a ɟ 0 ɟ a, q. e. d.
*) Diese Thatsache ist für den Mathematiker geradezu verblüffend. In ihr
dokumentirt sich ein weitrer tiefwurzelnder Unterschied zwischen den Eliminations-
problemen in Arithmetik und Logik. [Ein Unterschied bestand schon in der
Unabhängigkeit des Problems von der Anzahl der Gleichungen hier, gegenüber
seiner Abhängigkeit dort.] Wenn in der arithmetischen Analysis ein Eliminand x
überall nur in der Verbindung φ(x) vorkommt, so ist im Allgemeinen die Elimi-
nation von x zugleich mit der von φ(x) geleistet; beide Eliminationen liefern die-
selbe Resultante, die erstere läuft einfach auf die letztere hinaus. Hier dagegen
kommt der Eliminand b lediglich in der Verbindung 1 ; b vor und dennoch führt
die Elimination von b und die von 1 ; b zu ganz verschiednen Resultanten! Woran
liegt dies nun? Bei genauerm Zusehn erkennt man wie dies davon kommt, dass
der Ausdruck 1 ; b nicht jedes beliebige Relativ, sondern nur Relative von einer
bestimmten Sorte vorzustellen fähig ist, m. a. W. davon: weil die [zur relativen
Multiplikation mit 1] inverse Operation nicht unbedingt ausführbar ist. Und dar-
nach erscheint natürlich die so frappante Thatsache doch als begreiflich.
Suche im WerkInformationen zum Werk
Download dieses Werks
XML (TEI P5) ·
HTML ·
Text Metadaten zum WerkTEI-Header · CMDI · Dublin Core Ansichten dieser Seite
Voyant Tools
|
URL zu diesem Werk: | https://www.deutschestextarchiv.de/schroeder_logik03_1895 |
URL zu dieser Seite: | https://www.deutschestextarchiv.de/schroeder_logik03_1895/301 |
Zitationshilfe: | Schröder, Ernst: Vorlesungen über die Algebra der Logik. Bd. 3, Abt. 1. Leipzig, 1895, S. 287. In: Deutsches Textarchiv <https://www.deutschestextarchiv.de/schroeder_logik03_1895/301>, abgerufen am 01.09.2024. |