西安电子科技大学S2.6.2谓词逻辑推理的应用软件学院家教家【例题】某旅游团去木兰围场旅游，团员们骑马、射箭、吃烤肉，最后去商店买纪念品。已知：（1）有人买了蒙古刀；（2）有人没有买蒙古刀；（3）该团的张先生和王女士都买了蒙古刀。如果以上三句话中恰有一句话为真，请判断张先生和王女士谁买了蒙古刀？解答：若第（3）句话为真。则有张先生和王女士都买了蒙古刀，那么第（1）句话也为真。这与仅有一句话为真矛盾，所以（3）为假。若（3）为假，表明张先生和王女士至少一人没有买蒙古刀，那么（2）为真，进而（1）为假，故有，“没有人买了蒙古刀”为真。所以，张先生和王女士都没有买蒙古刀。西安电子科技大学 §2.6.2 谓词逻辑推理的应用 软件学院 【例题】某旅游团去木兰围场旅游，团员们骑马、射箭、吃烤肉，最后去商 店买纪念品。已知： （1）有人买了蒙古刀； （2）有人没有买蒙古刀； （3）该团的张先生和王女士都买了蒙古刀。 如果以上三句话中恰有一句话为真，请判断张先生和王女士谁买了蒙古刀？ 解答：若第（3）句话为真。 则有张先生和王女士都买了蒙古刀，那么第（1）句话也为真。这与仅 有一句话为真矛盾，所以（3）为假。 若（3）为假，表明张先生和王女士至少一人没有买蒙古刀，那么（2） 为真，进而（1）为假。 故有，“没有人买了蒙古刀”为真。 所以，张先生和王女士都没有买蒙古刀