[单选题]

如果所有的克里特岛人都说谎，并且梅拉是克里特岛人，则梅拉说谎。
由上述命题出发，要逻辑地推出：“有的克里特岛人不说谎”，则需要加上下面哪个选项：

A . 梅拉不说谎，并且所有的克里特岛人都说谎
B . 梅拉不说谎，并且梅拉不是克里特岛人
C . 梅拉不说谎，并且梅拉是克里特岛人
D . 梅拉说谎，并且梅拉不是克里特岛人

参考答案： C

参考解析：

第一步：分析题干
题干推理规则为：
克里特岛人都说谎且梅拉是克里特岛人→梅拉说谎（a且b→c）

第二步：分析选项
“有的克里特岛人不说谎”等价于“不是所有的克里特岛人都说谎”。

对题干逆否可得：梅拉不说谎→¬克里特岛人都说谎或梅拉不是克里特岛人。

根据相容选言命题的规则，否定其中一个选言肢必然推出肯定另外一个选言肢。要得到“不是所有的克里特岛人都说谎”，只需说明梅拉不说谎且梅拉是克里特岛人。

故本题选C。
【2009-北京社招-034】