已知：小昌和小满至少有一人要参加周一的盾构始发压力值守；如果小昌参加，他就要提前…
已知：小昌和小满至少有一人要参加周一的盾构始发压力值守；如果小昌参加，他就要提前领取洞门密封检查表。小昌至今没有领取任何表单。由此可以推出：
A. 小昌参加周一的压力值守
B. 两人都不参加值守
C. 小满参加周一的压力值守
D. 刀盘已经转动
答案与解析
正确答案：C
花生十三讲解
用翻译推理的逆否等价加选言排除。翻译：小昌参加压力值守→提前领取洞门密封检查表。逆否等价：没有领取表单→小昌不参加。小昌至今未领任何表单，故不参加；又两人至少一人参加，相容选言否定一肢则另一肢必真，推出小满参加周一的压力值守，C正确。A与推理矛盾；B违反至少一人参加的前提；D刀盘转动无据。确认答案为C。
原解析
“小昌参加→提前领检查表”的逆否：未领表单→小昌不参加。至少一人参加，排除小昌，故小满参加。A与推理矛盾，B违反前提，D无据。