离散数学逻辑等价式.pptVIP

§1.3逻辑等值式 ;判别等值的方法;用真值表判别A、B等值;基本等值式（一）;基本等值式(二）;置换定理;?(A ∧ B) ? ? A ∨ ? B的证明;A ∧(A ∨ B) ? A的证明;A → B? ? A ∨ B的证明;等价演算（等值演算）;等价演算（等值演算）;又例：判定公式?(p ∧q →p)的类型 ;等价的传递性 A ?B,B ?C, 则A ?C;化简电路图;§1.4联结词的全功能集;例1:试证{↑}是全功能集. 证：┐P?┐(P?P)?P↑P P?Q?┐┐(P?Q)?┐(P↑Q)?(P↑Q)↑(P↑Q) P?Q?┐(┐P?┐Q)?┐((P↑P)?(Q↑Q)) ?(P↑P)↑(Q↑Q) 例2.试证{┐，→}是全功能集 证：P?Q?┐(┐P?┐Q)?┐(P→┐Q) P?Q?┐(┐P)?Q?┐P→Q ;从{0,1}n到{0,1}的真值函数有22n个;本节小结;子公式：公式X是公式A的组成部分，称X为A的子公式。 代入规则:A(p1,p2,…,pi,…,pn),另一公式Bi处处代替pi出现的地方，得到的公式A’＝A (p1,p2,…,Bi,…,pn) ，A’称为A的代入实例。 例 结论：如果A是永真式，则A的任一个代入实例都是永真式。