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

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

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

普通逻辑

公共课

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