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.

Der Ausdruck "Gruppe" wird schon anderweitig und ohnehin in nur
zu oft wechselndem Sinne gebraucht.

Ursprünglich setzt sich das "Dualisiren" aus folgenden beiden
Prozessen zusammen, mit deren Zulässigkeit das Verfahren auch ge-
rechtfertigt erscheint. (Erster Prozess:) Man ersetze alle in der Formel
vorkommenden Buchstaben, welche allgemeine Relative vorstellen, durch
deren Negate für welche ja die Formel ebensogut gelten muss wie für
die ursprünglichen Relative.

Hernach wende man (zweiter Prozess) das gemäss 13) und E) er-
laubte Verfahren des beiderseitigen Negirens, der Kontraposition an, was
nach den Schemata 13) bei einer Subsumtion oder Subsumtionsnega-
tion die Umkehrung von deren Beziehungszeichen, wo nicht eine Ver-
tauschung von Minor und Major involvirt, bei einer Gleichung solche
Vertauschung ihrer beiden Seiten zwar nicht peremtorisch fordert aber
wenigstens zulässt. Durch diesen zweiten Prozess wird nach den Sche-
mata 9) und 10) die Reihenfolge der Operationsglieder oder Terme
nicht alterirt.

Es werden ferner wegen 8) die vorhin über die Buchstaben ein-
geführten Negationstriche wieder aufgehoben und bleibt als Nutzeffekt
nur der: dass die knüpfenden Operationen einer nämlichen Hauptstufe
sich durch einander ersetzen -- während jedes in der Formel vorge-
kommene spezielle Relativ sich in sein Negat verwandelt.

Um die Restitution, Wiederherstellung der ursprünglichen Buchstaben
zufolge des Sich-Aufhebens der doppelten Verneinung genauer einzusehen,
hat man noch zu überlegen:

Kam ein a, an, a, an in der Formel vor, so wird es durch den ersten
Prozess in
an, ann = a, an, ann = a
verwandelt, darnach aber durch den zweiten Prozess in
ann = a, an, ann = ann = a, an = an,
d. h. man erhält die alten Symbole wieder.

Nur bei Symbolen für spezielle Relative -- wie Moduln z. B. --, auf
welche der erste Prozess nicht angewandt werden durfte, ansonst die For-
mel ihrer erwiesenen Gültigkeit verlustig ging, nur bei diesen tritt der
zweite Prozess ungeschwächt in Wirksamkeit und verhilft ihnen zu einem
Negationsstriche.

Bei Moduln -- wird sich im § 8 zeigen -- kann auch diese Nega-
tion sogleich "ausgeführt" werden indem sie blos Vertauschung von 0 und 1,
sowie von 0' und 1', mithin der beiden Moduln einer Hauptstufe, bewirkt.

Indem man also daneben blos die Zeichen · und + sowie ; und j event.
auch P und S vertauscht, wird sich die Operation des Dualisirens eines
Ausdruckes auch mit einem Schlage ausführen lassen, soferne als spezielle

Dritte Vorlesung.

Der Ausdruck „Gruppe“ wird schon anderweitig und ohnehin in nur
zu oft wechselndem Sinne gebraucht.

Ursprünglich setzt sich das „Dualisiren“ aus folgenden beiden
Prozessen zusammen, mit deren Zulässigkeit das Verfahren auch ge-
rechtfertigt erscheint. (Erster Prozess:) Man ersetze alle in der Formel
vorkommenden Buchstaben, welche allgemeine Relative vorstellen, durch
deren Negate für welche ja die Formel ebensogut gelten muss wie für
die ursprünglichen Relative.

Hernach wende man (zweiter Prozess) das gemäss 13) und E) er-
laubte Verfahren des beiderseitigen Negirens, der Kontraposition an, was
nach den Schemata 13) bei einer Subsumtion oder Subsumtionsnega-
tion die Umkehrung von deren Beziehungszeichen, wo nicht eine Ver-
tauschung von Minor und Major involvirt, bei einer Gleichung solche
Vertauschung ihrer beiden Seiten zwar nicht peremtorisch fordert aber
wenigstens zulässt. Durch diesen zweiten Prozess wird nach den Sche-
mata 9) und 10) die Reihenfolge der Operationsglieder oder Terme
nicht alterirt.

Es werden ferner wegen 8) die vorhin über die Buchstaben ein-
geführten Negationstriche wieder aufgehoben und bleibt als Nutzeffekt
nur der: dass die knüpfenden Operationen einer nämlichen Hauptstufe
sich durch einander ersetzen — während jedes in der Formel vorge-
kommene spezielle Relativ sich in sein Negat verwandelt.

Um die Restitution, Wiederherstellung der ursprünglichen Buchstaben
zufolge des Sich-Aufhebens der doppelten Verneinung genauer einzusehen,
hat man noch zu überlegen:

Kam ein a, ā, ă, ā̆ in der Formel vor, so wird es durch den ersten
Prozess in
ā, ā̄ = a, ā̆, ā̄̆ = ă
verwandelt, darnach aber durch den zweiten Prozess in
ā̄ = a, ā, ā̆̄ = ā̄̆ = ă, ă̄ = ā̆,
d. h. man erhält die alten Symbole wieder.

