1命题逻辑习题.pdfVIP

第一章 习题课 一.命题符号化 注意讲过的命题符号化方法。 P 习题(3) 8 P:天下雪。Q:我将去镇上。R:我有时间。 a) 如果天不下雪且我有时间，那么我将去镇上。 (P∧R)→Q 只有天不下雪且我有时间，我才去镇上。 Q→(P∧R) b) 我将去镇上，仅当我有时间。 Q→R d) 天下雪，那么我不去镇上。 P→Q P12习题(5) a) 或者你没有给我写信，或者它在途中丢失了。 显然这里的“或者”是“不可兼取的或”。 令 P:你给我写信。Q:信在途中丢失了。 表达式为: P⊽Q 或 (P∧Q)∨(P∧Q) c) 我们不能既划船又跑步。 令 P:我们划船。Q:我们跑步。 表达式为 (P∧Q) d)如果你来了，那么他唱不唱歌将看你是否为他 伴奏而定。 令 P:你来了。Q:你为他伴奏。 R:他唱歌。 表达式为: P→((Q→R)∧(Q→R)) 也可以写成： P→(QR) P12习题(7) a) 假如上午不下雨，我去看电影，否则就在家里 读书或看报。 令 P:上午下雨。Q:我去看电影。 R:我在家里读 书。S:我在家里看报。 表达式为: (P→Q)∧(P→(R ⊽ S)) 不可以写成：(P→Q)∨(P→(R ⊽ S)) (P→Q)∨(P→(R ⊽ S)) (P∨Q)∨(P∨(R ⊽ S)) (P∨Q)∨(P∨(R ⊽ S)) P∨Q∨P∨(R ⊽ S) P∨P ∨Q∨(R ⊽ S) T b) 我今天进城，除非下雨。 令 P:我今天进城。Q:今天下雨。 表达式为: Q→P c) 仅当你走我将留下。 令 P:你走。Q:我留下。 表达式为: Q→P 或者 P→Q 二.重言式的证明方法 方法1：列真值表。 方法2 ：公式的等价变换，化简成“T”。 方法3：用公式的主析取范式。 P23 (2)a)证明(P→Q)→(P→(P∧Q))是重言式。 方法1: P Q PQ P→(P∧Q) (P→Q)→(P→(P∧Q)) F F T T T F T T T T T F F F T T T T T T 方法2: (P→Q)→(P→(P∧Q)) (P∨Q)∨(P∨(P∧Q)) (E ) 16 (P∧Q)∨((P∨P)∧(P∨Q)) 摩根，分配 (P∧Q)∨(T∧(P∨Q)) 互补 (P∧Q)∨(P∨Q) 同一 (P∨(P∨Q))∧(Q∨(P∨Q)) 分配 ((P∨P)∨Q)∧(Q∨(Q∨P)) 结合、交换 (T∨Q)∧((Q∨Q)∨P) 互补、结合 T ∧(T∨P) 零律、互补  T ∧T 零律  T