Schröder, Ernst: Vorlesungen über die Algebra der Logik. Bd. 2, Abt. 1. Leipzig, 1891.§ 34. Elementar- und Grundbeziehungen. Ebenso kann man, wenn die Alternative zwischen den Elementar- Endlich ist noch für den Elementarfall a ein Zeichen zu verein- Nun werden wir ohnehin das Zeichen für die Negation einer Darnach steht es zunächst in unserm Belieben, für die Beziehung Im obigen Zeichen der Gebietgemeinschaft erblickt man in der *) 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- Endlich ist noch für den Elementarfall a ein Zeichen zu verein- Nun werden wir ohnehin das Zeichen für die Negation einer Darnach steht es zunächst in unserm Belieben, für die Beziehung Im obigen Zeichen der Gebietgemeinschaft erblickt man in der *) 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></orig><reg>⊆</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> — 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></orig><reg>⊆</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">„wertgemein“</hi><lb/> (resp. „Wertgemeinschaft“) der passendste Ausdruck. In diesem Sinne habe ich<lb/> das Zeichen schon vielfach auf seine Brauchbarkeit erprobt und als ein in der<lb/> „absoluten Algebra“ ganz unentbehrliches erkannt.</note>, <hi rendition="#i">korrelativ B</hi>) — 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 „<hi rendition="#i">elementaren</hi>“<lb/> Bedeutung zu nehmen, bei welcher das Nullsein von <hi rendition="#i">A</hi> sowol als <hi rendition="#i">B</hi><lb/> ausgeschlossen war — 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 WerkInformationen zum Werk
Download dieses Werks
XML (TEI P5) ·
HTML ·
Text Metadaten zum WerkTEI-Header · CMDI · Dublin Core Ansichten dieser Seite
Voyant Tools
|
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 26.08.2024. |