版权说明:本文档由用户提供并上传,收益归属内容提供方,若内容存在侵权,请进行举报或认领
文档简介
1、06 任务 _0001试卷总分: 100测试时间: 0单项选择题一、单项选择题(共10 道试题,共100 分。)1. 命题公式的析取范式是 ()A.B.C.D.2. 设个体域为整数集,则公式 x$y(x+y=0) 的解释可为 ( )A. 存在一整数 x 有整数 y 满足 x+y=0B. 任一整数 x 对任意整数 y 满足 x+y=0C. 对任一整数 x 存在整数 y 满足 x+y=0D.存在一整数x 对任意整数y 满足 x+y=03. 下列公式成立的为 ()A.PQP QB. PQPQC. QPPD. P (P Q) Q4. 下列公式中 ()为永真式A.ABABB.AB(AB)C.ABA BD
2、.AB(AB)5. 设 P:我将去打球, Q:我有时间命题“我将去打球,仅当我有时间时”符号化为()A.B.C.D.6. 命题公式 (PQ)R 的析取范式是()A. (P Q) RB. (P Q) RC. (P Q) RD. ( P Q) R7. 命题公式( PQ)的合取范式是()A. ( P Q)B. ( P Q) (P Q)C. (P Q)D. ( P Q)8. 设命题公式G:,则使公式 G 取真值为 1 的 P,Q, R 赋值分别是()A. 0, 0, 0B. 0, 0, 1C. 0, 1, 0D. 1, 0, 09. 命题公式 P Q 的主合取范式是 ( ) A. (P Q)B. P
3、QC. P QD. P Q10. 下列等价公式成立的为 ( )A.P PQ QB.QPPQC. PQP QD.P PQ06 任务 _0002试卷总分: 100测试时间: 0单项选择题一、单项选择题(共10 道试题,共100 分。)1. 命题公式 (P Q)Q 为 ()A. 矛盾式B. 可满足式C. 重言式D. 合取范式2. 设个体域为整数集,则公式 x$y(x+y=0) 的解释可为 ( )A. 存在一整数 x 有整数 y 满足 x+y=0B. 任一整数 x 对任意整数 y 满足 x+y=0C. 对任一整数 x 存在整数 y 满足 x+y=0D.存在一整数x 对任意整数y 满足 x+y=03.
4、命题公式A.B.C.D.的析取范式是()4. 下列等价公式成立的为 ( )A.P PQ QB.QPPQC. PQP QD.P PQ5. 设命题公式G:,则使公式 G 取真值为 1 的 P,Q, R 赋值分别是()A. 0, 0, 0B. 0, 0, 1C. 0, 1, 0D. 1, 0, 0在谓词公式 ()() ()(,)中,()6.xA xB xC xyA. x,y 都是约束变元B. x,y 都是自由变元C. x 是约束变元, y 都是自由变元D. x 是自由变元, y 都是约束变元7. 命题公式 P Q 的主合取范式是 ( ) A. (P Q)B. P QC. P QD. P Q8.设 A
5、( x):x 是人, B(x):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)9. 设 P:我将去打球, Q:我有时间命题“我将去打球,仅当我有时间时”符号化为()A.B.C.D.10.命题公式 (P Q)R 的析取范式是()A. (P Q) RB. (P Q) RC. (P Q) RD. ( P Q) R06 任务 _0003试卷总分: 100测试时间: 0单项选择题一、单项选择题(共10 道试题,共100 分。)1. 设 P:我将去打球, Q:我有时间命题“我将去打球,仅当我
6、有时间时”符号化为()A.B.C.D.2. 下列公式成立的为 ()A.PQP QB. PQPQC. Q P PD. P (P Q) Q3. 下列公式 ()为重言式A. P Q P QB. (Q(P Q) ( Q(P Q)(P(Q)(P(PQ)C.D. (P(PQ)Q4. 命题公式 (P Q)R 的析取范式是 ()A. (P Q) RB. (P Q) RC. (P Q) RD. ( P Q) R5. 命题公式 P Q 的主合取范式是 ( ) A. (P Q)B. P QC. P QD. P Q6. 在谓词公式 (x)(A(x)B(x) C(x,y)中,()A. x,y 都是约束变元B. x,y
7、都是自由变元C. x 是约束变元, y 都是自由变元D. x 是自由变元, y 都是约束变元7. 下列公式中 ()为永真式A.ABABB.AB(AB)C.ABA BD.AB(AB)8. 设 A( x):x 是书, B(x):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)9. 设个体域 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
8、(b) B(b)C. (A (a ) A(b) A(c) (B(a) B(b) B(b)D. (A(a) A(b) A(c) (B(a) B(b) B(b)10.前提条件的有效结论是() A. PB. PC. QD. Q06 任务 _0004试卷总分: 100测试时间: 0单项选择题一、单项选择题(共10 道试题,共100 分。)1. 下列公式成立的为 ()A.PQP QB. PQPC. QPPQD. P (P Q) Q2. 命题公式 (PQ)R 的析取范式是()A. (P Q) RB. (P Q) RC. (P Q) RD. ( P Q) R3.设 A( x):x 是人, B(x):x 是教
9、师,则命题“有人是教师”可符号化为()A.(x)(A(x)B(x)B.(x)(A(x) B(x)C.(x)(A(x)B(x)D.(x)(A(x)B(x)4. 下列公式 ()为重言式A. P Q P QB. (Q(P Q)(Q (P Q)C. (P(QP)( P(PD. (P (P Q)QQ)5. 表达式中的辖域是()A. P(x, y)B. P(x, y) Q(z)C. R(x, y)D. P(x, y) R(x, y)6. 命题公式( PQ)的合取范式是()A. ( P Q)B. ( P Q) (P Q)C. (P Q)D. ( P Q)7. 下列等价公式成立的为 ( )A.P PQ QB.
10、QPPQC. PQP QD.P PQ8. 在谓词公式 (x)(A(x)B(x) C(x,y)中,()A. x,y 都是约束变元B. x,y 都是自由变元C. x 是约束变元, y 都是自由变元D. x 是自由变元, y 都是约束变元9. 命题公式 (P Q)Q 为 ()A. 矛盾式B. 可满足式C. 重言式D. 合取范式10.设个体域 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)C. (A(a)A(b) A(c) (B(a) B(b) B(b)D. (A(
11、a)A(b) A(c) (B(a) B (b ) B(b)06 任务 _0005试卷总分: 100测试时间: 0单项选择题一、单项选择题(共10 道试题,共100 分。)1. 命题公式 P Q 的主合取范式是 ( ) A. (P Q)B. P QC. P QD. P Q2. 设个体域D 是整数集合,则命题x$y (x y = y) 的真值是()A. TB. FC. 不确定D. 以上说法都不是3. 命题公式的析取范式是 ()A.B.C.D.4. 设 P:我将去打球, Q:我有时间命题“我将去打球,仅当我有时间时”符号化为()A.B.C.D.5. 设个体域为整数集,则公式 x$y(x+y=0) 的解释可为 ( )A. 存在一整数 x 有整数 y 满足 x+y=0B. 任一整数 x 对任意整数 y 满足 x+y=0C. 对任一整数 x 存在整数 y 满足 x+y=0D.存在一整数x 对任意整数y 满足 x+y=06. 命题公式 (PQ)R 的析取范式是()A. (P Q) RB. (P Q) RC. (P Q) RD. ( P Q) R7. 下列公式成立的为 ()PQP QB. PQPQC. Q P PD. P (P Q) Q8. 设个体域 D=a, b, c,那么谓词公式消去量词后的等值式为A. (A(a)A(b) A(c) (B(a) B(b) B(b)B. (A(
温馨提示
- 1. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
- 2. 本站的文档不包含任何第三方提供的附件图纸等,如果需要附件,请联系上传者。文件的所有权益归上传用户所有。
- 3. 本站RAR压缩包中若带图纸,网页内容里面会有图纸预览,若没有图纸预览就没有图纸。
- 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
- 5. 人人文库网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对用户上传分享的文档内容本身不做任何修改或编辑,并不能对任何下载内容负责。
- 6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
- 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。
最新文档
- 2026广西玉林容县城镇公益性岗位招聘10人笔试备考试题及答案解析
- 2026山东大学校友工作办公室非事业编制人员招聘1人笔试备考题库及答案解析
- 2026四川成都中铁二院内部招聘3人笔试备考试题及答案解析
- 2026年河南检察职业学院单招综合素质笔试备考试题含详细答案解析
- 2026辽宁葫芦岛建昌县消防救援大队招聘政府专职消防员16人笔试备考试题及答案解析
- 2026年安徽国际商务职业学院单招综合素质考试备考题库含详细答案解析
- 2026年辽宁地质工程职业学院高职单招职业适应性测试备考试题及答案详细解析
- 2026贵州航天控制技术有限公司(航天科工十院0612研究所)招聘笔试备考试题及答案解析
- 2026上海市农业科学院工作人员招聘(2026年第一批)笔试备考题库及答案解析
- 2026甘肃省近代物理研究所专项任务办公室招聘3人笔试备考题库及答案解析
- 2026及未来5年中国抽纱刺绣工艺品行业竞争现状及投资前景趋势报告
- 2025动物防疫专员试题及答案
- 单元复习:解码中国-我国区域差异的深度整合与素养提升
- 心肺复苏术护理配合要点
- 中医特色护理在精神科的应用
- 风力发电运输合同范本
- 重难点22 立体几何中的外接球、内切球问题(举一反三专项训练)(全国通.用)(原卷版)-2026年高考数学一轮复习举一反三系列
- 高二生物DNA的复制一节教案(2025-2026学年)
- 法律合规风险评估检查表
- 福建省莆田市擢英中学2026届九年级英语第一学期期末联考试题含解析
- 2024~2025学年北京市大兴区八年级下学期期中考试数学试卷
评论
0/150
提交评论