- 1、本文档共11页,可阅读全部内容。
- 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
1. A.1+101=110 B .中国人民是伟大的。
C .全体起立! D .计算机机房有空位吗?
在上面句子中,是命题的是( B )
2 .设 Q (x ):x 是有理数,R (x ):x 是实数。命题“某些实数是有理数”在
谓词逻辑中的符号化公式是( D )
A .(x )(Q (x )R (x )) B .(x )(Q (x )R (x ))
C .(x )(Q (x )R (x )) D .(x )(Q (x )R (x ))
3. 对于集合{1, 2, 3},下列关系中不等价的是( B )
A .R={1,1 ,2,2, 3,3}
B .R={1,1,2,2,3,3,1,4}
C .R={1,1,2,2,3,3,3 ,2,2,3}
D .R={1,1,2,2,1,2,2,1,1,3, 3,1,,3,3,2,3,3,2}
4 .设A={1 ,2 ,3,4 ,5},B={a ,b,c,d ,e},以下哪个函数是从A 到B 的
双射函数( B )
A .F ={1 ,b ,2 ,a ,3 ,c ,1 ,d ,5 ,e}
B .F={1 ,c ,2 ,a ,3 ,b ,4 ,e ,5 ,d}
C .F ={1 ,b ,2 ,a ,3 ,d ,4 ,a}
D .F={1 ,e ,2 ,a ,3 ,b ,4 ,c ,5 ,e}
5 .下列判断不正确的是( D )
A .n 2 n N 关于普通加法构成群
B .n 2 n N 关于普通乘法构成独异点
C .所有实数对a,b 关于 运算,其中a,b c,d a c,b d 构成群
D .实数集R 关于 运算构成半群,其中a b 2(a b)
二、判断题(本大题20 分,每小题4 分)
1、命题公式 p(pq) 是重言式。 ( × )
2 、 ((x )A (x )B ) (x )(A (x )B )。 ( √ )
3、设A={a, b, c}, R A×A 且R={ a, b, a, c}, 则R 是传递的。 ( √ )
4 、n 阶无向完全图Kn 的每个顶点的度都是n 。 ( × )
5、根树中除一个结点外,其余结点的入度为1。 ( × )
三、解答题(计算或者证明题:本大题50 分,每小题10 分)
1.设命题公式为 Q (P Q )P 。
《高级语言程序设计 I 》试卷 (A) 第 1 页 共 11 页
(1)求此命题公式的真值表;
(2 )求此命题公式的析取范式;
(3 )判断该命题公式的类型。
P Q Q PQ Q (P Q ) P Q (P Q )P
0 0 1 1 1 1 1
0 1 0 1 0 1 1
1 0 1 0 0 0 1
1 1 0 1 0 0 1
(2 ) Q (P Q )P (Q (PQ ))P
(Q (PQ ))P (PQ ) (QP ) 1 (析取范式)
文档评论(0)