试题详情
简答题 已知: (1)只有破获01号案件,才能确认A、B、C三人都是罪犯。 (2)01号案件没有破获。  (3)如果A不是罪犯,则A的供词是真的,而A说B不是罪犯。 (4)如果B不是罪犯,则B的供词是真的,而B说自己与C是好朋友。 (5)现查明C根本不认识B。  问:A、B、C三人中,谁是罪犯?谁不是罪犯?请写出推导过程。
  • A.B都是罪犯,C不是罪犯。
    (1)只有P才(q并且r并且s)[已知]
    (2)非P [已知]
    (3)如果非q那么非 [已知]r
    (4)如果非r那么t [已知]
    (5)非t [已知]
    (6)并非(q并且r并且s)[据(1)、(2)必要条件假言三段论推理否定前件式]
    (7)非q或者非r或者非s [据(6)负判断的等值判断]
    (8)非非r [据(4)、(5)充分条件假言三段论推理否定后件式]
    (9)r [据(8)负判断的等值判断]
    (10)非非q [据(3)、(9)充分条件假言三段论推理否定后件式]
    (11)q [据(10)负判断的等值判断]
    (12)非s [据(7)、(9)、(11)相容选言推理否定肯定式,由此可知,A、B为罪犯,C不是罪犯。]
  • 关注下方微信公众号,在线模考后查看

热门试题