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 >>
§ 34. Elementar- und Grundbeziehungen.

Ebenso kann man, wenn die Alternative zwischen den Elementar-
fällen a100 und a110, m. a. W. der Kollektivfall a100 + a110 vorliegt,
A B schreiben; indess fordert jener Kollektivfall noch ausserdem,
dass B und folglich auch A von 0 verschieden sei, wogegen letztere
Proposition auch diese Möglichkeiten zulässt.

Endlich ist noch für den Elementarfall a ein Zeichen zu verein-
baren, und damit auch für dessen Negation, den aus der Alternative
zwischen den vier übrigen Elementarfällen sich zusammensetzenden
Kollektivfall a1.

Nun werden wir ohnehin das Zeichen für die Negation einer
jeden Beziehung immer dadurch aufbauen, dass wir das Zeichen der
letzteren mit einem Vertikalstrich durchsetzen, dasselbe so gewisser-
massen ausstreichen -- beziehungsweise, wenn in ihm bereits ein
solcher Strich vorhanden sein sollte, diesen tilgen.

Darnach steht es zunächst in unserm Belieben, für die Beziehung
a oder für die a1 ein ursprüngliches Zeichen auszudenken, und ziehen
wir das letztere vor, weil sich für diese Beziehung a1 naturgemäss das
in folgender Proposition vorgeschlagene Zeichen darbietet als das-
jenige, welches die Zeichen der vier Unterfälle von a1 in sich vereinigt;
wir drücken den Fall a1 aus durch den Ansatz:
A B
(gelesen: A, gebietgemein*), korrelativ B) -- so wenigtens im Drucke,
wogegen schriftlich der bequemer zu schreibende Ansatz:
A (=) B
dafür eintreten mag, von welchem auch schon in 1 vielfältig von mir
Gebrauch gemacht ist, und dessen Zeichen durch hinreichende Ver-
längerung seiner Striche in das vergrösserte des vorigen überginge.

Im obigen Zeichen der Gebietgemeinschaft erblickt man in der
That: das Gleichheitszeichen zusammen mit den Zeichen der Unter-,
der Uberordnung und der Schnittigkeit, Sekanz. Allerdings sind aber
die drei erstern von diesen vier Zeichen hier nur in ihrer "elementaren"
Bedeutung zu nehmen, bei welcher das Nullsein von A sowol als B
ausgeschlossen war -- eine Bedeutung die oben durch eine über das
Zeichen gesetzte kleine Null jeweils vor der gewöhnlichen gekenn-
zeichnet wurde.

*) Stellen A und B vieldeutige Zahlenausdrücke vor, so ist "wertgemein"
(resp. "Wertgemeinschaft") der passendste Ausdruck. In diesem Sinne habe ich
das Zeichen schon vielfach auf seine Brauchbarkeit erprobt und als ein in der
"absoluten Algebra" ganz unentbehrliches erkannt.
§ 34. Elementar- und Grundbeziehungen.

Ebenso kann man, wenn die Alternative zwischen den Elementar-
fällen a100 und a110, m. a. W. der Kollektivfall a100 + a110 vorliegt,
A ⊆ B schreiben; indess fordert jener Kollektivfall noch ausserdem,
dass B und folglich auch A von 0 verschieden sei, wogegen letztere
Proposition auch diese Möglichkeiten zulässt.

Endlich ist noch für den Elementarfall a ein Zeichen zu verein-
baren, und damit auch für dessen Negation, den aus der Alternative
zwischen den vier übrigen Elementarfällen sich zusammensetzenden
Kollektivfall a1.

Nun werden wir ohnehin das Zeichen für die Negation einer
jeden Beziehung immer dadurch aufbauen, dass wir das Zeichen der
letzteren mit einem Vertikalstrich durchsetzen, dasselbe so gewisser-
massen ausstreichen — beziehungsweise, wenn in ihm bereits ein
solcher Strich vorhanden sein sollte, diesen tilgen.

Darnach steht es zunächst in unserm Belieben, für die Beziehung
a oder für die a1 ein ursprüngliches Zeichen auszudenken, und ziehen
wir das letztere vor, weil sich für diese Beziehung a1 naturgemäss das
in folgender Proposition vorgeschlagene Zeichen darbietet als das-
jenige, welches die Zeichen der vier Unterfälle von a1 in sich vereinigt;
wir drücken den Fall a1 aus durch den Ansatz:
A ⊆ B
(gelesen: A, gebietgemein*), korrelativ B) — so wenigtens im Drucke,
wogegen schriftlich der bequemer zu schreibende Ansatz:
A (=) B
dafür eintreten mag, von welchem auch schon in 1 vielfältig von mir
Gebrauch gemacht ist, und dessen Zeichen durch hinreichende Ver-
längerung seiner Striche in das vergrösserte des vorigen überginge.

