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. Hauber's Theorem.
tionen etc., wie sie oben im Kontext bei dem vorausgeschickten Hülfs-
theorem ausführlichst angegeben wurden.

Von Venn 1 ist ein scheinbar viel einfacherer Beweis des Satzes ge-
geben. Derselbe kommt aber nur durch einen Beweisfehler zustande,
nämlich dadurch, dass (l. c.) p. 275 auf Zeile 16 und 15 v. o. ein wie
mir scheint gänzlich ungerechtfertigter und verfehlter (nämlich Z. 16 auf
einen circulus in demonstrando, eine petitio principii hinauslaufender, Z. 15
aber völlig sinnloser) Ansatz gemacht wird. (Jener kommt dadurch zu-
stande, dass Herr Venn mit dem Minuszeichen -- was nicht erlaubt --
nach den Regeln der Arithmetik operirt, nämlich erst a = b in a -- b = 0,
sodann aber (a + b) -- (c + d) in (a -- c) + (b -- d) umschreibt. Behufs
Richtigstellung wäre von unserm § 23 nähere Kenntniss zu nehmen. Der
Fall, bei einem sonst so sorgfältigen Schriftsteller, gibt aber eine Warnung
ab: in der Logik den Gebrauch des Minuszeichens lieber zu vermeiden.) --

Behufs Vereinfachung konnte man, nachdem das Hülfstheorem a) be-
reits bewiesen ist, den Faktor (x y = 0) rechts in i) auch weglassen, weil
diese Folgerung bereits gezogen erscheint.

Linke Seite unsres Theorems th) ist ein Produkt von vielen Fak-
toren. Nach dem Schema unter thx) des § 45:
(A B C) = {A (B C)}
können auch einzelne Malzeichen zur Linken in Subsumtionszeichen
verwandelt werden, wenn man jeweils alles auf sie folgende in eine
Klammer einschliesst.

Zur Rechten, im Major dagegen können nach Th. 6nx), weil
A B A, auch beliebige Faktoren unterdrückt werden, ohne dass
das Theorem aufhört ein richtiges zu sein, während dann allerdings
dasselbe ein eventuell weniger sagendes wird.

Endlich kann man im Major beliebige Faktoren aus dem Minor
wiederholen kraft Th. 20), weil auch (A B) (A A B), sowie
nach Th. 15x) (A B C) (A B B C) sein wird.

Von der zweiten Erlaubniss Gebrauch machend unterdrücken wir
in th) zunächst das letzte Faktorensystem (x y = 0) .. und geben dem
Satze kraft der ersten Erlaubniss die Form:
k) (a b = 0) (a c = 0) (b c = 0) ... (a + b + c .. = x + y + z ..)
{(x a) (y b) (z c) .. (a x) (b y) (c z) ...}
und im Major des Majors wiederholen wir (nach der dritten) den Minor
des letztern, wobei nach Def. (1) das Produkt je zweier entgegen-
gesetzten Subsumtionen sich in eine Gleichung zusammenziehen wird.
So entsteht:
l) (a b = 0) (a c = 0) (b c = 0) ... (a + b + c .. = x + y + z ..)
{(x a) (y b) (z c) .. (x = a) (y = b) (z = c) ..}

§ 46. Hauber’s Theorem.
tionen etc., wie sie oben im Kontext bei dem vorausgeschickten Hülfs-
theorem ausführlichst angegeben wurden.

Von Venn 1 ist ein scheinbar viel einfacherer Beweis des Satzes ge-
geben. Derselbe kommt aber nur durch einen Beweisfehler zustande,
nämlich dadurch, dass (l. c.) p. 275 auf Zeile 16 und 15 v. o. ein wie
mir scheint gänzlich ungerechtfertigter und verfehlter (nämlich Z. 16 auf
einen circulus in demonstrando, eine petitio principii hinauslaufender, Z. 15
aber völlig sinnloser) Ansatz gemacht wird. (Jener kommt dadurch zu-
stande, dass Herr Venn mit dem Minuszeichen — was nicht erlaubt —
nach den Regeln der Arithmetik operirt, nämlich erst a = b in a — b = 0,
sodann aber (a + b) — (c + d) in (a — c) + (b — d) umschreibt. Behufs
Richtigstellung wäre von unserm § 23 nähere Kenntniss zu nehmen. Der
Fall, bei einem sonst so sorgfältigen Schriftsteller, gibt aber eine Warnung
ab: in der Logik den Gebrauch des Minuszeichens lieber zu vermeiden.) —

