构造下而推理的证明.小王学过英语或日语，如果小王学过英语，则他去过英国;如果他去过英国，他也去过日本,所以小王学过日语或去过日本.

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

小王学过英语或日语．如果小王学过英语，则他去过英国；如果他去过英国，他也去过日本，所以小王学过日语或去过日本．

如果“除非小王是大学生，否则他不会说英语，()，为假，

A.小王不是大学生，但是他会说英语

B.小王是大学生，但是他并不会说英语

C.小王不是大学生，他不会说英语

D.小王是大学生，他会说英语

A.如果小王不是大学生，那么小王不懂英语

B.小王是大学生并且小王不懂英语

C.小王不是大学生并且小王不懂英语

D.小王不是大学生或者小王懂英语

E.如果小王懂英语，那么小王是大学生

A.公司应当在聘用小王之后的一个月内与其订立劳动合同

B.公司口头告知小王的试用期有效

C.如果小王不要求继续履行合同，用人单位应当按照经济补偿标准的三倍向劳动者支付赔偿金

D.如果小王要求继续履行劳动合同，用人单位应当继续履行

小王去年去过长城，至今长城的映像还留在他的脑海中。请问，这种映像属于

A、知觉

B、表象

C、想像

D、思维

E、感觉

用归结法证明下面推理．

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

A.大多数灰狗都很容易训练，所以小王训练他新买的那条也肯定没有问题。

B.大多数国产车都很差，这辆车做得很好，所以它可能不是国产的。

C.大多数名演员表演得都很好，因为老高不是名演员，所以他可能演得不好。

D.大多数工程师都在学校里学习了很多年，所以老刘可能是一个工程师，因为他在学校里学习了很多年。

A.大多数灰狗都很容易训练，所以小王训练他新买的那条狗肯定没问题

B.大多数国产车都很差，这辆车做得好，所以它可能不是国产的

C.大多数名演员表演的都很好，因为老高不是名演员，所以他可能演的不好

D.大多数工程师都在学校里面学习了很多年，所以老刘可能是一个工程师，因为他在学校里学习了很多年

小王参加了某公司招工面试，不久，他得知以下消息：

(1)公司已决定，他与小陈至少录用一人。

(2)公司可能不录用他。

(3)公司一定录用他。

(4)公司已录用小陈。

其中两条消息为真，两条消息为假。如果上述断定为真，则以下哪项为真？()

A.公司已录用小王，未录用小陈

B．公司未录用小王，已录用小陈

C.公司既录用了小王，也录用了小陈

D．公司既未录用小王，也未录用小陈