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 >>

§ 38. Erweiterter Beziehungskreis.

m n1 d = 0, m1 n d = 0, m n d1 = 0, also wie oben:
m n = m d = n d = m n d, m1 d = n1 d = m1 n1 d. Ferner:
m g = m a = 0, m1 a = a; n g = n a = 0, n1 a = a;
h m = 0, h m1 = h, h1 m = m; k n = 0, k n1 = k, k1 n = n;
m a = k l = k m, k l1 = k m1; n a = h l = h n, h l1 = h n1;
l b = m, l c = n, l d = m n; l b = m b, l g = n g, l d = m n d;
h k l = 0, h k l1 = h k, h k1 l = h l = h n, h1 k l = k l = k m;
m1 k1 a = k1 a, n1 h1 a = h1 a, m n a = 0.
Von diesen werden wir einige (der das Symbol l enthaltenden) auch
später noch gebrauchen, und reichen dieselben jedenfalls zum Beweise
des ersten Teils der Tafel XIII0 aus. Im übrigen möge die Formeln
in dieser Weise zu begründen als eine Fundgrube von Übungsaufgaben
dem Studirenden empfohlen sein.

Zweitens kann man aber auch sich begnügen, die Formeln
unsrer Tafeln blos durch Rechnung zu verifiziren auf eine Weise, die
wir im nächsten Paragraphen auseinandersetzen und die als das aller-
bequemste Mittel erscheint, sich der Berechtigung zu ihrem Gebrauche
zu versichern. Das Verfahren erscheint zwar auf den ersten Blick als
weniger heuristisch, doch würden im Anschluss an dasselbe sich auch
Wege zeigen lassen, die Formeln systematisch durch Rechnung zu
entdecken.

Sieht man bei Tafel XIII0 von den Zerfällungen in die 5 Fächer ab,
so bleiben doch noch gewisse Aussagenäquivalenzen daselbst stehen, und
diese lösen das eingangs statuirte Problem, die "Konversion mittelst Kontra-
position" der bisherigen Beziehungen zu leisten, soweit eine solche zulässig
erscheint. Das Wesentlichste von diesen Sätzen haben wir bereits im § 36
unter Tafel V0 zusammengestellt. Sie geben zugleich im Kreise der bis-
herigen Beziehungen die aus einer gegebenen Relation ziehbaren "unmittel-
baren Folgerungen" an, soweit diese Folgerungen sich auch umkehren lassen.

Zufolge der Berücksichtigung auch von A1, B1 neben A, B sind
zu den alten Grund-, Hülfs- und Elementarbeziehungen im gegen-
wärtigen Paragraphen noch fernere Beziehungen hinzugekommen. Alle
zusammen wollen wir "urwüchsige Umfangsbeziehungen" schlechtweg
nennen (im Hinblick auf ihre Interpretirbarkeit für die Logik der
Begriffsumfänge), und zwar "urwüchsige" im Gegensatz zu den später
noch in's Auge zu fassenden "abgeleiteten" Umfangsbeziehungen.
Jene werden also entweder Grund- oder Elementarbeziehungen sein,
sei es zwischen A und B, sei es zwischen A und B1, oder zwischen

§ 38. Erweiterter Beziehungskreis.

m n1 δ = 0, m1 n δ = 0, m n δ1 = 0, also wie oben:
m n = m δ = n δ = m n δ, m1 δ = n1 δ = m1 n1 δ. Ferner:
m g = m α = 0, m1 α = α; n g = n α = 0, n1 α = α;
h m = 0, h m1 = h, h1 m = m; k n = 0, k n1 = k, k1 n = n;
m a = k l = k m, k l1 = k m1; n a = h l = h n, h l1 = h n1;
l b = m, l c = n, l d = m n; l β = m β, l γ = n γ, l δ = m n δ;
h k l = 0, h k l1 = h k, h k1 l = h l = h n, h1 k l = k l = k m;
m1 k1 a = k1 a, n1 h1 a = h1 a, m n a = 0.
Von diesen werden wir einige (der das Symbol l enthaltenden) auch
später noch gebrauchen, und reichen dieselben jedenfalls zum Beweise
des ersten Teils der Tafel XIII0 aus. Im übrigen möge die Formeln
in dieser Weise zu begründen als eine Fundgrube von Übungsaufgaben
dem Studirenden empfohlen sein.

