某单位从赵、钱、孙、李四人中选派两人参加乡村振兴工作队。已知：如果选赵，则不选钱…
某单位从赵、钱、孙、李四人中选派两人参加乡村振兴工作队。已知：如果选赵，则不选钱；如果不选孙，则选钱；如果选钱，则必须选赵；李与孙不能同时入选。 由此可以推出，入选的两人是：
A. 赵和孙
B. 钱和李
C. 赵和李
D. 钱和孙
答案与解析
正确答案：A
花生十三讲解
用翻译推理结合朴素逻辑的代入排除解题。先看钱：若选钱，则由'选钱→选赵'得选赵，又'选赵→不选钱'，矛盾，故钱必不入选。由'不选孙→选钱'的逆否：不选钱→选孙，故孙必入选。李与孙不能同时入选，李出局，另一人只能是赵。选赵与'不选钱'相容，全部条件满足，入选的是赵和孙。确认答案为A。
原解析
由'选钱则选赵'与'选赵则不选钱'可知钱不能入选（否则矛盾）；不选钱则由'不选孙则选钱'的逆否得必选孙；李与孙不能同时入选，另一人只能是赵。程序枚举6种组合验证仅'赵和孙'满足全部条件。