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