Anmelden (DTAQ) DWDS     dlexDB     CLARIN-D

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

Bild:
<< vorherige Seite
§ 21. Das allgemeinste Problem universaler Natur auf dieser Stufe.

Da das Verschwinden des dritten Gliedes durch Konversion aus
dem des zweiten folgt und vice versa, so kann von diesen beiden Glie-
dern irgend eines weggelassen werden: wir haben wesentlich nur drei
Glieder zum Verschwinden zu bringen. Der Symmetrie zuliebe wollen
wir gleichwol alle vier Glieder beibehalten.

Eine weitre partielle Resultante ergibt sich durch folgende Über-
legung.

Werden in den vier Verwandten zu x die individuellen Selbst-
relative von den Aliorelativen gesondert, so hat man:
x = 1'x + 0'x, xn = 1'xn + 0'xn, x = 1'x + 0'x, xn = 1'xn + 0'xn,
sintemal bekanntlich allgemein -- 8) des § 9 -- 1'a = 1'a ist. Damit
wird:
xx = 1'x + 0'xx, xxn = 0'xxn, xnx = 0'xnx, xnxn = 1'xn + 0'xnxn.

Inbezug auf den Selbstteil (selfpart, Skalar) der unbekannten Ver-
wandten wird also lediglich gefordert sein, dass
a1'x + d1'xn = 0
werde, was die Resultante bedingt:
37) ad1' = 0 oder ad 0'
und wonach, falls letztre erfüllt ist, der Selbstteil von x schon vorweg
ermittelt werden könnte.

Der Rest der dem x auferlegten Forderung bezieht sich darnach nur
mehr auf den Alioteil (Vektor) der unbekannten Relative, und die auf-
tretenden Koeffizienten besitzen darin sämtlich den Faktor 0', oder es kann
ihnen dieser jederzeit zugefügt werden.

Vereinigung der beiden Resultanten gibt:
38) ad(1' + bb) = 0, falls a = a, d = d,
oder
39) (a + a){1' + (b + c)(b + c)}(d + d) = 0,
was sich als die volle Resultante zu 33) erweisen wird.

Wie leicht zu sehen, kann jene auch äquivalent schon in der Form
ad(bb + 1'bnbn) = 0 oder abbd + 1'abnbnd = 0
angeschrieben werden. Denn dem ersten Glied 1' in 38) lässt sich die
Negation (bn + bn) des zweiten Gliedes als Faktor beifügen; da aber dieser
= bbn + bnbn + bnb und hievon das erste und dritte Glied 0' ist, so
kommen von den durch Ausmultipliziren mit 1' entstehenden drei Gliedern
zweie in Wegfall. Etc.

Die Vollständigkeit unsrer Resultante liesse sich wol auf mehrern
Wegen darthun, deren andre jedoch durch den ohnehin von uns zu gehenden

§ 21. Das allgemeinste Problem universaler Natur auf dieser Stufe.

Da das Verschwinden des dritten Gliedes durch Konversion aus
dem des zweiten folgt und vice versa, so kann von diesen beiden Glie-
dern irgend eines weggelassen werden: wir haben wesentlich nur drei
Glieder zum Verschwinden zu bringen. Der Symmetrie zuliebe wollen
wir gleichwol alle vier Glieder beibehalten.

Eine weitre partielle Resultante ergibt sich durch folgende Über-
legung.

Werden in den vier Verwandten zu x die individuellen Selbst-
relative von den Aliorelativen gesondert, so hat man:
x = 1'x + 0'x, = 1' + 0', = 1'x + 0', x̄̆ = 1' + 0'x̄̆,
sintemal bekanntlich allgemein — 8) des § 9 — 1' = 1'a ist. Damit
wird:
xx̆ = 1'x + 0'xx̆, xx̄̆ = 0'xx̄̆, x̄x̆ = 0'x̄x̆, x̄x̄̆ = 1' + 0'x̄x̄̆.

