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

admin2019-01-03  23

问题 已知:①只有破获03号案件,才能确认甲、乙、丙三人都是罪犯;
  ②03号案件没有破获;
  ③如果甲不是罪犯,则甲的证词是真的,而甲说乙不是罪犯;
  ④如果乙不是罪犯,则乙的供词是真的,而乙说自己与丙是好朋友;
  ⑤现查明,丙根本不认识乙。
  问:根据上述已知情况,甲、乙、丙三人中谁是罪犯?谁不是罪犯?并写出推理过程。

选项

答案设:p表示“03号案件破获”; q表示“乙与丙是好朋友”; r表示“甲是罪犯”; s表示“乙是罪犯”; t表示“丙是罪犯”。 已知条件用符号表示如下: ①p←r∧s∧t [*] 由上述前提可构造如下推导过程: [*] ⑧s ④⑤充分条件假言推理 ⑨r ③⑧充分条件假言推理 ⑩r∧s ⑧⑨联言推理 [*] 由上可知,甲、乙是罪犯,丙不是罪犯。

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

最新回复(0)