l命题逻辑 离散数学.pptxVIP

等值关系 一种重要的数学论证方法是:将一个命题用另一个等值命题替换. 两个命题公式A和B若在任一赋值下的真值 都相同, 则称A和B等值(equivalence).记作A B.例如: a b( a) b这两个公式语法上是不同的,但语义上相同.3Lu Chaojun, SJTU第2页/共42页 与 的关系等值定理:对公式A和B,A B iff A B是永真式证明:若A B永真,则在任一赋值下其真值都为1,依 的定义知A和B真值相同.若A B,则在任一赋值下A和B都有相同的真值,依 的定义即A B真值为1.注:教材中干脆用此关系作为等值的定义.4Lu Chaojun, SJTU第3页/共42页 与 的不同从形式系统角度看B是系统内的命题公式是系统内的符号, A.(语法)是系统外的符号, AB不是命题公式!在系统外观察系统内两个公式是否等值.(语义)从真假性来看A B是表示A和B是否等值的一个命题.只有A B为真,才肯定A和B等值.但A B可为假.A B则肯定地表示A和B等值.第4页/共42页5Lu Chaojun, SJTU 补充:等值关系 的性质和数学里的等号一样,具有下面三个性质:自反性: A A对称性: 若A传递性: 若AB, 则B AB且B C, 则A C这三条性质刻画了两事物“等同”、“同一性”概念.满足这三条性质的关系称为等价关系.在等值概念下,命题常量可看成只有两个:1,06Lu Chaojun, SJTU6第5页/共42页 如何证明两公式等值?真值表技术利用等值定理利用基本等值式进行等值演算7Lu Chaojun, SJTU7第6页/共42页 例:利用真值表证明等值证明(a a) b b.证:列出真值表即可看出等式成立.8Lu Chaojun, SJTUaba a(a a) b0000010110001101第7页/共42页 例:利用等值定理证明等值证明(a b)( a b).根据等值定理,可转化为证明 (a b) ( a b)是永真式.比如列出此公式的真值表.这样本质上还是真值表技术.还可利用重言式推理系统.9Lu Chaojun, SJTU9第8页/共42页 基本等值式结合律(A B) C A (B C)(A B) C A (B C)(A B) C A (B C)交换律A B B AA B B AA B B A注意:没有的结合律和交换律.10Lu Chaojun, SJTU第9页/共42页 基本等值式(续)3. 分配律A (B C) (A B) (A C)A (B C) (A B) (A C)A (B C) (A B) (A C)4.吸收律AA(A B) A(A B) A11Lu Chaojun, SJTU第10页/共42页 基本等值式(续)5. 关于否定词的等值式A A(对合律)B (De Morgan律)B (De Morgan律)B( A) A(A B)(A B)(A B) A(A B)A B A B(A B) ( A B)12Lu Chaojun, SJTU第11页/共42页 基本等值式(续)6.相同命题变量的等值式AA A A (等幂律) A A A (等幂律) A A 1A A 1A A 1 (排中律)A A 0 (矛盾律)A A A A A AA 0此处的1/0代表任意真值恒为1/0的命题公式.13Lu Chaojun, SJTU第12页/共42页 基本等值式(续)7.部分赋值的等值式A 0 AA 1 A1 A AA 0 A1 A A0 A AA11A00A 1 10 A 114Lu Chaojun, SJTU14第13页/共42页 基本等值式(续)8.关于的等值式AB( A)B (AB)ABBA[假言易位]A(BC) (AB) C[合取前提]A(BC) B(A C)[交换前提](AC)(B C)(A B)C [析取前提](AB)(AB) A[归谬论]A(BC) (AB) (AC)A(BC) (AB)第14页/共(4A2页C)15Lu Chaojun, SJTU 基本等值式(续)9.关于的等值式BB) [同真或同假]( A B) [一真一假]A) [充分必要]A B AA B (A B) ( A A B (A B)A B (A B) (B由于 ,, 更易理解和处理,常利用8和9类的等值式将含 和 的公式改写成仅含有 , ,的公式.16Lu Chaojun, SJTU第15页/共42页 置换规则定理:设AA, B B ,则有(1) AA(2) A BAB(3) A BAB(4) A BAB(5) A BAB置换:将公式的一部分用等值公式替换. 定理(置换规则):设B C.若将A中出现的一个或几个B换成C后得到公式A ,则有A A .17Lu Chaojun, SJTU第16页/共42页 等