第一章_命题逻辑1-4节.pptVIP

例6 求公式F=(Q?(P?Q))?P的主范式并判定公式的类型. 解 (1) 求F的主析取范式 F? ? (Q?(?P?Q))?P ? ?Q ? (P??Q)?P ? (?Q?(P??P)) ?(P??Q)?(P?(Q??Q)) ? （P??Q)?(?P??Q)?(P??Q)?(P?Q)?(P??Q) ? (P?Q)?(P??Q)?(?P??Q) 由此可知F是可满足公式。 (2) 求F的主合取范式 F ?（?Q?(P??Q))?P ? P??Q 由前分析和举例可知： 仅需求出公式F的任一种主范式即可判定F的类型。 练习 1-4? 1．判断公式F=(?P∨?Q)→(P??Q)是否为重言式或矛盾式？ 解 F?? (?P∨?Q)∨((P→?Q)∧(?Q→P)) E11 ? (P∧Q)∨((?P∨?Q)∧(Q∨P)) E10,E6,E11 ? (P∧Q)∨((?P∧(Q∨P))∨(?Q∧(Q∨P))) E3 ? (P∧Q)∨(?P∧Q)∨(?P∧P)∨(?Q∧Q)∨(?Q∧P) E3 ? (P∧Q)∨(?P∧Q)∨(?Q∧P) E5ノ,E8 F的主析取范式既非空公式，又未包含22=4个项，故F不是重言式和矛盾式，只是可满足式。 * 第三节 等值演算 几点说明： 这里的A、B、C代表任意的命题公式： 这里的1，0代表任意的重言式和矛盾式 命题公式之间的等值关系是等价关系：自反，对称，传递。 使用上述等值式，不用真值表法可推演出更多等值式来 练习 1-3 　1．判断下列等值式是否成立 （1）（P?Q）∧ （R ? Q）?（P∨R）? Q （2）?（P?Q）?（P∧? Q）∨（?P∧Q） 2. 证明下列命题公式的等值关系 (P ? Q ) ? (? P ? ( ? P ? Q ) ) ? ?P ? Q 1.4???析取范式与合取范式 每种数字标准形都能提供很多信息，如代数式的因式分解可判断代数式根的情况。逻辑公式在等值演算下也有标准形--范式，范式有两种：析取范式和合取范式。 定义1.11 将命题变项及其否定统称为文字。仅由有限个文字构成的析取式称作简单析取式。仅由有限个文字构成的合取式称作简单合取式。（举例） 一、 析取范式和合取范式 定理1： （1）简单合取式为永假式的充分必要条件是，它同时包含某个命题变元P及其否定?P。 （2）简单析取式为永真式的充分必要条件是，它同时包含某个命题变元P及其否定?P。 证明（2）必要性：假设A= A1*∨A2*∨…∨An*为一简单析取式，且A为一永真式。 (反证法) 假设A式中不同时包含任一命题变元及其否定， 则在A中，当Ai*为Ai时指派Ai取0，当Ai*为?Ai时，指派Ai取1。(i =1,2,…n).这样的一组真值指派使A的真值取0，这与A为永真式矛盾。 例如A=P1∨?P2∨P3.则(P1,P2,P3)=(0,1,0)的指派，使A的真值为0. 充分性：设A含命题变元Pi和?Pi，而Pi∨?Pi是永真式， 由结合律和零一律，A的真值必为1，故A也是永真式。 定义1.12 （1）由有限个简单合取式构成的析取式称为析取范式。即具有A1∨A2∨…∨An(n≥1)的形式的公式，其中Ai是简单合取式。 　 例如，F1=P∨(P∧Q)∨R∨(?P∧?Q∧R)是一析取范式。 （2）由有限个简单析取式构成的合取式称为合取范式。 即具有A1∧A2∧…∧An (n≥1)的形式的公式，其中Ai是简单析取式。 　例如，F2=?P∧(P∨Q)∧R∧(P∨?Q∨R)是一合取范式。  F3=(?P∨R∨Q)∧(P∨Q)∧R∧(P∨?R)也是一合取范式。 二、求公式的析取范式和合取范式 　　任何一个命题公式都可以变换为与它等值的析取范式和合取范式(范式存在性定理)。按下列步骤进行： 　　（1）利用命题定律消去公式中的运算符“?”和“?”； 　 (2) 利用德?摩根定律将否定符号“?”向内深入，使之只作用于命题变元； （3）利用双重否定律将? (?P)置换成P； （4）利用分配律、结合律将公式归约为合取范式或析取范式。 例1 求F1=(P∧(Q?R))?S的合取范式和析取范式