Behufs Vereinfachung konnte man, nachdem das Hülfstheorem α) be-
reits bewiesen ist, den Faktor (x y = 0) rechts in ι) auch weglassen, weil
diese Folgerung bereits gezogen erscheint.

Linke Seite unsres Theorems ϑ) ist ein Produkt von vielen Fak-
toren. Nach dem Schema unter ϑ×) des § 45:
(A B ⊆ C) = {A ⊆ (B ⊆ C)}
können auch einzelne Malzeichen zur Linken in Subsumtionszeichen
verwandelt werden, wenn man jeweils alles auf sie folgende in eine
Klammer einschliesst.

Zur Rechten, im Major dagegen können nach Th. 6̄×), weil
A B ⊆ A, auch beliebige Faktoren unterdrückt werden, ohne dass
das Theorem aufhört ein richtiges zu sein, während dann allerdings
dasselbe ein eventuell weniger sagendes wird.

Endlich kann man im Major beliebige Faktoren aus dem Minor
wiederholen kraft Th. 2̅0̅), weil auch (A ⊆ B) ⊆ (A ⊆ A B), sowie
nach Th. 15×) (A B ⊆ C) ⊆ (A B ⊆ B C) sein wird.

Von der zweiten Erlaubniss Gebrauch machend unterdrücken wir
in ϑ) zunächst das letzte Faktorensystem (x y = 0) ‥ und geben dem
Satze kraft der ersten Erlaubniss die Form:
ϰ) (a b = 0) (a c = 0) (b c = 0) … (a + b + c ‥ = x + y + z ‥) ⊆
⊆ {(x ⊆ a) (y ⊆ b) (z ⊆ c) ‥ ⊆ (a ⊆ x) (b ⊆ y) (c ⊆ z) …}
und im Major des Majors wiederholen wir (nach der dritten) den Minor
des letztern, wobei nach Def. (1) das Produkt je zweier entgegen-
gesetzten Subsumtionen sich in eine Gleichung zusammenziehen wird.
So entsteht:
λ) (a b = 0) (a c = 0) (b c = 0) … (a + b + c ‥ = x + y + z ‥) ⊆
⊆ {(x ⊆ a) (y ⊆ b) (z ⊆ c) ‥ ⊆ (x = a) (y = b) (z = c) ‥}

<TEI>
  <text>
    <body>
      <div n="1">
        <div n="2">
          <div n="3">
            <p><pb facs="#f0311" n="287"/><fw place="top" type="header">§ 46. <hi rendition="#g">Hauber&#x2019;</hi>s Theorem.</fw><lb/>
tionen etc., wie sie oben im Kontext bei dem vorausgeschickten Hülfs-<lb/>
theorem ausführlichst angegeben wurden.</p><lb/>
            <p>Von <hi rendition="#g">Venn</hi> <hi rendition="#sup">1</hi> ist ein scheinbar viel einfacherer Beweis des Satzes ge-<lb/>
geben. Derselbe kommt aber nur durch einen Beweisfehler zustande,<lb/>
nämlich dadurch, dass (l. c.) p. 275 auf Zeile 16 und 15 v. o. ein wie<lb/>
mir scheint gänzlich ungerechtfertigter und verfehlter (nämlich Z. 16 auf<lb/>
einen circulus in demonstrando, eine petitio principii hinauslaufender, Z. 15<lb/>
aber völlig sinnloser) Ansatz gemacht wird. (Jener kommt dadurch zu-<lb/>
stande, dass Herr <hi rendition="#g">Venn</hi> mit dem Minuszeichen &#x2014; <hi rendition="#i">was nicht erlaubt</hi> &#x2014;<lb/>
nach den Regeln der <hi rendition="#i">Arithmetik</hi> operirt, nämlich erst <hi rendition="#i">a</hi> = <hi rendition="#i">b</hi> in <hi rendition="#i">a</hi> &#x2014; <hi rendition="#i">b</hi> = 0,<lb/>
sodann aber (<hi rendition="#i">a</hi> + <hi rendition="#i">b</hi>) &#x2014; (<hi rendition="#i">c</hi> + <hi rendition="#i">d</hi>) in (<hi rendition="#i">a</hi> &#x2014; <hi rendition="#i">c</hi>) + (<hi rendition="#i">b</hi> &#x2014; <hi rendition="#i">d</hi>) umschreibt. Behufs<lb/>
Richtigstellung wäre von unserm § 23 nähere Kenntniss zu nehmen. Der<lb/>
Fall, bei einem sonst so sorgfältigen Schriftsteller, gibt aber eine Warnung<lb/>
ab: in der Logik den Gebrauch des Minuszeichens lieber zu vermeiden.) &#x2014;</p><lb/>
            <p>Behufs Vereinfachung konnte man, nachdem das Hülfstheorem <hi rendition="#i">&#x03B1;</hi>) be-<lb/>
