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

作业4 P38: 7(1)(7)(15) P38: 8(1)(6) P38: 9(2) P39: 12(1) 有关命题逻辑的思考题 有一逻辑学家误入某部落，被拘于牢狱，酋长意欲放行，他对逻辑学家说：“今有两门，一为自由，一为死亡，你可任意开启一门。为协助你脱逃，今派两名战士负责解答你所提出的任何问题。惟可虑者，此两战士中一名天性诚实，一名说慌成性，今后生死由你自己选择。”逻辑学家深思片刻，即向一战士发问，然后开门从容离去。该逻辑学家应如何发问？ * 要研究推理，首先应该明确什么样的推理是有效的或正确的。 * * * 用于构造证明法 * 用于构造证明法 * * * * * 第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 ? ?R P ??Q ? R P ?Q ??R P ?Q ? R 0 0 0 0 0 1 0 1 0 0 1 1 1 0 0 1 0 1 1 1 0 1 1 1 m0 m1 m2 m3 m4 m5 m6 m7 ?P ??Q ??R ?P ??Q ?R ?P ? Q ??R ?P ? Q ?R P ? ?Q ??R P ? ?Q ?R P ? Q ??R P ?Q ?R 1 1 1 1 1 0 1 0 1 1 0 0 0 0 1 0 1 0 0 0 1 0 0 0 M0 M1 M2 M3 M4 M5 M6 M7 主合取范式 主合取范式 由极大项构成的合取范式 如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) 解2: (P??Q)?R = ? (? P ? ? Q) ?R = (P?Q) ? R = (P?R)?(Q?R) (合