命题逻辑习题课
1
一.命题符号化P:天下雪。Q:我将去镇上。R:我有时间。(1) 如果天不下雪且我有时间，那么我将去镇上。 (2) 我将去镇上，仅当我有时间。 (3) 天下雪，那么我不去镇上。 (4) 或者你没有给我写信，或者它在途中丢失了。   令 P:你给我写信。Q:信在途中丢失了。(5) 我们不能既划船又跑步  令 P:我们划船。Q:我们跑步。 (6)如果你来了，那么他唱不唱歌将看你是否为他伴奏而定。  令 P:你来了。Q:你为他伴奏。 R:他唱歌。(7)假如上午不下雨，我去看电影，否则就在家里读书或看报。令 P:上午下雨。Q:我去看电影。 R:我在家里读书。S:我在家里看报。               
2
(8)我今天进城，除非下雨。令 P:我今天进城。Q:今天下雨。(9)仅当你走我将留下。令 P:你走。Q:我留下。
3