西安电子科技大学S1.6.2逻辑推理软件学院家【例题】甲、乙、丙三人报考王教授的研究生。考试成绩出来后，王讲授谈了录取情况（a）三人中只有一人被录取；(b）如果录取甲，就录取乙;(c）如果不录取丙。就录取甲请用命题逻辑推断王教授到底录取谁为他的研究生？解答：设P：甲被录取Q：乙被录取R：丙被录取现将（a）作为约束条件，而将(b)和(c)符号化：(b）如果录取甲，就录取乙;P→Q(c）如果不录取丙，就录取甲。-R→P西安电子科技大学 软件学院 解答： 【例题】甲、乙、丙三人报考王教授的研究生。考试成绩 出来后，王讲授谈了录取情况： （a）三人中只有一人被录取； （b）如果录取甲，就录取乙； （c）如果不录取丙，就录取甲。 请用命题逻辑推断王教授到底录取谁为他的研究生？ 设P：甲被录取 Q：乙被录取 R：丙被录取 §1.6.2 逻辑推理 现将（a）作为约束条件，而将(b)和(c)符号化： （b）如果录取甲，就录取乙； （c）如果不录取丙，就录取甲。 P → Q ¬ R → P