|
本题添加时间：2023/4/3 12:59:00 |
|
圆梦客服：王老师 19139051760(微信同号) 19139051760(微信同号) |
|
[证明题,7.1分] 利用形式演绎法证明：{P→Q, R→S, P∨R}蕴涵Q∨S。
|
答案是:证明：{P→Q, R→S, P∨R}蕴涵Q∨S(1) P∨R P(2) ØR→P Q(1)(3) P→Q P(4) ØR→Q Q(2)(3)(5) ØQ→R Q(4)(6) R→S P(7) ØQ→S Q(5)(6)(8) Q∨S Q(7)
出自
河南理工大学-计算机科学与技术-离散数学 联大系统
河南理工大学
|
更多试题>>>>
1、[证明题,7.1分] 利用形式演绎法证明：{ØA∨B, ØC→ØB, C→D}蕴涵A→D。
2、[证明题,7.7分] 证明：命题公式G是恒真的当且仅当在等价于它的合取范式中，每个子句均至少包含一个原子及其否定。
3、[证明题,7.1分] 设（L，×，+）是一分配格，a∈L，设
f(x)=x+a， x∈L，
g(x)=x×a， x∈L，
证明：f和g都是（L，×，+）到自身的格同态映射。
4、[证明题,7.1分] 设f是格（L，≤1）到格（S，≤2）的满同态映射。证明：若（L，≤1）是有界格，则（S，≤2）也是有界格。
5、[证明题,7.1分] 设A,B为任意集合，证明：(A-B)-C = A-(B∪C)
|
|
