


下载本文档
版权说明:本文档由用户提供并上传,收益归属内容提供方,若内容存在侵权,请进行举报或认领
文档简介
第三部分数理逻辑选择题判断题注意:选项ABCD顺序会出现变动!根据选项确定答案!().A.B.C.D.1().A.B.C.D.2.设命题公式G:G1赋值分别是(1,0,0)2.设命题公式G:G1赋值分别是(1,0,0)D.1,0,0下列公式中(AB(AB) )为永真式A.ABAB B.AB(AB)C.ABAB D.AB(AB)(P(Q(P(QP))(P(PQ))C.(P(QP))(P(PQ))A.PQPQ B.C.(P(QP))(P(PQ))D.(P(PQ))QPPPPQQA.PPQQB.QPPQ C.PQPQ A.PPQQP(P(QP)P(PQ))B.P(QP)P(PQ)PQPQC.Q(PQ)Q(PQ) D.P(PQ)QP(P(PQ)Q8.命题公式的析取范式是().A.B.C.D.A.PQPQ B.PQPQ C.P D.P8.命题公式的析取范式是().A.B.C.D.9. (PQ)R的析取范式是( (PQ)R)A.(PQ)R B.(PQ)RC.(PQ)RD.(PQ)R(PQ)).C.(P(PQ)).C.(PQ)A.(PQ) B.(PQ)(PQ)
D.(PQ)11.PQ的主合取范式是(PQ).A.(PQ)PQPQ)B.PQC.PQD.PQ命题公(PQ)Q为( 可满足式)A.矛盾式 B.可满足式 C.重言式D.合取范式x是约束变元,y都是自由变元13. 在谓词公x是约束变元,y都是自由变元C.x是约束变元,y都是自由变元A.x,y都是约束变元 B.xC.x是约束变元,y都是自由变元D.x是自由变元,y都是约束变元14.表达式中的辖域是(P(x,y)Q(z14.表达式中的辖域是P(x,y) B.P(x,y)Q(z) C.R(x,y) D.P(x,y)R(x,y)(( x)(A(x)B(x)))(( x)(A(x)B(x)))A.( x)(A(x)B(x))B.(A.( x)(A(x)B(x))B.(x)(A(x)B(x))C.(x)(A(x)B(x)) D.( x)(A(x)B(x))((x)(A(x)B(x))A.( x)(A(x)B(x))B.( x)(A(x)B(x))C.(x)(A(x)B(x))D.( C.(x)(A(x)B(x))D.( x)(A(x)B(x))健壮的”可符号化为().A.B.C.D.18.D={a,b,c},那么谓词公式消去量词后的等值式为((A(a)A(b)A(c))(B(a)C.D.18.D={a,b,c},那么谓词公式消去量词后的等值式为A.(A(a)A(b)A(c))(B(a)B(b)B(b)) B.(A(a)A(b)A(c))(B(a)B(b)B(b))谓词公式 是(不可满足的)A.不可满足的B.可满足的C.有效的D.蕴含式20、前提条件A.P B.P的有效结论( QC.Q D.Q).C.(A(a)A(b)A(c))(B(a)B(b)B(b)) 谓词公式 是(不可满足的)A.不可满足的B.可满足的C.有效的D.蕴含式20、前提条件A.P B.P的有效结论( QC.Q D.Q).设A(x):x是人,B(x):x是教师,则命题“有人是教师”可符号化为(ョ(ョx)(A(x)∧B(x))D.(ョx)(A(x)∧B(x))A.¬(ョx)(A(x)∧¬B(x)) C.¬(D.(ョx)(A(x)∧B(x))TA.T设个体域D是整数集合,则命ョy(x•y=的真值是( ).TA.TB.F C.不确定 D.以上说法都不是(对任一整数x存在整数y满足∀x(对任一整数x存在整数y满足x+y=0)x+y=0).A.对任一整数x存在整数y满足x+y=0存在一整数x有整数yx+y=0存在一整数x对任意整数yx+y=0任一整数x对任意整数yx+y=0设是数学书,则命题“不是所有书都是数学书”可符号化(x(x)(A(x)B(x))A.( x)(A(x)B(x))B.( x)(A(x)B(x))C.(x)(A(x)B(x))D.( x)(A(x)B(x))二、判断题二、判断题Q成立( 对)设个体域D={1,2,3,为“x大于5”,则谓词公(∀x)A(x)的真值为T.( 错( 对)( 对)设PP∧( 对)含有三个命题变项P,Q,R的命题公式P∧Q(P∧Q∧R)∨(P∧Q∧┐R)( 对)( 对)( 对)( 对)设是人去上课那么命“有人去上课为错)下面的推理是否正确.( 错)(∀x)A(x)→( 错)(2)US(1)设个体域D={1,2,3},A(x)为“x小于3”,则谓词公(∃x)A(x)的真值为T.( 对)设个体域D={a,(∃x)A(x)∨(∀y)B(y)消去量词后的等值式为A(a)∨B(b).( ( 错)( 错) P222点或者去礼堂看电影或者去教室看书”符号化的结果为P∨( 错)( 对)(∀x)(P(x)→Q(x)∨R(x,y))中的约束变元为( 对)( 对)设个体域D={a,b}(∀x)(A(x)∧B(x))(A(a)∧B(a))∧(A(b)∧( 对)( 错)(∀x)((A(x)∧B(x))∨C(y))中的自由变元为( 错)( 错)设P(x):x是人,Q(x):x((
温馨提示
- 1. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
- 2. 本站的文档不包含任何第三方提供的附件图纸等,如果需要附件,请联系上传者。文件的所有权益归上传用户所有。
- 3. 本站RAR压缩包中若带图纸,网页内容里面会有图纸预览,若没有图纸预览就没有图纸。
- 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
- 5. 人人文库网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对用户上传分享的文档内容本身不做任何修改或编辑,并不能对任何下载内容负责。
- 6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
- 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。
最新文档
- 书房绿植与空气净化系统创新创业项目商业计划书
- 浙江工业职业技术学院《信息检索与科技论文写作》2023-2024学年第一学期期末试卷
- 网红炸鸡店企业制定与实施新质生产力项目商业计划书
- 云南过桥米线馆创新创业项目商业计划书
- 重庆移通学院《幼儿园环境设计与布置》2023-2024学年第一学期期末试卷
- 山东职业学院《园艺植物栽培学(各论)》2023-2024学年第一学期期末试卷
- 天津工业大学《新媒体短片创作》2023-2024学年第一学期期末试卷
- 职业道德模范教学课件
- 养老机构医疗纠纷界定与处理流程
- 二年级美术艺术素养提升计划
- 《云南教育强省建设规划纲要(2024-2035年)》解读培训
- 第四章美容手术基本知识及技术美容外科学概论讲解
- 2.2.2 城镇化化过程中出现的问题 地理信息技术在城市管理中的应用 必修二
- 2025年中铁交通投资集团有限公司招聘笔试参考题库含答案解析
- 沪教版(五四学制)(2024)六年级下册单词表+默写单
- 酒店中央空调维护合同
- (2025)时事政治题库(含参考答案)
- 高压水清洗施安全技术措施
- 【MOOC期末】《中国哲学》(北京师范大学) 期末中国大学慕课答案
- GB/T 18916.65-2024工业用水定额第65部分:饮料
- 厨师高级技师论文范文
评论
0/150
提交评论