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 >>

§ 6. Grundgesetze der Spezies.
fenden Spezies kommutative wären; verschieden können beide hier nur
ausfallen, wenn relative Knüpfungen in ihnen vorkommen. Es drücken
insbesondre bei den Distributionsgesetzen in 2) die vier Formeln blos zwei
Theoreme aus; die untereinanderstehenden besagen das nämliche; getrennt
wurden sie blos aufgeführt, damit ihre Analogie mit 4) etc. gut zutage trete.

Unschwer würde wol ein Bezeichnungssystem zur Darstellung der
Operationen (sowie der Moduln) unsrer Disziplin sich aushecken lassen,
welches die vier (eventuell auch nur zwei) Formeln eines jeden "Gespan-
nes" von Sätzen auf einen gemeinsamen Ausdruck zu bringen gestattete.
Zu solch genereller Zusammenfassung der Sätze jeden Quadrupels scheint
mir aber gar kein Bedürfniss vorhanden. Dem Anfänger ist die kleine
Repetition der Beweisführung beim dual entsprechenden oder konjugirten
eines einmal bewiesenen Satzes als eine heilsame Übung wohl zu gönnen,
und angewendet werden die Sätze eines Gespannes, wenn nicht -- wie in
der Regel -- blos einzeln, so doch zusammen immer nur in kollektiver
Verbindung miteinander -- als cuncti, nicht als omnes.

Um nunmehr mit unsrer zweiten Formelgruppe zu Ende zu kom-
men, haben wir anzuführen, dass noch diese allgemeinen Sätze be-
kannt sind:
14) [Formel 1]
15) [Formel 2]
welche letztern noch von Peirce gegebnen man auch mit der Anwen-
dung auf den andern Term, die sie nach den Kommutationsgesetzen
zulassen, vereinigen könnte zu:
F) [Formel 3]

Und ferner, dass die Peirce'schen Sätze identischen Kalkuls:
16)

(ab c) = (a c + bn) = (b an + c)(c a + b) = (cbn a) = (anc b)
welche ein gewisses Gegenstück zu denen der letzten Zeile unter 3)
bilden, auch für unsre Relative gelten und für deren Theorie hoch-
wichtig sind.

Diese (rechts und links vom Mittelstriche im Grunde den näm-
lichen Satz darstellenden) Formeln 16) besitzen auf der zweiten Haupt-
stufe merkwürdige Analoga, auf die wir in § 17 eingehen werden.

Zudem würden sich noch andre gar nicht sehr zahlreiche Sätze als
unter die Überschrift des Paragraphen fallende anreihen lassen, die
wir für eine spätere Fortsetzung aufzusparen vorziehen. Zu einer

§ 6. Grundgesetze der Spezies.
fenden Spezies kommutative wären; verschieden können beide hier nur
ausfallen, wenn relative Knüpfungen in ihnen vorkommen. Es drücken
insbesondre bei den Distributionsgesetzen in 2) die vier Formeln blos zwei
Theoreme aus; die untereinanderstehenden besagen das nämliche; getrennt
wurden sie blos aufgeführt, damit ihre Analogie mit 4) etc. gut zutage trete.

Unschwer würde wol ein Bezeichnungssystem zur Darstellung der
Operationen (sowie der Moduln) unsrer Disziplin sich aushecken lassen,
welches die vier (eventuell auch nur zwei) Formeln eines jeden „Gespan-
nes“ von Sätzen auf einen gemeinsamen Ausdruck zu bringen gestattete.
Zu solch genereller Zusammenfassung der Sätze jeden Quadrupels scheint
mir aber gar kein Bedürfniss vorhanden. Dem Anfänger ist die kleine
Repetition der Beweisführung beim dual entsprechenden oder konjugirten
eines einmal bewiesenen Satzes als eine heilsame Übung wohl zu gönnen,
und angewendet werden die Sätze eines Gespannes, wenn nicht — wie in
der Regel — blos einzeln, so doch zusammen immer nur in kollektiver
Verbindung miteinander — als cuncti, nicht als omnes.

Um nunmehr mit unsrer zweiten Formelgruppe zu Ende zu kom-
men, haben wir anzuführen, dass noch diese allgemeinen Sätze be-
kannt sind:
14) [Formel 1]
15) [Formel 2]
welche letztern noch von Peirce gegebnen man auch mit der Anwen-
dung auf den andern Term, die sie nach den Kommutationsgesetzen
zulassen, vereinigen könnte zu:
F) [Formel 3]

