常用的命题等价公式培训教程文件.pptVIP

 第一章 命题逻辑 内容回顾 符号“?”和“?”的区别 在命题公式的等价关系中要注意符号“?”和“?”的区别，归纳如下： （1）符号“?”不是命题联结词而是公式之间的关系符号。如Ａ?Ｂ表示的是公式A和公式B有逻辑等价关系，Ａ?Ｂ的结果不是命题公式。 （2）符号“?”是命题联结词，表示的是某个命题。 这二者具有密切的关系，即Ａ?Ｂ的充要条件是公式Ａ?Ｂ为永真式。 课后作业 【案例】在一次亚洲女排比赛中,赛前有甲、乙、丙三人对这次比赛结果分别作出如下预测： 甲：日本第一，韩国第三； 乙：中国第一，日本第三； 丙：韩国第一，日本第二。 比赛结果发现三个人都恰好预测对一个，问中、韩、日三国女排在这次比赛中的名次如何排列（假设无并列名次）？ 分析:先符号化,然后用等价演算的方法求解。 解：设Pi、Qi、Ri分别表示中国第i名,韩国第i名，日本第i名（i=1,2,3)。显然Pi、Qi、Ri中均有真命题，由于甲、乙、丙三人都恰好预测对一个，故有等价公式： 　⑴ 　⑵ 　⑶ 　由于重言式的合取仍为重言式，即　 　 　由于日本和中国不能并列第一，日本不能既第一又第三，韩国和日本不能并列第三,即第一、第三和第四为０，所以 　　　　　　　　　　　　　　　　　　　　　⑷ 再将⑶和⑷式合取得： 由于中国队不能与韩国队并列第一，即第一项为０，所以 故中国队第一，日本队第二，韩国队第三。 * * 第四讲 一、真值表 若一个命题公式包含n个命题分量，则对分量真值 指派的各种可能组合为 种 真值表的构造规则： （1）在真值表左栏按字母顺序列出所有分量，右栏列出结果命题。 （2）用0~2n -1的二进制计数顺序给命题分量指派真值。 （3）为了使真值表更加明了，可将中间命题列在命题 分量和结果命题之间。 二、常用的命题等价公式： 交换律 E1 结合律 E2 分配律 E3 同一律 E4 互否律 E5 双否律 E6 等幂律 E7 零一律 E8 吸收律 E9 德·摩根律 E10 联结词归化 E12 E13 E11 E14 E15 1 1 0 1 1 0 0 0 q p 0 1 1 0 1 1 1 0 0 0 0 1 0 0 0 1 1 1 1 1 成 立 证明公式等价的方法： 1. 真值表法 2. 等值演算法 1. 真值表法 1 1 1 0 1 1 1 0 1 0 0 1 1 1 0 0 1 0 1 0 0 0 0 0 p→(q → r) ( p∧q )→ r p∧q q→r r q p 1 1 0 0 0 0 0 1 1 0 1 0 0 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 0 1 成立 1 1 1 0 1 1 1 0 1 0 0 1 1 1 0 0 1 0 1 0 0 0 0 0 p∧q (p→q) →r p→q r q p 1 1 1 0 1 0 1 0 0 1 1 1 1 1 1 0 0 0 0 0 0 0 1 1 ((p→q) →r)? (p∧q) 1 0 1 0 0 0 0 1 不成立 例2：利用基本等价公式验证: 练习2：利用基本等价公式验证下列等值式 练习3：用推导法证明下列命题公式是等价的: （1） P→(Q→P) ??P→(P→Q) （2） ?(P?Q) ?(P∧?Q) ∨ (? P∧Q) （3） P→(Q→R) ?(P→?Q) ∨(P→R) 练习4：利用基本等价公式判断下列公式的类型 ⑷ ⑶ *