reits bewiesen ist, den Faktor (<hi rendition="#i">x y</hi> = 0) rechts in <hi rendition="#i">&#x03B9;</hi>) auch weglassen, weil<lb/>
diese Folgerung bereits gezogen erscheint.</p><lb/>
            <p>Linke Seite unsres Theorems <hi rendition="#i">&#x03D1;</hi>) ist ein Produkt von vielen Fak-<lb/>
toren. Nach dem Schema unter <hi rendition="#i">&#x03D1;</hi><hi rendition="#sub">×</hi>) des § 45:<lb/><hi rendition="#c">(<hi rendition="#i">A B</hi> <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> <hi rendition="#i">C</hi>) = {<hi rendition="#i">A</hi> <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> (<hi rendition="#i">B</hi> <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> <hi rendition="#i">C</hi>)}</hi><lb/>
können auch einzelne Malzeichen zur Linken in Subsumtionszeichen<lb/>
verwandelt werden, wenn man jeweils alles auf sie folgende in eine<lb/>
Klammer einschliesst.</p><lb/>
            <p>Zur Rechten, im Major dagegen können nach Th. 6&#x0304;<hi rendition="#sub">×</hi>), weil<lb/><hi rendition="#i">A B</hi> <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> <hi rendition="#i">A</hi>, auch beliebige Faktoren unterdrückt werden, ohne dass<lb/>
das Theorem aufhört ein richtiges zu sein, während dann allerdings<lb/>
dasselbe ein eventuell weniger sagendes wird.</p><lb/>
            <p>Endlich kann man im Major beliebige Faktoren aus dem Minor<lb/>
wiederholen kraft Th. 2&#x0305;0&#x0305;), weil auch (<hi rendition="#i">A</hi> <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> <hi rendition="#i">B</hi>) <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> (<hi rendition="#i">A</hi> <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> <hi rendition="#i">A B</hi>), sowie<lb/>
nach Th. 15<hi rendition="#sub">×</hi>) (<hi rendition="#i">A B</hi> <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> <hi rendition="#i">C</hi>) <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> (<hi rendition="#i">A B</hi> <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> <hi rendition="#i">B C</hi>) sein wird.</p><lb/>
            <p>Von der zweiten Erlaubniss Gebrauch machend unterdrücken wir<lb/>
in <hi rendition="#i">&#x03D1;</hi>) zunächst das letzte Faktorensystem (<hi rendition="#i">x y</hi> = 0) &#x2025; und geben dem<lb/>
Satze kraft der ersten Erlaubniss die Form:<lb/><hi rendition="#i">&#x03F0;</hi>) <hi rendition="#et">(<hi rendition="#i">a b</hi> = 0) (<hi rendition="#i">a c</hi> = 0) (<hi rendition="#i">b c</hi> = 0) &#x2026; (<hi rendition="#i">a</hi> + <hi rendition="#i">b</hi> + <hi rendition="#i">c</hi> &#x2025; = <hi rendition="#i">x</hi> + <hi rendition="#i">y</hi> + <hi rendition="#i">z</hi> &#x2025;) <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice><lb/><choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> {(<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>) &#x2025; <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> (<hi rendition="#i">a</hi> <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> <hi rendition="#i">x</hi>) (<hi rendition="#i">b</hi> <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> <hi rendition="#i">y</hi>) (<hi rendition="#i">c</hi> <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> <hi rendition="#i">z</hi>) &#x2026;}</hi><lb/>
und im Major des Majors wiederholen wir (nach der dritten) den Minor<lb/>
des letztern, wobei nach Def. (1) das Produkt je zweier entgegen-<lb/>
gesetzten Subsumtionen sich in eine Gleichung zusammenziehen wird.<lb/>
So entsteht:<lb/><hi rendition="#i">&#x03BB;</hi>) <hi rendition="#et">(<hi rendition="#i">a b</hi> = 0) (<hi rendition="#i">a c</hi> = 0) (<hi rendition="#i">b c</hi> = 0) &#x2026; (<hi rendition="#i">a</hi> + <hi rendition="#i">b</hi> + <hi rendition="#i">c</hi> &#x2025; = <hi rendition="#i">x</hi> + <hi rendition="#i">y</hi> + <hi rendition="#i">z</hi> &#x2025;) <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice><lb/><choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> {(<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>) &#x2025; <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> (<hi rendition="#i">x</hi> = <hi rendition="#i">a</hi>) (<hi rendition="#i">y</hi> = <hi rendition="#i">b</hi>) (<hi rendition="#i">z</hi> = <hi rendition="#i">c</hi>) &#x2025;}</hi><lb/></p>
          </div>
        </div>
      </div>
    </body>
  </text>
