题目内容
(请给出正确答案)
[主观题]
在自然推理系统F中。证明下面推理:(1)每个有理数都是实数,有的有理数是整数。因此有的实数是整数(2)有理数,无理数都是实数,虚数不是实数,因此虚数既不是有理数,也不是无理数(3)不存在能表示成分数的无理数,有理数都能表示成分数,因此有理数都不是无理数.
查看答案
如果结果不匹配,请 联系老师 获取答案
在自然推理系统P中,构造下面推理的证明.
小王学过英语或日语.如果小王学过英语,则他去过英国;如果他去过英国,他也去过日本,所以小王学过日语或去过日本.
用归结法证明下面推理.
如果周强是上海人,则他是复旦大学或中山大学的学生;如果他不想离开上海,他就不是中山大学学生;周强是上海人并且不想离开上海,所以他是复旦大学学生.
用推理规则证明下式:
前提 (x)(F(x)∧S(x))→(y)(M(y)→W(y)),(3y)(M(y)∧¬W(y)),
结论 (x)(F(x)→¬S(x)).
A.上文推理中把一个前提本身足以保证得到某一结论的前提,看成是要使某一结论产生的惟一前提
B.上文推理中把一个必须具备两个前提才能成立的结论,仅仅建立在这两个前提中的一个前提上
C.上文推理中把一个事件解释成是由另一个事件造成的,而实际上这两个事件都是由第三个不知晓的事件造成的
D.在“某个前提”下某种情况就会发生,上文推理中把用来证明缺乏“某个前提”的证据当作一个直接的证据来使用,有这个证据“某种情况”就不会发生
A.(2)
B.(4)
C.(6)
D.(5)