beiderseitige Konvertiren, sowie endlich dieses in Verbindung mit jenem ohne weiteres gestattet sein.
Durch beiderseitiges Negiren (Kontraposition) der Aussagen- gleichungen (Äquivalenzen) in 13) und E) ergibt sich noch als ein weiteres Korollar dazu: dass es auch gestattet ist in ihnen die in den Klammern stehenden Zeichen und = durch deren Negationen und durchweg zu ersetzen. Wir haben also ganz ähnliche Sätze auch für die Unsubsumtion und Ungleichung, nämlich als Korollar zu 13) und E):
[Formel 1]
.
Aus den Sätzen 8) bis 13) lassen sich jetzt auch die hochwich- tigen "Prinzipien des Dualismus und der Konjugation" rechtfertigen, die uns in den Stand setzen, zu jeder als allgemeingültig erkannten "Formel" sogleich noch drei zumeist neue Formeln hinzuschreiben, deren Gültigkeit mit ihr zugleich verbürgt sein wird. Die in der Theorie zu leistende Beweisarbeit wird damit auf beinah ihren vierten Teil reduzirt! Es verlohnt deshalb, hierauf sogleich näher ein- zugehen, indem man die chiffrirten Formeln vorderhand als erwiesen ansieht.
Die Formel habe die Gestalt einer Subsumtion oder aber einer Gleichung, oder auch der Verneinung von dieser oder jener. Wie später zutage tritt, lässt sich dies bei jeder Formel hinbringen, sodass es unbeschadet der Allgemeinheit vorausgesetzt werden kann. Zu beiden Seiten der Formel seien auch die Operationen der Negation und Kon- version schon ausgeführt.
Alsdann dürfen (erster Prozess) sämtliche Buchstabenrelative durch ihre Konverse ersetzt werden, weil für diese letztern Relativwerte die Formel ebensogut Geltung beansprucht wie für jene ursprünglichen Relative. Und ferner dürfen (zweiter Prozess) die Ausdrücke beider- seits nach 13) und E) konvertirt werden, wodurch nach 8) die Kon- versionsringel über den Buchstaben wieder aufgehoben werden, aber die Reihenfolge sämtlicher Operationsglieder in der Formel sich in die entgegengesetzte verwandelt.
Es muss dann also auch diejenige Formel gelten, welche man (mit einem Schlage) aus der gegebnen Formel erhält, indem man die Aus- drücke zu beiden Seiten derselben genau so hinschreibt, wie man sie rück-
Dritte Vorlesung.
beiderseitige Konvertiren, sowie endlich dieses in Verbindung mit jenem ohne weiteres gestattet sein.
Durch beiderseitiges Negiren (Kontraposition) der Aussagen- gleichungen (Äquivalenzen) in 13) und E) ergibt sich noch als ein weiteres Korollar dazu: dass es auch gestattet ist in ihnen die in den Klammern stehenden Zeichen ⋹ und = durch deren Negationen ⋹ und ≠ durchweg zu ersetzen. Wir haben also ganz ähnliche Sätze auch für die Unsubsumtion und Ungleichung, nämlich als Korollar zu 13) und E):
[Formel 1]
.
Aus den Sätzen 8) bis 13) lassen sich jetzt auch die hochwich- tigen „Prinzipien des Dualismus und der Konjugation“ rechtfertigen, die uns in den Stand setzen, zu jeder als allgemeingültig erkannten „Formel“ sogleich noch drei zumeist neue Formeln hinzuschreiben, deren Gültigkeit mit ihr zugleich verbürgt sein wird. Die in der Theorie zu leistende Beweisarbeit wird damit auf beinah ihren vierten Teil reduzirt! Es verlohnt deshalb, hierauf sogleich näher ein- zugehen, indem man die chiffrirten Formeln vorderhand als erwiesen ansieht.
Die Formel habe die Gestalt einer Subsumtion oder aber einer Gleichung, oder auch der Verneinung von dieser oder jener. Wie später zutage tritt, lässt sich dies bei jeder Formel hinbringen, sodass es unbeschadet der Allgemeinheit vorausgesetzt werden kann. Zu beiden Seiten der Formel seien auch die Operationen der Negation und Kon- version schon ausgeführt.
Alsdann dürfen (erster Prozess) sämtliche Buchstabenrelative durch ihre Konverse ersetzt werden, weil für diese letztern Relativwerte die Formel ebensogut Geltung beansprucht wie für jene ursprünglichen Relative. Und ferner dürfen (zweiter Prozess) die Ausdrücke beider- seits nach 13) und E) konvertirt werden, wodurch nach 8) die Kon- versionsringel über den Buchstaben wieder aufgehoben werden, aber die Reihenfolge sämtlicher Operationsglieder in der Formel sich in die entgegengesetzte verwandelt.
Es muss dann also auch diejenige Formel gelten, welche man (mit einem Schlage) aus der gegebnen Formel erhält, indem man die Aus- drücke zu beiden Seiten derselben genau so hinschreibt, wie man sie rück-
<TEI><text><body><divn="1"><divn="2"><p><pbfacs="#f0102"n="88"/><fwplace="top"type="header">Dritte Vorlesung.</fw><lb/>
beiderseitige Konvertiren, sowie endlich dieses in Verbindung mit jenem<lb/>
ohne weiteres gestattet sein.</p><lb/><p>Durch beiderseitiges Negiren (Kontraposition) der <hirendition="#i">Aussagen</hi>-<lb/>
gleichungen (Äquivalenzen) in 13) und E) ergibt sich noch als ein<lb/>
weiteres Korollar dazu: dass es auch <hirendition="#i">gestattet</hi> ist in ihnen die <hirendition="#i">in den<lb/>
Klammern stehenden Zeichen</hi>⋹ und = <hirendition="#i">durch deren Negationen</hi>⋹ und ≠<lb/><hirendition="#i">durchweg zu ersetzen</hi>. Wir haben also ganz ähnliche Sätze auch für<lb/>
die <hirendition="#i">Unsubsumtion</hi> und <hirendition="#i">Ungleichung</hi>, nämlich als <hirendition="#g">Korollar</hi> zu 13) und E):<lb/><hirendition="#c"><formula/></hi>.</p><lb/><p>Aus den Sätzen 8) bis 13) lassen sich jetzt auch die hochwich-<lb/>
tigen „<hirendition="#i">Prinzipien</hi> des <hirendition="#i">Dualismus</hi> und der <hirendition="#i">Konjugation</hi>“ rechtfertigen,<lb/>
die uns in den Stand setzen, zu jeder als allgemeingültig erkannten<lb/>„<hirendition="#i">Formel</hi>“ sogleich noch drei zumeist neue Formeln hinzuschreiben,<lb/>
deren Gültigkeit mit ihr zugleich verbürgt sein wird. Die in der<lb/>
Theorie zu leistende Beweisarbeit wird damit auf beinah ihren vierten<lb/>
Teil reduzirt! Es verlohnt deshalb, hierauf sogleich näher ein-<lb/>
zugehen, indem man die chiffrirten Formeln vorderhand als erwiesen<lb/>
ansieht.</p><lb/><p>Die Formel habe die Gestalt einer Subsumtion oder aber einer<lb/>
Gleichung, oder auch der Verneinung von dieser oder jener. Wie<lb/>
später zutage tritt, lässt sich dies bei <hirendition="#i">jeder</hi> Formel hinbringen, sodass<lb/>
es unbeschadet der Allgemeinheit vorausgesetzt werden kann. Zu beiden<lb/>
Seiten der Formel seien auch die Operationen der Negation und Kon-<lb/>
version schon ausgeführt.</p><lb/><p>Alsdann dürfen (erster Prozess) sämtliche Buchstabenrelative durch<lb/>
ihre <hirendition="#i">Konverse</hi> ersetzt werden, weil für diese letztern Relativwerte die<lb/>
Formel ebensogut Geltung beansprucht wie für jene ursprünglichen<lb/>
Relative. Und ferner dürfen (zweiter Prozess) die Ausdrücke <hirendition="#i">beider-<lb/>
seits</hi> nach 13) und E) <hirendition="#i">konvertirt</hi> werden, wodurch nach 8) die Kon-<lb/>
versionsringel über den Buchstaben wieder aufgehoben werden, aber<lb/>
die Reihenfolge sämtlicher Operationsglieder in der Formel sich in die<lb/>
entgegengesetzte verwandelt.</p><lb/><p>Es muss dann also auch diejenige Formel gelten, welche man (mit<lb/><hirendition="#i">einem</hi> Schlage) aus der gegebnen Formel erhält, <hirendition="#i">indem man die Aus-<lb/>
drücke zu beiden Seiten derselben genau so hinschreibt</hi>, <hirendition="#i">wie man sie rück-</hi><lb/></p></div></div></body></text></TEI>
[88/0102]
Dritte Vorlesung.
beiderseitige Konvertiren, sowie endlich dieses in Verbindung mit jenem
ohne weiteres gestattet sein.
Durch beiderseitiges Negiren (Kontraposition) der Aussagen-
gleichungen (Äquivalenzen) in 13) und E) ergibt sich noch als ein
weiteres Korollar dazu: dass es auch gestattet ist in ihnen die in den
Klammern stehenden Zeichen ⋹ und = durch deren Negationen ⋹ und ≠
durchweg zu ersetzen. Wir haben also ganz ähnliche Sätze auch für
die Unsubsumtion und Ungleichung, nämlich als Korollar zu 13) und E):
[FORMEL].
Aus den Sätzen 8) bis 13) lassen sich jetzt auch die hochwich-
tigen „Prinzipien des Dualismus und der Konjugation“ rechtfertigen,
die uns in den Stand setzen, zu jeder als allgemeingültig erkannten
„Formel“ sogleich noch drei zumeist neue Formeln hinzuschreiben,
deren Gültigkeit mit ihr zugleich verbürgt sein wird. Die in der
Theorie zu leistende Beweisarbeit wird damit auf beinah ihren vierten
Teil reduzirt! Es verlohnt deshalb, hierauf sogleich näher ein-
zugehen, indem man die chiffrirten Formeln vorderhand als erwiesen
ansieht.
Die Formel habe die Gestalt einer Subsumtion oder aber einer
Gleichung, oder auch der Verneinung von dieser oder jener. Wie
später zutage tritt, lässt sich dies bei jeder Formel hinbringen, sodass
es unbeschadet der Allgemeinheit vorausgesetzt werden kann. Zu beiden
Seiten der Formel seien auch die Operationen der Negation und Kon-
version schon ausgeführt.
Alsdann dürfen (erster Prozess) sämtliche Buchstabenrelative durch
ihre Konverse ersetzt werden, weil für diese letztern Relativwerte die
Formel ebensogut Geltung beansprucht wie für jene ursprünglichen
Relative. Und ferner dürfen (zweiter Prozess) die Ausdrücke beider-
seits nach 13) und E) konvertirt werden, wodurch nach 8) die Kon-
versionsringel über den Buchstaben wieder aufgehoben werden, aber
die Reihenfolge sämtlicher Operationsglieder in der Formel sich in die
entgegengesetzte verwandelt.
Es muss dann also auch diejenige Formel gelten, welche man (mit
einem Schlage) aus der gegebnen Formel erhält, indem man die Aus-
drücke zu beiden Seiten derselben genau so hinschreibt, wie man sie rück-
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. 88. In: Deutsches Textarchiv <https://www.deutschestextarchiv.de/schroeder_logik03_1895/102>, 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/.