离散数学习题课带的答案.pptVIP

命题逻辑习题课参考答案 命题符号化 P:天下雪。Q我将去镇上。R:我有时间。 (1)如果天不下雪且我有时间,那么我将去镇上。 P∧R)→Q (2)我将去镇上,仅当我有时间。 Q→R (3)天下雪,那么我不去镇上  (4)或者你没有给我写信,或者它在途中丢失了。 显然这里的“或者”是“不可兼取的或”。 令P:你给我写信。Q:信在途中丢失了。 P曲Q或(P∧Q∨(P∧-Q) (5)我们不能既划船又跑步。 令P:我们划船。Q:我们跑步。 (P∧Q) (6)如果你来了,那么他唱不唱歌将看你是否为他伴 奏而定 令P你来了。Q:你为他伴奏。R:他唱歌。 P→(Q→R)∧(Q→R) 或:P→(QR)  (7)假如上午不下雨,我去看电影,否则就在家里读 书或看报。 令P:上午下雨。Q:我去看电影。R:我在家里读书。 S:我在家里看报。 (P→Q∧P→(R∨S) (8)我今天进城,除非下雨。 令P:我今天进城。Q:今天下雨。 表达式为:Q→P (9)仅当你走我将留下。 令P你走。Q:我留 表达式为:Q→P或者-P→Q  重言式的证明方法 方法1:列真值表。 方法2:公式的等价变换,化简成“T” 方法3:用公式的主析取范式。 (1)证明(P→Q)→(P→(P∧Q)是重言式。 方法1 PQP→QP→(P∧Q(P→Q)→(P→(P∧Q)) FF T T T T  方法2:(P→Q→(P→(P∧Q) →(PVQ∨(PV(P∧Q) 台(P∧Q)∨(PVP)∧(P∨Q) 台(P∧-Q)V(T∧(P∨Q P∧Q∨(P∨Q) 台(P∨(-PVQ)∧(-Q∨(-P∨Q) (PV-P)∨Q))∧(-Q∨(Q∨P) 台(T∨Q)∧(_QVQ)V-P) 台T∧(TV-P 台T∧T  方法3(P→Q)(P→(P∧Q) (P∨Q)∨V(-PV(P∧Q) (P∧_Q∨-PV(P∧Q (P∧-Q)V(P∧QV-Q)∨(P∧Q →(P∧-Q)∨(P∧Q∨(-P∧-Q)V(P∧Q (P∧Q∨(P∧-Q)V(-P∧Q)∨(-P∧_Q) 可见,该公式的主析取范式含有全部(四个 小项,这表明(P→Q→(P→(P∧Q)是永真式  三重言蕴涵式的证明方法 方法1.列真值表。(即列永真式的真值表)(略) 方法2假设前件为真,推出后件也为真。 方法3假设后件为假,推出前件也为假。 证明 (-A→(B∨C))∧(DVE)∧(D∨E)-A)→BVC 方法2证明: 设前件(A-(B∨C)∧(D∨E)∧(D∨E)A)为真,则 A→(B∨C),D∨E,(D∨E)→-A均为真。 由DVE,(D∨E)→A均为真,得 A为真, 又由_A→(B∨C)为真,得 B∨C为真。所以 (-A→(BVC))(DVE)∧(①D∨E)A)→B∨C  (A-(B∨C)∧①D∨E)∧(①D∨E)-A)→BVC 方法3证明:设后件B∨C为F,则B与C均为F, 1.如果D∨E为T,则 1)若A为T,则_A为F,则(DVE)→A为F,于是前件 (-A→(BVC))∧(D∨E)∧(DE)→A 为F 2).若A为F,则_A为T,于是_A→(B∨C)为F, 故前件(-A→(BVC)∧(DVE)∧(DVE)→A) 为F。 2如果D∨E为F,则前件 (-A→(BVC)∧D∨E)∧(DVE)→A)为F。 ∴(-A→(B∨C)∧(DVE)∧(D∨E)-A)→BVC  四.等价公式的证明方法 方法1:用列真值表。(不再举例) 方法2:用公式的等价变换(用置换定律) (1)证明 (A∧B)→C)B→(D∨C)(B∧①D→A)→C 左式台((A∧B)∨C)∧(B∨(D∨C) 台(A∨-B)∨C)∧(B∨(D∨C) 台(-B∨-A)∨C)∧(-BVD)∨C) 台(B-A)∧(-BVD)∨C 台(-B∨(-A∧D)∨C 台(B∧(A∨-D)∨C 台(B∧①D→A)→C  (2)化简A∧B∧C)∨(-A∧B∧C) 上式(A∨-A)∧(B∧C) →T∧(B∧C) →B∧C