首页 > 计算机类考试
题目内容 (请给出正确答案)
[主观题]

用归结法证明下面推理. 前提:p→(q→s),r→p,q. 结论:r→s.

用归结法证明下面推理.

前提:p→(q→s),r→p,q.

结论:r→s.

查看答案
答案
收藏
如果结果不匹配,请 联系老师 获取答案
您可能会需要:
您的账号:,可能还需要:
您的账号:
发送账号密码至手机
发送
安装优题宝APP,拍照搜题省时又省心!
更多“用归结法证明下面推理. 前提:p→(q→s),r→p,q. …”相关的问题
第1题
用归结法证明下面推理. 如果周强是上海人,则他是复旦大学或中山大学的学生;如果他不想离开上海,他就不是中

用归结法证明下面推理.

如果周强是上海人,则他是复旦大学或中山大学的学生;如果他不想离开上海,他就不是中山大学学生;周强是上海人并且不想离开上海,所以他是复旦大学学生.

点击查看答案
第2题
以﹁p为前提进行有效推理,另一前提可以是()。

A.p←﹁q

B.p→﹁q

C.p∨q

D.﹁p∨﹁q

E.﹁p←q

点击查看答案
第3题
如果他是理科学生,他必学好数学。如果他不是文科学生,他必是理科学生。他没学好数学,所以他是文科学生。 证明:设P:他是理科学生; Q:他学好数学; R:他是文科学生; 本例符号化为以下形式推理: P→Q,˥R→P,⊢˥Q→R (1)P→Q P (2)˥R→P P (3)˥R→Q T(1)(2)I (4)˥Q→R T(3)E 故本例是有效论证。 以上推理是否正确。
点击查看答案
第4题
在自然推理系统P中用附加前提法证明下面各推理:

在自然推理系统P中用附加前提法证明下面各推理:

请帮忙给出正确答案和分析,谢谢!

点击查看答案
第5题
在自然推理系统P中,构造下面推理的证明. 小王学过英语或日语.如果小王学过英语,则他去过英国;如果他去过英

在自然推理系统P中,构造下面推理的证明.

小王学过英语或日语.如果小王学过英语,则他去过英国;如果他去过英国,他也去过日本,所以小王学过日语或去过日本.

点击查看答案
第6题
指出下面证明的错误之处: 证明:是永真的. (1) (2) (3) (4)P(e) (5)Q(e) (6)P(e)∧Q(e) (7)

指出下面证明的错误之处:

证明:指出下面证明的错误之处:  证明:是永真的.  (1)  (2)  (3)  (4)P(e)  (5是永真的.

(1)指出下面证明的错误之处:  证明:是永真的.  (1)  (2)  (3)  (4)P(e)  (5

(2)指出下面证明的错误之处:  证明:是永真的.  (1)  (2)  (3)  (4)P(e)  (5

(3)指出下面证明的错误之处:  证明:是永真的.  (1)  (2)  (3)  (4)P(e)  (5

(4)P(e)

(5)Q(e)

(6)P(e)∧Q(e)

(7)指出下面证明的错误之处:  证明:是永真的.  (1)  (2)  (3)  (4)P(e)  (5

点击查看答案
第7题
用消解原理证明以下推理是正确的.前提:(1)不存在能表示为分数的无理数(2)有理数都可以表示为分数.结论:(3)有理数都不是无理数中

点击查看答案
第8题
用归谬法证明下面推理.

用归谬法证明下面推理.

请帮忙给出正确答案和分析,谢谢!

点击查看答案
第9题
在自然推理系统P中构造下面推理的证明。(1)如果今天是星期六,我们就要到颐和园或圆明园去玩,如

在自然推理系统P中构造下面推理的证明。

(1)如果今天是星期六,我们就要到颐和园或圆明园去玩,如果颐和园游人太多,我们就不去颐和园玩,今天是星期六,颐和园游人太多,所以我们去圆明园玩。

(2)如果小王是理科学生,他的数学成绩一定很好,如果小王不是文科生,他必是理科生,小王的数学成绩不好所以小王是文科学生

(3)明天是晴天,或是雨天;若明天是晴天,我就去看电影;若我看电影,我就不看书,所以,如果我看书,则明天是雨天

点击查看答案
第10题
定于明天举办露天音乐会的承办方宣布:音乐会明天照常举办,除非预报出现坏天气或只有很少的预售票
被卖出。如果音乐会被取消,票款将被安排退回给持票人。因为一些持票人的票款退款已经被汇寄给持票人,尽管已经有超过预期数的预售票被卖出,也可以推定肯定发生预报出现坏天气的事。下面说的正是上文推理中包含逻辑毛病的选项是()。

A.上文推理中把一个前提本身足以保证得到某一结论的前提,看成是要使某一结论产生的惟一前提

B.上文推理中把一个必须具备两个前提才能成立的结论,仅仅建立在这两个前提中的一个前提上

C.上文推理中把一个事件解释成是由另一个事件造成的,而实际上这两个事件都是由第三个不知晓的事件造成的

D.在“某个前提”下某种情况就会发生,上文推理中把用来证明缺乏“某个前提”的证据当作一个直接的证据来使用,有这个证据“某种情况”就不会发生

点击查看答案
第11题
“p∧q”真,据联言推理分解式可推出()。

A.“P”真

B.“P”假

C.“q”假

D.“非q”真

点击查看答案
退出 登录/注册
发送账号至手机
密码将被重置
获取验证码
发送
温馨提示
该问题答案仅针对搜题卡用户开放,请点击购买搜题卡。
马上购买搜题卡
我已购买搜题卡, 登录账号 继续查看答案
重置密码
确认修改