Inbezug auf den Selbstteil (selfpart, Skalar) der unbekannten Ver-
wandten wird also lediglich gefordert sein, dass
α1'x + δ1' = 0
werde, was die Resultante bedingt:
37) αδ1' = 0 oder αδ⋹ 0'
und wonach, falls letztre erfüllt ist, der Selbstteil von x schon vorweg
ermittelt werden könnte.

Der Rest der dem x auferlegten Forderung bezieht sich darnach nur
mehr auf den Alioteil (Vektor) der unbekannten Relative, und die auf-
tretenden Koeffizienten besitzen darin sämtlich den Faktor 0', oder es kann
ihnen dieser jederzeit zugefügt werden.

Vereinigung der beiden Resultanten gibt:
38) αδ(1' + ββ̆) = 0, falls α = ᾰ, δ = δ̆,
oder
39) (a + ){1' + (b + )( + c)}(d + ) = 0,
was sich als die volle Resultante zu 33) erweisen wird.

Wie leicht zu sehen, kann jene auch äquivalent schon in der Form
αδ(ββ̆ + 1'β̄β̄̆) = 0 oder αββ̆δ + 1'αβ̄β̄̆δ = 0
angeschrieben werden. Denn dem ersten Glied 1' in 38) lässt sich die
Negation (β̄ + β̄̆) des zweiten Gliedes als Faktor beifügen; da aber dieser
= ββ̄̆ + β̄β̄̆ + β̄β̆ und hievon das erste und dritte Glied ⋹ 0' ist, so
kommen von den durch Ausmultipliziren mit 1' entstehenden drei Gliedern
zweie in Wegfall. Etc.

Die Vollständigkeit unsrer Resultante liesse sich wol auf mehrern
Wegen darthun, deren andre jedoch durch den ohnehin von uns zu gehenden

<TEI>
  <text>
    <body>
      <div n="1">
        <div n="2">
          <pb facs="#f0325" n="311"/>
          <fw place="top" type="header">§ 21. Das allgemeinste Problem universaler Natur auf dieser Stufe.</fw><lb/>
          <p>Da das Verschwinden des dritten Gliedes durch Konversion aus<lb/>
dem des zweiten folgt und vice versa, so kann von diesen beiden Glie-<lb/>
dern irgend eines weggelassen werden: wir haben wesentlich nur drei<lb/>
Glieder zum Verschwinden zu bringen. Der Symmetrie zuliebe wollen<lb/>
wir gleichwol alle vier Glieder beibehalten.</p><lb/>
          <p>Eine weitre partielle Resultante ergibt sich durch folgende Über-<lb/>
legung.</p><lb/>
          <p>Werden in den vier Verwandten zu <hi rendition="#i">x</hi> die individuellen Selbst-<lb/>
relative von den Aliorelativen gesondert, so hat man:<lb/><hi rendition="#c"><hi rendition="#i">x</hi> = 1'<hi rendition="#i">x</hi> + 0'<hi rendition="#i">x</hi>, <hi rendition="#i">x&#x0304;</hi> = 1'<hi rendition="#i">x&#x0304;</hi> + 0'<hi rendition="#i">x&#x0304;</hi>, <hi rendition="#i">x&#x0306;</hi> = 1'<hi rendition="#i">x</hi> + 0'<hi rendition="#i">x&#x0306;</hi>, <hi rendition="#i">x&#x0304;&#x0306;</hi> = 1'<hi rendition="#i">x&#x0304;</hi> + 0'<hi rendition="#i">x&#x0304;&#x0306;</hi>,</hi><lb/>
sintemal bekanntlich allgemein &#x2014; 8) des § 9 &#x2014; 1'<hi rendition="#i">a&#x0306;</hi> = 1'<hi rendition="#i">a</hi> ist. Damit<lb/>
wird:<lb/><hi rendition="#c"><hi rendition="#i">xx&#x0306;</hi> = 1'<hi rendition="#i">x</hi> + 0'<hi rendition="#i">xx&#x0306;</hi>, <hi rendition="#i">xx&#x0304;&#x0306;</hi> = 0'<hi rendition="#i">xx&#x0304;&#x0306;</hi>, <hi rendition="#i">x&#x0304;x&#x0306;</hi> = 0'<hi rendition="#i">x&#x0304;x&#x0306;</hi>, <hi rendition="#i">x&#x0304;x&#x0304;&#x0306;</hi> = 1'<hi rendition="#i">x&#x0304;</hi> + 0'<hi rendition="#i">x&#x0304;x&#x0304;&#x0306;</hi>.</hi></p><lb/>
          <p>Inbezug auf den Selbstteil (selfpart, Skalar) der unbekannten Ver-<lb/>
wandten wird also lediglich gefordert sein, dass<lb/><hi rendition="#c"><hi rendition="#i">&#x03B1;</hi>1'<hi rendition="#i">x</hi> + <hi rendition="#i">&#x03B4;</hi>1'<hi rendition="#i">x&#x0304;</hi> = 0</hi><lb/>
werde, was die Resultante bedingt:<lb/>
37) <hi rendition="#et"><hi rendition="#i">&#x03B1;&#x03B4;</hi>1' = 0 oder <hi rendition="#i">&#x03B1;&#x03B4;</hi>&#x22F9; 0'</hi><lb/>
und wonach, falls letztre erfüllt ist, der Selbstteil von <hi rendition="#i">x</hi> schon vorweg<lb/>
ermittelt werden könnte.</p><lb/>
          <p>Der Rest der dem <hi rendition="#i">x</hi> auferlegten Forderung bezieht sich darnach nur<lb/>
