Anmelden (DTAQ) DWDS     dlexDB     CLARIN-D

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

Bild:
<< vorherige Seite
nächste Seite >>
§ 46. Studie. Hülfssatz zum Hauber'schen Satze.

Generalisiren lässt der Satz sich auf verschiedene Weise. Man könnte
ihn samt dem erwähnten Beweisverfahren sogleich auf beliebig viele Symbol-
paare ausdehnen in der Gestalt:
b) (x a) (y b) (z c) ... (a b c ... = 0) (x y z ... = 0).
In der That folgt aus den vorausgesetzten Subsumtionen durch über-
schiebendes Multipliziren nach Th. 17x), dass x y z ... a b c ... sein muss,
wo nun aber die rechte Seite laut der vorausgesetzten Gleichung durch O
ersetzt werden darf nach Th. 2) und schliesslich nur zu beachten bleibt,
dass Einordnung unter die Null Gleichheit bedeutet nach Th. 5x), sonach
x y z ... = 0 sein muss, q. e. d.

Dies wäre nun aber ein anderer als der obige Satz. Für dreie oder
mehr Symbolpaare wird jener vielmehr lauten:

Wenn a, b, c, ... unter sich disjunkt sind und x in a, y in b, z
in c, ... ganz enthalten, so müssen auch x, y, z, ... unter sich dis-
junkt sein.

Oder in Formeln:
g) (x a) (y b) (z c) ... (a b = 0) (a c = 0) (b c = 0) ...
... (x y = 0) (x z = 0) (y z = 0) ...

Um dies auf die nächstliegende und einfachste Art zu beweisen
braucht man sich nur den Satz a) für jedes erdenkliche Paar von Ge-
bieten aus der Reihe der a, b, c, ... (mitsamt dem zugehörigen aus
der Reihe der x, y, z, ...) hingeschrieben zu denken, resp. wirklich
unter die Proposition a) noch die Propositionen zu setzen:
(x a) (z c) (a c = 0) (x z = 0),
(y b) (z c) (b c = 0) (y z = 0),
. . . . . . . . . . . . .
und dann alle miteinander überschiebend zu multipliziren -- nach
Th. 17x). Linkerhand sich wiederholende Faktoren kraft des Tautologie-
gesetzes 14x) nur einmal schreibend wird man so das Theorem g)
gewonnen haben.

Obwol wir hiermit im wesentlichen zu Ende sind, ist es doch
lehrreich, sowol den Beweis, als auch die Ausdrucksformen unsres
Theorems noch verschiedentlich zu variiren.

Behufs Beweises von a) könnte man auch einfach gemäss den Sche-
mata l) und m) des § 32 die "Gültigkeitsklassen" der verschiednen (Faktor-)
Aussagen zur Linken und Rechten dieser Subsumtion ansetzen. Dieselbe
kommt dann auf:
(x1 + a) (y1 + b) (a1 + b1) x1 + y1
oder nach Th. 38x) nebst 36+) und 31) auf die Gleichung:

§ 46. Studie. Hülfssatz zum Hauber’schen Satze.

Generalisiren lässt der Satz sich auf verschiedene Weise. Man könnte
ihn samt dem erwähnten Beweisverfahren sogleich auf beliebig viele Symbol-
paare ausdehnen in der Gestalt:
β) (x ⊆ a) (y ⊆ b) (z ⊆ c) … (a b c … = 0) ⊆ (x y z … = 0).
In der That folgt aus den vorausgesetzten Subsumtionen durch über-
schiebendes Multipliziren nach Th. 17×), dass x y z … ⊆ a b c … sein muss,
wo nun aber die rechte Seite laut der vorausgesetzten Gleichung durch O
ersetzt werden darf nach Th. 2) und schliesslich nur zu beachten bleibt,
dass Einordnung unter die Null Gleichheit bedeutet nach Th. 5×), sonach
x y z … = 0 sein muss, q. e. d.

Dies wäre nun aber ein anderer als der obige Satz. Für dreie oder
mehr Symbolpaare wird jener vielmehr lauten:

