Anmelden (DTAQ) DWDS     dlexDB     CLARIN-D

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

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

Geometrisch kombinatorisches Problem von Jevons.
[Formel 1] die acht Glieder kurz mit den darübergesetzten Ziffern, so erkennt
man sogleich, dass unser Problem sich deckt mit der Aufgabe, die
Anzahl der Arten zu ermitteln, auf welche an einem Würfel -- mit wie
nebenstehend numerirten Ecken -- deren irgend welche ausgewählt
werden können.

Genauer lässt dies sich in folgender Weise einsehen. Denken
wir uns irgend eine Funktion f (a, b, c, ...) von den "Argumenten"
a, b, c, ... nach diesen im Boole'schen
Sinne entwickelt, so wird nach § 19 ein
jeder "Konstituent" der Entwickelung sich
darstellen als das Produkt der sämtlichen
Argumentbuchstaben:
a b c ...
-- je mit oder aber ohne Negationsstrich
genommen.

Und bei den Problemen der vorlie-
genden Gattung haben wir nur mit den
Entwickelungen der identischen Eins zu

[Abbildung]
[Abbildung] Fig. 37.
thun, welche der Summe aller jener Konstituenten gleich ist.

Nach dem Gesagten muss ein jeder Konstituent in jeden andern
(zu der nämlichen Entwickelung gehörigen) sich überführen lassen
lediglich dadurch, dass man gewisse Argumentbuchstaben in ihre Ne-
gationen verwandelt. Vergleichen wir irgend zweie dieser Konstituenten
mit einander, so lassen dieselben sich jedenfalls dadurch in einander
überführen, dass man diejenigen Argumentbuchstaben ungeändert lässt,
welche in beiden Konstituenten übereinstimmend vorkommen, nämlich
entweder beidemal positiv (unnegirt), oder aber beidemal negativ (mit
Negationsstrich versehen) erscheinen, dass man dagegen diejenigen
Argumente mit ihren Negationen vertauscht, welche in beide Konstituenten
in verschiedener Weise als Faktor eingehen, nämlich im einen --
gleichviel welchem von beiden -- unnegirt, im andern negirt auftreten.

Mit Clifford (siehe weiter unten) kann man passend "Abstand"
der beiden in Vergleichung zu ziehenden Konstituenten nennen: die
Anzahl der Argumentbuchstaben, welche dergestalt behufs Überführung
des einen Konstituenten in den andern zu vertauschen sind mit ihren
Negationen.

So werden beispielsweise die beiden Konstituenten

Geometrisch kombinatorisches Problem von Jevons.
[Formel 1] die acht Glieder kurz mit den darübergesetzten Ziffern, so erkennt
man sogleich, dass unser Problem sich deckt mit der Aufgabe, die
Anzahl der Arten zu ermitteln, auf welche an einem Würfel — mit wie
nebenstehend numerirten Ecken — deren irgend welche ausgewählt
werden können.

Genauer lässt dies sich in folgender Weise einsehen. Denken
wir uns irgend eine Funktion f (a, b, c, …) von den „Argumenten“
a, b, c, … nach diesen im Boole'schen
Sinne entwickelt, so wird nach § 19 ein
jeder „Konstituent“ der Entwickelung sich
darstellen als das Produkt der sämtlichen
Argumentbuchstaben:
a b c …
— je mit oder aber ohne Negationsstrich
genommen.

Und bei den Problemen der vorlie-
genden Gattung haben wir nur mit den
Entwickelungen der identischen Eins zu

[Abbildung]
[Abbildung] Fig. 37.
thun, welche der Summe aller jener Konstituenten gleich ist.

Nach dem Gesagten muss ein jeder Konstituent in jeden andern
(zu der nämlichen Entwickelung gehörigen) sich überführen lassen
lediglich dadurch, dass man gewisse Argumentbuchstaben in ihre Ne-
gationen verwandelt. Vergleichen wir irgend zweie dieser Konstituenten
mit einander, so lassen dieselben sich jedenfalls dadurch in einander
überführen, dass man diejenigen Argumentbuchstaben ungeändert lässt,
welche in beiden Konstituenten übereinstimmend vorkommen, nämlich
entweder beidemal positiv (unnegirt), oder aber beidemal negativ (mit
Negationsstrich versehen) erscheinen, dass man dagegen diejenigen
Argumente mit ihren Negationen vertauscht, welche in beide Konstituenten
in verschiedener Weise als Faktor eingehen, nämlich im einen —
gleichviel welchem von beiden — unnegirt, im andern negirt auftreten.

Mit Clifford (siehe weiter unten) kann man passend „Abstand“
der beiden in Vergleichung zu ziehenden Konstituenten nennen: die
Anzahl der Argumentbuchstaben, welche dergestalt behufs Überführung
des einen Konstituenten in den andern zu vertauschen sind mit ihren
Negationen.

So werden beispielsweise die beiden Konstituenten

<TEI>
  <text>
    <body>
      <div n="1">
        <div n="2">
          <p><pb facs="#f0683" n="663"/><fw place="top" type="header">Geometrisch kombinatorisches Problem von <hi rendition="#g">Jevons</hi>.</fw><lb/><hi rendition="#c"><formula/></hi> die acht Glieder kurz mit den darübergesetzten Ziffern, so erkennt<lb/>
man sogleich, dass unser Problem sich deckt mit der Aufgabe, die<lb/>
Anzahl der Arten zu ermitteln, auf welche an einem <hi rendition="#i">Würfel</hi> &#x2014; mit wie<lb/>
nebenstehend numerirten Ecken &#x2014; deren irgend welche ausgewählt<lb/>
werden können.</p><lb/>
          <p>Genauer lässt dies sich in folgender Weise einsehen. Denken<lb/>
