下式推证是否有效?
甲、乙、丙、丁四人参加拳击比赛，如果甲获胜，则乙失败；如果丙获胜，则乙也获胜；如果甲不获胜，则丁不失败．所以，如果丙获胜，则丁不失败．

【参考答案】

设A：甲获胜；B：乙获胜；C：丙获胜；D：丁获胜．
前提 A→￢B，C→B，￢A→D
结论 C→D......

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