慕课 离散数学 电子科技大学 课后习题三

作业-命题逻辑第二部分

by王丽杰

1.求公式¬((P∧Q)∨R)→R所对应的主合取范式和主析取范式。

2.用演绎法证明下述论断的正确性。

(1)P∨Q,Q→R,P→M,¬M⇒R∧(P∨Q)

(2)P,P→(Q→(R∧S))⇒Q→S

3.符号化下列论断，并用演绎法证明。

(1)如果A地发生了交通事故，则小李的通行会发生困难；如果小李按指

定的时间到达了，则他的通行没有发生困难；小李按指定的时间到达了。

所以A地没有发生交通事故.

(2)如果乙不参加蓝球赛，那么甲就不参加；如果乙参加篮球赛，那么甲

和丙就参加。因此，如果甲参加球赛，那么丙就参加。

1