Sieht man bei Tafel XIII0 von den Zerfällungen in die 5 Fächer ab,
so bleiben doch noch gewisse Aussagenäquivalenzen daselbst stehen, und
diese lösen das eingangs statuirte Problem, die „Konversion mittelst Kontra-
position“ der bisherigen Beziehungen zu leisten, soweit eine solche zulässig
erscheint. Das Wesentlichste von diesen Sätzen haben wir bereits im § 36
unter Tafel V0 zusammengestellt. Sie geben zugleich im Kreise der bis-
herigen Beziehungen die aus einer gegebenen Relation ziehbaren „unmittel-
baren Folgerungen“ an, soweit diese Folgerungen sich auch umkehren lassen.

Zufolge der Berücksichtigung auch von A1, B1 neben A, B sind
zu den alten Grund-, Hülfs- und Elementarbeziehungen im gegen-
wärtigen Paragraphen noch fernere Beziehungen hinzugekommen. Alle
zusammen wollen wir „urwüchsige Umfangsbeziehungen“ schlechtweg
nennen (im Hinblick auf ihre Interpretirbarkeit für die Logik der
Begriffsumfänge), und zwar „urwüchsige“ im Gegensatz zu den später
noch in’s Auge zu fassenden „abgeleiteten“ Umfangsbeziehungen.
Jene werden also entweder Grund- oder Elementarbeziehungen sein,
sei es zwischen A und B, sei es zwischen A und B1, oder zwischen

