美团笔试2014-美团网举行女子羽毛球比赛，前端组、后短租、手机组各派了三名运动员参加。比赛前，4名程序员在一起预测比赛结果。

美团网举行女子羽毛球比赛，前端组、后短租、手机组各派了三名运动员参加。比赛前，4名程序员在一起预测比赛结果。甲说：“前端组妹子比较多，这次的前三名非他们莫属。”乙说：“今年与去年可不同了，金银铜牌前端组顶多拿一块。”丙说：“据我估计，后端组或者手机组会拿牌的。”丁说：“第一名如果不是前端组，就该是后端组了。”比赛结束后，发现四个人只有一人言重。请问金银铜牌的归属。请说明理由。


解答：
1、甲对，其他错 （X）
甲：金银铜-->前端组
否定乙：前端组拿2块牌或者3块牌
否定丙：后端组和手机组不会拿牌 ==》 前端组拿3块牌
否定丁：金牌属于手机组。


由此发现，甲和否定丁冲突


2、乙对，其他错 （X）
乙：前端组可获得0或者1块牌
否定甲：前端组可获得0或1或2块牌
否定丙：后端组和手机组不会拿牌 ==》前端组拿3块牌（发现甲和丙是相互矛盾的，p和!p的关系）
否定丁：金牌属于手机组。


由此发现，否定甲和否定丙冲突，因此乙肯定错


3、丙对，其他错 （√）
丙：前端组可获得0或1或2块牌
否定甲：由于甲和丙为互否命题，丙对，甲肯定错，否定甲等价于丙对
否定乙：前端组拿2块牌或者3块牌
否定丁：金牌属于手机组。


由此发现，根据丙和否定乙断定，前端组获得2块牌（银，铜）。丁获得金牌。


4、丁对，其他错（X）
丁：金牌属于前端组或者金牌属于后端组，这里需要注意的是这里的或者是“排斥或”
由于甲和丙为互否命题，不能同时否定。同时否定必然会出现矛盾。