找考题网-背景图
问答题

某市发生一起抢劫杀人案,经初步侦察,犯罪嫌疑人为A、B、C。现已知: ①如果A无罪或B有罪,那么,C有罪; ②只有A有罪,C才有罪。 [请问] A是否有罪写出推导过程。 (设:A表示“A有罪”,
表示“A无罪”,其他类同。)

【参考答案】

将已知条件符号化: ①¬A∨B→C 前提 ②A←C 前提 ③C→A ②等值关系 ④¬......

(↓↓↓ 点击‘点击查看答案’看完整答案 ↓↓↓)