西安电子科技大学$2.6.2谓词逻辑推理的应用软件学院【例题】设个体域为：计算机系全体学生，用以下给定的命题和谓词将以下命题符号化，并推证结论的有效性。P：今天天气好，Q：千部选举准时进行，A(x)：x按时到场（1）只要今天天气不好，计算机系的学生中就一定有人不能按时到场；（2）当且仅当所有学生均按时到场，千部选举才能准时进行。结论：如果干部选举准时进行，那么今天天气好。解答：命题可符号化为：-P-→(日x)-A(x), (Vx)A(x)Q = Q-→P西安电子科技大学 §2.6.2 谓词逻辑推理的应用 软件学院 ， 【例题 】设个体域为：计算机系全体学生，用以下给定的命题和 谓词将以下命题符号化，并推证结论的有效性。 P ：今天天气好， Q：干部选举准时进行，A(x)：x按时到场 （1）只要今天天气不好，计算机系的学生中就一定有人不能按 时到场； （2）当且仅当所有学生均按时到场，干部选举才能准时进行。 结论：如果干部选举准时进行，那么今天天气好。 解答： 命题可符号化为： ¬P → ( ∃x)¬A(x), ( ∀x)A(x) ↔Q ⇒ Q → P