Wenn a, b, c, … unter sich disjunkt sind und x in a, y in b, z
in c, … ganz enthalten, so müssen auch x, y, z, … unter sich dis-
junkt sein.

Oder in Formeln:
γ) (x ⊆ a) (y ⊆ b) (z ⊆ c) … (a b = 0) (a c = 0) (b c = 0) …
… ⊆ (x y = 0) (x z = 0) (y z = 0) …

Um dies auf die nächstliegende und einfachste Art zu beweisen
braucht man sich nur den Satz α) für jedes erdenkliche Paar von Ge-
bieten aus der Reihe der a, b, c, … (mitsamt dem zugehörigen aus
der Reihe der x, y, z, …) hingeschrieben zu denken, resp. wirklich
unter die Proposition α) noch die Propositionen zu setzen:
(x ⊆ a) (z ⊆ c) (a c = 0) ⊆ (x z = 0),
(y ⊆ b) (z ⊆ c) (b c = 0) ⊆ (y z = 0),
. . . . . . . . . . . . .
und dann alle miteinander überschiebend zu multipliziren — nach
Th. 1̅7̅×). Linkerhand sich wiederholende Faktoren kraft des Tautologie-
gesetzes 1̅4̅×) nur einmal schreibend wird man so das Theorem γ)
gewonnen haben.

Obwol wir hiermit im wesentlichen zu Ende sind, ist es doch
lehrreich, sowol den Beweis, als auch die Ausdrucksformen unsres
Theorems noch verschiedentlich zu variiren.

Behufs Beweises von α) könnte man auch einfach gemäss den Sche-
mata λ) und μ) des § 32 die „Gültigkeitsklassen“ der verschiednen (Faktor-)
Aussagen zur Linken und Rechten dieser Subsumtion ansetzen. Dieselbe
kommt dann auf:
(x1 + a) (y1 + b) (a1 + b1) ⊆ x1 + y1
oder nach Th. 38×) nebst 36+) und 31) auf die Gleichung:

<TEI>
  <text>
    <body>
      <div n="1">
        <div n="2">
          <div n="3">
            <pb facs="#f0305" n="281"/>
            <fw place="top" type="header">§ 46. Studie. Hülfssatz zum <hi rendition="#g">Hauber&#x2019;</hi>schen Satze.</fw><lb/>
            <p>Generalisiren lässt der Satz sich auf verschiedene Weise. Man könnte<lb/>
ihn samt dem erwähnten Beweisverfahren sogleich auf beliebig viele Symbol-<lb/>
paare ausdehnen in der Gestalt:<lb/><hi rendition="#i">&#x03B2;</hi>) <hi rendition="#et">(<hi rendition="#i">x</hi> <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> <hi rendition="#i">a</hi>) (<hi rendition="#i">y</hi> <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> <hi rendition="#i">b</hi>) (<hi rendition="#i">z</hi> <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> <hi rendition="#i">c</hi>) &#x2026; (<hi rendition="#i">a b c</hi> &#x2026; = 0) <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> (<hi rendition="#i">x y z</hi> &#x2026; = 0).</hi><lb/>
In der That folgt aus den vorausgesetzten <hi rendition="#i">Subsumtionen</hi> durch über-<lb/>
schiebendes Multipliziren nach Th. 17<hi rendition="#sub">×</hi>), dass <hi rendition="#i">x y z</hi> &#x2026; <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> <hi rendition="#i">a b c</hi> &#x2026; sein muss,<lb/>
wo nun aber die rechte Seite laut der vorausgesetzten <hi rendition="#i">Gleichung</hi> durch O<lb/>
ersetzt werden darf nach Th. 2) und schliesslich nur zu beachten bleibt,<lb/>
dass Einordnung unter die Null Gleichheit bedeutet nach Th. 5<hi rendition="#sub">×</hi>), sonach<lb/><hi rendition="#i">x y z</hi> &#x2026; = 0 sein muss, q. e. d.</p><lb/>
            <p>Dies wäre nun aber ein anderer als der obige Satz. Für dreie oder<lb/>
