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

【参考答案】

将已知条件符号化： ①￢A∨B→C 前提 ②A←C 前提 ③C→A ②等值关系 ④￢A∨B→A ①、③假言联锁推理 ⑤￢(￢A∨￢B)∨A ④等值关系 ⑥(A∧￢B)∨A ⑤等值关系 ⑦(A∨A)∧(￢B∨A) ⑥等值关系 ⑧A∧(￢B∨A) ⑦等值关系 ⑨A ⑧联言推理分解式 由上可知，A是有罪的。