离散数学0242362.pptVIP

第一章 命题逻辑 知识点： 1.3 永真公式 一、命题公式的解释 1、公式解释的定义 例题 2、公式真值的计算 例题 二、命题合式公式的分类三、逻辑恒等式和永真蕴含式 1、逻辑恒等式的定义和性质 2、常用的基本逻辑恒等式 3、永真公式的基本运算规律 例题 4、对偶式及其相关运算 5、永真蕴含式 本节习题 （1）定义：若是永真式，则称之为永真蕴含式，记为，读作“A 永真蕴含 B ”。 注意：并不是一个逻辑联结词，不要把与混淆。 （2）永真蕴含式的性质： （3）常用的基本永真蕴含式： * * 1、命题的符号化； 2、合式公式； 3、公式的分类及永真公式； 4、合式公式的范式； 5、命题逻辑的推理理论。 语义：命题的语义是指它的真值。联结词的语义是指它们在本质上作为真值函数的性质，即定义域和值域都是0，1这两个值的一元或二元函数。 定义1.3.1 设 A(P1, P2, …, Pn) 是含有 n 个命题变元P1, P2, …, Pn的一个合式公式，对P1, P2, …, Pn 的一组真值赋值，称为对A的一个解释，记作。 其中， 取 0 或 1 ，。 例1.3.1 设合式公式 A(P1，P2)为,（1）指出它有几个命题变元？（2）写出它的所有解释。 例1.3.2 设合式公式 A(P，Q，R)为,（1）指出它有几个命题变元？（2）写出它的所有解释。从上面的两个例子中可以看出：含有 n 个命题变元的公式共有 2n 种不同的解释。如果一个公式 A(P1, P2, …, Pn)给定了一个解释 I，那么我们就可以确定每个命题变元的真值，然后根据公式 A(P1, P2, …, Pn)中联结词的语义，计算出 A(P1, P2, …, Pn)的真值。给定公式 A(P1, P2, …, Pn) 的一个解释I=b1b2 …bn ，那么 A 在 I 下的真值 I(A) 的归纳定义如下： 例1.3.3 设公式 A(P, Q, R)为,其解释为 I = 010，求 A 的真值。 [解] 例1.3.4 构造下列公式的真值表：设 A 是合式公式， 若 A 在任何解释下都为真，则称 A 为重言式或永真式； 若 A 在任何解释下都为假，则称 A 为矛盾式或永假式； 若至少有一个解释使 A 为真，则称 A 为可满足式。 按照这样的分类方法，例1.3.4中 永真式 永假式 可满足式 可满足式 定义：若是永真式，则称 A 恒等于 B，或 A 等价于 B，记为，并称为逻辑恒等式。 注意：并不是一个逻辑联结词，而是用来研究命题逻辑的元语言中的符号，不要把与混淆。 性质： （1）双重否定律： （2）等幂律： （3）交换律： （4）结合律： （5）分配律： （6）德 · 摩根定律： （7）吸收律： （8）蕴含等值式： （9）等价等值式： （10）零律： （11）同一律： （12）排中律： （13）矛盾律： （14）等价否定等值式： （15）归谬律： （16）假言易位： 教材P11有总结。 规律1：永真式的合取、析取、蕴含和等值式都是永真式。 规律2：（代入规则）永真式的代入实例是永真式。 推论：（1）永假式的代入实例一定是永假式。（2）既非永真又非永假的合式公式的代入实例，可能是永真式、永假式或既非永真又非永假的合式公式。 规律3：（替换规则）设 A 是 C 的子公式，且，若用 B 替换 C 中的 A 的一处或多处出现得到合式公式 D，则。 代入与替换的区别：除了上次课介绍的运算上的两个区别外，其运算结果也有区别，即：替换前后的公式是等价的；而代入前后的公式不一定等价。 例1.3.5 设公式 A(P, Q)为, 则 是永真式。 是永假式。 （3）是其自身的既非永真又非永假的代入实例。 E9 E9 例1.3.7 证明：（1）（2） 例1.3.8 证明下列各公式为永真式：（1）（2）（3） 此例题的三个永真式也是三个公理。 定义：设 A 是仅含三种联结词的合式公式，在 A 中将和互换、T 和 F互换（若存在）所得的公式称为 A 的对偶式，记为 A*。 例1.3.9 设为，求 A 的对偶式。 定理1.3.3 设是仅含三种联结词的公式，则 例1.3.10 根据例1.3.9的结果，求。 定理1.3.4 （对偶定理）设 A 和 B 是仅含这三种联结词的合式公式，是其中出现的所有命题变元，若，则。 * * * *