命题逻辑的等值和推理演算课件.pptVIP

当 A = ?A1时 ?A = ?(?A1) A = ?A1 = ?(A1*－) 归纳法假设 = (?A1)*－ 定理2.5.1, 2.5.2 = A*－ A = ?A1 定理2.5.3 ?A = A*－ 当 A = A1∧A2时， ?A = ?(A1∧A2) = ?A1∨?A2 摩根律 = A1*－∨A2*－ 归纳法假设 = (A1*∨A2*)－ A－定义 = (A1∧A2)*－ A*定义 = A*－ 另一种情况同理，从而定理得证。 定理2.5.3 (摩根律) ?A = A*－ 定理2.5.6 (1) A与A－同永真, 同可满足 (2) ?A与A*同永真, 同可满足 注：“A和B”同永真表示：A永真当且仅当B永真 证明：设A是由命题变项P1,…,Pn构成的命题公式。 (1) 如果A永真，根据代入规则，则A-永真。 如果A-永真，则(A-)-永真，又根据定理2.5.2有 A=(A-)-, 所以A永真 (2) 根据定理2.5.3，?A = A*－，所以根据(1)可得(2)成立 对偶式相关定理 定理 2.5.4 若A = B，必有A*=B* 证明: 因为A = B等价于A?B 永真等价于?A??B永真。 依定理2.5.3, ?A = A*－, ?B = B*－ 于是A*－? B*－永真， 则(A*-? B*-)-永真(根据代入规则，A永真，A-永真) 亦即 A* ? B* 永真 故 A* = B* 对偶式相关定理 定理2.5.5 若A?B永真, 必有B*?A*永真 或者，A?B和B*?A*同永真 证明: (1) 如果A?B永真，则?B??A永真(逆否命题) 根据定理2.5.3，?A= A*-, ?B= B*- 所以B*-?A*-永真，则(B*-?A*-)-永真(代入规则)， 即B*?A*永真 (2) 如果B*?A*永真，根据(1)有: (A*)*?(B*)*永真 根据定理2.5.2，A=(A*)*, B=(B*)* 所以A?B永真 ? 对偶式相关定理 作业(2) (P37) 3，4(2) 2.6 范式 n 个命题变项所能组成的具有不同真值的命题公式仅有22n个, 然而与任何一个命题公式等值而形式不同的命题公式可以有无穷多个 等值的公式，能否都可以化为某一个统一的标准形式？ 希望这种标准形能为我们的讨论带来些方便，如借助于标准形对任意两个形式上不同的公式，可判断它们的是否等值 借助于标准形容易判断任一公式是否为重言式或矛盾式 2.6.1 范式 若干术语 简单命题P及其否定式?P统称为文字 一些文字的合取称为合取式 一些文字的析取称为析取式(也称子句) P与?P称为互补对 析取范式，形如：A1∨A2∨ … ∨An 其中Ai(i=1, …, n)为合取式 合取范式，形如： A1∧A2∧ … ∧An 其中Ai(i=1, …, n)为析取式 范式举例 p, ?q p1∨p2 , q1∧q2 范式定理 范式定理：任一命题公式都存在与之等值的析取范式、合取范式 求范式三步曲： 1) 消去?和? 2) 否定深入到命题变项 3) 使用分配律的等值变换 举例 求?(P∨Q)?(P∧Q)的析取范式 ?(P∨Q)?(P∧Q) =(?(P∨Q)∧(P∧Q))∨(??(P∨Q)∧?(P∧Q)) =(?P∧?Q∧P∧Q)∨((P∨Q)∧(?P∨?Q)) =(?P∧?Q∧P∧Q)∨(P∧?P)∨(P∧?Q)∨(Q∧?P)∨(Q∧?Q) (析取范式) = (P∧?Q)∨(Q∧?P) (析取范式，简化) 注：范式的不唯一性 举例 求?(P∨Q)?(P∧Q)的合取范式 ?(P∨Q)?(P∧Q) =(P∧?Q)∨(Q∧?P) (析取范式，简化) =(P∨Q)∧(P∨?P)∧(?Q∨Q)∧(?Q∨?P) (合取范式) =(P∨Q)∧(?Q∨?P) (合取范式，简化) 注：已知一种范式，可以使用分配律求另一种范式 16. P?Q = (P?Q)∧(Q?P) 从蕴含词来描述双条件 这表明P?Q成立, 等价于正定理P?Q和逆定理Q?P都成立 17. P?(Q?R) = Q?(P?R) 前提交换 前提条件P、Q可交换次序 18. (P?R)∧(Q?R)=(P∨Q)?R 左端说明的是由P而且由Q都有R成立。从而可以说由P或Q就有R成立, 这就是等式右端 补充 等价否定等值式 P?Q = ?P??Q