2. 自考
  3. 已知：①只有破获03号案件，才能确认甲、乙、丙三人都是罪犯； ②03号案件没有破获； ③如果甲不是罪犯，则甲的证词是真的，而甲说乙不是罪犯； ④如果乙不是罪犯，则乙的供词是真的，而乙说自己与丙是好朋友； ⑤现查明，丙根本不认识乙。 问：根据上述已知情况，甲

已知：①只有破获03号案件，才能确认甲、乙、丙三人都是罪犯； ②03号案件没有破获； ③如果甲不是罪犯，则甲的证词是真的，而甲说乙不是罪犯； ④如果乙不是罪犯，则乙的供词是真的，而乙说自己与丙是好朋友； ⑤现查明，丙根本不认识乙。 问：根据上述已知情况，甲

admin2020-07-07  29
问题 已知：①只有破获03号案件，才能确认甲、乙、丙三人都是罪犯；
②03号案件没有破获；
③如果甲不是罪犯，则甲的证词是真的，而甲说乙不是罪犯；
④如果乙不是罪犯，则乙的供词是真的，而乙说自己与丙是好朋友；
⑤现查明，丙根本不认识乙。
问：根据上述已知情况，甲、乙、丙三人中谁是罪犯?谁不是罪犯?并写出推理过程。
选项
答案设：p表示“03号案件破获”； q表示“乙与丙是好朋友”； r表示“甲是罪犯”； s表示“乙是罪犯”； t表示“丙是罪犯”。 已知条件用符号表示如下： ①p←r∧s∧t ②[*] ③[*] ④[*] ⑤[*] 由上述前提可构造如下推导过程： ⑥[*] ①②必要条件假言推理 ⑦[*] ⑥等值关系 ⑧s ④⑤充分条件假言推理 ⑨r ③⑧充分条件假言推理 ⑩r∧s ⑧⑨联言推理 [*] ⑦等值关系 [*] ⑩[*]相容选言推理。 由上可知，甲、乙是罪犯，丙不是罪犯。
解析
转载请注明原文地址:https://www.kaotiyun.com/show/MhVR777K
本试题收录于： 普通逻辑题库公共课分类
0

普通逻辑

公共课

相关试题推荐
随机试题
最新回复(0)