第二章节命题逻辑等值演算.pptVIP

例题 2.1 等值式 1. 例子 看下面三个公式的真值表 P Q P?Q ?P∨Q ?Q??P 0 0 1 1 1 0 1 1 1 1 1 0 0 0 0 1 1 1 1 1 从真值表可以看出，不论对P、Q作何指 派，都使得P?Q、?P∨Q和?Q??P的真值相同，表明它们之间彼此等价。 2. 定义：A、B是含有命题变元P1,P2,…, Pn的命题公式，如不论对P1, P2 , …, Pn作任何指派，都使得A和B的真值相同，则称之为A与B等价，记作A?B。 显然 P?Q??P∨Q??Q??P 3. 重要的等价公式 ⑴ 双重否定律 ??A?A ⑵ 幂等律 A∨A?A A∧A?A ⑶交换律 A∨B?B∨A A∧B?B∧A ⑷结合律 A∨(B∨C)?(A∨B)∨C A∧(B∧C)?(A∧B)∧C ⑸分配律 A∨(B∧C)?(A∨B)∧(A∨C) A∧(B∨C)?(A∧B)∨(A∧C) (12)蕴含等值式 A?B??A∨B 4. 等价公式的证明方法 方法1：用列真值表。（不再举例） 方法2：用公式的等价变换.(用置换定律) 置换定律:A是一个命题公式，X是A中的一部分且也是合式公式，如果X?Y，用Y代替A中的X得到公式B，则A?B。 应用置换定律以及前面列出的等价公式可以对给定公式进行等价变换。 例题1. 用等值演算法证明下面等值式： ((p∨q) ∧?(p∧q)) ??(p?q) q?(p?r) ? ( p∧q)?r 例题1. 用等值演算法证明下面等值式： (2) q?(p?r) ? ( p∧q)?r 例题2. 用等值演算法判断下列公式的类型： (?p∨q)→(p∧q) p →(p∨?q∨r) (?(p→q)∧q)∧r 例题2. 用等值演算法判断下列公式的类型： (2) p→(p∨?q∨r) 例题2. 用等值演算法判断下列公式的类型： (3) (?(p→q)∧q)∧r 2.2.范式 范式就是命题公式形式的规范形式。这里约定在范式中 只含有联结词?、∨和∧。 一.析取范式与合取范式 1.合取式与析取式 合取式：是用“∧”联结命题变元或变元的否定构成的式子。 如 P 、?P 、P∧?Q、P∧?Q∧?R 析取式：是用“∨” 联结命题变元或变元的否定构成的式子。 如 P 、?P 、P∨?Q、P∨?Q∨?R 注:∵ P∨P?P P∧P?P ∴P是合(析)取式. 2.析取范式 公式A如果写成如下形式： A1∨A2∨...∨An (n≥1) 其中每个Ai (i=1,2..n)是合取式，称之为A的析取范式。 3.合取范式 公式A如果写成如下形式： A1∧A2∧...∧An (n≥1) 其中每个Ai (i=1,2..n)是析取式，称之为A的合取范式。 例如，P?Q 的析取范式与合取范式： P?Q ?(P∧Q)∨(?P∧?Q)----析取范式 P?Q ?(?P∨Q)∧(P∨?Q)----合取范式 4.析取范式与合取范式的写法 ⑴先用相应的公式去掉?和?。 蕴含等值式 P?Q??P∨Q 等价等值式 P?Q ?(P∧Q)∨(?P∧?Q) P?Q ?(P?Q)∧(Q?P) P?Q ?(?P∨Q)∧(P∨?Q) ⑵用公式的否定公式或德摩根律将?后移到命题变元之前。 ?A(P1,P2,…,Pn)?A*(?P1,?P2,…,?Pn) ?(P∨Q)??P∧?Q ?(P∧Q)??P∨?Q ⑶用分配律、幂等律等公式进行整理，使之成为所要求的形式。 例如求(P?Q)?R的析取范式与合取范式 (P?Q)?R ??((?P∨Q)∧(P∨?Q))∨R ?(P∧?Q)∨(?P∧Q)∨R ------析取范式 (P?Q)?R??((P∧Q)∨(?P∧?Q))∨R