离散数学第一章命题逻辑概论.pptVIP

* 1.3 永真式和等价式 定义1.5 设A和B是两个命题公式，如果A、B在其任意解释下，其真值都是相同的，即A?B是重言式，则称A和B是等价的，或逻辑相等，记作A?B，读作A恒等于B，或A等价于B。 注意符号“?”与符号“?”的意义是有区别的。符号“?”是逻辑联结词，是个运算符；而符号“?”是关系符，A?B表示A和B有逻辑等价关系。 * 等价式 1.3 永真式和等价式 常用的逻辑恒等式如表1.7所示。 表中符号P、Q、R代表任意命题，符号T代表真命题，符号F代表假命题。表中所有公式是进行等价变换和逻辑推理的重要依据。 * 等价式 1.3 永真式和等价式 在一个重言式中，某个命题变元出现的每一处均代以同一个公式后，所得到的新的公式仍是重言式，这条规则称之为代入规则。 这条规则之所以正确，是因为永真式对任何解释，其值都是真，与所给的某个变元指派的真值是真还是假无关，因此，用一个命题公式代入到原子命题变元R出现的每一处后，所得命题公式的真值还是真。例如： P∧┓P?F令以R∧Q代P得， （R∧Q）∧┓(R∧Q) ? F仍是重言式。 * 代入规则 1.3 永真式和等价式 设有恒等式A?B若在公式C中出现A的地方替换以B（不一定是每一处都进行）而得到公式D,则C?D，这条规则称之为替换规则。 如果A是公式C中完整的部分，且A是合式的公式，则称A是C的子公式。规则中“公式C中出现A”意即“A是C的子公式”。 这条规则之所以正确，是因为在公式C和D中替换部分以外均相同，所以C和D的真值也相同，故C?D。 * 替换规则 1.3 永真式和等价式 设应用代入规则和替换规则及已有的重言式可以证明新的重言式。 例如对公式E12：┓（P∧Q）? ┓P∨┓Q，我们以A∧B代E12中的P，而以┓A∧┓B代E12中的Q就得出公式┓((A∧B)∧(┓A∧┓B)) ? ┓(A∧B) ∨┓(┓A∧┓B) 对公式E20：P∧T?P，我们利用公式P∨┓P?T，对其中的T作替换（对命题常元不能做代换）得公式P∧(P∨┓P) ?P … 因此，我们可以说表1.7和表1.9中的字符P、Q和R不仅代表命题变元，而且可以代表命题公式；T和F不仅代表真命题和假命题，而且可以代表重言式和永假式。用这样的观点看待表中的公式，应用就显得更方便。 * 1.3 永真式和等价式 例1.12 （1）试证P→(Q→R)? Q→(P→R) ? ┓R→(Q→┓P) 证：P→(Q→R) ?┓P∨(┓Q∨R) 两次替换 ?┓Q∨(┓P∨R) 结合、交换、结合 ? Q→(P→R) 两次替换 类似可证P→(Q→R)? ┓R→(Q→┓P)。 （2）试证（P→Q）→(Q∨R) ? P∨Q∨R 证：(P→Q)→(Q∨R) ? (┓(┓P∨Q) ∨(Q∨R) E27和替换规则 ? (P∧┓Q)∨(Q∨R) E12和替换规则 ? ((P∧┓Q)∨Q)∨R E4 ? ((P∨Q)∧(Q∨┓Q))∨R ? P∨Q∨R 例1.12的（1）和替换规则 * PART 01 命题和联结词 主要内容 PART 02 合式公式与真值表 PART 03 永真式和等价式 PART 04 对偶式与蕴涵式 PART 05 范式和判定问题 PART 06 命题演算的推理理论 1.4 对偶式与蕴含式 定义1.6 设有公式A，其中仅含逻辑联结词┓，∧，∨和逻辑常值T和F。在A中将∧，∨，T，F分别换以∨，∧，F，T得公式A*，则称A*为A的对偶式。同理，A也可称为A*的对偶式，即对偶式是相互的。 定理1.1 设A和A*互为对偶式，P1，P2，…，Pn是出现于A和A*中的所有命题变元，于是： ┓A（P1，P2，…，Pn）?A*( P1，P2，…，Pn) A（┓P1，┓P2，…，┓Pn）?┓A*( P1，P2，…，Pn) * 对偶式 1.4 对偶式与蕴含式 定理1.2 若A?B，且A、B为命题变元P1，P2，…，Pn及联结词∧，∨，┓构成的公式，则A*?B*。 证明：A?B意味着： A(P1，P2，…，Pn）?B(P1，P2，…，Pn）为永真式，于是 ┓A(P1，P2，…，Pn）?┓B(P1，P2，…，Pn）为永真式，由定理1.1得， A*(┓P1，┓P2，…，┓Pn）?B*(┓P1，┓P2，…，┓Pn）为永真式。 因为上式是永真式，使用带入规则所得仍为永真式，今以┓Pi代P（i=1,2,…,n），得A*(P1，P2，…，Pn）?B*(P1，P2，…，Pn）为永真式，所以A*?B* 。 本定理称为对偶原理。 * 对偶式 1.4 对偶式与蕴含式 定理