k离散数学命题符号化课件.pptVIP

离散数学 第一章 命题逻辑 * 4. 蕴含“→” 定义1-4　由命题P和Q利用“→”组成的复合命题，称为蕴含式复合命题，记作“P→Q”（读作“如果P，则Q”）。 当P为真，Q为假时，P→Q为假，否则 P→Q为真。 P Q P→Q 0 0 1 0 1 1 1 0 0 1 1 1 例8 将命题“如果我得到这本小说，那么我今夜就读完它。”符号化。 　　解 　 令P：我得到这本小说；Q：我今夜就读完它。 　　于是上述命题可表示为P→Q。 　例9 若P：雪是黑色的；Q：太阳从西边升起； R：太阳从东边升起。则P→Q和P→R所表示的命题都是真的. 蘊涵（條件）「如果…就…」的意义： ?兩個命題 P,Q可以用「若P則Q」(if P then Q) 的蘊涵（implication）方式連接，逻辑符号的表法为 P→Q 。中文口語上的說法則为「如果 P 就 Q」，意思是如果 P 是真那麼 Q 也一定为真。例如：「如果下雨地就是溼的。」「若P則Q 」的真偽值表如下： P Q P→Q 0 0 1 0 1 1 1 0 0 1 1 1 在這種情形之下，P稱為 Q 的充分條件。我們注意到「 P→Q 」為偽只發生在 P