marsatwar

第五題, 從西瓜推論:

1. 假設西瓜是君子 ->  冬瓜是流氓 ->  南瓜和西瓜「不」是同一種人 -> 南瓜是流氓 ->  南瓜卻說﹕「我和西瓜至少有一個是君子。」  (南瓜說了真話) -> 南瓜是君子(矛盾)

2. 假設西瓜是流氓 -> 冬瓜是君子 ->  南瓜和西瓜是同一種人 -> 南瓜是流氓 ->  南瓜卻說﹕「我和西瓜至少有一個是君子。」  (南瓜說了假話) -> 南瓜是流氓(正確)

結論: 西瓜是流氓, 冬瓜是君子, 南瓜是流氓