命题逻辑习题课答案.pptVIP

命题逻辑习题课参考答案 一.命题符号化 P:天下雪。Q:我将去镇上。R:我有时间。 (1) 如果天不下雪且我有时间，那么我将去镇上。 (?P∧R)→Q (2) 我将去镇上，仅当我有时间。 Q→R (3)天下雪，那么我不去镇上。 P→?Q (4) 或者你没有给我写信，或者它在途中丢失了。 显然这里的“或者”是“不可兼取的或”。 令 P:你给我写信。Q:信在途中丢失了。 ?P ⊕Q 或 (P∧Q)∨(?P∧?Q) (5) 我们不能既划船又跑步。 令 P:我们划船。Q:我们跑步。 ?(P∧Q) (6)如果你来了，那么他唱不唱歌将看你是否为他伴奏而定。 令 P:你来了。Q:你为他伴奏。 R:他唱歌。 P→((Q→R)∧(?Q→?R)) 或： P→(Q?R) (7) 假如上午不下雨，我去看电影，否则就在家里读书或看报。 令 P:上午下雨。Q:我去看电影。 R:我在家里读书。S:我在家里看报。 (?P→Q)∧(P→(R∨S)) (8)我今天进城，除非下雨。 令 P:我今天进城。Q:今天下雨。 表达式为: ?Q→P (9)仅当你走我将留下。 令 P:你走。Q:我留下。 表达式为: Q→P 或者 ?P→?Q 二.重言式的证明方法 方法1：列真值表。 方法2：公式的等价变换，化简