math-chap1-1离散数学命题逻辑.ppt

庄伯金 bjzhuang@ * 基本等值规律(4) 蕴涵等值式 A→B??A∨B 等价等值式 A?B?(A→B)∧(B→A)? (?A∨B)∧(?B∨A) 假言易位 A→B??B→?A 等价否定等值式 A?B??A??B 归谬论 (A→B)∧(A→?B)??A 庄伯金 bjzhuang@ * 置换规则 设Φ(A)为含公式A的命题公式，Φ(B)为用公式B置换了A的命题公式，若A?B，则Φ(A)?Φ(B)。 利用等值规律及置换规则可以进行等值演算。 例 (p→q)→(?q→?p) ?(q→p)∧p (?p→q)→(q→?p) (p∨q) →r ?(p→(p∨q))∧r 庄伯金 bjzhuang@ * 联结词的完备集 问题：含n个命题变项的命题公式其真值表的可能性有多少种？ n元真值函数：F：{0,1}n→{0,1}为n元真值函数。 联结词完备集：设S是一个联结词集合，如果任何n元真值函数都可以由仅含S中的联结词构成的公式表示，则称S是联结词完备集。 {?, ∧, ∨} {?, ∧} {?, ∨} {?, →} 庄伯金 bjzhuang@ * 对偶 对偶的定义：在仅含有?, ∧, ∨的命题公式A中，将∧换成∨， ∨换成∧，若A中含0或1，将0换成1，1换成0，所得的命题公式称为A的对偶式，记为A*。 定理：设A和A*互为对偶式， p1, p2, …, pn是出现在A和A*中的全部命题变项