离散数学模拟题4.docVIP

  1. 1、本文档共5页,可阅读全部内容。
  2. 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
  3. 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载
  4. 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
  5. 5、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
  6. 6、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们
  7. 7、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
  8. 8、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
离散数学模拟题4

模 拟 试 题 4 一. 1.设命题P、Q、R所代表的意义如下: P:小张上街。Q:小王上街。R:小李上街。 试用自然语言说明复合命题 ((P(Q)(R 所表示的含义。 2.设命题P、Q、R所代表的意义如下: P:明天天气好。Q:明天我上街。R:明天我在家。 用逻辑符号写出下面命题的表达式。 “如果明天天气好,我就上街,否则在家。” 3.用谓词逻辑表达下面命题:金子闪光,但闪光的不一定都是金子。 4.给P、Q指派真值“T”,给R、S指派真值“F”,求下面复合命题的真值。 (S((Q((R((P))) (( Q((S) 二.写出下面命题公式 (P→Q)→(P→(P∧Q)) 的主析取取范式。 三.用谓词逻辑推理证明下面推理的有效性。(要求按照推理格式书写推理过程。) (xC(x), (x(A(x)(B(x)), (x(B(x)→( C(x)) (? (x?A(x) 四.有两个小题 1.判断下面命题的真值。 ⑴ {a,b}∈{{a,b},c} ⑵ {a}({{a,b},c} ⑶ {a,b}({{a,b},c} ⑷ {c}({{a,b},c} ⑸ ({c}({{a,b,c}})((Φ({a}) 2.给定全集E={1,2,3,4,5} A={1,2,3} B={2,3,4} (1).求A的幂集P(A) (2).求B( ~A 五.有两个小题。 1.令A={1,2,3},分别画出A上空关系Φ、完全关系(全域关系)、恒等关系IA的关系图。再分别写出它们的矩阵。 2.设A={1,2,3},给定A中如下四个关系,如图所示。 (1) 首先判断这四个关系是否有如下性质,用Y表示有,用N表示无,填下表。 自反性 反自反性 对称性 反对称性 传递性 R1 R2 R3 R4 (2).这四个关系中哪些是等价关系?是等价关系求对应的商集。哪些是偏序关系,对偏序关系画出哈斯图。 六.证明,如果f:X(Y,和g:Y(Z是入射的,则 g(f 也是入射的。 七. 1.令G={a,b,c},且G,*是群,其中,设a是幺元, (1).列出G,*的运算表。 (2).填空:b2=( ),b*c=( ),b和c的阶分别是( )和( ) 。 2.令I:是整数集合;N:自然数集合,R:实数集合。+是加法运算,×是乘法运算。给定代数系统I,+,R,+, I,×,N,×,R,×,P(E),( , P(E), (,P(E), (。请问哪些代数系统不是群?只要说明一条理由即可。又问哪些代数系统是群?并说明理由。 八.具有四个元素的格有几种不同构形式?请分别请画出它们的哈斯图。 九. 1.在具有n个结点的无向简单图G中,δ(G) =n-1,问Δ(G) 应为多少?为什么? 2.给定G如下图所示,求G的补图。 3.下面哪些图同构?(只标出结点之间的对应关系即可。) 4.证明: T是棵完全m叉树, 有t个叶结点, i个分支结点,则(m-1)i=t-1 . 模拟试题4参考答案 一.1.如果不是小张与小王都上街去,则小李上街。 2.(P(Q)(((P(R) 3.设:G(x):x是金子。 F(x):x闪光。则命题的表达式为 (x(G(x)(F(x)) (((x(F(x)(G(x)) 或者 (x(G(x)(F(x)) ((x(F(x) ((G(x)) 4.将P、Q、R、S的真值代入上面复合命题表达式得: (F((T((F((T))) (( T((F),进一步得 (F((T((F(F))) (( T(T), (F((T(F)) ( T ,(F(F) ( T , F ( T , 最后得该复合命题的真值为 F。 二. (P→Q)→(P→(P∧Q)) (( ((P∨Q)∨((P∨(P∧Q)) 去→ ((P∧(Q)∨(P∨(P∧Q) (后移 ((P∧(Q)∨((P∧(Q∨(Q))∨(P∧Q) 补变元Q ((P∧(Q)∨((P∧Q)∨((P∧(Q)∨(P∧Q) 分配 ( (P∧Q)∨(P∧(Q)∨((P∧Q)∨((P∧(Q) 三. ⑴ (x(A(x)(B(x)), P ⑵ A(a)(B(a) ES ⑴ ⑶ (xC(x) P ⑷ C(a) US ⑶ ⑸ (x(B(x)→(C(x)) P ⑹ B(a)→(C(a) US ⑸

文档评论(0)

youshen + 关注
实名认证
文档贡献者

该用户很懒,什么也没介绍

1亿VIP精品文档

相关文档