Dies traf oben bei C) und D) für die Teiloperationen der Prozesse nur in ihrer angegebnen Verbindung miteinander zu.
Doch können (solche) Operationen -- wie Negiren, Konvertiren, Er- setzen der Terme durch von ihnen verschiedene, z. B. ihre Negate oder ihre Konverse -- welche am einzelnen Ausdrucke unzulässig sind, an Aus- drücken dennoch zulässig werden in einer hochwichtigen Kategorie von Fällen, nämlich wenn diese Ausdrücke in eine allgemeingültige Formel als deren beide Seiten eingehen, oder was auf dasselbe hinauskommt, wenn sie in allgemeinen Lehrsätzen figuriren.
Dass da die unbestimmten, durch Buchstaben als allgemeine Symbole repräsentirten Operationsglieder auch durch andre durchweg ersetzt werden dürfen ist a priori einleuchtend, liegt nämlich im Begriffe der Allgemein- gültigkeit der Formel oder des Lehrsatzes.
Unter welchen Bedingungen aber, oder mit welchen Kautelen, die Operation des Negirens sowie die des Konvertirens beiderseitig voll- zogen werden darf an einer Subsumtion oder Gleichung -- dies lehren die nächstfolgenden Sätze: 13) (ab) = (bnan) = (ab) = (bnan) mit den höchst nahe liegenden Korollaren: E)
[Formel 1]
-- worin sämtliche Aussagen weniger einander als vielmehr der ersten von ihnen gleichgesetzt zu denken sind.
Die Verwandlung der ersten Subsumtion 13) in die zweite wird bekanntlich die Kontraposition von jener genannt; sie läuft hinaus auf beiderseitiges Negiren, welches jedoch nicht ohne gleichzeitige Umkehrung des Subsumtionszeichens gestattet ist (oder falls man letztres bei- behalten will, zu verbinden ist mit einer Vertauschung von Subjekt und Prädikat der Subsumtion).
Die Verwandlung der ersten Subsumtion 13) in die dritte möge das beiderseitige Konvertiren derselben heissen. Dasselbe ist hienach ohne weiteres gestattet, liefert wiederum eine mit der gegebenen äqui- valente Subsumtion.
Die "Umkehrung der Subsumtion" ab selbst dagegen würde die- selbe in ba verwandeln, welche letztere mit ihr zugleich gar nicht zu gelten braucht; ihre (legitime) Verwandlung in b @ a dagegen würde blos als ein "Rückwärtslesen" der Subsumtion zu bezeichnen sein.
Ihre Verwandlung in die vierte mag konvertirende Kontraposition genannt werden.
Bei den Gleichungen muss alsdann kraft Def. oder Festsetzung (1) das beiderseitige Negiren (die Kontraposition) sowol als auch das
§ 6. Gesetze von Negation und Konversion.
Dies traf oben bei C) und D) für die Teiloperationen der Prozesse nur in ihrer angegebnen Verbindung miteinander zu.
Doch können (solche) Operationen — wie Negiren, Konvertiren, Er- setzen der Terme durch von ihnen verschiedene, z. B. ihre Negate oder ihre Konverse — welche am einzelnen Ausdrucke unzulässig sind, an Aus- drücken dennoch zulässig werden in einer hochwichtigen Kategorie von Fällen, nämlich wenn diese Ausdrücke in eine allgemeingültige Formel als deren beide Seiten eingehen, oder was auf dasselbe hinauskommt, wenn sie in allgemeinen Lehrsätzen figuriren.
Dass da die unbestimmten, durch Buchstaben als allgemeine Symbole repräsentirten Operationsglieder auch durch andre durchweg ersetzt werden dürfen ist a priori einleuchtend, liegt nämlich im Begriffe der Allgemein- gültigkeit der Formel oder des Lehrsatzes.
Unter welchen Bedingungen aber, oder mit welchen Kautelen, die Operation des Negirens sowie die des Konvertirens beiderseitig voll- zogen werden darf an einer Subsumtion oder Gleichung — dies lehren die nächstfolgenden Sätze: 13) (a ⋹ b) = (b̄ ⋹ ā) = (ă ⋹ b̆) = (b̄̆ ⋹ ā̆) mit den höchst nahe liegenden Korollaren: E)
[Formel 1]
— worin sämtliche Aussagen weniger einander als vielmehr der ersten von ihnen gleichgesetzt zu denken sind.
Die Verwandlung der ersten Subsumtion 13) in die zweite wird bekanntlich die Kontraposition von jener genannt; sie läuft hinaus auf beiderseitiges Negiren, welches jedoch nicht ohne gleichzeitige Umkehrung des Subsumtionszeichens gestattet ist (oder falls man letztres bei- behalten will, zu verbinden ist mit einer Vertauschung von Subjekt und Prädikat der Subsumtion).
Die Verwandlung der ersten Subsumtion 13) in die dritte möge das beiderseitige Konvertiren derselben heissen. Dasselbe ist hienach ohne weiteres gestattet, liefert wiederum eine mit der gegebenen äqui- valente Subsumtion.
Die „Umkehrung der Subsumtion“ a ⋹ b selbst dagegen würde die- selbe in b ⋹ a verwandeln, welche letztere mit ihr zugleich gar nicht zu gelten braucht; ihre (legitime) Verwandlung in b  a dagegen würde blos als ein „Rückwärtslesen“ der Subsumtion zu bezeichnen sein.
Ihre Verwandlung in die vierte mag konvertirende Kontraposition genannt werden.
Bei den Gleichungen muss alsdann kraft Def. oder Festsetzung (1) das beiderseitige Negiren (die Kontraposition) sowol als auch das
<TEI><text><body><divn="1"><divn="2"><pbfacs="#f0101"n="87"/><fwplace="top"type="header">§ 6. Gesetze von Negation und Konversion.</fw><lb/><p>Dies traf oben bei C) und D) für die Teiloperationen der Prozesse<lb/>
nur in ihrer angegebnen Verbindung miteinander zu.</p><lb/><p>Doch können (solche) Operationen — wie Negiren, Konvertiren, Er-<lb/>
setzen der Terme durch von ihnen verschiedene, z. B. ihre Negate oder<lb/>
ihre Konverse — welche am einzelnen Ausdrucke unzulässig sind, an Aus-<lb/>
drücken dennoch zulässig werden in einer hochwichtigen Kategorie von<lb/>
Fällen, nämlich wenn diese Ausdrücke <hirendition="#i">in eine allgemeingültige Formel</hi> als<lb/>
deren beide Seiten eingehen, oder was auf dasselbe hinauskommt, wenn sie<lb/><hirendition="#i">in allgemeinen Lehrsätzen</hi> figuriren.</p><lb/><p>Dass da die unbestimmten, durch Buchstaben als allgemeine Symbole<lb/>
repräsentirten Operationsglieder auch durch andre durchweg ersetzt werden<lb/>
dürfen ist a priori einleuchtend, liegt nämlich im Begriffe der Allgemein-<lb/>
gültigkeit der Formel oder des Lehrsatzes.</p><lb/><p>Unter welchen Bedingungen aber, oder mit welchen Kautelen, die<lb/>
Operation des Negirens sowie die des Konvertirens beiderseitig voll-<lb/>
zogen werden darf an einer <hirendition="#i">Subsumtion</hi> oder <hirendition="#i">Gleichung</hi>— dies lehren<lb/>
die nächstfolgenden Sätze:<lb/>
13) <hirendition="#et">(<hirendition="#i">a</hi>⋹<hirendition="#i">b</hi>) = (<hirendition="#i">b̄</hi>⋹<hirendition="#i">ā</hi>) = (<hirendition="#i">ă</hi>⋹<hirendition="#i">b̆</hi>) = (<hirendition="#i">b̄̆</hi>⋹<hirendition="#i">ā̆</hi>)</hi><lb/>
mit den höchst nahe liegenden Korollaren:<lb/>
E) <hirendition="#et"><formula/></hi><lb/>— worin sämtliche Aussagen weniger einander als vielmehr der ersten<lb/>
von ihnen gleichgesetzt zu denken sind.</p><lb/><p>Die Verwandlung der ersten Subsumtion 13) in die zweite wird<lb/>
bekanntlich die <hirendition="#i">Kontraposition</hi> von jener genannt; sie läuft hinaus auf<lb/><hirendition="#i">beiderseitiges Negiren</hi>, welches jedoch nicht ohne gleichzeitige Umkehrung<lb/>
des Subsumtionszeichens gestattet ist (oder falls man letztres bei-<lb/>
behalten will, zu verbinden ist mit einer Vertauschung von Subjekt<lb/>
und Prädikat der Subsumtion).</p><lb/><p>Die Verwandlung der ersten Subsumtion 13) in die dritte möge<lb/>
das <hirendition="#i">beiderseitige Konvertiren</hi> derselben heissen. Dasselbe ist hienach<lb/>
ohne weiteres gestattet, liefert wiederum eine mit der gegebenen äqui-<lb/>
valente Subsumtion.</p><lb/><p>Die „Umkehrung der Subsumtion“<hirendition="#i">a</hi>⋹<hirendition="#i">b</hi> selbst dagegen würde die-<lb/>
selbe in <hirendition="#i">b</hi>⋹<hirendition="#i">a</hi> verwandeln, welche letztere mit ihr zugleich gar nicht zu<lb/>
gelten braucht; ihre (legitime) Verwandlung in <hirendition="#i">b</hi><hirendition="#i">a</hi> dagegen würde blos<lb/>
als ein „<hirendition="#i">Rückwärtslesen</hi>“ der Subsumtion zu bezeichnen sein.</p><lb/><p>Ihre Verwandlung in die vierte mag <hirendition="#i">konvertirende Kontraposition</hi><lb/>
genannt werden.</p><lb/><p>Bei den Gleichungen muss alsdann kraft Def. oder Festsetzung (1)<lb/>
das beiderseitige Negiren (die Kontraposition) sowol als auch das<lb/></p></div></div></body></text></TEI>
[87/0101]
§ 6. Gesetze von Negation und Konversion.
Dies traf oben bei C) und D) für die Teiloperationen der Prozesse
nur in ihrer angegebnen Verbindung miteinander zu.
Doch können (solche) Operationen — wie Negiren, Konvertiren, Er-
setzen der Terme durch von ihnen verschiedene, z. B. ihre Negate oder
ihre Konverse — welche am einzelnen Ausdrucke unzulässig sind, an Aus-
drücken dennoch zulässig werden in einer hochwichtigen Kategorie von
Fällen, nämlich wenn diese Ausdrücke in eine allgemeingültige Formel als
deren beide Seiten eingehen, oder was auf dasselbe hinauskommt, wenn sie
in allgemeinen Lehrsätzen figuriren.
Dass da die unbestimmten, durch Buchstaben als allgemeine Symbole
repräsentirten Operationsglieder auch durch andre durchweg ersetzt werden
dürfen ist a priori einleuchtend, liegt nämlich im Begriffe der Allgemein-
gültigkeit der Formel oder des Lehrsatzes.
Unter welchen Bedingungen aber, oder mit welchen Kautelen, die
Operation des Negirens sowie die des Konvertirens beiderseitig voll-
zogen werden darf an einer Subsumtion oder Gleichung — dies lehren
die nächstfolgenden Sätze:
13) (a ⋹ b) = (b̄ ⋹ ā) = (ă ⋹ b̆) = (b̄̆ ⋹ ā̆)
mit den höchst nahe liegenden Korollaren:
E) [FORMEL]
— worin sämtliche Aussagen weniger einander als vielmehr der ersten
von ihnen gleichgesetzt zu denken sind.
Die Verwandlung der ersten Subsumtion 13) in die zweite wird
bekanntlich die Kontraposition von jener genannt; sie läuft hinaus auf
beiderseitiges Negiren, welches jedoch nicht ohne gleichzeitige Umkehrung
des Subsumtionszeichens gestattet ist (oder falls man letztres bei-
behalten will, zu verbinden ist mit einer Vertauschung von Subjekt
und Prädikat der Subsumtion).
Die Verwandlung der ersten Subsumtion 13) in die dritte möge
das beiderseitige Konvertiren derselben heissen. Dasselbe ist hienach
ohne weiteres gestattet, liefert wiederum eine mit der gegebenen äqui-
valente Subsumtion.
Die „Umkehrung der Subsumtion“ a ⋹ b selbst dagegen würde die-
selbe in b ⋹ a verwandeln, welche letztere mit ihr zugleich gar nicht zu
gelten braucht; ihre (legitime) Verwandlung in b  a dagegen würde blos
als ein „Rückwärtslesen“ der Subsumtion zu bezeichnen sein.
Ihre Verwandlung in die vierte mag konvertirende Kontraposition
genannt werden.
Bei den Gleichungen muss alsdann kraft Def. oder Festsetzung (1)
das beiderseitige Negiren (die Kontraposition) sowol als auch das
Informationen zur CAB-Ansicht
Diese Ansicht bietet Ihnen die Darstellung des Textes in normalisierter Orthographie.
Diese Textvariante wird vollautomatisch erstellt und kann aufgrund dessen auch Fehler enthalten.
Alle veränderten Wortformen sind grau hinterlegt. Als fremdsprachliches Material erkannte
Textteile sind ausgegraut dargestellt.
Schröder, Ernst: Vorlesungen über die Algebra der Logik. Bd. 3, Abt. 1. Leipzig, 1895, S. 87. In: Deutsches Textarchiv <https://www.deutschestextarchiv.de/schroeder_logik03_1895/101>, abgerufen am 25.08.2024.
Alle Inhalte dieser Seite unterstehen, soweit nicht anders gekennzeichnet, einer
Creative-Commons-Lizenz.
Die Rechte an den angezeigten Bilddigitalisaten, soweit nicht anders gekennzeichnet, liegen bei den besitzenden Bibliotheken.
Weitere Informationen finden Sie in den DTA-Nutzungsbedingungen.
Insbesondere im Hinblick auf die §§ 86a StGB und 130 StGB wird festgestellt, dass die auf
diesen Seiten abgebildeten Inhalte weder in irgendeiner Form propagandistischen Zwecken
dienen, oder Werbung für verbotene Organisationen oder Vereinigungen darstellen, oder
nationalsozialistische Verbrechen leugnen oder verharmlosen, noch zum Zwecke der
Herabwürdigung der Menschenwürde gezeigt werden.
Die auf diesen Seiten abgebildeten Inhalte (in Wort und Bild) dienen im Sinne des
§ 86 StGB Abs. 3 ausschließlich historischen, sozial- oder kulturwissenschaftlichen
Forschungszwecken. Ihre Veröffentlichung erfolgt in der Absicht, Wissen zur Anregung
der intellektuellen Selbstständigkeit und Verantwortungsbereitschaft des Staatsbürgers zu
vermitteln und damit der Förderung seiner Mündigkeit zu dienen.
Zitierempfehlung: Deutsches Textarchiv. Grundlage für ein Referenzkorpus der neuhochdeutschen Sprache. Herausgegeben von der Berlin-Brandenburgischen Akademie der Wissenschaften, Berlin 2024. URL: https://www.deutschestextarchiv.de/.