已知：小笪和小佴至少有一人要参加周二的塔机顶升检查；如果小佴参加，他就要提前领取…
已知：小笪和小佴至少有一人要参加周二的塔机顶升检查；如果小佴参加，他就要提前领取力矩扳手。小佴至今没有领取任何工具。由此可以推出：
A. 小佴参加周二的顶升检查
B. 两人都不参加检查
C. 塔机已经封顶
D. 小笪参加周二的顶升检查
答案与解析
正确答案：D
花生十三讲解
用翻译推理结合选言的否定肯定式解题。'小佴参加→提前领取力矩扳手'的逆否：未领工具→小佴不参加。小佴至今没有领取任何工具，故他不参加周二检查。又'小笪和小佴至少一人参加'，小佴被排除，由否定肯定式必然推出小笪参加，D正确。A与逆否结论矛盾，B违反'至少一人'前提，C封顶情况无据。确认答案为D。
原解析
“小佴参加→提前领扳手”的逆否：未领工具→小佴不参加。至少一人参加，排除小佴，故小笪参加。A与推理矛盾，B违反前提，C无据。