1、庄伯金 1复习庄伯金 2答疑安排n 答疑地点：教二 214庄伯金 3命题逻辑n 命题逻辑的基本概念n 常见联结词n 命题逻辑等值演算n 命题逻辑的推理庄伯金 4命题的基本概念n 命题的定义n 能判断真假的陈述句n 命题的两个关键要素n 必须是 陈述句n 能明确地 判断真假n 命题的真值n 判断为 正确 的命题，其真值为 真（ 1） ；n 判断为 错误 的命题，其真值为 假（ 0） 。庄伯金 5复合命题及联结n 复合命题：由简单命题通过联结词联结而成的命题。n 常见联结词n 否定联结词n 合取联结词n 析取 联结词n 蕴涵 联结词n 等价联结词庄伯金 6基本复合命题真值表p q p
2、p q p q p q p q0 0 1 0 0 1 10 1 1 0 1 1 01 0 0 0 1 0 01 1 0 1 1 1 1庄伯金 7公式的赋值n 定义n 设 A为一命题公式， p1, p2, , pn, 为所有在 A中出现的命题变项。给 p1, p2, , pn指定一组真值，称其为 A的一个 赋值 或 解释 。n 若指定的一组赋值使 A的真值为 真 ，则称这组值为 A的 成真赋值 。n 若指定的一组赋值使 A的真值为 假 ，则称这组值为 A的 成假赋值 。n 将一个命题公式在所有赋值下的情况列成表，称为这个公式的 真值表 。n n个命题变项共有 2n组赋值。庄伯金 8n 重言式（永真式） ：n 所有的赋值都是 A的成真赋值。n 矛盾式（永假式） ：n 所有的赋值都是 A的成假赋值。n 可满足式 ：n 至少存在一组赋值使 A为真。庄伯金 9基本等值规律 (1)n 双重否定律n AAn 等幂律n AA An AA An 交换律n A BB An A BB An 结合律n A (B C)(A B) Cn A (B C)(A B) C庄伯金 10基本等值规律 (2)n 分配律n A (B C)(A B) (A C)n A (B C)(A B) (A C)n 德 .摩根律n (A B)A Bn (A B)A Bn 吸收律n A (A B)An A (A B)A
