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

Elfte Vorlesung.
108) x = Pia ; inb = Piain ; b
gelungen ist. Über dies letztre Problem erster Stufe, mit dem wir wieder zu
dem Hauptthema unsres Paragraphen zurückkehren, und das -- schon für
b = 0' -- noch nicht gelöst werden konnte, liesse zwar sich bereits viel Inter-
essantes sagen; doch müssen wir uns bescheiden, und sei dasselbe als nächst-
einfaches unter den bislang ungelösten Problemen zu weitern Forschungen
empfohlen.


Bei der Wichtigkeit, ja der für den Vollzug von Eliminationen, für
das Schliessen überhaupt, ganz fundamentalen Bedeutung, welche indess
das Summirungs- resp. Produktirproblem zweiter Stufe am Ende des
§ 28 gewann, seien zum Schlusse nunmehr diesem noch einige Betrach-
tungen gewidmet. Es wird sich in (praktisch unerheblicher) Modifi-
kation des S. 468 Gesagten zeigen, dass unsre Algebra allerdings auch
über Methoden zur Lösung dieses Problemes verfügt, welche theoretisch
von allgemeiner Anwendbarkeit sind, deren versuchte Anwendung jedoch
praktisch zumeist in anscheinend unüberwindliche technische Schwierig-
keiten oder rechnerische Komplikationen verwickelt.

Wenn die Erstreckung der P, S die absolute (über den ganzen
Denkbereich 12) ist, so kann als selbstverständlich gelten, dass
109) [Formel 1]
und ähnlich für S -- wonach denn auch die Produktationsvariable
durch jedes ihrer verwandten Relative ersetzbar wäre. Denn nimmt u
jeden Wert an, so auch un, u etc.

Wenn ferner im Ausdrucke von f(u) nach gehöriger Reduktion
desselben als namentlich Ausführung aller Negationen an zusammen-
gesetzten Ausdruckteilen (neben irgendwelchen Parameterrelativen sive
Konstanten hinsichtlich u) blos u und u vorkommt, nicht aber un und un
(oder umgekehrt), so ist von vornherein
[Formel 2] bekannt, was auch einfacher schon darstellbar ist durch
110) [Formel 3] .

Dann haben wir nämlich f(0) als minimalen und in allen übrigen ent-
haltenen Faktor in unserm P, wofür der Nachweis durch kombinirte An-
wendung von den Sätzen u0 uv, u + 0 u + v, u ; 0 u ; v, u j 0 u j v
und von deren konjugirten, mithin wesentlich des Theorems 1) des § 6 mit
Rücksicht auf 0 v, auch detaillirter noch geliefert werden könnte. So hat
man beispielsweise sogleich
[Formel 4] .


Elfte Vorlesung.
108) x = Πia ; īb = Πiaī̆ ; b
gelungen ist. Über dies letztre Problem erster Stufe, mit dem wir wieder zu
dem Hauptthema unsres Paragraphen zurückkehren, und das — schon für
b = 0' — noch nicht gelöst werden konnte, liesse zwar sich bereits viel Inter-
essantes sagen; doch müssen wir uns bescheiden, und sei dasselbe als nächst-
einfaches unter den bislang ungelösten Problemen zu weitern Forschungen
empfohlen.


Bei der Wichtigkeit, ja der für den Vollzug von Eliminationen, für
das Schliessen überhaupt, ganz fundamentalen Bedeutung, welche indess
das Summirungs- resp. Produktirproblem zweiter Stufe am Ende des
§ 28 gewann, seien zum Schlusse nunmehr diesem noch einige Betrach-
tungen gewidmet. Es wird sich in (praktisch unerheblicher) Modifi-
kation des S. 468 Gesagten zeigen, dass unsre Algebra allerdings auch
über Methoden zur Lösung dieses Problemes verfügt, welche theoretisch
von allgemeiner Anwendbarkeit sind, deren versuchte Anwendung jedoch
praktisch zumeist in anscheinend unüberwindliche technische Schwierig-
keiten oder rechnerische Komplikationen verwickelt.

Wenn die Erstreckung der Π, Σ die absolute (über den ganzen
Denkbereich 12) ist, so kann als selbstverständlich gelten, dass
109) [Formel 1]
und ähnlich für Σ — wonach denn auch die Produktationsvariable
durch jedes ihrer verwandten Relative ersetzbar wäre. Denn nimmt u
jeden Wert an, so auch ū, ŭ etc.

