Anmelden (DTAQ) DWDS     dlexDB     CLARIN-D

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

Bild:
<< vorherige Seite

Vierzehnte Vorlesung.
Produkt (von Summen)eine Summe (von Produkten)
gewesen, das folgende Verfahren. Man bilde
jedes denkbare Produktjede Summe
aus allen in dem Ausdruck vorkommenden Buchstabensymbolen und deren
Negationen, sodass darin jeder Buchstabe nur einmal (negirt oder aber un-
negirt) vertreten ist.

Gemäss der fundamentalen Formel des Th. 6):
a b b b + c
untersuche man, ob

das gebildete Produkt ein Subjekt ist
von jedem Faktor
die Summe ein Prädikat ist von
jedem Gliede
des gegebenen Ausdruckes. Trifft dies zu, so ist es, resp. sie ein
letzter SummandPrimfaktor
ebendieses Ausdruckes, andernfalls nicht.

Man fahre in dieser Weise fort, bis so viele letzte Summanden resp.
Faktoren gefunden sind, als der Ausdruck besitzen muss.

Um diese Zahl zu finden (unter obenerwähnter Voraussetzung, die ja
schon nach § 14 sich immer vorgängig erfüllen lassen würde), gibt Peirce
ohne Herleitung den arithmetischen Ausdruck an:
2m + n -- m p -- p,
wo m die Gesamtanzahl der verschiedenen Buchstabensymbole bedeutet, die
im Ausdruck vorkommen, falls ein Symbol und seine Negation nicht als
verschieden angesehen werden, wo ferner n die Gesamtzahl der im Aus-
druck als Operationsglieder überhaupt auftretenden Symbole vorstellt, mögen
diese verschieden sein oder nicht (nach Berücksichtigung übrigens der Tau-
tologie- und Absorptionsgesetze behufs einfachstmöglicher Schreibung des
Ausdrucks), endlich p die Anzahl der

FaktorenGlieder
des Ausdrucks ist (mit dem gleichen Vorbehalte wie soeben, ohne wel-
chen sonst ja die Zahlen n und p beliebig hoch angesetzt werden könnten).

Es sei hienach z. B. der Ausdruck x + y z "dual zu entwickeln" ["dual",
das soll heissen: in die Form eines Produktes, gemäss Th. 44x) -- sinte-
mal die "Entwickelung" schlechtweg, in unsrer Terminologie sich stets be-
zieht auf die Zerlegung in eine Summe gemäss Th. 44+)]. Nach Peirce
ist zu bemerken, dass hier m = 3, n = 3, p = 2 ist, womit sich die An-
zahl der gesuchten Faktoren (arithmetisch) berechnet zu
23 + 3 -- 3 x 2 -- 2 = 8 + 3 -- 6 -- 2 = 3.
Man sollte nun alle acht Ausdrücke, welche durch additive Vereinigung
dreier von den sechs Symbolen x, y, z, x1, y1, z1 mit verschiedenen Buch-
staben gebildet werden können eigentlich durchprobiren in folgender
Weise. Da
x x + y + z und y z x + y + z,

Vierzehnte Vorlesung.
Produkt (von Summen)eine Summe (von Produkten)
gewesen, das folgende Verfahren. Man bilde
jedes denkbare Produktjede Summe
aus allen in dem Ausdruck vorkommenden Buchstabensymbolen und deren
Negationen, sodass darin jeder Buchstabe nur einmal (negirt oder aber un-
negirt) vertreten ist.

Gemäss der fundamentalen Formel des Th. 6):
a bbb + c
untersuche man, ob

das gebildete Produkt ein Subjekt ist
von jedem Faktor
die Summe ein Prädikat ist von
jedem Gliede
des gegebenen Ausdruckes. Trifft dies zu, so ist es, resp. sie ein
letzter SummandPrimfaktor
ebendieses Ausdruckes, andernfalls nicht.

Man fahre in dieser Weise fort, bis so viele letzte Summanden resp.
Faktoren gefunden sind, als der Ausdruck besitzen muss.

Um diese Zahl zu finden (unter obenerwähnter Voraussetzung, die ja
schon nach § 14 sich immer vorgängig erfüllen lassen würde), gibt Peirce
ohne Herleitung den arithmetischen Ausdruck an:
2m + nm pp,
wo m die Gesamtanzahl der verschiedenen Buchstabensymbole bedeutet, die
im Ausdruck vorkommen, falls ein Symbol und seine Negation nicht als
verschieden angesehen werden, wo ferner n die Gesamtzahl der im Aus-
druck als Operationsglieder überhaupt auftretenden Symbole vorstellt, mögen
diese verschieden sein oder nicht (nach Berücksichtigung übrigens der Tau-
tologie- und Absorptionsgesetze behufs einfachstmöglicher Schreibung des
Ausdrucks), endlich p die Anzahl der

FaktorenGlieder
des Ausdrucks ist (mit dem gleichen Vorbehalte wie soeben, ohne wel-
chen sonst ja die Zahlen n und p beliebig hoch angesetzt werden könnten).

