Schröder, Ernst: Vorlesungen über die Algebra der Logik. Bd. 1. Leipzig, 1890.Dreizehnte Vorlesung. Dies gibt, nach c geordnet:0 = Sa · b f1 + {Di + Mi · f1} b · c + {(Di + Mi) f + (Do + Fr) f1 + Sa} b1 · c1, was zerfällt in die Resultante der Elimination auch noch von c: Sa · b f1 = 0 und in die beiden Subsumtionen: Di · b + Mi · b f1 c1, (Di + Mi) b1 f + (Do + Fr) b1 f1 + Sa · b1 c. In Beantwortung der gestellten Fragen haben wir demnach das Wenn am Di. oder Mi. f ohne b ausgeht, desgleichen, wenn am Wenn am Di. b ausgeht, sowie wenn am Mi. b ohne f ausgeht, In jedem andern Falle kann c nach Belieben verfahren. Wie es Die vorstehende ist wol die komplizirteste von den Aufgaben des 28. Aufgabe. McColl, Math. Questions, Vol. 33, p. 22 .. 24, auch Ähnlich wie in der 11. Aufgabe mögen nachstehend die Buch- Auflösung. Elimination von y aus der vereinigten Gleichung der Dreizehnte Vorlesung. Dies gibt, nach c geordnet:0 = Sa · b f1 + {Di + Mi · f1} b · c + {(Di + Mi) f + (Do + Fr) f1 + Sa} b1 · c1, was zerfällt in die Resultante der Elimination auch noch von c: Sa · b f1 = 0 und in die beiden Subsumtionen: Di · b + Mi · b f1 ⋹ c1, (Di + Mi) b1 f + (Do + Fr) b1 f1 + Sa · b1 ⋹ c. In Beantwortung der gestellten Fragen haben wir demnach das Wenn am Di. oder Mi. f ohne b ausgeht, desgleichen, wenn am Wenn am Di. b ausgeht, sowie wenn am Mi. b ohne f ausgeht, In jedem andern Falle kann c nach Belieben verfahren. Wie es Die vorstehende ist wol die komplizirteste von den Aufgaben des 28. Aufgabe. McColl, Math. Questions, Vol. 33, p. 22 ‥ 24, auch Ähnlich wie in der 11. Aufgabe mögen nachstehend die Buch- Auflösung. Elimination von y aus der vereinigten Gleichung der <TEI> <text> <body> <div n="1"> <div n="2"> <p><pb facs="#f0572" n="552"/><fw place="top" type="header">Dreizehnte Vorlesung.</fw><lb/> Dies gibt, nach <hi rendition="#i">c</hi> geordnet:<lb/> 0 = Sa · <hi rendition="#i">b f</hi><hi rendition="#sub">1</hi> + {Di + Mi · <hi rendition="#i">f</hi><hi rendition="#sub">1</hi>} <hi rendition="#i">b</hi> · <hi rendition="#i">c</hi> + {(Di + Mi) <hi rendition="#i">f</hi> + (Do + Fr) <hi rendition="#i">f</hi><hi rendition="#sub">1</hi> + Sa} <hi rendition="#i">b</hi><hi rendition="#sub">1</hi> · <hi rendition="#i">c</hi><hi rendition="#sub">1</hi>,<lb/> was zerfällt in die Resultante der Elimination auch noch von <hi rendition="#i">c</hi>:<lb/><hi rendition="#c">Sa · <hi rendition="#i">b f</hi><hi rendition="#sub">1</hi> = 0</hi><lb/> und in die beiden Subsumtionen:<lb/><hi rendition="#c">Di · <hi rendition="#i">b</hi> + Mi · <hi rendition="#i">b f</hi><hi rendition="#sub">1</hi> ⋹ <hi rendition="#i">c</hi><hi rendition="#sub">1</hi>, (Di + Mi) <hi rendition="#i">b</hi><hi rendition="#sub">1</hi> <hi rendition="#i">f</hi> + (Do + Fr) <hi rendition="#i">b</hi><hi rendition="#sub">1</hi> <hi rendition="#i">f</hi><hi rendition="#sub">1</hi> + Sa · <hi rendition="#i">b</hi><hi rendition="#sub">1</hi> ⋹ <hi rendition="#i">c</hi>.</hi></p><lb/> <p>In Beantwortung der gestellten Fragen haben wir demnach das<lb/> Ergebniss:</p><lb/> <p>Wenn am Di. oder Mi. <hi rendition="#i">f</hi> ohne <hi rendition="#i">b</hi> ausgeht, desgleichen, wenn am<lb/> Do. oder Fr. <hi rendition="#i">b</hi> und <hi rendition="#i">f</hi> beide daheim bleiben, endlich, wenn am Sa. <hi rendition="#i">b</hi><lb/> zuhause bleibt, so muss <hi rendition="#i">c</hi> ausgehen.</p><lb/> <p>Wenn am Di. <hi rendition="#i">b</hi> ausgeht, sowie wenn am Mi. <hi rendition="#i">b</hi> ohne <hi rendition="#i">f</hi> ausgeht,<lb/> dann muss <hi rendition="#i">c</hi> zuhause bleiben.</p><lb/> <p>In jedem andern Falle kann <hi rendition="#i">c</hi> nach Belieben verfahren. Wie es<lb/> aber auch verfahren möge, so wird am Sa. <hi rendition="#i">b</hi> nicht ohne <hi rendition="#i">f</hi> ausgehen<lb/> dürfen.</p><lb/> <p>Die vorstehende ist wol die komplizirteste von den Aufgaben des<lb/> Denkrechnens, die bis jetzt überhaupt gestellt und gelöst worden sind.</p><lb/> <p>28. <hi rendition="#g">Aufgabe</hi>. <hi rendition="#g">McColl</hi>, Math. Questions, Vol. 33, p. 22 ‥ 24, auch<lb/> gelöst von C. J. <hi rendition="#g">Monro</hi>.</p><lb/> <p>Ähnlich wie in der 11. Aufgabe mögen nachstehend die Buch-<lb/> staben gedeutet werden als Klassen der Fälle, in welchen ein gleich-<lb/> namiges Ereigniss eintritt. Dann soll beobachtet sein, dass:<lb/><hi rendition="#i">a b x</hi> ⋹ <hi rendition="#i">c d e</hi>, <hi rendition="#i">b c y</hi> ⋹ <hi rendition="#i">d e</hi>, <hi rendition="#i">c</hi> + <hi rendition="#i">d</hi> + <hi rendition="#i">e</hi><hi rendition="#sub">1</hi> ⋹ (<hi rendition="#i">a</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">b</hi> + <hi rendition="#i">x</hi>) (<hi rendition="#i">b</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">c</hi> + <hi rendition="#i">y</hi>), <hi rendition="#i">a</hi><hi rendition="#sub">1</hi> <hi rendition="#i">x</hi> = <hi rendition="#i">b</hi><hi rendition="#sub">1</hi> <hi rendition="#i">y</hi>.<lb/> Gesucht, wann ohne Rücksicht auf <hi rendition="#i">y</hi> das Eintreffen (resp. Eingetroffen-<lb/> sein) oder Nichteintreffen des Ereignisses <hi rendition="#i">x</hi> verbürgt ist.</p><lb/> <p><hi rendition="#g">Auflösung</hi>. Elimination von <hi rendition="#i">y</hi> aus der vereinigten Gleichung der<lb/> drei letzten Prämissen:<lb/><hi rendition="#c"><hi rendition="#i">b c</hi> (<hi rendition="#i">d</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">e</hi><hi rendition="#sub">1</hi>) <hi rendition="#i">y</hi> + (<hi rendition="#i">c</hi> + <hi rendition="#i">d</hi> + <hi rendition="#i">e</hi><hi rendition="#sub">1</hi>) (<hi rendition="#i">a b</hi><hi rendition="#sub">1</hi> <hi rendition="#i">x</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">b c</hi><hi rendition="#sub">1</hi> <hi rendition="#i">y</hi><hi rendition="#sub">1</hi>) + <hi rendition="#i">a</hi><hi rendition="#sub">1</hi> <hi rendition="#i">x</hi> (<hi rendition="#i">b</hi> + <hi rendition="#i">y</hi><hi rendition="#sub">1</hi>) + (<hi rendition="#i">a</hi> + <hi rendition="#i">x</hi><hi rendition="#sub">1</hi>) <hi rendition="#i">b</hi><hi rendition="#sub">1</hi> <hi rendition="#i">y</hi> = 0</hi><lb/> gibt: <hi rendition="#et"><hi rendition="#i">a</hi><hi rendition="#sub">1</hi><hi rendition="#i">b x</hi> + <hi rendition="#i">a b</hi><hi rendition="#sub">1</hi> (<hi rendition="#i">c</hi> + <hi rendition="#i">d</hi> + <hi rendition="#i">e</hi><hi rendition="#sub">1</hi>) <hi rendition="#i">x</hi><hi rendition="#sub">1</hi> = 0,</hi><lb/> und dies mit der ersten Prämisse (die <hi rendition="#i">y</hi> gar nicht enthielt) vereinigt:<lb/><hi rendition="#c">(<hi rendition="#i">a</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">c</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">d</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">e</hi><hi rendition="#sub">1</hi>) <hi rendition="#i">b x</hi> + <hi rendition="#i">a b</hi><hi rendition="#sub">1</hi> (<hi rendition="#i">c</hi> + <hi rendition="#i">d</hi> + <hi rendition="#i">e</hi><hi rendition="#sub">1</hi>) <hi rendition="#i">x</hi><hi rendition="#sub">1</hi> = 0.</hi><lb/> Die Auflösung dieser Resultante nach <hi rendition="#i">x</hi>, mitnebst deren Konversion (d. h.<lb/> ihrer Auflösung nach <hi rendition="#i">x</hi><hi rendition="#sub">1</hi>):<lb/><hi rendition="#i">a b</hi><hi rendition="#sub">1</hi> (<hi rendition="#i">c</hi> + <hi rendition="#i">d</hi> + <hi rendition="#i">e</hi><hi rendition="#sub">1</hi>) ⋹ <hi rendition="#i">x</hi> ⋹ <hi rendition="#i">a c d e</hi> + <hi rendition="#i">b</hi><hi rendition="#sub">1</hi>, (<hi rendition="#i">a</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">c</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">d</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">e</hi><hi rendition="#sub">1</hi>) <hi rendition="#i">b</hi> ⋹ <hi rendition="#i">x</hi><hi rendition="#sub">1</hi> ⋹ <hi rendition="#i">a</hi><hi rendition="#sub">1</hi> + <hi rendition="#i">b</hi> + <hi rendition="#i">c</hi><hi rendition="#sub">1</hi> <hi rendition="#i">d</hi><hi rendition="#sub">1</hi> <hi rendition="#i">e</hi><lb/> lässt die Subjekte von <hi rendition="#i">x</hi> und <hi rendition="#i">x</hi><hi rendition="#sub">1</hi> (daneben ungefragt auch ihre Prädikate)<lb/> erkennen — was leicht in Worten zu formuliren.</p><lb/> </div> </div> </body> </text> </TEI> [552/0572]
Dreizehnte Vorlesung.
Dies gibt, nach c geordnet:
0 = Sa · b f1 + {Di + Mi · f1} b · c + {(Di + Mi) f + (Do + Fr) f1 + Sa} b1 · c1,
was zerfällt in die Resultante der Elimination auch noch von c:
Sa · b f1 = 0
und in die beiden Subsumtionen:
Di · b + Mi · b f1 ⋹ c1, (Di + Mi) b1 f + (Do + Fr) b1 f1 + Sa · b1 ⋹ c.
In Beantwortung der gestellten Fragen haben wir demnach das
Ergebniss:
Wenn am Di. oder Mi. f ohne b ausgeht, desgleichen, wenn am
Do. oder Fr. b und f beide daheim bleiben, endlich, wenn am Sa. b
zuhause bleibt, so muss c ausgehen.
Wenn am Di. b ausgeht, sowie wenn am Mi. b ohne f ausgeht,
dann muss c zuhause bleiben.
In jedem andern Falle kann c nach Belieben verfahren. Wie es
aber auch verfahren möge, so wird am Sa. b nicht ohne f ausgehen
dürfen.
Die vorstehende ist wol die komplizirteste von den Aufgaben des
Denkrechnens, die bis jetzt überhaupt gestellt und gelöst worden sind.
28. Aufgabe. McColl, Math. Questions, Vol. 33, p. 22 ‥ 24, auch
gelöst von C. J. Monro.
Ähnlich wie in der 11. Aufgabe mögen nachstehend die Buch-
staben gedeutet werden als Klassen der Fälle, in welchen ein gleich-
namiges Ereigniss eintritt. Dann soll beobachtet sein, dass:
a b x ⋹ c d e, b c y ⋹ d e, c + d + e1 ⋹ (a1 + b + x) (b1 + c + y), a1 x = b1 y.
Gesucht, wann ohne Rücksicht auf y das Eintreffen (resp. Eingetroffen-
sein) oder Nichteintreffen des Ereignisses x verbürgt ist.
Auflösung. Elimination von y aus der vereinigten Gleichung der
drei letzten Prämissen:
b c (d1 + e1) y + (c + d + e1) (a b1 x1 + b c1 y1) + a1 x (b + y1) + (a + x1) b1 y = 0
gibt: a1 b x + a b1 (c + d + e1) x1 = 0,
und dies mit der ersten Prämisse (die y gar nicht enthielt) vereinigt:
(a1 + c1 + d1 + e1) b x + a b1 (c + d + e1) x1 = 0.
Die Auflösung dieser Resultante nach x, mitnebst deren Konversion (d. h.
ihrer Auflösung nach x1):
a b1 (c + d + e1) ⋹ x ⋹ a c d e + b1, (a1 + c1 + d1 + e1) b ⋹ x1 ⋹ a1 + b + c1 d1 e
lässt die Subjekte von x und x1 (daneben ungefragt auch ihre Prädikate)
erkennen — was leicht in Worten zu formuliren.
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_logik01_1890 |
URL zu dieser Seite: | https://www.deutschestextarchiv.de/schroeder_logik01_1890/572 |
Zitationshilfe: | Schröder, Ernst: Vorlesungen über die Algebra der Logik. Bd. 1. Leipzig, 1890, S. 552. In: Deutsches Textarchiv <https://www.deutschestextarchiv.de/schroeder_logik01_1890/572>, abgerufen am 22.07.2024. |