Wenn ferner im Ausdrucke von f(u) nach gehöriger Reduktion
desselben als namentlich Ausführung aller Negationen an zusammen-
gesetzten Ausdruckteilen (neben irgendwelchen Parameterrelativen sive
Konstanten hinsichtlich u) blos u und ŭ vorkommt, nicht aber ū und ū̆
(oder umgekehrt), so ist von vornherein
[Formel 2] bekannt, was auch einfacher schon darstellbar ist durch
110) [Formel 3] .

Dann haben wir nämlich f(0) als minimalen und in allen übrigen ent-
haltenen Faktor in unserm Π, wofür der Nachweis durch kombinirte An-
wendung von den Sätzen u0 ⋹ uv, u + 0 ⋹ u + v, u ; 0 ⋹ u ; v, u ɟ 0 ⋹ u ɟ v
und von deren konjugirten, mithin wesentlich des Theorems 1) des § 6 mit
Rücksicht auf 0 ⋹ v, auch detaillirter noch geliefert werden könnte. So hat
man beispielsweise sogleich
[Formel 4] .


<TEI>
  <text>
    <body>
      <div n="1">
        <div n="2">
          <p><pb facs="#f0558" n="544"/><fw place="top" type="header">Elfte Vorlesung.</fw><lb/>
108) <hi rendition="#et"><hi rendition="#i">x</hi> = <hi rendition="#i">&#x03A0;<hi rendition="#sub">i</hi>a</hi> ; <hi rendition="#i">i&#x0304;b</hi> = <hi rendition="#i">&#x03A0;<hi rendition="#sub">i</hi>ai&#x0304;&#x0306;</hi> ; <hi rendition="#i">b</hi></hi><lb/>
gelungen ist. Über dies letztre Problem erster Stufe, mit dem wir wieder zu<lb/>
dem Hauptthema unsres Paragraphen zurückkehren, und das &#x2014; schon für<lb/><hi rendition="#i">b</hi> = 0' &#x2014; noch nicht gelöst werden konnte, liesse zwar sich bereits viel Inter-<lb/>
essantes sagen; doch müssen wir uns bescheiden, und sei dasselbe als nächst-<lb/>
einfaches unter den bislang ungelösten Problemen zu weitern Forschungen<lb/>
empfohlen.</p><lb/>
          <milestone rendition="#hr" unit="section"/>
          <p>Bei der Wichtigkeit, ja der für den <hi rendition="#i">Vollzug von Eliminationen</hi>, für<lb/>
das <hi rendition="#i">Schliessen</hi> überhaupt, ganz fundamentalen Bedeutung, welche indess<lb/>
das Summirungs- resp. Produktirproblem <hi rendition="#i">zweiter</hi> Stufe am Ende des<lb/>
§ 28 gewann, seien zum Schlusse nunmehr diesem noch einige Betrach-<lb/>
tungen gewidmet. Es wird sich in (praktisch unerheblicher) Modifi-<lb/>
kation des S. 468 Gesagten zeigen, dass unsre Algebra allerdings auch<lb/>
über <hi rendition="#i">Methoden</hi> zur Lösung dieses Problemes verfügt, welche theoretisch<lb/><hi rendition="#i">von allgemeiner Anwendbarkeit</hi> sind, deren versuchte Anwendung jedoch<lb/>
praktisch zumeist in anscheinend unüberwindliche technische Schwierig-<lb/>
keiten oder rechnerische Komplikationen verwickelt.</p><lb/>
          <p>Wenn die Erstreckung der <hi rendition="#i">&#x03A0;</hi>, <hi rendition="#i">&#x03A3;</hi> die absolute (über den ganzen<lb/>
Denkbereich 1<hi rendition="#sup">2</hi>) ist, so kann als selbstverständlich gelten, dass<lb/>
109) <hi rendition="#et"><formula/></hi><lb/>
und ähnlich für <hi rendition="#i">&#x03A3;</hi> &#x2014; wonach denn auch die Produktationsvariable<lb/>
durch jedes ihrer verwandten Relative ersetzbar wäre. Denn nimmt <hi rendition="#i">u</hi><lb/>
jeden Wert an, so auch <hi rendition="#i">u&#x0304;</hi>, <hi rendition="#i">u&#x0306;</hi> etc.</p><lb/>
          <p><hi rendition="#i">Wenn</hi> ferner im Ausdrucke von <hi rendition="#i">f</hi>(<hi rendition="#i">u</hi>) nach gehöriger Reduktion<lb/>
