大连理工大学软件学院离散数学命题逻辑-2nd.pptVIP

1.4重言式和永真蕴含式 一个命题公式若含有N个变元，则应有2n种组合，所以证明两个命题公式的等价，当命题变元多时使用真值表法是不现实的，只能采用上面的等价变换的方法。 有两种特殊的命题公式值得一提，即不依赖变元的真值指派总是取值为T的公式（称为永真式），不依赖变元的真值指派总是取值为F的公式（称为永假式），其余则情况则为可满足的式子。 21/37 1.4重言式和永真蕴含式 重言式 给定一个命题公式，若无论对其中的命题变元作何种真值指派，其对应的真值永为T，则称该命题公式为重言式或永真式。 永假式 给定一个命题公式，若无论对其中的命题变元作何种真值指派，其对应的真值永为F，则称该命题公式为永假式或矛盾。 至少存在一组真值指派使命题公式取值为T的命题公式，称为可满足的。 22/37 对命题公式 ， ， 做出真值表 ０ １ ０ １ １ ０ 0 0 1 0 1 1 1 0 0 1 1 1 23/37 重言式和永假式 P ??P ?T, P? ?P ?F 永真式与永假式取决于公式本身的结构，不依赖变元的真值指派。 例如(P ?Q ?R) ? ?(P ?Q ?R)就是一个永真式 (P ?Q ?R) ? ?(P ?Q ?R)就是一个永假式 永真式的性质：若公式A是永真式，并且P1，P2，…，Pn是出现于A中的变元，若用公式B代换A中的原子变元Pi(i=1,2, …,n),所得到的公式设为A’，则A’也是永真式。（注意代换过程从左向右要进行到底）。对非永真式，这条性质不一定成立。 24/37 带入规则 在一个重言式中，某个命题变元出现的每一处均代以同一个公式后，所得到的新的公式仍是重言式，这条规则称之为带入规则。 25/37 带入规则 带入规则 应用代入规则和替换规则及已有的重言式可以证明新的重言式 P ? ? P ? F是重言式，那么用 R ù Q代P得到的式子仍然是重言式。 E11： ? （P ù Q） ? ? P ú ? Q ，用A ù B代P， ? A ù ? B代Q 26/37 (1)重言式的否定是一个矛盾式，一个矛盾式的否定是重言式，所以只研究其中之一就可以了。 (2)重言式的析取，合取，单条件，双条件都是重言式。于是可由简单的重言式推出复杂的重言式。 (3)由重言式可以产生许多有用的恒等式。 27/37 永真蕴含式 定义：当且仅当A→B是一个永真式时，称A永真蕴含B ，记作A?B 要证明A永真蕴含B ，只需要证明A→B是一个永真式 假定前件A是真，若能推出后件B必为真，则A→B永真，于是 A?B . 假定后件B是假，若能推出前件A必为假，则A→B永真，于是A?B . 28/37 永真蕴含式 29/37 常用永真蕴含式 30/37 等价式和蕴含式的关系 设P和Q是命题公式， 的充分必要条件是P?Q 并且Q?P 设A、B、C是公式且有A?B ， B?C ，则A?C 设A, B,C是公式，若有A?B ，A?C ,则A? B ? C 31/37 蕴含式 定义：假设H1,…, Hm ,Q是命题公式。如果（H1? … ? Hm ） ?Q，则称H1,…, Hm 共同蕴涵Q，并记作H1,…, Hm ?Q 定理：如果H1? … ? Hm ? P ?Q，则H1,…, Hm ?P ?Q 定理是显然的： H1? … ? Hm ? P 为真，保证了P为真， H1? … ? Hm ? P ?Q，保证了Q为真，于是有P ?Q为真，得证。 32/37 全功能联结词集合 前面我们已经学习了6个逻辑联结词：? ? ? ?? 是不是这些逻辑联结词都是必不可少的呢？在前面介绍的等价公式中我们已经发现，有些逻辑联结词是可以被其它逻辑联结词代替的： 例如：P ? Q? ?P ?Q P ? Q? （P ? Q） ? （?P ? ? Q） P ?Q ? ?(?P ? ? Q) P ? Q ? ?(? P ? ? Q) 从上面的讨论我们可以看出逻辑联结词集合{?，?， ?}是全功能的，但不是最小的。逻辑联结词全功能最小完备集是指用该集合中的逻辑联结词能表示所有的命题公式，并且删除一个至少有一个公式不能被表示。例如： {?，?}和{?，?} 均是最小功能完备集 ▽ 33/37 逻辑部件非门的图示： 　　　　Ｐ　　　　?Ｐ 逻辑部件与门的图示： 　　　　Ｐ　　　　　Ｐ?Ｑ 　　　　Ｑ　　　　　　　　 逻辑部件或门的图示： 　　　　Ｐ　　　　Ｐ?Ｑ 　　　　Ｑ 34/37 应用：汽车报站系统 令Ｐ：汽车运行的方向（上行为０下行则为１） 　Ｑ：