Es sei hienach z. B. der Ausdruck x + y z „dual zu entwickeln“ [„dual“,
das soll heissen: in die Form eines Produktes, gemäss Th. 44×) — sinte-
mal die „Entwickelung“ schlechtweg, in unsrer Terminologie sich stets be-
zieht auf die Zerlegung in eine Summe gemäss Th. 44+)]. Nach Peirce
ist zu bemerken, dass hier m = 3, n = 3, p = 2 ist, womit sich die An-
zahl der gesuchten Faktoren (arithmetisch) berechnet zu
23 + 3 — 3 × 2 — 2 = 8 + 3 — 6 — 2 = 3.
Man sollte nun alle acht Ausdrücke, welche durch additive Vereinigung
dreier von den sechs Symbolen x, y, z, x1, y1, z1 mit verschiedenen Buch-
staben gebildet werden können eigentlich durchprobiren in folgender
Weise. Da
xx + y + z und y zx + y + z,

<TEI>
  <text>
    <body>
      <div n="1">
        <div n="2">
          <p><pb facs="#f0602" n="582"/><fw place="top" type="header">Vierzehnte Vorlesung.</fw><lb/><table><row><cell><hi rendition="#i">Produkt</hi> (von Summen)</cell><cell>eine <hi rendition="#i">Summe</hi> (von Produkten)</cell></row><lb/></table> gewesen, das folgende Verfahren. Man bilde<lb/><table><row><cell>jedes denkbare Produkt</cell><cell>jede Summe</cell></row><lb/></table> aus allen in dem Ausdruck vorkommenden Buchstabensymbolen und deren<lb/>
Negationen, sodass darin jeder Buchstabe nur <hi rendition="#i">ein</hi>mal (negirt oder aber un-<lb/>
negirt) vertreten ist.</p><lb/>
          <p>Gemäss der fundamentalen Formel des Th. 6):<lb/><hi rendition="#c"><hi rendition="#i">a b</hi> &#x22F9; <hi rendition="#i">b</hi> &#x22F9; <hi rendition="#i">b</hi> + <hi rendition="#i">c</hi></hi><lb/>
untersuche man, ob<lb/><table><row><cell>das gebildete Produkt ein Subjekt ist<lb/>
von jedem Faktor</cell><cell>die Summe ein Prädikat ist von<lb/>
jedem Gliede</cell></row><lb/></table> des gegebenen Ausdruckes. Trifft dies zu, so ist es, resp. sie ein<lb/><table><row><cell>letzter Summand</cell><cell>Primfaktor</cell></row><lb/></table> ebendieses Ausdruckes, andernfalls nicht.</p><lb/>
          <p>Man fahre in dieser Weise fort, bis so viele letzte Summanden resp.<lb/>
Faktoren gefunden sind, als der Ausdruck besitzen muss.</p><lb/>
          <p>Um diese Zahl zu finden (unter obenerwähnter Voraussetzung, die ja<lb/>
schon nach § 14 sich immer vorgängig erfüllen lassen würde), gibt <hi rendition="#g">Peirce</hi><lb/>
ohne Herleitung den arithmetischen Ausdruck an:<lb/><hi rendition="#c">2<hi rendition="#i"><hi rendition="#sup">m</hi></hi> + <hi rendition="#i">n</hi> &#x2014; <hi rendition="#i">m p</hi> &#x2014; <hi rendition="#i">p</hi>,</hi><lb/>
wo <hi rendition="#i">m</hi> die Gesamtanzahl der verschiedenen Buchstabensymbole bedeutet, die<lb/>
im Ausdruck vorkommen, falls ein Symbol und seine Negation nicht als<lb/>
verschieden angesehen werden, wo ferner <hi rendition="#i">n</hi> die Gesamtzahl der im Aus-<lb/>
druck als Operationsglieder überhaupt auftretenden Symbole vorstellt, mögen<lb/>
diese verschieden sein oder nicht (nach Berücksichtigung übrigens der Tau-<lb/>
tologie- und Absorptionsgesetze behufs einfachstmöglicher Schreibung des<lb/>
Ausdrucks), endlich <hi rendition="#i">p</hi> die Anzahl der<lb/><table><row><cell>Faktoren</cell><cell>Glieder</cell></row><lb/></table> des Ausdrucks ist (mit dem gleichen Vorbehalte wie soeben, ohne wel-<lb/>
chen sonst ja die Zahlen <hi rendition="#i">n</hi> und <hi rendition="#i">p</hi> beliebig hoch angesetzt werden könnten).</p><lb/>
          <p>Es sei hienach z. B. der Ausdruck <hi rendition="#i">x</hi> + <hi rendition="#i">y z</hi> &#x201E;dual zu entwickeln&#x201C; [&#x201E;dual&#x201C;,<lb/>