<TEI>
  <text>
    <body>
      <div n="1">
        <div n="2">
          <div n="3">
            <p><pb facs="#f0159" n="135"/><fw place="top" type="header">§ 38. Erweiterter Beziehungskreis.</fw><lb/><hi rendition="#et"><hi rendition="#i">m n</hi><hi rendition="#sub">1</hi><hi rendition="#i">&#x03B4;</hi> = 0, <hi rendition="#i">m</hi><hi rendition="#sub">1</hi> <hi rendition="#i">n &#x03B4;</hi> = 0, <hi rendition="#i">m n &#x03B4;</hi><hi rendition="#sub">1</hi> = 0, also wie oben:<lb/><hi rendition="#i">m n</hi> = <hi rendition="#i">m &#x03B4;</hi> = <hi rendition="#i">n &#x03B4;</hi> = <hi rendition="#i">m n &#x03B4;</hi>, <hi rendition="#i">m</hi><hi rendition="#sub">1</hi> <hi rendition="#i">&#x03B4;</hi> = <hi rendition="#i">n</hi><hi rendition="#sub">1</hi> <hi rendition="#i">&#x03B4;</hi> = <hi rendition="#i">m</hi><hi rendition="#sub">1</hi> <hi rendition="#i">n</hi><hi rendition="#sub">1</hi> <hi rendition="#i">&#x03B4;</hi>. Ferner:<lb/><hi rendition="#i">m g</hi> = <hi rendition="#i">m &#x03B1;</hi> = 0, <hi rendition="#i">m</hi><hi rendition="#sub">1</hi> <hi rendition="#i">&#x03B1;</hi> = <hi rendition="#i">&#x03B1;</hi>; <hi rendition="#i">n g</hi> = <hi rendition="#i">n &#x03B1;</hi> = 0, <hi rendition="#i">n</hi><hi rendition="#sub">1</hi> <hi rendition="#i">&#x03B1;</hi> = <hi rendition="#i">&#x03B1;</hi>;<lb/><hi rendition="#i">h m</hi> = 0, <hi rendition="#i">h m</hi><hi rendition="#sub">1</hi> = <hi rendition="#i">h</hi>, <hi rendition="#i">h</hi><hi rendition="#sub">1</hi> <hi rendition="#i">m</hi> = <hi rendition="#i">m</hi>; <hi rendition="#i">k n</hi> = 0, <hi rendition="#i">k n</hi><hi rendition="#sub">1</hi> = <hi rendition="#i">k</hi>, <hi rendition="#i">k</hi><hi rendition="#sub">1</hi> <hi rendition="#i">n</hi> = <hi rendition="#i">n</hi>;<lb/><hi rendition="#i">m a</hi> = <hi rendition="#i">k l</hi> = <hi rendition="#i">k m</hi>, <hi rendition="#i">k l</hi><hi rendition="#sub">1</hi> = <hi rendition="#i">k m</hi><hi rendition="#sub">1</hi>; <hi rendition="#i">n a</hi> = <hi rendition="#i">h l</hi> = <hi rendition="#i">h n</hi>, <hi rendition="#i">h l</hi><hi rendition="#sub">1</hi> = <hi rendition="#i">h n</hi><hi rendition="#sub">1</hi>;<lb/><hi rendition="#i">l b</hi> = <hi rendition="#i">m</hi>, <hi rendition="#i">l c</hi> = <hi rendition="#i">n</hi>, <hi rendition="#i">l d</hi> = <hi rendition="#i">m n</hi>; <hi rendition="#i">l &#x03B2;</hi> = <hi rendition="#i">m &#x03B2;</hi>, <hi rendition="#i">l &#x03B3;</hi> = <hi rendition="#i">n &#x03B3;</hi>, <hi rendition="#i">l &#x03B4;</hi> = <hi rendition="#i">m n &#x03B4;</hi>;<lb/><hi rendition="#i">h k l</hi> = 0, <hi rendition="#i">h k l</hi><hi rendition="#sub">1</hi> = <hi rendition="#i">h k</hi>, <hi rendition="#i">h k</hi><hi rendition="#sub">1</hi> <hi rendition="#i">l</hi> = <hi rendition="#i">h l</hi> = <hi rendition="#i">h n</hi>, <hi rendition="#i">h</hi><hi rendition="#sub">1</hi> <hi rendition="#i">k l</hi> = <hi rendition="#i">k l</hi> = <hi rendition="#i">k m</hi>;<lb/><hi rendition="#i">m</hi><hi rendition="#sub">1</hi> <hi rendition="#i">k</hi><hi rendition="#sub">1</hi> <hi rendition="#i">a</hi> = <hi rendition="#i">k</hi><hi rendition="#sub">1</hi> <hi rendition="#i">a</hi>, <hi rendition="#i">n</hi><hi rendition="#sub">1</hi> <hi rendition="#i">h</hi><hi rendition="#sub">1</hi> <hi rendition="#i">a</hi> = <hi rendition="#i">h</hi><hi rendition="#sub">1</hi> <hi rendition="#i">a</hi>, <hi rendition="#i">m n a</hi> = 0.</hi><lb/>
Von diesen werden wir einige (der das Symbol <hi rendition="#i">l</hi> enthaltenden) auch<lb/>
später noch gebrauchen, und reichen dieselben jedenfalls zum Beweise<lb/>
des ersten Teils der Tafel XIII<hi rendition="#sup">0</hi> aus. Im übrigen möge die Formeln<lb/>
in dieser Weise zu begründen als eine Fundgrube von Übungsaufgaben<lb/>
dem Studirenden empfohlen sein.</p><lb/>
            <p><hi rendition="#g">Zweitens</hi> kann man aber auch sich begnügen, die Formeln<lb/>
