请输入或粘贴题目内容
搜题
拍照、语音搜题，请扫码下载APP
题目内容
（请给出正确答案）
用归结法证明下面推理．
如果周强是上海人，则他是复旦大学或中山大学的学生；如果他不想离开上海，他就不是中山大学学生；周强是上海人并且不想离开上海，所以他是复旦大学学生．
答案
更多“用归结法证明下面推理． 如果周强是上海人，则他是复旦大学或中山大学的学生；如果他不想离开上海，他就不是中”相关的问题
第3题
B.在两个析取复合命题中，如果命题q及其反命题分别出现在这两个析取复合命题中，则通过归结法可得到一个新的析取复合命题，只是在析取复合命题中要去除命题q及其反命题
C.如果命题q出现在一个析取复合命题中，命题q的反命题单独存在，则通过归结法可得到一个新的析取复合命题，只是在析取复合命题中要去除命题q及其反命题
D.对命题q及其反命题应用归结法，所得到的命题为假命题
第4题
在自然推理系统P中，构造下面推理的证明．
小王学过英语或日语．如果小王学过英语，则他去过英国；如果他去过英国，他也去过日本，所以小王学过日语或去过日本．
第8题
判定下面实例中包含的推理是否有效
意大利的都灵大教堂，珍藏了相传是包裹耶稣尸体的布，该布是用细亚麻织成的。一次，神学院的4名学生对此物发表了以下看法：学生A：这圣物是真的。因为如果它是假的，那么，它不能一直被我们的教友所敬奉。事实上，我们都是虔诚地敬奉它，可见它是真的。学生B：我也认为是真的。这道理很简单，如果它是真的，那它上面必有大量血迹，因为它是用来包裹尸体的，我们亲眼所见它上面的斑斑血迹，可见它是真的。学生C：我同意B的分析，我补充一点，只有有血迹，它才是圣物；我们亲眼看到它上面血迹很多，无疑它是圣物了。学生D：它根本不是什么圣物。纺织史研究表明，在欧洲亚麻细布直到公元2世纪才出现。这说明，如果它是真的，那么，耶稣应当是公元2世纪以后受难的，可是圣经上都说他在公元1世纪受难。可见这不是圣物。
