Anmelden (DTAQ) DWDS     dlexDB     CLARIN-D

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

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

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-

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>
      <div n="1">
        <div n="2">
          <p><pb facs="#f0102" n="88"/><fw place="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 <hi rendition="#i">Aussagen</hi>-<lb/>
gleichungen (Äquivalenzen) in 13) und E) ergibt sich noch als ein<lb/>
weiteres Korollar dazu: dass es auch <hi rendition="#i">gestattet</hi> ist in ihnen die <hi rendition="#i">in den<lb/>
Klammern stehenden Zeichen</hi> &#x22F9; und = <hi rendition="#i">durch deren Negationen</hi> &#x22F9; und &#x2260;<lb/><hi rendition="#i">durchweg zu ersetzen</hi>. Wir haben also ganz ähnliche Sätze auch für<lb/>
die <hi rendition="#i">Unsubsumtion</hi> und <hi rendition="#i">Ungleichung</hi>, nämlich als <hi rendition="#g">Korollar</hi> zu 13) und E):<lb/><hi rendition="#c"><formula/></hi>.</p><lb/>
          <p>Aus den Sätzen 8) bis 13) lassen sich jetzt auch die hochwich-<lb/>
tigen &#x201E;<hi rendition="#i">Prinzipien</hi> des <hi rendition="#i">Dualismus</hi> und der <hi rendition="#i">Konjugation</hi>&#x201C; rechtfertigen,<lb/>
die uns in den Stand setzen, zu jeder als allgemeingültig erkannten<lb/>
&#x201E;<hi rendition="#i">Formel</hi>&#x201C; 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 <hi rendition="#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 <hi rendition="#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 <hi rendition="#i">beider-<lb/>
seits</hi> nach 13) und E) <hi rendition="#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/><hi rendition="#i">einem</hi> Schlage) aus der gegebnen Formel erhält, <hi rendition="#i">indem man die Aus-<lb/>
drücke zu beiden Seiten derselben genau so hinschreibt</hi>, <hi rendition="#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-

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_logik03_1895
URL zu dieser Seite: https://www.deutschestextarchiv.de/schroeder_logik03_1895/102
Zitationshilfe: 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 28.11.2024.