desselben als namentlich Ausführung aller Negationen an zusammen-<lb/>
gesetzten Ausdruckteilen (neben irgendwelchen Parameterrelativen sive<lb/>
Konstanten hinsichtlich <hi rendition="#i">u</hi>) <hi rendition="#i">blos u und u&#x0306;</hi> vorkommt, <hi rendition="#i">nicht</hi> aber <hi rendition="#i">u&#x0304;</hi> und <hi rendition="#i">u&#x0304;&#x0306;</hi><lb/>
(oder umgekehrt), so ist von vornherein<lb/><hi rendition="#c"><formula/></hi> bekannt, was auch einfacher schon darstellbar ist durch<lb/>
110) <hi rendition="#et"><formula/>.</hi></p><lb/>
          <p>Dann haben wir nämlich <hi rendition="#i">f</hi>(0) als minimalen und in allen übrigen ent-<lb/>
haltenen Faktor in unserm <hi rendition="#i">&#x03A0;</hi>, wofür der Nachweis durch kombinirte An-<lb/>
wendung von den Sätzen <hi rendition="#i">u</hi>0 &#x22F9; <hi rendition="#i">uv</hi>, <hi rendition="#i">u</hi> + 0 &#x22F9; <hi rendition="#i">u</hi> + <hi rendition="#i">v</hi>, <hi rendition="#i">u</hi> ; 0 &#x22F9; <hi rendition="#i">u</hi> ; <hi rendition="#i">v</hi>, <hi rendition="#i">u</hi> &#x025F; 0 &#x22F9; <hi rendition="#i">u</hi> &#x025F; <hi rendition="#i">v</hi><lb/>
und von deren konjugirten, mithin wesentlich des Theorems 1) des § 6 mit<lb/>
Rücksicht auf 0 &#x22F9; <hi rendition="#i">v</hi>, auch detaillirter noch geliefert werden könnte. So hat<lb/>
man beispielsweise sogleich<lb/><hi rendition="#c"><formula/>.</hi></p><lb/>
        </div>
      </div>
    </body>
  </text>
</TEI>
[544/0558] Elfte Vorlesung. 108) x = Πia ; īb = Πiaī̆ ; b gelungen ist. Über dies letztre Problem erster Stufe, mit dem wir wieder zu dem Hauptthema unsres Paragraphen zurückkehren, und das — schon für b = 0' — noch nicht gelöst werden konnte, liesse zwar sich bereits viel Inter- essantes sagen; doch müssen wir uns bescheiden, und sei dasselbe als nächst- einfaches unter den bislang ungelösten Problemen zu weitern Forschungen empfohlen. Bei der Wichtigkeit, ja der für den Vollzug von Eliminationen, für das Schliessen überhaupt, ganz fundamentalen Bedeutung, welche indess das Summirungs- resp. Produktirproblem zweiter Stufe am Ende des § 28 gewann, seien zum Schlusse nunmehr diesem noch einige Betrach- tungen gewidmet. Es wird sich in (praktisch unerheblicher) Modifi- kation des S. 468 Gesagten zeigen, dass unsre Algebra allerdings auch über Methoden zur Lösung dieses Problemes verfügt, welche theoretisch von allgemeiner Anwendbarkeit sind, deren versuchte Anwendung jedoch praktisch zumeist in anscheinend unüberwindliche technische Schwierig- keiten oder rechnerische Komplikationen verwickelt. Wenn die Erstreckung der Π, Σ die absolute (über den ganzen Denkbereich 12) ist, so kann als selbstverständlich gelten, dass 109) [FORMEL] und ähnlich für Σ — wonach denn auch die Produktationsvariable durch jedes ihrer verwandten Relative ersetzbar wäre. Denn nimmt u jeden Wert an, so auch ū, ŭ etc. Wenn ferner im Ausdrucke von f(u) nach gehöriger Reduktion desselben als namentlich Ausführung aller Negationen an zusammen- gesetzten Ausdruckteilen (neben irgendwelchen Parameterrelativen sive Konstanten hinsichtlich u) blos u und ŭ vorkommt, nicht aber ū und ū̆ (oder umgekehrt), so ist von vornherein [FORMEL] bekannt, was auch einfacher schon darstellbar ist durch 110) [FORMEL]. Dann haben wir nämlich f(0) als minimalen und in allen übrigen ent- haltenen Faktor in unserm Π, wofür der Nachweis durch kombinirte An- wendung von den Sätzen u0 ⋹ uv, u + 0 ⋹ u + v, u ; 0 ⋹ u ; v, u ɟ 0 ⋹ u ɟ v und von deren konjugirten, mithin wesentlich des Theorems 1) des § 6 mit Rücksicht auf 0 ⋹ v, auch detaillirter noch geliefert werden könnte. So hat man beispielsweise sogleich [FORMEL].

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