大连理工大学件学院 离散数学 第一章 命题逻辑-4th.pptVIP

*/38 反证法 例：足坛4支甲级队进行比赛，已知情况如下： 前提：1、若大连万达获冠军，则北京国安和上海申花 获得亚军 2、若上海申花获亚军，则大连万达不能获冠军 3、若陕西国力获亚军，则北京国安不能获亚军 4、最后大连万达获冠军 结论：5、陕西国力未获亚军 */38 反证法 用推理的方法证明由{1、2、3、4}能否推出5 解：首先将命题符号化 令P：大连万达获冠军 Q：北京国安获亚军 R：上海申花获亚军 S：陕西国力获亚军 */38 反证法 于是问题可符号化为： P?(Q ? R),R??P,S??Q,P ? ?S/*注意这里自然语言中的和表示的是排斥或，所以用? 来表示*/ 解：1、 ??S P规则（假设前提） 2、S T规则和1 3、S??Q P规则 4、 ?Q T规则2和3 5、P P规则 6、P?(Q?R) P规则 7、Q?R T规则5和6 8、R T规则4和7 9、 R??P P规则 */38 反证法