在自然推理系统P中,构造下面推理的证明.
小王学过英语或日语.如果小王学过英语,则他去过英国;如果他去过英国,他也去过日本,所以小王学过日语或去过日本.
在自然推理系统中,构造下列推理的证明。每个科学工作者都是刻苦钻研的,每个刻苦钻研而又聪明的人在他的事业中都将获得成功。王大海是科学工作者,并且是聪明的。所以,王大海在他的事业中将获得成功。(个体域为人类集合)
用归结法证明下面推理.
如果周强是上海人,则他是复旦大学或中山大学的学生;如果他不想离开上海,他就不是中山大学学生;周强是上海人并且不想离开上海,所以他是复旦大学学生.
对下列句子符号化,并构造推理证明:
任何人如果他喜欢步行,他就不喜欢乘汽车;每一个人或者喜欢乘汽车或者喜欢骑自行车;有的人不爱骑自行车,因而有的人不爱步行。
A.上文推理中把一个前提本身足以保证得到某一结论的前提,看成是要使某一结论产生的惟一前提
B.上文推理中把一个必须具备两个前提才能成立的结论,仅仅建立在这两个前提中的一个前提上
C.上文推理中把一个事件解释成是由另一个事件造成的,而实际上这两个事件都是由第三个不知晓的事件造成的
D.在“某个前提”下某种情况就会发生,上文推理中把用来证明缺乏“某个前提”的证据当作一个直接的证据来使用,有这个证据“某种情况”就不会发生