unsrer Tafeln blos durch Rechnung zu verifiziren auf eine Weise, die<lb/>
wir im nächsten Paragraphen auseinandersetzen und die als das <hi rendition="#i">aller-<lb/>
bequemste</hi> Mittel erscheint, sich der Berechtigung zu ihrem Gebrauche<lb/>
zu versichern. Das Verfahren erscheint zwar auf den ersten Blick als<lb/>
weniger heuristisch, doch würden im Anschluss an dasselbe sich auch<lb/>
Wege zeigen lassen, die Formeln systematisch durch Rechnung zu<lb/>
entdecken.</p><lb/>
            <p>Sieht man bei Tafel XIII<hi rendition="#sup">0</hi> von den Zerfällungen in die 5 Fächer ab,<lb/>
so bleiben doch noch gewisse Aussagenäquivalenzen daselbst stehen, und<lb/>
diese lösen das eingangs statuirte Problem, die &#x201E;Konversion mittelst Kontra-<lb/>
position&#x201C; der bisherigen Beziehungen zu leisten, soweit eine solche zulässig<lb/>
erscheint. Das Wesentlichste von diesen Sätzen haben wir bereits im § 36<lb/>
unter Tafel V<hi rendition="#sup">0</hi> zusammengestellt. Sie geben zugleich im Kreise der bis-<lb/>
herigen Beziehungen die aus einer gegebenen Relation ziehbaren <hi rendition="#i">&#x201E;unmittel-<lb/>
baren Folgerungen&#x201C;</hi> an, soweit diese Folgerungen sich auch umkehren lassen.</p><lb/>
            <p>Zufolge der Berücksichtigung auch von <hi rendition="#i">A</hi><hi rendition="#sub">1</hi>, <hi rendition="#i">B</hi><hi rendition="#sub">1</hi> neben <hi rendition="#i">A</hi>, <hi rendition="#i">B</hi> sind<lb/>
zu den alten Grund-, Hülfs- und Elementarbeziehungen im gegen-<lb/>
wärtigen Paragraphen noch fernere Beziehungen hinzugekommen. Alle<lb/>
zusammen wollen wir &#x201E;<hi rendition="#i">urwüchsige Umfangsbeziehungen</hi>&#x201C; schlechtweg<lb/>
nennen (im Hinblick auf ihre Interpretirbarkeit für die Logik der<lb/>
Begriffsumfänge), und zwar &#x201E;urwüchsige&#x201C; im Gegensatz zu den später<lb/>
noch in&#x2019;s Auge zu fassenden &#x201E;abgeleiteten&#x201C; Umfangsbeziehungen.<lb/>
Jene werden also entweder Grund- oder Elementarbeziehungen sein,<lb/>
sei es zwischen <hi rendition="#i">A</hi> und <hi rendition="#i">B</hi>, sei es zwischen <hi rendition="#i">A</hi> und <hi rendition="#i">B</hi><hi rendition="#sub">1</hi>, oder zwischen<lb/></p>
          </div>
        </div>
      </div>
    </body>
  </text>
</TEI>