mehr auf den Alioteil (Vektor) der unbekannten Relative, und die auf-<lb/>
tretenden Koeffizienten besitzen darin sämtlich den Faktor 0', oder es kann<lb/>
ihnen dieser jederzeit zugefügt werden.</p><lb/>
          <p>Vereinigung der beiden Resultanten gibt:<lb/>
38) <hi rendition="#et"><hi rendition="#i">&#x03B1;&#x03B4;</hi>(1' + <hi rendition="#i">&#x03B2;&#x03B2;&#x0306;</hi>) = 0, falls <hi rendition="#i">&#x03B1;</hi> = <hi rendition="#i">&#x03B1;&#x0306;</hi>, <hi rendition="#i">&#x03B4;</hi> = <hi rendition="#i">&#x03B4;&#x0306;</hi>,</hi><lb/>
oder<lb/>
39) <hi rendition="#et">(<hi rendition="#i">a</hi> + <hi rendition="#i">a&#x0306;</hi>){1' + (<hi rendition="#i">b</hi> + <hi rendition="#i">c&#x0306;</hi>)(<hi rendition="#i">b&#x0306;</hi> + <hi rendition="#i">c</hi>)}(<hi rendition="#i">d</hi> + <hi rendition="#i">d&#x0306;</hi>) = 0,</hi><lb/>
was sich als <hi rendition="#i">die volle Resultante</hi> zu 33) erweisen wird.</p><lb/>
          <p>Wie leicht zu sehen, kann jene auch äquivalent schon in der Form<lb/><hi rendition="#c"><hi rendition="#i">&#x03B1;&#x03B4;</hi>(<hi rendition="#i">&#x03B2;&#x03B2;&#x0306;</hi> + 1'<hi rendition="#i">&#x03B2;&#x0304;&#x03B2;&#x0304;&#x0306;</hi>) = 0 oder <hi rendition="#i">&#x03B1;&#x03B2;&#x03B2;&#x0306;&#x03B4;</hi> + 1'<hi rendition="#i">&#x03B1;&#x03B2;&#x0304;&#x03B2;&#x0304;&#x0306;&#x03B4;</hi> = 0</hi><lb/>
