美團筆試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）
丁：金牌屬於前端組或者金牌屬於後端組，這裏需要注意的是這裏的或者是“排斥或”
由於甲和丙爲互否命題，不能同時否定。同時否定必然會出現矛盾。