多做题,通过考试没问题!

法律逻辑学

睦霖题库>大学试题(法学)>法律逻辑学

已知: (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不是罪犯。]
答案解析:
进入题库查看解析

微信扫一扫手机做题