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

单选题  如果所有的克里特岛人都说谎，并且梅拉是克里特岛人 ，则梅拉说谎。由上述命题出发，要逻辑地推出：“有的克里特岛人不说谎”，则需要加上下面哪个选项?_____
A: 梅拉不说谎，并且所有的克里特人都说谎
B: 梅拉不说谎，并且梅拉不是克里特人
C: 梅拉不说谎，并且梅拉是克里特人
D: 梅拉说谎，并且梅拉不是克里特人
参考答案: C
本题解释:正确答案是C考点关联词推导解析第一步：翻译题干。利用充分必要条件所有的克里特岛人都说谎∧梅拉是克里特岛人⇒梅拉说谎。第二步：分析题干，结合选项得出答案提问句中“有的克里特岛人不说谎”是“所有的克里特岛人都说谎”的矛盾命题，因此只要推出“所有的克里特岛人都说谎”为假，就可推出“有的克里特岛人不说谎”。根据逆否规则，否定题干推导关系的后件，即梅拉不说谎，可得出“-梅拉说谎⇒-(所有的克里特岛人都说谎∧梅拉是克里特岛人)”。根据摩根规则，-(所有的克里特岛人都说谎∧梅拉是克里特岛人)等价于“-所有的克里特岛人都说谎∨-梅拉是克里特岛人”，这是个相容选言命题，根据相容选言命题的规则，否定其中一个选言支必然推出肯定另外一个选言支，因此要得到“-所有的克里特岛人都说谎”，则需保证“梅拉是克里特岛人”。综上分析，可知要得到“有的克里特岛人不说谎”，得满足两个前提条件，梅拉不说谎，并且梅拉是克里特岛人。故正确答案为C。标签充分必要条件逆否规则选言命题摩根规则

本题所属考点-逻辑判断（关联词推导)