版权说明:本文档由用户提供并上传,收益归属内容提供方,若内容存在侵权,请进行举报或认领
文档简介
1、试卷十试题与答案一、 填空 10% (每小题 2分)1、 若P,Q为二命题,真值为1,当且仅当 。2、 对公式中自由变元进行代入的公式为 。3、 的前束范式为 。4、 设x是谓词合式公式A的一个客体变元,A的论域为D,A(x)关于y的自由的,则 被称为全称量词消去规则,记为US。5、 与非门的逻辑网络为 。二、 选择 30% (每小题 3分)1、 下列各符号串,不是合式公式的有( )。A、; B、;C、; D、。2、 下列语句是命题的有( )。A、2是素数;B、x+5 > 6;C、地球外的星球上也有人;D、这朵花多好看呀!。3、 下列公式是重言式的有( )。A、;B、;C、;D、4、 下
2、列问题成立的有( )。A、 若,则; B、若,则;C、若,则; D、若,则。5、 命题逻辑演绎的CP规则为( )。A、 在推演过程中可随便使用前提;B、在推演过程中可随便使用前面演绎出的某些公式的逻辑结果;C、如果要演绎出的公式为形式,那么将B作为前提,设法演绎出C;D、设是含公式A的命题公式,则可用B替换中的A。6、 命题“有的人喜欢所有的花”的逻辑符号化为( )。设D:全总个体域,F(x):x是花,M(x) :x是人,H(x,y):x喜欢y A、;B、;C、;D、。7、 公式换名( )。A、;B、;C、;D、。8、 给定公式,当D=a,b时,解释( )使该公式真值为0。A、P(a)=0、P
3、(b)=0;B、P(a)=0、P(b)=1;C、P(a)=1、P(b)=0;D、P(a)=1、P(b)=19、 下面蕴涵关系成立的是( )。A、;B、;C、;D、。10、下列推理步骤错在( )。PUSESUGEGA、;B、;C、;D、。三、 逻辑判断 28%1、(8分)下列命题相容吗?2、(10分)用范式方法判断公式 是否等价。3、(10分)下列前提下结论是否有效?今天或者天晴或者下雨。如果天晴,我去看电影;若我去看电影,我就不看书。故我在看书时,说明今天下雨。四、 计算 12%1、(5分)给定3个命题:P:北京比天津人口多;Q:2大于1;R:15是素数。 求复合命题:的真值。2、(7分)给定
4、解释I:D=2,3,L(x,y)为L( 2 , 2 ) = L ( 3 , 3 ) = 1 , L ( 2 , 3 ) = L (3 , 2 )=0 ,求谓词合式公式的真值。五、 逻辑推理20%1、(10分)所有有理数是实数,某些有理数是整数,因此某些实数是整数。2、(10分)符号化语句:“有些病人相信所有的医生,但是病人都不相信骗子,所以医生都不是骗子”。并推证其结论。答案一、 填空 15%(每小题3分)1、P,Q的真值相同;2、;3、;4、;5、。二、 选择 30%(每小题 3分)题目12345678910答案B、CA、CBC、DCDAB、CB、DC三、 逻辑判断 28%1、(8分)PAPBTIPTETIFTI所以不相容。2、(10分)所以两式等价。3、设P:今天天晴,Q:今天下雨,R:我不看书,S:我看电影符号化为:PPTITIPTETI结论有效。四、 计算 12%1、(5分)解:P,Q是真命题,R是假命题。2、(7分)五、 逻辑推理 20%1、(10分)解:设R(x):x是实数,Q(x):x是有理数,I(x):x是整数符号化:前提:,结论:PESPUSTITITITIEG2、解:
温馨提示
- 1. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
- 2. 本站的文档不包含任何第三方提供的附件图纸等,如果需要附件,请联系上传者。文件的所有权益归上传用户所有。
- 3. 本站RAR压缩包中若带图纸,网页内容里面会有图纸预览,若没有图纸预览就没有图纸。
- 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
- 5. 人人文库网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对用户上传分享的文档内容本身不做任何修改或编辑,并不能对任何下载内容负责。
- 6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
- 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。
最新文档
- 2024至2030年中国机制粉条行业投资前景及策略咨询研究报告
- 2024至2030年盐酸氯苯胍项目投资价值分析报告
- 2024至2030年汽车制动性能及排放测功机项目投资价值分析报告
- 2024至2030年智能咖啡机控制电路板项目投资价值分析报告
- 2024至2030年搪玻璃过滤器项目投资价值分析报告
- 2024至2030年山药提取物项目投资价值分析报告
- 2024至2030年中国内外抛光不锈钢薄壁管行业投资前景及策略咨询研究报告
- 2024至2030年冷轧机气动阀站项目投资价值分析报告
- 2024年铁粉芯磁芯项目可行性研究报告
- 2024年中国配件管索市场调查研究报告
- DL∕T 860.10-2018 电力自动化通信网络和系统 第10部分:一致性测试
- (新版)碳排放管理员(高级)职业鉴定考试题库(含答案)
- 施工前技术交底会
- 2024年宝鸡市高考模拟检测 ( 一 ) 一模 英语试卷(含答案)
- GB/T 13077-2024铝合金无缝气瓶定期检验与评定
- 工程设计合理化建议
- 设计质量、进度、服务保证措施
- 电容器寿命预测与评估方法
- 核心素养下初中数学学科课堂教学评价统一标准
- MOOC 劳动教育-常熟理工学院 中国大学慕课答案
- 龙软LongRuanGIS地测空间管理信息系统教程-wx4766
评论
0/150
提交评论