[135/0159] § 38. Erweiterter Beziehungskreis. m n1 δ = 0, m1 n δ = 0, m n δ1 = 0, also wie oben: m n = m δ = n δ = m n δ, m1 δ = n1 δ = m1 n1 δ. Ferner: m g = m α = 0, m1 α = α; n g = n α = 0, n1 α = α; h m = 0, h m1 = h, h1 m = m; k n = 0, k n1 = k, k1 n = n; m a = k l = k m, k l1 = k m1; n a = h l = h n, h l1 = h n1; l b = m, l c = n, l d = m n; l β = m β, l γ = n γ, l δ = m n δ; h k l = 0, h k l1 = h k, h k1 l = h l = h n, h1 k l = k l = k m; m1 k1 a = k1 a, n1 h1 a = h1 a, m n a = 0. Von diesen werden wir einige (der das Symbol l enthaltenden) auch später noch gebrauchen, und reichen dieselben jedenfalls zum Beweise des ersten Teils der Tafel XIII0 aus. Im übrigen möge die Formeln in dieser Weise zu begründen als eine Fundgrube von Übungsaufgaben dem Studirenden empfohlen sein. Zweitens kann man aber auch sich begnügen, die Formeln unsrer Tafeln blos durch Rechnung zu verifiziren auf eine Weise, die wir im nächsten Paragraphen auseinandersetzen und die als das aller- bequemste Mittel erscheint, sich der Berechtigung zu ihrem Gebrauche zu versichern. Das Verfahren erscheint zwar auf den ersten Blick als weniger heuristisch, doch würden im Anschluss an dasselbe sich auch Wege zeigen lassen, die Formeln systematisch durch Rechnung zu entdecken. Sieht man bei Tafel XIII0 von den Zerfällungen in die 5 Fächer ab, so bleiben doch noch gewisse Aussagenäquivalenzen daselbst stehen, und diese lösen das eingangs statuirte Problem, die „Konversion mittelst Kontra- position“ der bisherigen Beziehungen zu leisten, soweit eine solche zulässig erscheint. Das Wesentlichste von diesen Sätzen haben wir bereits im § 36 unter Tafel V0 zusammengestellt. Sie geben zugleich im Kreise der bis- herigen Beziehungen die aus einer gegebenen Relation ziehbaren „unmittel- baren Folgerungen“ an, soweit diese Folgerungen sich auch umkehren lassen. Zufolge der Berücksichtigung auch von A1, B1 neben A, B sind zu den alten Grund-, Hülfs- und Elementarbeziehungen im gegen- wärtigen Paragraphen noch fernere Beziehungen hinzugekommen. Alle zusammen wollen wir „urwüchsige Umfangsbeziehungen“ schlechtweg nennen (im Hinblick auf ihre Interpretirbarkeit für die Logik der Begriffsumfänge), und zwar „urwüchsige“ im Gegensatz zu den später noch in’s Auge zu fassenden „abgeleiteten“ Umfangsbeziehungen. Jene werden also entweder Grund- oder Elementarbeziehungen sein, sei es zwischen A und B, sei es zwischen A und B1, oder zwischen

Suche im Werk

Informationen zum Werk

Titeldaten
Verfügbarkeit Text (TEI-XML-, HTML-, TCF-, E-Book-Fassung): CC BY-SA 4.0.
Nutzungsbedingungen

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^?

Resource/URL übermitteln

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

Alle Inhalte dieser Seite unterstehen, soweit nicht anders gekennzeichnet, einer Creative-Commons-Lizenz. Die Rechte an den angezeigten Bilddigitalisaten, soweit nicht anders gekennzeichnet, liegen bei den besitzenden Bibliotheken. Weitere Informationen finden Sie in den DTA-Nutzungsbedingungen.

Insbesondere im Hinblick auf die §§ 86a StGB und 130 StGB wird festgestellt, dass die auf diesen Seiten abgebildeten Inhalte weder in irgendeiner Form propagandistischen Zwecken dienen, oder Werbung für verbotene Organisationen oder Vereinigungen darstellen, oder nationalsozialistische Verbrechen leugnen oder verharmlosen, noch zum Zwecke der Herabwürdigung der Menschenwürde gezeigt werden. Die auf diesen Seiten abgebildeten Inhalte (in Wort und Bild) dienen im Sinne des § 86 StGB Abs. 3 ausschließlich historischen, sozial- oder kulturwissenschaftlichen Forschungszwecken. Ihre Veröffentlichung erfolgt in der Absicht, Wissen zur Anregung der intellektuellen Selbstständigkeit und Verantwortungsbereitschaft des Staatsbürgers zu vermitteln und damit der Förderung seiner Mündigkeit zu dienen.

2007–2024 Deutsches Textarchiv, Berlin-Brandenburgische Akademie der Wissenschaften. Kontakt: redaktion(at)deutschestextarchiv.de.

Zitierempfehlung: Deutsches Textarchiv. Grundlage für ein Referenzkorpus der neuhochdeutschen Sprache. Herausgegeben von der Berlin-Brandenburgischen Akademie der Wissenschaften, Berlin 2024. URL: https://www.deutschestextarchiv.de/.