离散数学复习资料优质文档新.docxVIP

优质文档 优质文档 PAGE PAGE 1 《离散数学》习题与解答 第一篇数理逻辑第一章命题逻辑 1（ 1）指出下列语句哪些是命题，哪些不是命题，如果是命题指出他的真值 离散数学是计算机科学系的一门必修棵 b) ∏ 2 吗？ 明天我去看电影 请勿随地吐痰 不存在最大质数 如果我掌握了英语，法语，那么学习其他欧洲的语言就容易多了 g) 9+512 x3 月球上有水 我正在说假话 [ 解] 不是命题 是命题 , 真值视具体情况而定 不是命题 是命题 , 真值为 t 是命题 , 真值为 t 是命题 , 真值为 f 不是命题 是命题 , 真值视具体情况而定 不是命题 1-2(1) 用 P 表示命题“天下雪” ,( 又表示命题“我将去镇上” ,R 表示命题“我有时间” . 以符号形式写出下列命题 : 如果天不下雪和我有时间 , 那么我将去镇上 . 我将去镇上，仅当我有时间 . 天不下雪 天下雪 , 那么我不去镇上 [ 解] a)( ┐ P∧ R)→ Q b)Q→ R ┐ P P →┐ Q 1-2(2) 将下面这段陈述中所出现的原子命题符号化 , 并指出他们的真值 , 然后将这段陈述中的每一命题符号化 2 是有理数是不对的 .2 是偶素数 .2 或 4 是素数 . 如果 2 是素数则 3 也是 素数 .2 是素数当且仅当 3 也是素数 . [ 解]: 陈述中出现 5 个原子命题，将他们符号化为 : P: 2 是有理数 其真值为 F Q:2 是素数 其真值为 T R:2 是偶数 其真值为 T S:3 是素数 其真值为 T U:4 是素数 其真值为 F 陈述中各命题符号化为 : ┐P;Q∧ R;Q∨ U;Q→ S;Q＜＝＞ S 1- 2(3) 将下列命题符号化 如果 3+3=6, 则雪是白色的 . 如果 3+3≠6, 则雪是白色的 如果 3+3=6, 则雪不是白色的 . 如果 3+3≠6, 则雪不是白色的 王强身体很好，成绩也很好 . 四边形 ABCD是平行四边形 , 仅当其对边平行 [ 解]: 设 P:3+3=6 Q: 雪是白色的 R: 王强成绩很好 S: 王强身体很好 U: 四边形 ABCD是平行四边形 V: 四边形 ABCD的对边是平行的于是 : 可表示为 :P → Q 可表示为 : ┐ P→ Q 可表示为 : P →┐ Q 可表示为：┐ P→┐ Q 可表示为： S∧ R 可表示为 :U ＜＝＞ V 1-3(1) 判别下列公式中哪些是合式公式 , 那些不是合式公式 a) (Q → R∧ S) b) (P ＜＝＞ (R→ S)) c) (( ┐ P→ Q)→ (Q→ P))) d) (RS → T) e) ((P → (Q→ R)) → ((P → Q)→ (P → R))) [ 解]: 不是合式公式 ( 若规定运算符优先级后也可以作为合式公式 ) 是合式公式 不是合式公式 ( 括号不配对 ) 不是合式公式 是合式公式 1-3(2) 对下列各式用指定的公式进行代换 : (((A →B) → B) →A), 用（ A→ C）代换 A，用（（ B∧ C）→ A 代换 B。 ((A → B) ∨ (B → A), 用 B 代换 A,A 代换 B. [ 解]:a)((((A → C) →((B ∧ C)→ A)) → ((B ∧ C)→A)) → (A →C)) b)((B → A)∨ (A → B)) 3(3) 用符号形式写出下列命题 假如上午不下雨 , 我去看电影 ; 否则就在家里读书或看报 . 我今天进城 , 除非下雨 . 仅当你走 , 我将留下 . [ 解]a) 设 P: 上午天下雨 . Q:我去看电影R: 我在家读书 S: 我在家看报 原命题可译为 :( ┐P→ Q)∧(P → (R ∨ S))