用归结法证明下面推理. 前提:p→(q→s),r→p,q. 结论:r→s.
用归结法证明下面推理.
前提:p→(q→s),r→p,q.
结论:r→s.
用归结法证明下面推理.
前提:p→(q→s),r→p,q.
结论:r→s.
用归结法证明下面推理.
如果周强是上海人,则他是复旦大学或中山大学的学生;如果他不想离开上海,他就不是中山大学学生;周强是上海人并且不想离开上海,所以他是复旦大学学生.
在自然推理系统P中,构造下面推理的证明.
小王学过英语或日语.如果小王学过英语,则他去过英国;如果他去过英国,他也去过日本,所以小王学过日语或去过日本.
指出下面证明的错误之处:
证明:是永真的.
(1)
(2)
(3)
(4)P(e)
(5)Q(e)
(6)P(e)∧Q(e)
(7)
在自然推理系统P中构造下面推理的证明。
(1)如果今天是星期六,我们就要到颐和园或圆明园去玩,如果颐和园游人太多,我们就不去颐和园玩,今天是星期六,颐和园游人太多,所以我们去圆明园玩。
(2)如果小王是理科学生,他的数学成绩一定很好,如果小王不是文科生,他必是理科生,小王的数学成绩不好所以小王是文科学生
(3)明天是晴天,或是雨天;若明天是晴天,我就去看电影;若我看电影,我就不看书,所以,如果我看书,则明天是雨天
A.上文推理中把一个前提本身足以保证得到某一结论的前提,看成是要使某一结论产生的惟一前提
B.上文推理中把一个必须具备两个前提才能成立的结论,仅仅建立在这两个前提中的一个前提上
C.上文推理中把一个事件解释成是由另一个事件造成的,而实际上这两个事件都是由第三个不知晓的事件造成的
D.在“某个前提”下某种情况就会发生,上文推理中把用来证明缺乏“某个前提”的证据当作一个直接的证据来使用,有这个证据“某种情况”就不会发生