小赵、小李、小钱、小孙参加数学建模竞赛,根据下列情况,确定4人中获奖的是哪些人,未获奖的是哪些人。需写出推导过程。 (1)只要小

小赵、小李、小钱、小孙参加数学建模竞赛,根据下列情况,确定4人中获奖的是哪些人,未获奖的是哪些人。需写出推导过程。 (1)只要小赵或小钱中一人未获奖,小孙和小李就都得奖; (2)小孙没获奖或小李没获奖是不可能的; (3)小钱获奖了。
【正确答案】:
【题目解析】:先通过合理的假设,把自然语言实现符号化,然后利用命题逻辑的推理性质进行逻辑命题结构的简化,得到最终的合取式,再回归到自然语言即可。