Nur bei Symbolen für spezielle Relative — wie Moduln z. B. —, auf
welche der erste Prozess nicht angewandt werden durfte, ansonst die For-
mel ihrer erwiesenen Gültigkeit verlustig ging, nur bei diesen tritt der
zweite Prozess ungeschwächt in Wirksamkeit und verhilft ihnen zu einem
Negationsstriche.

Bei Moduln — wird sich im § 8 zeigen — kann auch diese Nega-
tion sogleich „ausgeführt“ werden indem sie blos Vertauschung von 0 und 1,
sowie von 0' und 1', mithin der beiden Moduln einer Hauptstufe, bewirkt.

Indem man also daneben blos die Zeichen · und + sowie ; und ɟ event.
auch Π und Σ vertauscht, wird sich die Operation des Dualisirens eines
Ausdruckes auch mit einem Schlage ausführen lassen, soferne als spezielle

<TEI>
  <text>
    <body>
      <div n="1">
        <div n="2">
          <pb facs="#f0106" n="92"/>
          <fw place="top" type="header">Dritte Vorlesung.</fw><lb/>
          <p>Der Ausdruck &#x201E;Gruppe&#x201C; wird schon anderweitig und ohnehin in nur<lb/>
zu oft wechselndem Sinne gebraucht.</p><lb/>
          <p>Ursprünglich setzt sich das &#x201E;Dualisiren&#x201C; aus folgenden beiden<lb/>
Prozessen zusammen, mit deren Zulässigkeit das Verfahren auch ge-<lb/>
rechtfertigt erscheint. (Erster Prozess:) Man ersetze alle in der Formel<lb/>
vorkommenden Buchstaben, welche <hi rendition="#i">allgemeine</hi> Relative vorstellen, durch<lb/>
deren <hi rendition="#i">Negate</hi> für welche ja die Formel ebensogut gelten muss wie für<lb/>
die ursprünglichen Relative.</p><lb/>
          <p>Hernach wende man (zweiter Prozess) das gemäss 13) und E) er-<lb/>
laubte Verfahren des <hi rendition="#i">beiderseitigen Negirens</hi>, der <hi rendition="#i">Kontraposition</hi> an, was<lb/>
nach den Schemata 13) bei einer Subsumtion oder Subsumtionsnega-<lb/>
tion die Umkehrung von deren Beziehungszeichen, wo nicht eine Ver-<lb/>
tauschung von Minor und Major involvirt, bei einer Gleichung solche<lb/>
Vertauschung ihrer beiden Seiten zwar nicht peremtorisch fordert aber<lb/>
wenigstens zulässt. Durch diesen zweiten Prozess wird nach den Sche-<lb/>
mata 9) und 10) die Reihenfolge der Operationsglieder oder Terme<lb/>
nicht alterirt.</p><lb/>
          <p>Es werden ferner wegen 8) die vorhin über die Buchstaben ein-<lb/>
geführten Negationstriche wieder aufgehoben und bleibt als Nutzeffekt<lb/>
nur der: dass <hi rendition="#i">die knüpfenden Operationen einer nämlichen Hauptstufe<lb/>
sich durch einander ersetzen</hi> &#x2014; während jedes in der Formel vorge-<lb/>
kommene <hi rendition="#i">spezielle Relativ</hi> sich <hi rendition="#i">in sein Negat verwandelt</hi>.</p><lb/>
          <p>Um die Restitution, Wiederherstellung der ursprünglichen Buchstaben<lb/>
zufolge des Sich-Aufhebens der doppelten Verneinung genauer einzusehen,<lb/>
hat man noch zu überlegen:</p><lb/>
          <p>Kam ein <hi rendition="#i">a</hi>, <hi rendition="#i">a&#x0304;</hi>, <hi rendition="#i">a&#x0306;</hi>, <hi rendition="#i">a&#x0304;&#x0306;</hi> in der Formel vor, so wird es durch den ersten<lb/>
Prozess in<lb/><hi rendition="#c"><hi rendition="#i">a&#x0304;</hi>, <hi rendition="#i">a&#x0304;&#x0304;</hi> = <hi rendition="#i">a</hi>, <hi rendition="#i">a&#x0304;&#x0306;</hi>, <hi rendition="#i">a&#x0304;&#x0304;&#x0306;</hi> = <hi rendition="#i">a&#x0306;</hi></hi><lb/>
verwandelt, darnach aber durch den zweiten Prozess in<lb/><hi rendition="#c"><hi rendition="#i">a&#x0304;&#x0304;</hi> = <hi rendition="#i">a</hi>, <hi rendition="#i">a&#x0304;</hi>, <hi rendition="#i">a&#x0304;&#x0306;&#x0304;</hi> = <hi rendition="#i">a&#x0304;&#x0304;&#x0306;</hi> = <hi rendition="#i">a&#x0306;</hi>, <hi rendition="#i">a&#x0306;&#x0304;</hi> = <hi rendition="#i">a&#x0304;&#x0306;</hi>,</hi><lb/>
d. h. man erhält die alten Symbole wieder.</p><lb/>
          <p>Nur bei Symbolen für <hi rendition="#i">spezielle</hi> Relative &#x2014; wie Moduln z. B. &#x2014;, auf<lb/>