Und ferner, dass die Peirce’schen Sätze identischen Kalkuls:
16)

(ab ⋹ c) = (a ⋹ c + b̄) = (b ⋹ ā + c)(c ⋹ a + b) = (cb̄ ⋹ a) = (āc ⋹ b)
welche ein gewisses Gegenstück zu denen der letzten Zeile unter 3)
bilden, auch für unsre Relative gelten und für deren Theorie hoch-
wichtig sind.

Diese (rechts und links vom Mittelstriche im Grunde den näm-
lichen Satz darstellenden) Formeln 16) besitzen auf der zweiten Haupt-
stufe merkwürdige Analoga, auf die wir in § 17 eingehen werden.

Zudem würden sich noch andre gar nicht sehr zahlreiche Sätze als
unter die Überschrift des Paragraphen fallende anreihen lassen, die
wir für eine spätere Fortsetzung aufzusparen vorziehen. Zu einer

<TEI>
  <text>
    <body>
      <div n="1">
        <div n="2">
          <p><pb facs="#f0109" n="95"/><fw place="top" type="header">§ 6. Grundgesetze der Spezies.</fw><lb/>
fenden Spezies kommutative wären; verschieden können beide hier nur<lb/>
ausfallen, wenn relative Knüpfungen in ihnen vorkommen. Es drücken<lb/>
insbesondre bei den Distributionsgesetzen in 2) die vier Formeln blos zwei<lb/>
Theoreme aus; die untereinanderstehenden besagen das nämliche; getrennt<lb/>
wurden sie blos aufgeführt, damit ihre Analogie mit 4) etc. gut zutage trete.</p><lb/>
          <p>Unschwer würde wol ein Bezeichnungssystem zur Darstellung der<lb/>
Operationen (sowie der Moduln) unsrer Disziplin sich aushecken lassen,<lb/>
welches die vier (eventuell auch nur zwei) Formeln eines jeden &#x201E;<hi rendition="#i">Gespan-<lb/>
nes</hi>&#x201C; von Sätzen <hi rendition="#i">auf einen gemeinsamen Ausdruck</hi> zu bringen gestattete.<lb/>
Zu solch <hi rendition="#i">genereller</hi> Zusammenfassung der Sätze jeden Quadrupels scheint<lb/>
mir aber gar kein Bedürfniss vorhanden. Dem Anfänger ist die kleine<lb/>
Repetition der Beweisführung beim dual entsprechenden oder konjugirten<lb/>
eines einmal bewiesenen Satzes als eine heilsame Übung wohl zu gönnen,<lb/>
und <hi rendition="#i">angewendet</hi> werden die Sätze eines Gespannes, wenn nicht &#x2014; wie in<lb/>
der Regel &#x2014; blos einzeln, so doch zusammen immer nur in <hi rendition="#i">kollektiver</hi><lb/>
Verbindung miteinander &#x2014; als cuncti, nicht als omnes.</p><lb/>
          <p>Um nunmehr mit unsrer zweiten Formelgruppe zu Ende zu kom-<lb/>
men, haben wir anzuführen, dass noch diese allgemeinen Sätze be-<lb/>
kannt sind:<lb/>
14) <formula/><lb/>
15) <formula/><lb/>
welche letztern noch von <hi rendition="#g">Peirce</hi> gegebnen man auch mit der Anwen-<lb/>
dung auf den andern Term, die sie nach den Kommutationsgesetzen<lb/>
zulassen, vereinigen könnte zu:<lb/>
F) <formula/></p>
          <p>Und ferner, dass die <hi rendition="#g">Peirce&#x2019;</hi>schen Sätze identischen Kalkuls:<lb/>