mehr Symbolpaare wird jener vielmehr lauten:</p><lb/>
            <p> <hi rendition="#i">Wenn a, b, c, &#x2026; unter sich disjunkt sind und x in a, y in b, z<lb/>
in c, &#x2026; ganz enthalten, so müssen auch x, y, z, &#x2026; unter sich dis-<lb/>
junkt sein.</hi> </p><lb/>
            <p>Oder in Formeln:<lb/><hi rendition="#i">&#x03B3;</hi>) <hi rendition="#et">(<hi rendition="#i">x</hi> <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> <hi rendition="#i">a</hi>) (<hi rendition="#i">y</hi> <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> <hi rendition="#i">b</hi>) (<hi rendition="#i">z</hi> <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> <hi rendition="#i">c</hi>) &#x2026; (<hi rendition="#i">a b</hi> = 0) (<hi rendition="#i">a c</hi> = 0) (<hi rendition="#i">b c</hi> = 0) &#x2026;<lb/>
&#x2026; <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> (<hi rendition="#i">x y</hi> = 0) (<hi rendition="#i">x z</hi> = 0) (<hi rendition="#i">y z</hi> = 0) &#x2026;</hi></p><lb/>
            <p>Um dies auf die nächstliegende und einfachste Art zu <hi rendition="#g">beweisen</hi><lb/>
braucht man sich nur den Satz <hi rendition="#i">&#x03B1;</hi>) für jedes erdenkliche Paar von Ge-<lb/>
bieten aus der Reihe der <hi rendition="#i">a</hi>, <hi rendition="#i">b</hi>, <hi rendition="#i">c</hi>, &#x2026; (mitsamt dem zugehörigen aus<lb/>
der Reihe der <hi rendition="#i">x</hi>, <hi rendition="#i">y</hi>, <hi rendition="#i">z</hi>, &#x2026;) hingeschrieben zu denken, resp. wirklich<lb/>
unter die Proposition <hi rendition="#i">&#x03B1;</hi>) noch die Propositionen zu setzen:<lb/><hi rendition="#c">(<hi rendition="#i">x</hi> <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> <hi rendition="#i">a</hi>) (<hi rendition="#i">z</hi> <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> <hi rendition="#i">c</hi>) (<hi rendition="#i">a c</hi> = 0) <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> (<hi rendition="#i">x z</hi> = 0),<lb/>
(<hi rendition="#i">y</hi> <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> <hi rendition="#i">b</hi>) (<hi rendition="#i">z</hi> <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> <hi rendition="#i">c</hi>) (<hi rendition="#i">b c</hi> = 0) <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> (<hi rendition="#i">y z</hi> = 0),<lb/>
. . . . . . . . . . . . .</hi><lb/>
und dann alle miteinander überschiebend zu multipliziren &#x2014; nach<lb/>
Th. 1&#x0305;7&#x0305;<hi rendition="#sub">×</hi>). Linkerhand sich wiederholende Faktoren kraft des Tautologie-<lb/>
gesetzes 1&#x0305;4&#x0305;<hi rendition="#sub">×</hi>) nur einmal schreibend wird man so das Theorem <hi rendition="#i">&#x03B3;</hi>)<lb/>
gewonnen haben.</p><lb/>
            <p>Obwol wir hiermit im wesentlichen zu Ende sind, ist es doch<lb/>
lehrreich, sowol den Beweis, als auch die Ausdrucksformen unsres<lb/>
Theorems noch verschiedentlich zu variiren.</p><lb/>
            <p>Behufs <hi rendition="#g">Beweises</hi> von <hi rendition="#i">&#x03B1;</hi>) könnte man auch einfach gemäss den Sche-<lb/>