angeschrieben werden. Denn dem ersten Glied 1' in 38) lässt sich die<lb/>
Negation (<hi rendition="#i">&#x03B2;&#x0304;</hi> + <hi rendition="#i">&#x03B2;&#x0304;&#x0306;</hi>) des zweiten Gliedes als Faktor beifügen; da aber dieser<lb/>
= <hi rendition="#i">&#x03B2;&#x03B2;&#x0304;&#x0306;</hi> + <hi rendition="#i">&#x03B2;&#x0304;&#x03B2;&#x0304;&#x0306;</hi> + <hi rendition="#i">&#x03B2;&#x0304;&#x03B2;&#x0306;</hi> und hievon das erste und dritte Glied &#x22F9; 0' ist, so<lb/>
kommen von den durch Ausmultipliziren mit 1' entstehenden drei Gliedern<lb/>
zweie in Wegfall. Etc.</p><lb/>
          <p>Die Vollständigkeit unsrer Resultante liesse sich wol auf mehrern<lb/>
Wegen darthun, deren andre jedoch durch den ohnehin von uns zu gehenden<lb/></p>
        </div>
      </div>
    </body>
  </text>
</TEI>
[311/0325] § 21. Das allgemeinste Problem universaler Natur auf dieser Stufe. Da das Verschwinden des dritten Gliedes durch Konversion aus dem des zweiten folgt und vice versa, so kann von diesen beiden Glie- dern irgend eines weggelassen werden: wir haben wesentlich nur drei Glieder zum Verschwinden zu bringen. Der Symmetrie zuliebe wollen wir gleichwol alle vier Glieder beibehalten. Eine weitre partielle Resultante ergibt sich durch folgende Über- legung. Werden in den vier Verwandten zu x die individuellen Selbst- relative von den Aliorelativen gesondert, so hat man: x = 1'x + 0'x, x̄ = 1'x̄ + 0'x̄, x̆ = 1'x + 0'x̆, x̄̆ = 1'x̄ + 0'x̄̆, sintemal bekanntlich allgemein — 8) des § 9 — 1'ă = 1'a ist. Damit wird: xx̆ = 1'x + 0'xx̆, xx̄̆ = 0'xx̄̆, x̄x̆ = 0'x̄x̆, x̄x̄̆ = 1'x̄ + 0'x̄x̄̆. Inbezug auf den Selbstteil (selfpart, Skalar) der unbekannten Ver- wandten wird also lediglich gefordert sein, dass α1'x + δ1'x̄ = 0 werde, was die Resultante bedingt: 37) αδ1' = 0 oder αδ⋹ 0' und wonach, falls letztre erfüllt ist, der Selbstteil von x schon vorweg ermittelt werden könnte. Der Rest der dem x auferlegten Forderung bezieht sich darnach nur mehr auf den Alioteil (Vektor) der unbekannten Relative, und die auf- tretenden Koeffizienten besitzen darin sämtlich den Faktor 0', oder es kann ihnen dieser jederzeit zugefügt werden. Vereinigung der beiden Resultanten gibt: 38) αδ(1' + ββ̆) = 0, falls α = ᾰ, δ = δ̆, oder 39) (a + ă){1' + (b + c̆)(b̆ + c)}(d + d̆) = 0, was sich als die volle Resultante zu 33) erweisen wird. Wie leicht zu sehen, kann jene auch äquivalent schon in der Form αδ(ββ̆ + 1'β̄β̄̆) = 0 oder αββ̆δ + 1'αβ̄β̄̆δ = 0 angeschrieben werden. Denn dem ersten Glied 1' in 38) lässt sich die Negation (β̄ + β̄̆) des zweiten Gliedes als Faktor beifügen; da aber dieser = ββ̄̆ + β̄β̄̆ + β̄β̆ und hievon das erste und dritte Glied ⋹ 0' ist, so kommen von den durch Ausmultipliziren mit 1' entstehenden drei Gliedern zweie in Wegfall. Etc. Die Vollständigkeit unsrer Resultante liesse sich wol auf mehrern Wegen darthun, deren andre jedoch durch den ohnehin von uns zu gehenden

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