welche der erste Prozess nicht angewandt werden durfte, ansonst die For-<lb/>
mel ihrer erwiesenen Gültigkeit verlustig ging, nur bei diesen tritt der<lb/>
zweite Prozess ungeschwächt in Wirksamkeit und verhilft ihnen zu einem<lb/>
Negationsstriche.</p><lb/>
          <p>Bei Moduln &#x2014; wird sich im § 8 zeigen &#x2014; kann auch diese Nega-<lb/>
tion sogleich &#x201E;ausgeführt&#x201C; werden indem sie blos <hi rendition="#i">Vertauschung</hi> von 0 und 1,<lb/>
sowie von 0' und 1', mithin <hi rendition="#i">der beiden Moduln einer Hauptstufe,</hi> bewirkt.</p><lb/>
          <p><hi rendition="#i">Indem man also daneben blos die Zeichen</hi> · <hi rendition="#i">und</hi> + <hi rendition="#i">sowie</hi> ; <hi rendition="#i">und</hi> &#x025F; <hi rendition="#i">event</hi>.<lb/><hi rendition="#i">auch &#x03A0; und &#x03A3; vertauscht,</hi> wird sich die Operation des Dualisirens eines<lb/>
Ausdruckes auch mit <hi rendition="#i">einem</hi> Schlage ausführen lassen, soferne als spezielle<lb/></p>
        </div>
      </div>
    </body>
  </text>
</TEI>
[92/0106] Dritte Vorlesung. Der Ausdruck „Gruppe“ wird schon anderweitig und ohnehin in nur zu oft wechselndem Sinne gebraucht. Ursprünglich setzt sich das „Dualisiren“ aus folgenden beiden Prozessen zusammen, mit deren Zulässigkeit das Verfahren auch ge- rechtfertigt erscheint. (Erster Prozess:) Man ersetze alle in der Formel vorkommenden Buchstaben, welche allgemeine Relative vorstellen, durch deren Negate für welche ja die Formel ebensogut gelten muss wie für die ursprünglichen Relative. Hernach wende man (zweiter Prozess) das gemäss 13) und E) er- laubte Verfahren des beiderseitigen Negirens, der Kontraposition an, was nach den Schemata 13) bei einer Subsumtion oder Subsumtionsnega- tion die Umkehrung von deren Beziehungszeichen, wo nicht eine Ver- tauschung von Minor und Major involvirt, bei einer Gleichung solche Vertauschung ihrer beiden Seiten zwar nicht peremtorisch fordert aber wenigstens zulässt. Durch diesen zweiten Prozess wird nach den Sche- mata 9) und 10) die Reihenfolge der Operationsglieder oder Terme nicht alterirt. Es werden ferner wegen 8) die vorhin über die Buchstaben ein- geführten Negationstriche wieder aufgehoben und bleibt als Nutzeffekt nur der: dass die knüpfenden Operationen einer nämlichen Hauptstufe sich durch einander ersetzen — während jedes in der Formel vorge- kommene spezielle Relativ sich in sein Negat verwandelt. Um die Restitution, Wiederherstellung der ursprünglichen Buchstaben zufolge des Sich-Aufhebens der doppelten Verneinung genauer einzusehen, hat man noch zu überlegen: Kam ein a, ā, ă, ā̆ in der Formel vor, so wird es durch den ersten Prozess in ā, ā̄ = a, ā̆, ā̄̆ = ă verwandelt, darnach aber durch den zweiten Prozess in ā̄ = a, ā, ā̆̄ = ā̄̆ = ă, ă̄ = ā̆, d. h. man erhält die alten Symbole wieder. Nur bei Symbolen für spezielle Relative — wie Moduln z. B. —, auf welche der erste Prozess nicht angewandt werden durfte, ansonst die For- mel ihrer erwiesenen Gültigkeit verlustig ging, nur bei diesen tritt der zweite Prozess ungeschwächt in Wirksamkeit und verhilft ihnen zu einem Negationsstriche. Bei Moduln — wird sich im § 8 zeigen — kann auch diese Nega- tion sogleich „ausgeführt“ werden indem sie blos Vertauschung von 0 und 1, sowie von 0' und 1', mithin der beiden Moduln einer Hauptstufe, bewirkt. Indem man also daneben blos die Zeichen · und + sowie ; und ɟ event. auch Π und Σ vertauscht, wird sich die Operation des Dualisirens eines Ausdruckes auch mit einem Schlage ausführen lassen, soferne als spezielle

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/106
Zitationshilfe: Schröder, Ernst: Vorlesungen über die Algebra der Logik. Bd. 3, Abt. 1. Leipzig, 1895, S. 92. In: Deutsches Textarchiv <https://www.deutschestextarchiv.de/schroeder_logik03_1895/106>, abgerufen am 25.11.2024.