mata <hi rendition="#i">&#x03BB;</hi>) und <hi rendition="#i">&#x03BC;</hi>) des § 32 die &#x201E;Gültigkeitsklassen&#x201C; der verschiednen (Faktor-)<lb/>
Aussagen zur Linken und Rechten dieser Subsumtion ansetzen. Dieselbe<lb/>
kommt dann auf:<lb/><hi rendition="#c">(<hi rendition="#i">x</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">a</hi>) (<hi rendition="#i">y</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">b</hi>) (<hi rendition="#i">a</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">b</hi><hi rendition="#sub">1</hi>) <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> <hi rendition="#i">x</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">y</hi><hi rendition="#sub">1</hi></hi><lb/>
oder nach Th. 38<hi rendition="#sub">×</hi>) nebst 36<hi rendition="#sub">+</hi>) und 31) auf die Gleichung:<lb/></p>
          </div>
        </div>
      </div>
    </body>
  </text>
</TEI>
[281/0305] § 46. Studie. Hülfssatz zum Hauber’schen Satze. Generalisiren lässt der Satz sich auf verschiedene Weise. Man könnte ihn samt dem erwähnten Beweisverfahren sogleich auf beliebig viele Symbol- paare ausdehnen in der Gestalt: β) (x  a) (y  b) (z  c) … (a b c … = 0)  (x y z … = 0). In der That folgt aus den vorausgesetzten Subsumtionen durch über- schiebendes Multipliziren nach Th. 17×), dass x y z …  a b c … sein muss, wo nun aber die rechte Seite laut der vorausgesetzten Gleichung durch O ersetzt werden darf nach Th. 2) und schliesslich nur zu beachten bleibt, dass Einordnung unter die Null Gleichheit bedeutet nach Th. 5×), sonach x y z … = 0 sein muss, q. e. d. Dies wäre nun aber ein anderer als der obige Satz. Für dreie oder mehr Symbolpaare wird jener vielmehr lauten: Wenn a, b, c, … unter sich disjunkt sind und x in a, y in b, z in c, … ganz enthalten, so müssen auch x, y, z, … unter sich dis- junkt sein. Oder in Formeln: γ) (x  a) (y  b) (z  c) … (a b = 0) (a c = 0) (b c = 0) … …  (x y = 0) (x z = 0) (y z = 0) … Um dies auf die nächstliegende und einfachste Art zu beweisen braucht man sich nur den Satz α) für jedes erdenkliche Paar von Ge- bieten aus der Reihe der a, b, c, … (mitsamt dem zugehörigen aus der Reihe der x, y, z, …) hingeschrieben zu denken, resp. wirklich unter die Proposition α) noch die Propositionen zu setzen: (x  a) (z  c) (a c = 0)  (x z = 0), (y  b) (z  c) (b c = 0)  (y z = 0), . . . . . . . . . . . . . und dann alle miteinander überschiebend zu multipliziren — nach Th. 1̅7̅×). Linkerhand sich wiederholende Faktoren kraft des Tautologie- gesetzes 1̅4̅×) nur einmal schreibend wird man so das Theorem γ) gewonnen haben. Obwol wir hiermit im wesentlichen zu Ende sind, ist es doch lehrreich, sowol den Beweis, als auch die Ausdrucksformen unsres Theorems noch verschiedentlich zu variiren. Behufs Beweises von α) könnte man auch einfach gemäss den Sche- mata λ) und μ) des § 32 die „Gültigkeitsklassen“ der verschiednen (Faktor-) Aussagen zur Linken und Rechten dieser Subsumtion ansetzen. Dieselbe kommt dann auf: (x1 + a) (y1 + b) (a1 + b1)  x1 + y1 oder nach Th. 38×) nebst 36+) und 31) auf die Gleichung:

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_logik0201_1891
URL zu dieser Seite: https://www.deutschestextarchiv.de/schroeder_logik0201_1891/305
Zitationshilfe: Schröder, Ernst: Vorlesungen über die Algebra der Logik. Bd. 2, Abt. 1. Leipzig, 1891, S. 281. In: Deutsches Textarchiv <https://www.deutschestextarchiv.de/schroeder_logik0201_1891/305>, abgerufen am 12.05.2024.