例题讲解:
题目给出条件:克里特岛人说谎并且梅拉是克里特岛人→梅拉说谎。问怎么样才能推出有的克里特岛人不说谎?有的克里特岛人不说谎,是否定所有的克里特岛人都说谎,要否定一个联言命题的联言支,只有先否定整个联言命题,对于此题,联言命题是充分条件命题的前件,要否定前件则要否定后件,即梅拉不说谎。否定前件即有些克里特岛人不说谎或者梅拉不是克里特岛人,相容选言命题只有否定一个才能必然肯定另外一个,所以梅拉是克里特岛人。综上,要得到有的克里特岛人不说谎,需要梅拉不说谎,并且梅拉是克里特岛人,故答案为C。
思路点拨:
当题目给出条件:A并且B→ C,问怎么才能得到-A,需要-C并且B。