wir uns irgend eine Funktion <hi rendition="#i">f</hi> (<hi rendition="#i">a</hi>, <hi rendition="#i">b</hi>, <hi rendition="#i">c</hi>, &#x2026;) von den &#x201E;Argumenten&#x201C;<lb/><hi rendition="#i">a</hi>, <hi rendition="#i">b</hi>, <hi rendition="#i">c</hi>, &#x2026; nach diesen im <hi rendition="#g">Boole</hi>'schen<lb/>
Sinne entwickelt, so wird nach § 19 ein<lb/>
jeder &#x201E;Konstituent&#x201C; der Entwickelung sich<lb/>
darstellen als das Produkt der sämtlichen<lb/>
Argumentbuchstaben:<lb/><hi rendition="#c"><hi rendition="#i">a b c</hi> &#x2026;</hi><lb/>
&#x2014; je <hi rendition="#i">mit</hi> oder aber <hi rendition="#i">ohne</hi> Negationsstrich<lb/>
genommen.</p><lb/>
          <p>Und bei den Problemen der vorlie-<lb/>
genden Gattung haben wir nur mit den<lb/>
Entwickelungen der identischen Eins zu<lb/><figure/> <figure><head>Fig. 37.</head></figure><lb/>
thun, welche der Summe aller jener Konstituenten gleich ist.</p><lb/>
          <p>Nach dem Gesagten muss ein jeder Konstituent in jeden andern<lb/>
(zu der nämlichen Entwickelung gehörigen) sich überführen lassen<lb/>
lediglich dadurch, dass man gewisse Argumentbuchstaben in ihre Ne-<lb/>
gationen verwandelt. Vergleichen wir irgend zweie dieser Konstituenten<lb/>
mit einander, so lassen dieselben sich jedenfalls dadurch in einander<lb/>
überführen, dass man diejenigen Argumentbuchstaben ungeändert lässt,<lb/>
welche in beiden Konstituenten übereinstimmend vorkommen, nämlich<lb/>
entweder beidemal positiv (unnegirt), oder aber beidemal negativ (mit<lb/>
Negationsstrich versehen) erscheinen, <hi rendition="#i">dass man</hi> dagegen diejenigen<lb/><hi rendition="#i">Argumente mit ihren Negationen vertauscht</hi>, welche in beide Konstituenten<lb/>
in verschiedener Weise als Faktor eingehen, nämlich im einen &#x2014;<lb/>
gleichviel welchem von beiden &#x2014; unnegirt, im andern negirt auftreten.</p><lb/>
          <p>Mit <hi rendition="#g">Clifford</hi> (siehe weiter unten) kann man passend &#x201E;<hi rendition="#i">Abstand</hi>&#x201C;<lb/>
der beiden in Vergleichung zu ziehenden Konstituenten nennen: die<lb/>
Anzahl der Argumentbuchstaben, welche dergestalt behufs Überführung<lb/>
des einen Konstituenten in den andern zu vertauschen sind mit ihren<lb/>
Negationen.</p><lb/>
          <p>So werden beispielsweise die beiden Konstituenten<lb/></p>
        </div>
      </div>
    </body>
  </text>
</TEI>
[663/0683] Geometrisch kombinatorisches Problem von Jevons. [FORMEL] die acht Glieder kurz mit den darübergesetzten Ziffern, so erkennt man sogleich, dass unser Problem sich deckt mit der Aufgabe, die Anzahl der Arten zu ermitteln, auf welche an einem Würfel — mit wie nebenstehend numerirten Ecken — deren irgend welche ausgewählt werden können. Genauer lässt dies sich in folgender Weise einsehen. Denken wir uns irgend eine Funktion f (a, b, c, …) von den „Argumenten“ a, b, c, … nach diesen im Boole'schen Sinne entwickelt, so wird nach § 19 ein jeder „Konstituent“ der Entwickelung sich darstellen als das Produkt der sämtlichen Argumentbuchstaben: a b c … — je mit oder aber ohne Negationsstrich genommen. Und bei den Problemen der vorlie- genden Gattung haben wir nur mit den Entwickelungen der identischen Eins zu [Abbildung] [Abbildung Fig. 37.] thun, welche der Summe aller jener Konstituenten gleich ist. Nach dem Gesagten muss ein jeder Konstituent in jeden andern (zu der nämlichen Entwickelung gehörigen) sich überführen lassen lediglich dadurch, dass man gewisse Argumentbuchstaben in ihre Ne- gationen verwandelt. Vergleichen wir irgend zweie dieser Konstituenten mit einander, so lassen dieselben sich jedenfalls dadurch in einander überführen, dass man diejenigen Argumentbuchstaben ungeändert lässt, welche in beiden Konstituenten übereinstimmend vorkommen, nämlich entweder beidemal positiv (unnegirt), oder aber beidemal negativ (mit Negationsstrich versehen) erscheinen, dass man dagegen diejenigen Argumente mit ihren Negationen vertauscht, welche in beide Konstituenten in verschiedener Weise als Faktor eingehen, nämlich im einen — gleichviel welchem von beiden — unnegirt, im andern negirt auftreten. Mit Clifford (siehe weiter unten) kann man passend „Abstand“ der beiden in Vergleichung zu ziehenden Konstituenten nennen: die Anzahl der Argumentbuchstaben, welche dergestalt behufs Überführung des einen Konstituenten in den andern zu vertauschen sind mit ihren Negationen. So werden beispielsweise die beiden Konstituenten

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/683
Zitationshilfe: Schröder, Ernst: Vorlesungen über die Algebra der Logik. Bd. 1. Leipzig, 1890, S. 663. In: Deutsches Textarchiv <https://www.deutschestextarchiv.de/schroeder_logik01_1890/683>, abgerufen am 23.11.2024.