[证明题,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.

出自：联大 >> 河南理工大学-计算机科学与技术-离散数学

王老师:19139051760(拨打)

加入会员登录账户学历提升

第1题

[证明题,7.7分] 证明：命题公式G是恒真的当且仅当在等价于它的合取范式中，每个子句均至少包含一个原子及其否定。

点击查看答案

第2题

[证明题,7.1分] 设（L，×，+）是一分配格，a∈L，设 f(x)=x+a， x∈L， g(x)=x×a， x∈L，证明：f和g都是（L，×，+）到自身的格同态映射。

点击查看答案

第3题

[证明题,7.1分] 设f是格（L，≤1）到格（S，≤2）的满同态映射。证明：若（L，≤1）是有界格，则（S，≤2）也是有界格。

点击查看答案

第4题

[证明题,7.1分] 设A,B为任意集合，证明：(A-B)-C = A-(B∪C)

点击查看答案