已知：本次联赛冠军或者是红队，或者是蓝队（两者可以同分共享）；如果红队夺冠，主教…
已知：本次联赛冠军或者是红队，或者是蓝队（两者可以同分共享）；如果红队夺冠，主教练就会续约。赛季结束后，主教练没有续约。由此可以推出：
A. 红队获得了冠军
B. 两队共享了冠军
C. 主教练另有高就
D. 蓝队获得了冠军
答案与解析
正确答案：D
花生十三讲解
用翻译推理的逆否等价加选言排除。翻译：红队夺冠→主教练续约。逆否等价：没有续约→红队没有夺冠。已知主教练没有续约，故红队没夺冠；又冠军在红队或蓝队之中，相容选言否定一肢则另一肢必真，推出蓝队获得冠军，D正确。A、B与推理结论矛盾，C另有高就是无据猜测。确认答案为D。
原解析
“红队夺冠→教练续约”的逆否：没续约→红队没夺冠。又冠军在红队或蓝队之中，红队没夺冠，则蓝队夺冠。A、B与推理矛盾，C是无据猜测。