上海某宾馆来了A、B、C三位客人,现已知: ①如果A和B都来自北京,那么C就来自昆明; ②并非C来自杭州或昆明; ③只有B来自北京,C才不是来自杭州。 请问:A是否来自北京?写出推导过程。 (设:A表示“A来自北京”,B表示“B来自北京”,C1表示“C来自

admin2019-01-03  20

问题 上海某宾馆来了A、B、C三位客人,现已知:
①如果A和B都来自北京,那么C就来自昆明;
②并非C来自杭州或昆明;
③只有B来自北京,C才不是来自杭州。
请问:A是否来自北京?写出推导过程。
(设:A表示“A来自北京”,B表示“B来自北京”,C1表示“C来自昆明”,C2表示“C来自杭州”。)

选项

答案将已知条件用符号表示如下: ①AB∧→C1 前提 ②[*] 前提 ③[*] 前提 ④[*] ②等值关系 ⑤[*] ④联言推理分解式 ⑥[*] ①、⑤充分条件假言推理 ⑦[*] ⑥等值关系 ⑧[*] ④联言推理分解式 ⑨B ③、⑧必要条件假言推理 ⑩[*] ⑦、⑨相容选言推理 由上可知,A不是来自北京。

解析
转载请注明原文地址:https://kaotiyun.com/show/I1VR777K
本试题收录于: 普通逻辑题库公共课分类
0

最新回复(0)