西安电子科技大学$1.5.3推理证明方法软件学院家家R：他们按时到达P：这里有球赛Q：这里交通顺畅二、符号化前提和结论P-→-Q若这里有球赛，则交通不畅；R→Q若他们按时到达，则交通是顺畅的；R他们按时到达了。-P这里没有球赛。西安电子科技大学 软件学院 二、符号化前提和结论 P：这里有球赛 Q：这里交通顺畅 R：他们按时到达 若这里有球赛，则交通不畅； 若他们按时到达，则交通是顺畅的； 他们按时到达了。 这里没有球赛。 P → ¬ Q R → Q R ¬ P §1.5.3 推理证明方法