问答题 下式推证是否有效?
   甲、乙、丙、丁四人参加拳击比赛，如果甲获胜，则乙失败；如果丙获胜，则乙也获胜；如果甲不获胜，则丁不失败．所以，如果丙获胜，则丁不失败．
【正确答案】设A：甲获胜；B：乙获胜；C：丙获胜；D：丁获胜．
   前提  A→￢B，C→B，￢A→D
   结论  C→D
   ①A→￢B    P
   ②B→￢A    ①T，E
   ③￢A→D    P
   ④B→D    ②③T，I
   ⑤C→B    P
   ⑥C→D    ④⑤T，I
   故本题的推证有效．
【答案解析】