您好,欢迎来到飒榕旅游知识分享网。
搜索
您的当前位置:首页慕课 离散数学 电子科技大学 课后习题三

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

来源:飒榕旅游知识分享网
作业-命题逻辑第二部分

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→S3.符号化下列论断,并用演绎法证明。

(1)如果A地发生了交通事故,则小李的通行会发生困难;如果小李按指定的时间到达了,则他的通行没有发生困难;小李按指定的时间到达了。所以A地没有发生交通事故.

(2)如果乙不参加蓝球赛,那么甲就不参加;如果乙参加篮球赛,那么甲和丙就参加。因此,如果甲参加球赛,那么丙就参加。

1

因篇幅问题不能全部显示,请点此查看更多更全内容

Copyright © 2019- sarr.cn 版权所有 赣ICP备2024042794号-1

违法及侵权请联系:TEL:199 1889 7713 E-MAIL:2724546146@qq.com

本站由北京市万商天勤律师事务所王兴未律师提供法律服务