在自然推理系统P中，构造下面用自然语言给出的推理。若小张喜欢数学，则小李或小赵也喜欢数学。若小李喜欢数学，则他也喜欢物理。小张确实喜欢数学，可小李不喜欢物理。所以，小赵喜欢数学。

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

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

A.T规则

B.假言推理

C.拒取式推理

D.以上都是

用归结法证明下面推理．

前提：p→(q→s)，r→p，q．

结论：r→s．

A.理解自然语言

B.具有推理能力

C.系统拥有一定的常识性知识

D.以上都是

请帮忙给出正确答案和分析，谢谢！

A.lsdev–P–H

B.lsdev–C

C.lsdev–M

D.lsattr–EH

用归结法证明下面推理．

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