离散数学第29讲半期考试讲评.pptVIP

2020/3/22 计算机学院 1 主要内容 半 期 考 试 讲 评 2020/3/22 计算机学院 2 第一大题 1 、只有不怕困难，才能战胜困难； 解： p ：怕困难， q ：战胜困难 q → ? p or p → ? q 完全答对： 37 人 基本答对： 7 人 完全答错： 0 原因分析： 分不清楚命题和逻辑谓词之间表示的 区别。 2020/3/22 计算机学院 3 2 、整数 n 是偶数当且仅当 n 能被 2 整除 . ； 解： p: 整数 n 是偶数， q: 整数 n 能被 2 整除 p ? q 完全答对： 26 人 基本答对： 17 人 完全答错： 1 原因分析： 分不清楚命题和逻辑谓词之间表示的 区别，没有注意到当且仅当是双条件命题。 2020/3/22 计算机学院 4 3 、发明家都是聪明的并且是勤劳的，王前进是 发明家，所以王前进是聪明的并且是勤劳的； 解： F(x) ： x 是发明家， G(x) ： x 是聪明的， H(x) ： x 是勤劳的， a ：王前进 ( ? x(F(x) → (G(x) ∧ H(x))) ∧ F(a) ? G(a) ∧ H(a) 完全答对： 7 人 基本答对： 31 人 完全答错： 5 原因分析： 逻辑谓词的全称量词没有写，或者 逻辑混淆。 2020/3/22 计算机学院 5 4 、若 x 与 y 都是实数，且 x ＞ y ，则 x+2 ＞ y+2 ； 解： F(x) ： x 是实数， H(x ， y) ： x ＞ y ? x ? y(F(x) ∧ F(y) ∧ H(x,y) → H(x+2 ， x+2)) 完全答对： 20 人 基本答对： 22 人 完全答错： 2 原因分析： 逻辑谓词的全称量词没有写。 2020/3/22 计算机学院 6 5 、不存在最大的自然数。 解： F(x) ： x 是实数， H(x ， y) ： x ＞ y ?? x (F(x) ∧ ? y(F(y) → H(x,y))) 或 ? x(F(x) → ? y(F(y) ∧ ? H(x,y))) 完全答对： 5 人 基本答对： 24 人 完全答错： 15 原因分析： 逻辑谓词的存在量词和全称量词没 有写，对这句话理解很多人不是很清楚。 2020/3/22 计算机学院 7 第二大题 1 、用等价变换法求下列公式的主析取范式和主 合取范式 ) p q ( )) q p ( ) q p (( ? ? ? ? ? 主合取式 主析取式 ) p q ( ) p q ( ) q p ( ) p p ( q ( ) q p ( ) q p ( q ) q p ( ) q ) p q (( )) p q ( q ( ) p q ( q ) p q ( )) q p ( ) q p (( ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? 2020/3/22 计算机学院 8 完全答对： 27 人 基本答对： 5 人 完全答错： 12 原因分析： 对命题公式不熟悉，计算错误。 2020/3/22 计算机学院 9 2 、求 2 A ，其中 A={ ? ， a ， {b}} ； 解： 2 A = { ? ， { ? ? ,a} ， { ? ， {b}},A} 完全答对： 35 人 基本答对： 0 人 完全答错： 9 原因分析： 典型错误是少写一个 ? ，或 { ? } 。 2020/3/22 计算机学院 10 3 、假设 R 的关系图如图所示，试给出 r （ R ）、 s （ R ）、 t （ R ）的关系矩阵 M （ r （ R ））、 M （ s （ R ））、 M （ t （ R ））。 e a b c d ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 1 0 R 2020/3/22 计算机学院 11 ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? 1 0 0 0 0 0 1 1 0 0 0 1 1 0 0 1 0 1 1 0 0 0 0 1 1 )) R ( r ( M ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? 1