证明题 在一阶逻辑中，构造下面的证明:前提:P→(qVr)，s→一q，P，S结论
答案:1 悬赏:0 手机版
解决时间 2021-11-16 06:59
- 提问者网友：饥饿走向夜
- 2021-11-15 17:38
证明题 在一阶逻辑中，构造下面的证明:前提:P→(qVr)，s→一q，P，S结论
最佳答案
- 五星知识达人网友：独行浪子会拥风
- 2021-11-15 18:58
p^q
p
r
p^q
q
s
r
s
r^s
注：换行表示“推出”关系,分段表示上一段演绎结束
p
r
p^q
q
s
r
s
r^s
注：换行表示“推出”关系,分段表示上一段演绎结束
我要举报
如以上问答信息为低俗、色情、不良、暴力、侵权、涉及违法等信息，可以点下面链接进行举报！
大家都在看
推荐资讯