交大数理逻辑课件命题逻辑的等值和推理演算.ppt

第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） 由P, Q, R三个命题变项形成的极小项与极大项 主合取范式 主合取范式 由极大项构成的合取范式 如n=3, 命题变项为P, Q, R时，主合取范式: (P?Q??R)?(?P?Q??R) = M6?M2 定理 任何命题公式都存在与之等值的主合取范式, 并且是惟一的. 求主合取范式的方法 等值演算法和真值表法 求公式(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) 2.7 推理形式 推理引例: (1) 正项级数收敛当且仅当部分和有上界. (2) 若AèCíBèD，则AíB且CíD. 数理逻辑的主要任务是用逻辑的方法研究数学中的推理。 推理——从前提出发，应用推理规则推出结论的思维过程 上面(1)是正确的推理，而(2)是错误的推理. 推理的组成—— 前提——推理所根据的已知命题 结论——从前提出发通过推理而得到的新命题 证明—— 描述推理正确或错误的过程. 推理形式 例：如果我有时间，那么我就去上街； 如果我上街，那么我就去书店买书； 但我没有去书店买书， 所以我没有时间。 解：令 P：我有时间。 Q：我去上街。 R： 我去书店买书。 根据题意，前提为：P→Q，Q→R，?R 结论为：?P 推理的形式为： (P→Q)∧(Q→R)∧?R → ?P 重言蕴涵 定义 若（A1ùA2ù…ù Ak）?B为重言式，则称 由A1,A2,…, Ak推出结论B的推理正确（有效结论） 否则推理不正确（错误）. “A1, A2, …, Ak 推出B” 的推理正确 当且仅当 A1ùA2ù…ùAk?B为重言式. 推理的形式结构—— A1ùA2ù…ùAk?B 或 前提： A1, A2, … , Ak 结论： B 若推理正确，则记作：A1ùA2ù…ùAk T B 例：判断下面推理是否正确 （1）若天气凉快，小王就不去游泳。天气凉快，所以小王没去游泳。 解题方法—— ①将命题符号化 ②写出前提、结论和推理的形式结构 ③进行判断 解： ① 设 P：天气凉快，Q：小王去游泳. ② 前提： P??Q，P 结论： ?Q 推理的形式结构为： ((P??Q)ùP) ? ?Q 判断上式是否为重言式 例：判断下面推理是否正确 （1）若天气凉快，小王就不去游泳。天气凉快，所以小王没去游泳。 ③判断 ((P??Q)ùP) ? ?Q 是否为重言式 方法1：真值表法 例：判断下面推理是否正确 （1）若天气凉快，小王就不去游泳。天气凉快，所以小王没去