西安电子科技大学$1.5.3推理证明方法软件学院家教家家【例题】符号化以下命题，并推证结论的有效性。前提：“若这里有球赛，则交通不畅；若他们按时到达，则交通是顺畅的；他们按时到达了。”“这里没有球赛。”结论：解答：一、指定命题变元来表示前提和结论中的原子命题P：这里有球赛Q：这里交通顺畅R：他们按时到达西安电子科技大学 软件学院 【例题】符号化以下命题，并推证结论的有效性。 前提：“若这里有球赛，则交通不畅；若他们按时 到达，则交通是顺畅的；他们按时到达了。” 结论：“这里没有球赛。” 解答： 一、指定命题变元来表示前提和结论中的原子命题 P：这里有球赛 Q：这里交通顺畅 R：他们按时到达 §1.5.3 推理证明方法