交大数理逻辑课件2-3命题逻辑的等值和推理演算.pptxVIP

第2章 命题逻辑的等值和推理演算 2.1 等值定理2.2 等值公式2.3 命题公式与真值表的关系2.4 联结词的完备集2.5 对偶式2.6 范式2.7 推理形式2.8 基本的推理公式2.9 推理演算2.10 归结推理法讨论等值演算讨论推理演算第一页，共三十二页。极大项定义 n个命题变项的简单析取式，其中每个命题变项与其否定不同时出现，而二者之一必出现且仅出现一次，这样的简单析取式称为极大项。如：两个命题变元P和Q，其极大项为： P ? Q， P ? ?Q ， ?P ? Q ， ?P ? ?Q说明n个命题变项产生2n个极大项，它们互不等值用Mi表示第i个极大项，每个小项的n个变元排序相同。（按下标或字典顺序），分别记为其中i是该极大项成假赋值的十进制表示的补. （正变项：0，变元的否定：1） M11 M10 M01 M00 第二页，共三十二页。 由P, Q, R三个命题变项形成的极小项与极大项 极小项 极大项 公式 成真赋值名称 公式 成假赋值名称 ?P ??Q ??R?P ??Q ? R?P ? Q ??R?P ? Q ? R P??Q ? ?RP ??Q ? RP ?Q ??RP ?Q ? R0 0 00 0 10 1 00 1 11 0 01 0 11 1 01 1 1m0m1m2m3m4m5m6m7?P ??Q ??R ?P ??Q ?R ?P ? Q ??R ?P ? Q ?R P ? ?Q ??R P ? ?Q ?R P ? Q ??RP ?Q ?R 1 1 11 1 01 0 11 0 00 0 10 1 00 0 10 0 0M0M1M2M3M4M5M6M7 第三页，共三十二页。主合取范式主合取范式由极大项构成的合取范式如n=3, 命题变项为P, Q, R时，主合取范式: (P?Q??R)?(?P?Q??R) = M6?M2 定理任何命题公式都存在与之等值的主合取范式, 并且是惟一的. 求主合取范式的方法等值演算法和真值表法第四页，共三十二页。用等价演算法求主合取范式的步骤1. 求A的合取范式A ′； 2. 若A ′的某简单析取式B中不含某命题变项或其否定，则将B展成如下形式： B = B ? 0 = B ? (Pi ? ? Pi ) = (B ? Pi) ? (B ? ? Pi)3. 将重复出现的命题变项、重言式及重复出现的极大项都“消去”。 4. 将极大项按由小到大的顺序排列，并用 ? 表示之，如 M1 ? M2 ? M6 用 ?(1,2,6) 表示。第五页，共三十二页。求公式(P??Q)?R 的主合取范式解1: ： (P??Q)?R = ? (? P ? ? Q) ?R = (P?Q) ? R = (P?Q) ? (Q?R)① P?R= (P?R) ? (Q ? ?Q ) =(P?R?Q) ? ( P? ?Q ?R)=M111 ? M101 ② Q?R=(Q?R) ? (P? ? P )=(P?Q ?R) ? (? P? Q ?R)=M111 ? M011 ③②, ③代入①并排序，得主合取范式：=M3 ? M5 ? M7 = ?(3,5,7)第六页，共三十二页。求公式(P??Q)?R 的主合取范式解2: (P??Q)?R = ? (? P ? ? Q) ?R = (P?Q) ? R = (P?R)?(Q?R) (合取范式) = M1x1 ? Mx11 = M101 ? M111 ? M011 ? M111 = M3 ? M5 ? M7 = ? (3,5,7) 主析取范式与主合取范式的转换—— ? (1,3,5,6,7)= ?[(0~7)-(1,3,5,6,7)]补= ?(0,2,4)补= ?(3,5,7) = (P?Q)?R （析取范式） = m11x ? mxx1 = (m110 ? m111)?( m001 ? m011 ? m101 ? m111) = ? (1,3,5,6,7)第七页，共三十二页。2.7 推理形式推理引例: (1) 正项级数收敛当且仅当部分和有上界. (2) 若AèCíBèD，则AíB且CíD.数理逻辑的主要任务是用逻辑的方法研究数学中的推理。推理——从前提出发，应用推理规则推出结论的思维过程上面(1)是正确的推理，而(2)是错误的推理. 推理的组成——前提——推理所根据的已知命题结论——从前提出发通过推理而得到的新命题证明—— 描述推理正确或错误的过程. 第八页，共三十二页。推理形式例：如果我有时间，那么我就去上街； 如果我上街，那么我就去书店买书； 但我没有去书店买书， 所以我没有时间。 解：令 P：我有时间。 Q：我去上街。 R： 我去书店买书。 根据题意，前提为：P→Q，Q→R，?R 结论为：