16) <table><lb/><row><cell>(<hi rendition="#i">ab</hi> &#x22F9; <hi rendition="#i">c</hi>) = (<hi rendition="#i">a</hi> &#x22F9; <hi rendition="#i">c</hi> + <hi rendition="#i">b&#x0304;</hi>) = (<hi rendition="#i">b</hi> &#x22F9; <hi rendition="#i">a&#x0304;</hi> + <hi rendition="#i">c</hi>)</cell><cell>(<hi rendition="#i">c</hi> &#x22F9; <hi rendition="#i">a</hi> + <hi rendition="#i">b</hi>) = (<hi rendition="#i">cb&#x0304;</hi> &#x22F9; <hi rendition="#i">a</hi>) = (<hi rendition="#i">a&#x0304;c</hi> &#x22F9; <hi rendition="#i">b</hi>)</cell></row><lb/></table> welche ein gewisses Gegenstück zu denen der letzten Zeile unter 3)<lb/>
bilden, auch für unsre Relative gelten und für deren Theorie hoch-<lb/>
wichtig sind.</p><lb/>
          <p>Diese (rechts und links vom Mittelstriche im Grunde den näm-<lb/>
lichen Satz darstellenden) Formeln 16) besitzen auf der zweiten Haupt-<lb/>
stufe merkwürdige Analoga, auf die wir in § 17 eingehen werden.</p><lb/>
          <p>Zudem würden sich noch andre <hi rendition="#i">gar nicht sehr zahlreiche</hi> Sätze als<lb/>
unter die Überschrift des Paragraphen fallende anreihen lassen, die<lb/>
wir für eine spätere Fortsetzung aufzusparen vorziehen. Zu einer<lb/></p>
        </div>
      </div>
    </body>
  </text>
</TEI>
[95/0109] § 6. Grundgesetze der Spezies. fenden Spezies kommutative wären; verschieden können beide hier nur ausfallen, wenn relative Knüpfungen in ihnen vorkommen. Es drücken insbesondre bei den Distributionsgesetzen in 2) die vier Formeln blos zwei Theoreme aus; die untereinanderstehenden besagen das nämliche; getrennt wurden sie blos aufgeführt, damit ihre Analogie mit 4) etc. gut zutage trete. Unschwer würde wol ein Bezeichnungssystem zur Darstellung der Operationen (sowie der Moduln) unsrer Disziplin sich aushecken lassen, welches die vier (eventuell auch nur zwei) Formeln eines jeden „Gespan- nes“ von Sätzen auf einen gemeinsamen Ausdruck zu bringen gestattete. Zu solch genereller Zusammenfassung der Sätze jeden Quadrupels scheint mir aber gar kein Bedürfniss vorhanden. Dem Anfänger ist die kleine Repetition der Beweisführung beim dual entsprechenden oder konjugirten eines einmal bewiesenen Satzes als eine heilsame Übung wohl zu gönnen, und angewendet werden die Sätze eines Gespannes, wenn nicht — wie in der Regel — blos einzeln, so doch zusammen immer nur in kollektiver Verbindung miteinander — als cuncti, nicht als omnes. Um nunmehr mit unsrer zweiten Formelgruppe zu Ende zu kom- men, haben wir anzuführen, dass noch diese allgemeinen Sätze be- kannt sind: 14) [FORMEL] 15) [FORMEL] welche letztern noch von Peirce gegebnen man auch mit der Anwen- dung auf den andern Term, die sie nach den Kommutationsgesetzen zulassen, vereinigen könnte zu: F) [FORMEL] Und ferner, dass die Peirce’schen Sätze identischen Kalkuls: 16) (ab ⋹ c) = (a ⋹ c + b̄) = (b ⋹ ā + c) (c ⋹ a + b) = (cb̄ ⋹ a) = (āc ⋹ b) welche ein gewisses Gegenstück zu denen der letzten Zeile unter 3) bilden, auch für unsre Relative gelten und für deren Theorie hoch- wichtig sind. Diese (rechts und links vom Mittelstriche im Grunde den näm- lichen Satz darstellenden) Formeln 16) besitzen auf der zweiten Haupt- stufe merkwürdige Analoga, auf die wir in § 17 eingehen werden. Zudem würden sich noch andre gar nicht sehr zahlreiche Sätze als unter die Überschrift des Paragraphen fallende anreihen lassen, die wir für eine spätere Fortsetzung aufzusparen vorziehen. Zu einer

Suche im Werk

Hilfe

Informationen zum Werk

Download dieses Werks

XML (TEI P5) · HTML · Text
TCF (text annotation layer)
TCF (tokenisiert, serialisiert, lemmatisiert, normalisiert)
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/109
Zitationshilfe: Schröder, Ernst: Vorlesungen über die Algebra der Logik. Bd. 3, Abt. 1. Leipzig, 1895, S. 95. In: Deutsches Textarchiv <https://www.deutschestextarchiv.de/schroeder_logik03_1895/109>, abgerufen am 02.05.2024.