</TEI>
[287/0311] § 46. Hauber’s Theorem. tionen etc., wie sie oben im Kontext bei dem vorausgeschickten Hülfs- theorem ausführlichst angegeben wurden. Von Venn 1 ist ein scheinbar viel einfacherer Beweis des Satzes ge- geben. Derselbe kommt aber nur durch einen Beweisfehler zustande, nämlich dadurch, dass (l. c.) p. 275 auf Zeile 16 und 15 v. o. ein wie mir scheint gänzlich ungerechtfertigter und verfehlter (nämlich Z. 16 auf einen circulus in demonstrando, eine petitio principii hinauslaufender, Z. 15 aber völlig sinnloser) Ansatz gemacht wird. (Jener kommt dadurch zu- stande, dass Herr Venn mit dem Minuszeichen — was nicht erlaubt — nach den Regeln der Arithmetik operirt, nämlich erst a = b in a — b = 0, sodann aber (a + b) — (c + d) in (a — c) + (b — d) umschreibt. Behufs Richtigstellung wäre von unserm § 23 nähere Kenntniss zu nehmen. Der Fall, bei einem sonst so sorgfältigen Schriftsteller, gibt aber eine Warnung ab: in der Logik den Gebrauch des Minuszeichens lieber zu vermeiden.) — Behufs Vereinfachung konnte man, nachdem das Hülfstheorem α) be- reits bewiesen ist, den Faktor (x y = 0) rechts in ι) auch weglassen, weil diese Folgerung bereits gezogen erscheint. Linke Seite unsres Theorems ϑ) ist ein Produkt von vielen Fak- toren. Nach dem Schema unter ϑ×) des § 45: (A B  C) = {A  (B  C)} können auch einzelne Malzeichen zur Linken in Subsumtionszeichen verwandelt werden, wenn man jeweils alles auf sie folgende in eine Klammer einschliesst. Zur Rechten, im Major dagegen können nach Th. 6̄×), weil A B  A, auch beliebige Faktoren unterdrückt werden, ohne dass das Theorem aufhört ein richtiges zu sein, während dann allerdings dasselbe ein eventuell weniger sagendes wird. Endlich kann man im Major beliebige Faktoren aus dem Minor wiederholen kraft Th. 2̅0̅), weil auch (A  B)  (A  A B), sowie nach Th. 15×) (A B  C)  (A B  B C) sein wird. Von der zweiten Erlaubniss Gebrauch machend unterdrücken wir in ϑ) zunächst das letzte Faktorensystem (x y = 0) ‥ und geben dem Satze kraft der ersten Erlaubniss die Form: ϰ) (a b = 0) (a c = 0) (b c = 0) … (a + b + c ‥ = x + y + z ‥)   {(x  a) (y  b) (z  c) ‥  (a  x) (b  y) (c  z) …} und im Major des Majors wiederholen wir (nach der dritten) den Minor des letztern, wobei nach Def. (1) das Produkt je zweier entgegen- gesetzten Subsumtionen sich in eine Gleichung zusammenziehen wird. So entsteht: λ) (a b = 0) (a c = 0) (b c = 0) … (a + b + c ‥ = x + y + z ‥)   {(x  a) (y  b) (z  c) ‥  (x = a) (y = b) (z = c) ‥}

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/311
Zitationshilfe: Schröder, Ernst: Vorlesungen über die Algebra der Logik. Bd. 2, Abt. 1. Leipzig, 1891, S. 287. In: Deutsches Textarchiv <https://www.deutschestextarchiv.de/schroeder_logik0201_1891/311>, abgerufen am 11.05.2024.