王老师:19139051760(拨打)复制微信 题目 更新时间：2023/4/3 [证明题,7.1分] 利用形式演绎法证明：{ØA∨B, ØC→ØB, C→D}蕴涵A→D。 答案 登录 注册 证明：{ØA∨B, ØC→ØB, C→D}蕴涵A→D(1) A D(附加)(2) ØA∨B P(3) B Q(1)(2)(4) ØC→ØB P(5) B→C Q(4)(6) C Q(3)(5)(7) C→D P(8) D Q(6)(7)(9) A→D D(1)(8)所以 {ØA∨B, ØC→ØB, C→D}蕴涵A→D. 出自：联大 >> 河南理工大学-计算机科学与技术-离散数学 河南理工大学继续教育学院
题目 更新时间：2023/4/3
搜题
搜题
题目 更新时间：2023/4/3
答案