- 1、本文档共9页,可阅读全部内容。
- 2、有哪些信誉好的足球投注网站(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
- 5、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
- 6、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们。
- 7、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 8、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
复习知识点:
第1章
命题、真命题、假命题
命题符号化(连接词)
设P:天下大雨,Q:他在室内运动,命题“除非天下大雨,否则他不在室内运动”可符合化为( D )
A. B. C. D.
设P:只有你通过了大学英语六级考试,Q:你是英语专业的学生,R:你可以选修这门课程。命题“只有你通过了大学英语六级考试而且不是英语专业的学生,才可以选修这门课程”( B )
A. B.
C. D.
什么是命题公式
命题公式的等价式
利用逻辑等价关系证明下面的等价关系
证明:
用真值表法求命题公式的主析取范式和主合取范式
符号化以下语句,并推证结论的有效性。
有些学生相信所有的老师,任何一个学生都不相信骗子,所以老师都不是骗子。
解:设论述域为全总个体域,S(x):x是学生,T(x):x是老师,P(x):x是骗子,L(x,y):x相信y。将前提和结论符号化为
(1) P
(2) T1,ES
(3) T2,I
(4) T2,I
(5) T4,US
(6) P
(7) T6,US
(8) T3,7,I
(9) T8,US
(10) T9,E
(11) T5,10,I
(12) T11,UG
侦查员在调查了某珠宝店的珠宝失窃案现场以及询问了认证之后,得到以下事实:
是营业员甲或营业员乙作案。
如果是甲作案,则案发在非营业时间。
如果乙提供的证词可信,则案发时货柜未上锁。
如果乙提供的证词不可信,则案发在营业时间。
货柜在案发时上锁了。
侦查员推断是营业员乙作案,请用命题逻辑判断该推断是否正确。
解:设P:甲作案;Q:乙作案;R:发在营业时间;S乙的证词可信;
T:案发时货柜未上锁。
由题意可知,前提为:,,,,
推理过程:
(1) P
(2) P
(3) T1,2,I
(4) P
(5)R T3,4,I
(6) P
(7) T5,6,I
(8) P
(9) T8,E
(10)Q T7,9,I
所以,,,,
第2章
谓词的定义、量词包括:
什么是谓词公式
谓词公式的自由变元、约束变元、辖域
自然语句的符号化:比如:所有的狼都吃人,设T(x)表示为x是狼,C(x)表示为x吃人。
判断什么是前束范式,是前束范式,是前束范式
证明
证明:
第3章
1.集合的元素、集合的基数、集合的子集、集合的运算
空集的问题(空集的基数、空集与集合的子集、真子集的关系)
幂集的问题(集合幂集的求法,幂集的基数)
下面那个命题是不正确的是( A )
A.??? B.??{?} C.??? D.??{?}
下面那个命题是不正确的是( A )
A.{?}?? B.{?}?{?} C.??{{?}} D.??{?}
下列命题中不正确的是( )
A.x?{x}-{{x}} B.{x}?{x}-{{x}}
C.A={x}∪x,则x?A且x?A D.A-B=??A=B
设P={x|(x+1)2≤4},Q={x|x2+16≥5x},则下列选项正确的是( )
A.P?Q B.P?Q
C.Q?P D.Q=P
设A={a,{a}},下列命题错误的是( B )
A.{a}??(A) B.{a}??(A) C.{{a}}??(A) D.{{a}}??(A)
在0( D )?之间写上正确的符号。
A.= B. ? C. ? D.?
判断下列命题哪个为真?(C)
A.空集只是非空集合的子集 B.空集是任何集合的真子集
C. A-B=B-A?A=B D.若A的一个元素属于B,则A=B
判断下列命题哪几个正确?( B )
A.若A∪B=A∪C,则B=C B.{a, b}={b, a}
C.?(A∩B)??(A)∩?(B),(?(S)表示S的幂集)
D.若A为非空集,则A?A∪A成立
设A={a, b}, B={c}。求下列集合:
(1)A?{0, 1}?B; (2)B2??A; (3)(A?B)2; (4)? (A)?A。
解:
(1)A?{0, 1}?B={a, 0, c, a, 1, c, b, 0, c, b, 1, c};
(2)B2?A={c, c, a, c, c, b};
(3)(A?B)2={a, c, a, c, a, c, b, c, b, c, a, c, b, c, b, c};
(4)? (A)?A={Ф, a, Ф, b, {a}, a
文档评论(0)