Im obigen Zeichen der Gebietgemeinschaft erblickt man in der
That: das Gleichheitszeichen zusammen mit den Zeichen der Unter-,
der Uberordnung und der Schnittigkeit, Sekanz. Allerdings sind aber
die drei erstern von diesen vier Zeichen hier nur in ihrer „elementaren“
Bedeutung zu nehmen, bei welcher das Nullsein von A sowol als B
ausgeschlossen war — eine Bedeutung die oben durch eine über das
Zeichen gesetzte kleine Null jeweils vor der gewöhnlichen gekenn-
zeichnet wurde.

*) Stellen A und B vieldeutige Zahlenausdrücke vor, so ist „wertgemein“
(resp. „Wertgemeinschaft“) der passendste Ausdruck. In diesem Sinne habe ich
das Zeichen schon vielfach auf seine Brauchbarkeit erprobt und als ein in der
„absoluten Algebra“ ganz unentbehrliches erkannt.
<TEI>
  <text>
    <body>
      <div n="1">
        <div n="2">
          <div n="3">
            <pb facs="#f0127" n="103"/>
            <fw place="top" type="header">§ 34. Elementar- und Grundbeziehungen.</fw><lb/>
            <p>Ebenso kann man, wenn die Alternative zwischen den Elementar-<lb/>
fällen <hi rendition="#i">a</hi><hi rendition="#sub">1</hi><hi rendition="#sup">00</hi> und <hi rendition="#i">a</hi><hi rendition="#sub">1</hi><hi rendition="#sup">10</hi>, m. a. W. der Kollektivfall <hi rendition="#i">a</hi><hi rendition="#sub">1</hi><hi rendition="#sup">00</hi> + <hi rendition="#i">a</hi><hi rendition="#sub">1</hi><hi rendition="#sup">10</hi> vorliegt,<lb/><hi rendition="#i">A</hi> <choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice> <hi rendition="#i">B</hi> schreiben; indess fordert jener Kollektivfall noch ausserdem,<lb/>
dass <hi rendition="#i">B</hi> und folglich auch <hi rendition="#i">A</hi> von 0 verschieden sei, wogegen letztere<lb/>
Proposition auch diese Möglichkeiten zulässt.</p><lb/>
            <p>Endlich ist noch für den Elementarfall <hi rendition="#i">a</hi> ein Zeichen zu verein-<lb/>
baren, und damit auch für dessen Negation, den aus der Alternative<lb/>
zwischen den vier übrigen Elementarfällen sich zusammensetzenden<lb/>
Kollektivfall <hi rendition="#i">a</hi><hi rendition="#sub">1</hi>.</p><lb/>
            <p>Nun werden wir ohnehin das Zeichen für die Negation einer<lb/>
jeden Beziehung immer dadurch aufbauen, dass wir das Zeichen der<lb/>
letzteren mit einem Vertikalstrich durchsetzen, dasselbe so gewisser-<lb/>
massen <hi rendition="#i">ausstreichen</hi> &#x2014; beziehungsweise, wenn in ihm bereits ein<lb/>
solcher Strich vorhanden sein sollte, diesen tilgen.</p><lb/>
            <p>Darnach steht es zunächst in unserm Belieben, für die Beziehung<lb/><hi rendition="#i">a</hi> oder für die <hi rendition="#i">a</hi><hi rendition="#sub">1</hi> ein ursprüngliches Zeichen auszudenken, und ziehen<lb/>
