离散数学作业分析.pdfVIP

离散数学作业分析 上海交通大学可信任数字计算实验室 上海交通大学 离散数学作业分析1/52 第1章命题逻辑 第1章命题逻辑 上海交通大学 离散数学作业分析2/52 1.1 命题与联结词 【习题5】设 ：“我吃饭前完成作业”， ：“今天下雨”， : “我去看球赛”，试写出下面符号表达式对应的自然语言： 1. ⋀ ≦ → 2. ↔ 3. ≦ ≦ ∨ → 4. ↔ ≦ ≦ ∨ 上海交通大学 离散数学作业分析3/52 1.1 命题与联结词 解： 1. 如果我吃饭前完成作业并且今天不下雨，那么我就去看球赛。 2. 我吃饭前完成作业当且仅当我去看球赛。 3. 如果我吃饭前没完成作业或今天下雨两件事都没发生，那么 我就去看球赛。 4. 我去看球赛当且仅当我吃饭前没完成作业并且今天下雨这两 件事没有同时发生。 分析： 在这种类型的题目中，要特别注意等价联结词的表述。 上海交通大学 离散数学作业分析4/52 1.2 命题公式 【习题3】求给定条件的命题公式的真值。 1. → = 0, 求 ≦ ∨ ≦ → 2. ≦ → = 0, 求 ≦ ∨ ↔ 3. ≦ ↔ ⋀ = 1, 求 → ⋀ ⋀ ⋀≦ ⋀ → ⋀ 上海交通大学 离散数学作业分析5/52 1.2 命题公式 解： 1. 由已知， → = 0 ，可得 = 1， = 0 ， 则 ≦ ∨ ≦ → = 0 2. 由已知， ≦ → = 0 ，可得 = 0 ， = 0 ， 则 ≦ ∨ ↔ = 1 3. 由已知， ≦ ↔ ⋀ = 1，可得  = 1， = 0 ， = 1 → ⋀ ⋀ ⋀≦ ⋀ → ⋀ = 0  = 0 ， = 1， = 1 → ⋀ ⋀ ⋀≦ ⋀ → ⋀ = 0 上海交通大学 离散数学作业分析6/52 1.2 命题公式 分析： 在这种类型的题目中，要利用好形如 → = 0这样的条件。 同时注意在遇到如第3小题这样的情况时，要进行分类讨论。 上海交通大学 离散数学作业分析7/52 1.3 等值演算 【习题1】证明下列等值式： 2. ≦( ↔ ) ⟺ ∨ ⋀≦ ⋀ 4. → → ⟺ ≦ → → ≦ 10. ⋀⋀ → ⋀ → ∨ ∨ ⟺ ⋀ ↔ → 上海交通大学 离散数学作业分析8/52