- 1、本文档共3页,可阅读全部内容。
- 2、有哪些信誉好的足球投注网站(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
一.填空.设,的极小元是______________,最小元是_______________,______________,最大元是______________。.A=___________________,∩∩A=___________________,
∪∩A=___________________,∩∪A=___________________。P,Q为二命题,真值为1 当且仅当 。
6. 令P:天下雨,Q:我将去新华书店,R:我有时间。则命题“如果天不下雨并且我有时间,那么我将去新华书店”的翻译为 ;命题“我去新华书店,仅当我有时间”的翻译为 ; 命题“除非天不下雨,我将去新华书店”的翻译为 。
7.若R 是集合A上的偏序关系,则R满足________________, _____________________ 。
的前束范式为 。
9 将量词辖域中出现的 和指导变元交换为另一变元符号,公式其余的部分不变,这种方法称为换名规则。
10.A={1,2,3,4,5,6},A上二元关系,则用列举法 T= 。
的幂集为( )。
A.;
B.;
C.;
D.
2.下列结果正确的是( )。
A.; B.;
C.; D.;。
3.在( ) 下有。
A.; B.; C.; D.
4.集合A={ {2}, {2,3}, {3,4} }的极小元是( )。
A.{2} B. {2,3} C.{3,4} D.以上都是
5.下列是真命题的为( )
A. ; B.;
C. ; D.{Φ}{{Φ}}。
6.“所有的人都犯错误”的逻辑符号化为( )。
设H(x):x是人, P(x):x犯错误。
A.; B.;
C.; D.。
7.设,则有( )。
A.{{8,10}} ;B.{8,10 } ; C.{8} ; D.{10} 。
8.全体大项的合取式为( )。
A.可满足式; B.矛盾式; C.永真式; D.A,B,C 都有可能。
9.下列语句不是命题的有( )。
A.x=100; B.实践出真知;
C.所有素数都是奇数; D.请勿吸烟!
10.设,则有( )。
A. B. C. D.
11.设N是自然数集合,R是实数集合,f : N→R,且给定,
则( )。
A.f是单射 B. f是满射 C.f是双射 D.都不是
12.下述命题公式中,是重言式的为( )。
A.; B.;
C.; D.。
13.给定命题公式:与之等价的公式是( )。
A. B.
C. D.
14.下列选项错误的是( )。
A. B. C. D.
三、简答题设命题A1,A2的真值为1,A3,A4真值为0,求命题
2.不构造真值表证明下列蕴涵式:(P?Q) ? Q ? P ?Q
3.用等同赋值方法证明如下公式为逻辑有效的:
(x)A→(?x)A,其中A为任何公式,x为任意个体变元。
4.证明:A? B ? P(A)? P(B)
四.设A={1,2,3,4},在 P(A)上规定二元关系如下:R={ s, t | s, t ∈P(A) ? ( |s| = |t| ) },
其中|s|表示集合s中的元素的个数。则
(1)证明R是P(A) 上的规则:P→Q,R→┐Q,R∨S,S→┐Q ├ ┐P规则
1
1
您可能关注的文档
- 福建市莆田一中2009届高三上学期期末考试.doc
- 福建教师资格面试实战技巧-语言沟通技巧.doc
- 福建省三明市2015年中考语文试卷.doc
- 福建省2010年普通高中历史会考模拟试题(3).doc
- 福建省南平市初中毕业升学考试语文试题.doc
- 福建省四地六校2013-2014学年高二上学期第三次月考英语试题.doc
- 福建省安溪梧桐中学2011-2012学年高一上学期12月份质量检测历史.doc
- 福建省律师协会关于申请律师执业人员实习管理细则(试行).doc
- 福建省永春一中培元中学季延中学石狮联中高三上学期第二次联考英语试题解析.doc
- 福建省泉州市惠安东山中学2013-2014学年九年级物理上学期第一次摸底考试试题.doc
文档评论(0)