das soll heissen: in die Form eines Produktes, gemäss Th. 44<hi rendition="#sub">×</hi>) &#x2014; sinte-<lb/>
mal die &#x201E;Entwickelung&#x201C; schlechtweg, in unsrer Terminologie sich stets be-<lb/>
zieht auf die Zerlegung in eine Summe gemäss Th. 44<hi rendition="#sub">+</hi>)]. Nach <hi rendition="#g">Peirce</hi><lb/>
ist zu bemerken, dass hier <hi rendition="#i">m</hi> = 3, <hi rendition="#i">n</hi> = 3, <hi rendition="#i">p</hi> = 2 ist, womit sich die An-<lb/>
zahl der gesuchten Faktoren (arithmetisch) berechnet zu<lb/><hi rendition="#c">2<hi rendition="#sup">3</hi> + 3 &#x2014; 3 × 2 &#x2014; 2 = 8 + 3 &#x2014; 6 &#x2014; 2 = 3.</hi><lb/>
Man sollte nun alle acht Ausdrücke, welche durch additive Vereinigung<lb/>
dreier von den sechs Symbolen <hi rendition="#i">x</hi>, <hi rendition="#i">y</hi>, <hi rendition="#i">z</hi>, <hi rendition="#i">x</hi><hi rendition="#sub">1</hi>, <hi rendition="#i">y</hi><hi rendition="#sub">1</hi>, <hi rendition="#i">z</hi><hi rendition="#sub">1</hi> mit verschiedenen Buch-<lb/>
staben gebildet werden können eigentlich durchprobiren in folgender<lb/>
Weise. Da<lb/><hi rendition="#c"><hi rendition="#i">x</hi> &#x22F9; <hi rendition="#i">x</hi> + <hi rendition="#i">y</hi> + <hi rendition="#i">z</hi> und <hi rendition="#i">y z</hi> &#x22F9; <hi rendition="#i">x</hi> + <hi rendition="#i">y</hi> + <hi rendition="#i">z</hi>,</hi><lb/></p>
        </div>
      </div>
    </body>
  </text>
</TEI>
[582/0602] Vierzehnte Vorlesung. Produkt (von Summen) eine Summe (von Produkten) gewesen, das folgende Verfahren. Man bilde jedes denkbare Produkt jede Summe aus allen in dem Ausdruck vorkommenden Buchstabensymbolen und deren Negationen, sodass darin jeder Buchstabe nur einmal (negirt oder aber un- negirt) vertreten ist. Gemäss der fundamentalen Formel des Th. 6): a b ⋹ b ⋹ b + c untersuche man, ob das gebildete Produkt ein Subjekt ist von jedem Faktor die Summe ein Prädikat ist von jedem Gliede des gegebenen Ausdruckes. Trifft dies zu, so ist es, resp. sie ein letzter Summand Primfaktor ebendieses Ausdruckes, andernfalls nicht. Man fahre in dieser Weise fort, bis so viele letzte Summanden resp. Faktoren gefunden sind, als der Ausdruck besitzen muss. Um diese Zahl zu finden (unter obenerwähnter Voraussetzung, die ja schon nach § 14 sich immer vorgängig erfüllen lassen würde), gibt Peirce ohne Herleitung den arithmetischen Ausdruck an: 2m + n — m p — p, wo m die Gesamtanzahl der verschiedenen Buchstabensymbole bedeutet, die im Ausdruck vorkommen, falls ein Symbol und seine Negation nicht als verschieden angesehen werden, wo ferner n die Gesamtzahl der im Aus- druck als Operationsglieder überhaupt auftretenden Symbole vorstellt, mögen diese verschieden sein oder nicht (nach Berücksichtigung übrigens der Tau- tologie- und Absorptionsgesetze behufs einfachstmöglicher Schreibung des Ausdrucks), endlich p die Anzahl der Faktoren Glieder des Ausdrucks ist (mit dem gleichen Vorbehalte wie soeben, ohne wel- chen sonst ja die Zahlen n und p beliebig hoch angesetzt werden könnten). Es sei hienach z. B. der Ausdruck x + y z „dual zu entwickeln“ [„dual“, das soll heissen: in die Form eines Produktes, gemäss Th. 44×) — sinte- mal die „Entwickelung“ schlechtweg, in unsrer Terminologie sich stets be- zieht auf die Zerlegung in eine Summe gemäss Th. 44+)]. Nach Peirce ist zu bemerken, dass hier m = 3, n = 3, p = 2 ist, womit sich die An- zahl der gesuchten Faktoren (arithmetisch) berechnet zu 23 + 3 — 3 × 2 — 2 = 8 + 3 — 6 — 2 = 3. Man sollte nun alle acht Ausdrücke, welche durch additive Vereinigung dreier von den sechs Symbolen x, y, z, x1, y1, z1 mit verschiedenen Buch- staben gebildet werden können eigentlich durchprobiren in folgender Weise. Da x ⋹ x + y + z und y z ⋹ x + y + z,

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_logik01_1890
URL zu dieser Seite: https://www.deutschestextarchiv.de/schroeder_logik01_1890/602
Zitationshilfe: Schröder, Ernst: Vorlesungen über die Algebra der Logik. Bd. 1. Leipzig, 1890, S. 582. In: Deutsches Textarchiv <https://www.deutschestextarchiv.de/schroeder_logik01_1890/602>, abgerufen am 24.11.2024.