离散数学 期末复习 复习材料[文字可编辑].ppt

证明：① . 对 ? a ? X ，均有 (a-a)/3=0 ? z 成立，即 a,a ? R ， 所以， R 是自反的。 ② . 对 ? a ， b ? X 如果 a,b ? R ，则有 (a-b)/3=k ? z 成立， 于是 (b-a)/3=-k ? z 成立，即 b,a ? R ，所以， R 具有对 称性。 ③ . 对 ? a ， b ， c ? X 如果 a,b ? R ， b,c ? R ，则有 (a-b)/3=k 1 ? z, (b-c)/3=k 2 ? z, 成立，于是 (a-c)/3=k 1 + k 2 ? z, 成立，即 a,c ? R ，所以， R 具有传递性。 综上 , 根据等价关系的定义可知， R 是 X 上的等价关系。 第一部分 命题逻辑 期 末复习 一、本章主要内容 1) 命题逻辑基本概念 a) 命题及常用联结词 b) 复合命题符号化 c) 命题公式的赋值与类型 2) 命题逻辑的等值演算 a) 基本逻辑恒等式 b) 恒等演算 3) 范式 a. 极小项和极大项 b) 求命题公式的主析取和主合取范式 i. 等值演算法 ii. 真值表法 4) 命题逻辑的推理理论 a) 推理的形式结构 b) 推理规则 c) 推理的构造证明方法 — 直接证明法、附加前 提法、归谬法 二、典型题例讲解 例 1 将下列命题符号化。 ① . 李平不是不聪明，而是不用功。 假设 p: 李平聪明， q: 李平用功 ② . 如果只有懂得希腊文才能了解柏拉图，那么 我不了解柏拉图。 假设 p ：我懂得希腊文， q ：我了解柏拉图 例 2 化简下列命题公式： ① . (┐P∧(┐Q∧R))∨((Q∧R)∨(P∧R)) ② . 例 3 化简下列命题公式： 求公式 G ＝(P→Q)∧R的主析取范式和主合取范式。 解法一：等值演算法 解法二：真值表法 例 4 试由命题公式 T 的真值表求它的主析取范式。 1 1 1 1 1 0 1 1 1 1 0 1 0 0 0 1 1 1 1 0 0 0 1 0 1 1 0 0 0 0 0 0 T r q p 解：由表可知， 001 ， 011 ， 101 ， 110 ， 111 是原公式的成真赋值， 因而对应的十进制数 1 ， 3 ， 5 ， 6 ， 7 为角码的极小项 构成 T 的主析取范式，而其它极小值不在它的主析取范式中，即 例 5 用推理规则证明： S→┒Q，┒ Q ? R ，S∨P，┒ R ? P 。 证明：① ┒ Q ? R P ，前提引入 ② ┒ Q→R T ，①，化简 ③ S→ ┒ Q P ，前提引入 ④ S→R T ，②③，前提三段论 ⑤ ┒ R P ，前提引入 ⑥ ┒ S T ，④⑤，拒取式 ⑦ S ∨ P P ，前提引入 ⑧ P T ，⑥⑦，析取三段论 故，原命题成立，证毕。 第二部分 谓词逻辑 期 末复习 一、本章主要内容 1) 谓词逻辑基本概念 a) 个体词、谓词 b) 量词：存在量词与全称量词 c) 命题符号化：特性谓词的加入规则 2) 谓词公式的解释与分类 a) 谓词公式的解释 b) 分类 3) 谓词逻辑的等值演算 a. 谓词逻辑的基本等值式 b) 谓词逻辑等值演算的换名规则 c) 谓词逻辑的前束范式 4) 谓词逻辑的推理理论 a) 推理的形式结构 b) 推理规则：所有命题逻辑的推理定律的代换 实例， UI 规则、 UG 规则、 EI 规则、 EG 规则 c) 推理的构造证明方法 — 直接证明法、附加前 提法、归谬法 二、典型题例讲解 例 1 在谓词逻辑中将下列命题符号化。 ① . 没有不吃饭的人。 ② . 在北京卖菜的人不全是东北人。 ③ . 自然数全是整数。 ④ . 有的人天天锻炼身体。 例 2 给定公式 I 的解释如下： ① . 个体域为 D={3 ， 4} ② . 谓词 求下列公式在此解释下的真值： ① . ? x ? yF(x,y) ② . ? y ? xF(x,y) ? ? ? ? ? ? y x y x y x F 1 0 ) , ( 例 3 证明： ? x(P(x) ? ┑ Q(x)) ， ? x(Q(x) ∨ R(x)) ， ? x ┒ R(x) ?? x ┒ P(x) 证明：① ? x ┒ R(x) P ，前提引入 ② ┒ R(c) T ，①， EI ③ ? x(Q(x) ∨ R(x)) P ，前提引入 ④ Q(c) ∨ R(c) T ，③， UI ⑤ Q(c) T ，②④，析取三段论 ⑥ ? x(P(x) ? ┑ Q(x)) P ，前提引入 ⑦ P(c) ? ┑ Q(c) T ，⑥， UI ⑧ ┑ P(c) T ，⑤⑦，拒取式 ⑨ ? x ┒ P(x) T ，⑧， EG 故，原推证成立，证毕。 第三部分 集合 期 末复习 一、本章主要内容