离散数学课件-20命题逻辑小结.ppt

第一章小结;本章的重点内容、及要求：

１.逻辑联结词，要熟练掌握联结词的真值表定义以及它们在自然语言中的含义。其中特别要注意“∨”和“→”的用法。

２.会命题符号化。

３.掌握永真式的证明方法：

(1).真值表。

(2).等价变换，化简成Ｔ。

(3).主析取范式。

４.掌握永真蕴含式的证明方法，熟练记忆并会应用

43页中表1-8.3中的永真蕴含式。

５.掌握等价公式的证明方法，熟练记忆并会应用

43页表1-8.4中的等价公式。

６.熟练掌握范式的写法及其应用。

７.熟练掌握三种推理方法。;第一章习题课;P12习题(5)

a)或者你没有给我写信，或者它在途中丢失了。

显然这里的“或者”是“不可兼取的或”。

令P:你给我写信。Q:信在途中丢失了。

表达式为:?PQ或(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:上午下雨。