Schröder, Ernst: Vorlesungen über die Algebra der Logik. Bd. 2, Abt. 1. Leipzig, 1891.Achtzehnte Vorlesung. Wenn z = e1 f1 (c + e) (d1 + h) bedeutet, so wird man ebenso mittelst In dieser Weise können die hier gegebenen Tafeln auch dazu bei- Für manch' ein Untersuchungsfeld ist ständig h = 0 und k = 0, X0.i = a + d + e + f + g, wo nunmehr die Terme rechterhand sämtlich disjunkt sind.a1 = d + e + f + g, b = d + e, c = d + f, b1 = a + f + g, c1 = a + e + g, d1 = a + e + f + g, e1 = a + [Formel 1] + g, f1 = a + [Formel 2] + g, g1 = a + [Formel 3] , Wir können dann sagen, dass von den vier Zeichen der "Wert- Die Tafeln VI0 und VII0 kommen dann von selbst in Wegfall, Achtzehnte Vorlesung. Wenn z = e1 f1 (c + e) (d1 + h) bedeutet, so wird man ebenso mittelst In dieser Weise können die hier gegebenen Tafeln auch dazu bei- Für manch’ ein Untersuchungsfeld ist ständig h = 0 und k = 0, X0.i = a + d + e + f + g, wo nunmehr die Terme rechterhand sämtlich disjunkt sind.a1 = d + e + f + g, b = d + e, c = d + f, b1 = a + f + g, c1 = a + e + g, d1 = a + e + f + g, e1 = a + [Formel 1] + g, f1 = a + [Formel 2] + g, g1 = a + [Formel 3] , Wir können dann sagen, dass von den vier Zeichen der „Wert- Die Tafeln VI0 und VII0 kommen dann von selbst in Wegfall, <TEI> <text> <body> <div n="1"> <div n="2"> <div n="3"> <pb facs="#f0152" n="128"/> <fw place="top" type="header">Achtzehnte Vorlesung.</fw><lb/> <p>Wenn <hi rendition="#i">z</hi> = <hi rendition="#i">e</hi><hi rendition="#sub">1</hi> <hi rendition="#i">f</hi><hi rendition="#sub">1</hi> (<hi rendition="#i">c</hi> + <hi rendition="#i">e</hi>) (<hi rendition="#i">d</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">h</hi>) bedeutet, so wird man ebenso mittelst<lb/> der Zwischenrechnung:<lb/><hi rendition="#i">z</hi> = {(<hi rendition="#i">h k</hi> + <hi rendition="#i">h</hi><hi rendition="#sub">1</hi> <hi rendition="#i">k</hi><hi rendition="#sub">1</hi> <hi rendition="#i">a</hi>) + <hi rendition="#i">α</hi> + <hi rendition="#i">δ</hi>} {(<hi rendition="#i">h</hi> + <hi rendition="#i">k</hi>) + <hi rendition="#i">β</hi> + <hi rendition="#i">γ</hi> + <hi rendition="#i">δ</hi>} {<hi rendition="#i">a</hi> + <hi rendition="#i">α</hi> + <hi rendition="#i">β</hi> + <hi rendition="#i">γ</hi>} = <hi rendition="#i">a</hi> (<hi rendition="#i">h</hi> + <hi rendition="#i">k</hi>) (<hi rendition="#i">h k</hi> + <hi rendition="#i">h</hi><hi rendition="#sub">1</hi> <hi rendition="#i">k</hi><hi rendition="#sub">1</hi> <hi rendition="#i">a</hi>)<lb/> dies leicht reduziren zu:<lb/><hi rendition="#c"><hi rendition="#i">z</hi> = <hi rendition="#i">h k</hi>. Etc.</hi></p><lb/> <p>In dieser Weise können die hier gegebenen Tafeln auch dazu bei-<lb/> tragen, die Aufgabe der Reduktion einer Kollektivaussage auf den Typus<lb/> der Gleichung und Ungleichung gemäss § 36, Tafel IV<hi rendition="#sup">0</hi> und später<lb/> noch § 39, Tafel XVII<hi rendition="#sup">0</hi> vorbereitend zu erleichtern.</p><lb/> <p>Für manch’ ein Untersuchungsfeld ist ständig <hi rendition="#i">h</hi> = 0 und <hi rendition="#i">k</hi> = 0,<lb/> nämlich von vornherein die Möglichkeit ausgeschlossen, dass <hi rendition="#i">A</hi> oder <hi rendition="#i">B</hi><lb/> ein leeres Gebiet sei, „nichts“ bedeute, oder, wie wir auch sagen können<lb/> „sinnlos“ oder „<hi rendition="#i">undeutig</hi>“ werde. Dies wäre z. B. der Fall bei den<lb/> Anwendungen auf eine Mannigfaltigkeit, welcher die identische Null<lb/> nicht adjungirt ist, nicht angehört. Eine Exemplifikation bildet die<lb/> Rechnung mit vieldeutigen Zahlen-Ausdrücken, mehrdeutigen Funktionen,<lb/> welche für das ganze Zahlengebiet, „explizirt“ sind, niemals eines Wertes<lb/> entbehren oder undeutig ausfallen, wie ich sie in meinem Lehrbuch<lb/> der Arithmetik und Algebra <hi rendition="#sup">1</hi> in Untersuchung gezogen habe. Da hier<lb/><hi rendition="#i">h</hi><hi rendition="#sub">1</hi> = i, <hi rendition="#i">k</hi><hi rendition="#sub">1</hi> = i ist, so wird <hi rendition="#i">δ</hi> = <hi rendition="#i">d</hi>, <hi rendition="#i">γ</hi> = <hi rendition="#i">f</hi>, <hi rendition="#i">β</hi> = <hi rendition="#i">e</hi>, und da ohnehin<lb/> stets <hi rendition="#i">α</hi> = <hi rendition="#i">g</hi>, so geht die „Hauptgleichung“ nebst dem Tableau III<hi rendition="#sup">0</hi><lb/> über in:<lb/><list><item>X<hi rendition="#sup">0</hi>.<list rendition="#leftBraced"><item><hi rendition="#et">i = <hi rendition="#i">a</hi> + <hi rendition="#i">d</hi> + <hi rendition="#i">e</hi> + <hi rendition="#i">f</hi> + <hi rendition="#i">g</hi>,<lb/><hi rendition="#i">a</hi><hi rendition="#sub">1</hi> = <hi rendition="#i">d</hi> + <hi rendition="#i">e</hi> + <hi rendition="#i">f</hi> + <hi rendition="#i">g</hi>, <hi rendition="#i">b</hi> = <hi rendition="#i">d</hi> + <hi rendition="#i">e</hi>, <hi rendition="#i">c</hi> = <hi rendition="#i">d</hi> + <hi rendition="#i">f</hi>,<lb/><hi rendition="#i">b</hi><hi rendition="#sub">1</hi> = <hi rendition="#i">a</hi> + <hi rendition="#i">f</hi> + <hi rendition="#i">g</hi>, <hi rendition="#i">c</hi><hi rendition="#sub">1</hi> = <hi rendition="#i">a</hi> + <hi rendition="#i">e</hi> + <hi rendition="#i">g</hi>,<lb/><hi rendition="#i">d</hi><hi rendition="#sub">1</hi> = <hi rendition="#i">a</hi> + <hi rendition="#i">e</hi> + <hi rendition="#i">f</hi> + <hi rendition="#i">g</hi>, <hi rendition="#i">e</hi><hi rendition="#sub">1</hi> = <hi rendition="#i">a</hi> + <formula/> + <hi rendition="#i">g</hi>, <hi rendition="#i">f</hi><hi rendition="#sub">1</hi> = <hi rendition="#i">a</hi> + <formula/> + <hi rendition="#i">g</hi>, <hi rendition="#i">g</hi><hi rendition="#sub">1</hi> = <hi rendition="#i">a</hi> + <formula/>,</hi></item></list></item></list><lb/> wo nunmehr die Terme rechterhand sämtlich disjunkt sind.</p><lb/> <p>Wir können dann sagen, <hi rendition="#i">dass von den vier Zeichen der</hi> „<hi rendition="#i">Wert-<lb/> gemeinschaft</hi>“:<lb/><hi rendition="#c"><choice><orig></orig><reg>⊆</reg></choice> , <choice><orig></orig><reg>⊆</reg></choice> , <choice><orig></orig><reg>⊆</reg></choice>, = (entsprechend <hi rendition="#i">a</hi><hi rendition="#sub">1</hi>, <hi rendition="#i">b</hi>, <hi rendition="#i">c</hi>, <hi rendition="#i">d</hi>)</hi><lb/><hi rendition="#i">das erste in die drei letzten und die drei ersten in das letzte übergehen</hi><lb/> oder ausarten <hi rendition="#i">können</hi>, wie ich dies schon <hi rendition="#sup">1</hi> p. 148 bemerkte.</p><lb/> <p>Die Tafeln VI<hi rendition="#sup">0</hi> und VII<hi rendition="#sup">0</hi> kommen dann von selbst in Wegfall,<lb/> und verlohnt es, zusammenzustellen, zu was sich die Tafeln VIII<hi rendition="#sup">0</hi> und<lb/> IX<hi rendition="#sup">0</hi> alsdann vereinfachen:<lb/></p> </div> </div> </div> </body> </text> </TEI> [128/0152]
Achtzehnte Vorlesung.
Wenn z = e1 f1 (c + e) (d1 + h) bedeutet, so wird man ebenso mittelst
der Zwischenrechnung:
z = {(h k + h1 k1 a) + α + δ} {(h + k) + β + γ + δ} {a + α + β + γ} = a (h + k) (h k + h1 k1 a)
dies leicht reduziren zu:
z = h k. Etc.
In dieser Weise können die hier gegebenen Tafeln auch dazu bei-
tragen, die Aufgabe der Reduktion einer Kollektivaussage auf den Typus
der Gleichung und Ungleichung gemäss § 36, Tafel IV0 und später
noch § 39, Tafel XVII0 vorbereitend zu erleichtern.
Für manch’ ein Untersuchungsfeld ist ständig h = 0 und k = 0,
nämlich von vornherein die Möglichkeit ausgeschlossen, dass A oder B
ein leeres Gebiet sei, „nichts“ bedeute, oder, wie wir auch sagen können
„sinnlos“ oder „undeutig“ werde. Dies wäre z. B. der Fall bei den
Anwendungen auf eine Mannigfaltigkeit, welcher die identische Null
nicht adjungirt ist, nicht angehört. Eine Exemplifikation bildet die
Rechnung mit vieldeutigen Zahlen-Ausdrücken, mehrdeutigen Funktionen,
welche für das ganze Zahlengebiet, „explizirt“ sind, niemals eines Wertes
entbehren oder undeutig ausfallen, wie ich sie in meinem Lehrbuch
der Arithmetik und Algebra 1 in Untersuchung gezogen habe. Da hier
h1 = i, k1 = i ist, so wird δ = d, γ = f, β = e, und da ohnehin
stets α = g, so geht die „Hauptgleichung“ nebst dem Tableau III0
über in:
X0.i = a + d + e + f + g,
a1 = d + e + f + g, b = d + e, c = d + f,
b1 = a + f + g, c1 = a + e + g,
d1 = a + e + f + g, e1 = a + [FORMEL] + g, f1 = a + [FORMEL] + g, g1 = a + [FORMEL],
wo nunmehr die Terme rechterhand sämtlich disjunkt sind.
Wir können dann sagen, dass von den vier Zeichen der „Wert-
gemeinschaft“:
 ,  , , = (entsprechend a1, b, c, d)
das erste in die drei letzten und die drei ersten in das letzte übergehen
oder ausarten können, wie ich dies schon 1 p. 148 bemerkte.
Die Tafeln VI0 und VII0 kommen dann von selbst in Wegfall,
und verlohnt es, zusammenzustellen, zu was sich die Tafeln VIII0 und
IX0 alsdann vereinfachen:
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/152 |
Zitationshilfe: | Schröder, Ernst: Vorlesungen über die Algebra der Logik. Bd. 2, Abt. 1. Leipzig, 1891, S. 128. In: Deutsches Textarchiv <https://www.deutschestextarchiv.de/schroeder_logik0201_1891/152>, abgerufen am 26.08.2024. |