wir das letztere vor, weil sich für diese Beziehung <hi rendition="#i">a</hi><hi rendition="#sub">1</hi> naturgemäss das<lb/>
in folgender Proposition vorgeschlagene Zeichen darbietet als <hi rendition="#i">das-<lb/>
jenige</hi>, <hi rendition="#i">welches die Zeichen der vier Unterfälle von a</hi><hi rendition="#sub">1</hi> <hi rendition="#i">in sich vereinigt;</hi><lb/>
wir drücken den Fall <hi rendition="#i">a</hi><hi rendition="#sub">1</hi> aus durch den Ansatz:<lb/><hi rendition="#c"><hi rendition="#i">A</hi><choice><orig>&#xFFFC;</orig><reg>&#x2286;</reg></choice><hi rendition="#i">B</hi></hi><lb/>
(gelesen: <hi rendition="#i">A</hi>, <hi rendition="#i">gebietgemein</hi><note place="foot" n="*)">Stellen <hi rendition="#i">A</hi> und <hi rendition="#i">B</hi> vieldeutige Zahlenausdrücke vor, so ist <hi rendition="#i">&#x201E;wertgemein&#x201C;</hi><lb/>
(resp. &#x201E;Wertgemeinschaft&#x201C;) der passendste Ausdruck. In diesem Sinne habe ich<lb/>
das Zeichen schon vielfach auf seine Brauchbarkeit erprobt und als ein in der<lb/>
&#x201E;absoluten Algebra&#x201C; ganz unentbehrliches erkannt.</note>, <hi rendition="#i">korrelativ B</hi>) &#x2014; so wenigtens im Drucke,<lb/>
wogegen schriftlich der bequemer zu schreibende Ansatz:<lb/><hi rendition="#c"><hi rendition="#i">A</hi> (=) <hi rendition="#i">B</hi></hi><lb/>
dafür eintreten mag, von welchem auch schon in <hi rendition="#sup">1</hi> vielfältig von mir<lb/>
Gebrauch gemacht ist, und dessen Zeichen durch hinreichende Ver-<lb/>
längerung seiner Striche in das vergrösserte des vorigen überginge.</p><lb/>
            <p>Im obigen Zeichen der Gebietgemeinschaft erblickt man in der<lb/>
That: das Gleichheitszeichen zusammen mit den Zeichen der Unter-,<lb/>
der Uberordnung und der Schnittigkeit, Sekanz. Allerdings sind aber<lb/>
die drei erstern von diesen vier Zeichen hier nur in ihrer &#x201E;<hi rendition="#i">elementaren</hi>&#x201C;<lb/>
Bedeutung zu nehmen, bei welcher das Nullsein von <hi rendition="#i">A</hi> sowol als <hi rendition="#i">B</hi><lb/>
ausgeschlossen war &#x2014; eine Bedeutung die oben durch eine über das<lb/>
Zeichen gesetzte kleine Null jeweils vor der gewöhnlichen gekenn-<lb/>
zeichnet wurde.</p><lb/>
          </div>
        </div>
      </div>
    </body>
  </text>
</TEI>
[103/0127] § 34. Elementar- und Grundbeziehungen. Ebenso kann man, wenn die Alternative zwischen den Elementar- fällen a100 und a110, m. a. W. der Kollektivfall a100 + a110 vorliegt, A  B schreiben; indess fordert jener Kollektivfall noch ausserdem, dass B und folglich auch A von 0 verschieden sei, wogegen letztere Proposition auch diese Möglichkeiten zulässt. Endlich ist noch für den Elementarfall a ein Zeichen zu verein- baren, und damit auch für dessen Negation, den aus der Alternative zwischen den vier übrigen Elementarfällen sich zusammensetzenden Kollektivfall a1. Nun werden wir ohnehin das Zeichen für die Negation einer jeden Beziehung immer dadurch aufbauen, dass wir das Zeichen der letzteren mit einem Vertikalstrich durchsetzen, dasselbe so gewisser- massen ausstreichen — beziehungsweise, wenn in ihm bereits ein solcher Strich vorhanden sein sollte, diesen tilgen. Darnach steht es zunächst in unserm Belieben, für die Beziehung a oder für die a1 ein ursprüngliches Zeichen auszudenken, und ziehen wir das letztere vor, weil sich für diese Beziehung a1 naturgemäss das in folgender Proposition vorgeschlagene Zeichen darbietet als das- jenige, welches die Zeichen der vier Unterfälle von a1 in sich vereinigt; wir drücken den Fall a1 aus durch den Ansatz: A  B (gelesen: A, gebietgemein *), korrelativ B) — so wenigtens im Drucke, wogegen schriftlich der bequemer zu schreibende Ansatz: A (=) B dafür eintreten mag, von welchem auch schon in 1 vielfältig von mir Gebrauch gemacht ist, und dessen Zeichen durch hinreichende Ver- längerung seiner Striche in das vergrösserte des vorigen überginge. Im obigen Zeichen der Gebietgemeinschaft erblickt man in der That: das Gleichheitszeichen zusammen mit den Zeichen der Unter-, der Uberordnung und der Schnittigkeit, Sekanz. Allerdings sind aber die drei erstern von diesen vier Zeichen hier nur in ihrer „elementaren“ Bedeutung zu nehmen, bei welcher das Nullsein von A sowol als B ausgeschlossen war — eine Bedeutung die oben durch eine über das Zeichen gesetzte kleine Null jeweils vor der gewöhnlichen gekenn- zeichnet wurde. *) Stellen A und B vieldeutige Zahlenausdrücke vor, so ist „wertgemein“ (resp. „Wertgemeinschaft“) der passendste Ausdruck. In diesem Sinne habe ich das Zeichen schon vielfach auf seine Brauchbarkeit erprobt und als ein in der „absoluten Algebra“ ganz unentbehrliches erkannt.

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