急求“形式逻辑”题目答案

第一步：
(3)
B只有跟C在一起时，才参与作案
=
只有C是凶手，B才会是凶手。
加上(5)
C没有作案时间(即C不是凶手)。构成必要条件假言判断否定前件式，可必然推出：B不是凶手。
第二步：
(4)如果B不是凶手，那么A也不可能是凶手。加上“B不是凶手”，构成充分条件假言推理肯定前件式，可必然推出：A不是凶手。
第三步：
(1)
A.D二人中至少有一人是凶手
=
或者A是凶手，或者D是凶手。加上“A不是凶手”，构成相容的选言推理否定肯定式，可必然推出：D是凶手。
第四步：
(3)如果D是凶手，E一定是凶手。加上D是凶手，构成充分条件假言推理肯定前件式，可必然推出：E是凶手。
综上：A、B、C不是凶手，D、E是凶手。
——参见《逻辑学》（高等教育出版社2010年4月出版，作者杨树森）第155,168,172页。