已知: (1)只有破获01号案件,才能确认A、B、C三人都是罪犯。 (2)01号案件没有破获。 (3)如果A不是罪犯,则A的供词是真的,而A说B不是罪犯。 (4)如果B不是罪犯,则B的供词是真的,而B说自己与C是好朋友。 (5)现查明C根本不认识B。 问: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不是罪犯。]
答案解析
相似试题
(单选题)
某市发生了一个代号为1207的案件,已知: (ⅰ)只有破获1207案件,才能确认黄×、王×、朱××三个都是作案人; (ⅱ)如果黄×不是作案人,则黄×的供词是真的,而黄×说王×不是作案人; (ⅲ)如果王×不是作案人,则王×的供词是真的,而王×说自己和朱××是好朋友;现已查明(ⅳ)朱××根本不认识王×,但(ⅴ)1207案尚无法结案。 由以上条件,可以合乎逻辑地推出以下各项中一定为真的是()。
(单选题)
家庭暴力案件证据的证明力不一,只有形成(),才能作为人民法院认定家庭暴力事实的证据。
(简答题)
马某因犯盗窃罪被判处有期徒刑5年。在服刑过程中主动交代还曾犯有盗窃罪。经公安机关调查,确有此事,犯罪事实当时已被公安机关发现,只是犯罪人一直未能确定,案件未破获。请分析:马某主动交代盗窃案件的行为是否属于自首?为什么?
(单选题)
某地发生一起凶杀案。侦查人员很快就抓获甲、乙、丙、丁四个犯罪嫌疑人,经调查后确认: ⅰ.甲是凶手或者乙是凶手; ⅱ.如果乙是凶手,则丙不是凶手; ⅲ.只有丙是凶手,丁才不是凶手。 在已知甲不是凶手的情况下,可必然推出()。
(简答题)
指出下列判断的种类,并写出其逻辑形式。 1、只有保持一种乐观的心态,才能健康长寿。 2、如果与敌人遭遇了,那就只好拼了。
(简答题)
甲、乙二人将结伙盗窃的一头骆驼以1000元买给了丙,丙不知道这几头骆驼是赃物,又以1500元卖给了丁。后公安机关破获甲、乙二人盗窃案件,将该骆驼作为赃物追缴后退还给失主。丁以此为由从丙处要回了6500元价款。丙要求甲、乙返还1000元款项。问题:
(简答题)
甲、乙二人将结伙盗窃的一头骆驼以1000元买给了丙,丙不知道这几头骆驼是赃物,又以1500元卖给了丁。后公安机关破获甲、乙二人盗窃案件,将该骆驼作为赃物追缴后退还给失主。丁以此为由从丙处要回了6500元价款。丙要求甲、乙返还1000元款项。问题:
(简答题)
甲、乙二人将结伙盗窃的一头骆驼以1000元买给了丙,丙不知道这几头骆驼是赃物,又以1500元卖给了丁。后公安机关破获甲、乙二人盗窃案件,将该骆驼作为赃物追缴后退还给失主。丁以此为由从丙处要回了6500元价款。丙要求甲、乙返还1000元款项。问题:
(简答题)
甲、乙二人将结伙盗窃的一头骆驼以1000元买给了丙,丙不知道这几头骆驼是赃物,又以1500元卖给了丁。后公安机关破获甲、乙二人盗窃案件,将该骆驼作为赃物追缴后退还给失主。丁以此为由从丙处要回了6500元价款。丙要求甲、乙返还1000元款项。问题: