前提：(p∨q)→(u∧s),(s∨t)→r 结论：p→r 怎么证明啊?
人气：119 ℃ 时间：2020-05-19 03:38:53
解答
（1）p P(附加前提)
（2）p∨q T(1)
(3) (p∨q)→(u∧s) P
(4) u∧s T(2)(3) I
(5) s T(4) I
（6) s∨t T(5) I
(7) (s∨t)→r P
(8) r T(6)(7)
(9) p→r CP
推荐
- 证明 前提:p→(┐(r∧s)→┐q),p,┐s 结论:┐q
- 离散数学命题证明题 前提:p→s,q→r,p∨q,┘r 结论:r
- 构建下面推理的证明 前提：p合取q,p蕴含非r,s蕴含t,非s蕴含r,非t 结论：q
- 推理证明,前提,p-＞s.q-＞r.非r.p∨q结论s
- 在命题逻辑中构造下面推理的证明 前提:p→s,q→r,┐r,p∨q,结论s
- 如图，已知直角△ABC的两直角边分别为6，8，分别以其三边为直径作半圆，求图中阴影部分的面积．
- 1=5,2=25,3=215,4=365,5=几?
- 设函数在x=0处连续且x趋于0时lim f(2x)/3x=1求过点(0,f(0))的切线方程
猜你喜欢
