离散数学习题18省公开课一等奖全国示范课微课金奖PPT课件

是 否 +2 论坛币

k人 参与回答

经管之家送您一份

应届毕业生专属福利!

求职就业群

赵安豆老师微信：zhaoandou666

经管之家联合CDA

送您一个全额奖学金名额~ !

立即领取

感谢您参与论坛问题回答

经管之家送您两个论坛币！

+2 论坛币

离散数学习题 1-8
     网工1102
此次作业为
┐A∨B，C→┐B  A→┐C (矛盾法)证实：(1) ┐(A→┐C)  P附加前提  (2) ┐ (┐ A ∨┐C )   T(1)E条件等值式  (3) A∧C   T(1)E德摩根律  (4) A                T(3)I化简律  (5) C                T(3)I化简律  (6) ┐A∨B   P前提  (7) B     T(2)(4)I析取三段论  (8) C→┐B   P前提  (9) ┐B     T(3)(6)I假言推理  (10) B∧┐B矛盾  T(5)(7)I合取式
（2）仅用规则P和T，证实以下公式。

扫码加我 拉你入群

请注明：姓名-公司-职位

以便审核进群资格，未注明则拒绝

分享0 收藏0 回帖

关键词：ppt课件 离散数学 学习题 一等奖 示范课

相关内容：离散数学课件ppt