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. PQ PQB. PQ PQC. QP PD. P(PQ)Q4. 下列公式中 ( )为永真式 A. AB ABB.
2、AB (AB)C. AB ABD. AB (AB)5. 设 P:我将去打球,Q:我有时间命题“我将去打球,仅当我有时间时”符号化为( ) A. B. C. D. 6. 命题公式(P Q)R 的析取范式是 ( ) A. (PQ)RB. (PQ)RC. (PQ)RD. (PQ)R7. 命题公式(PQ)的合取范式是 ( ) A. (PQ)B. (PQ)(P Q)C. (PQ)D. (PQ)8. 设命题公式 G: ,则使公式 G 取真值为 1 的 P,Q,R 赋值分别是 ( ) A. 0, 0, 0B. 0, 0, 1C. 0, 1, 0D. 1, 0, 09. 命题公式 PQ 的主合取范式是 ( )
3、 A. (PQ)B. PQC. PQD. PQ10. 下列等价公式成立的为( ) A. PP QQB. QPPQC. PQPQ D. PP Q06 任务_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 对任意整数
4、 y 满足 x+y=03. 命题公式 的析取范式是( ) A. B. C. D. 4. 下列等价公式成立的为( ) A. PP QQB. QPPQC. PQPQ D. PP Q5. 设命题公式 G: ,则使公式 G 取真值为 1 的 P,Q,R 赋值分别是 ( ) A. 0, 0, 0B. 0, 0, 1C. 0, 1, 0D. 1, 0, 06. 在谓词公式(x)( A(x)B(x) C(x,y )中, ( ) A. x,y 都是约束变元B. x,y 都是自由变元C. x 是约束变元, y 都是自由变元D. x 是自由变元, y 都是约束变元7. 命题公式 PQ 的主合取范式是 ( ) A.
5、 (PQ)B. PQC. PQD. PQ8. 设 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. 设 P:我将去打球,Q:我有时间命题“我将去打球,仅当我有时间时”符号化为( ) A. B. C. D. 10. 命题公式(P Q)R 的析取范式是 ( ) A. (PQ)RB. (PQ)RC. (PQ)RD. (PQ)R06 任务_0003试卷总分:100 测试时间:0单项选择题 一、单项选择题(共 10 道试题,共 100 分。)1.
6、 设 P:我将去打球,Q:我有时间命题“我将去打球,仅当我有时间时”符号化为( ) A. B. C. D. 2. 下列公式成立的为( ) A. PQ PQB. PQ PQC. QP PD. P(PQ)Q3. 下列公式 ( )为重言式 A. PQPQB. (Q(PQ) (Q(PQ)C. (P(QP)(P(PQ)D. (P(PQ) Q4. 命题公式(P Q)R 的析取范式是 ( ) A. (PQ)RB. (PQ)RC. (PQ)RD. (PQ)R5. 命题公式 PQ 的主合取范式是 ( ) A. (PQ)B. PQC. PQD. PQ6. 在谓词公式(x)( A(x)B(x) C(x,y )中,
7、( ) A. x,y 都是约束变元B. x,y 都是自由变元C. x 是约束变元, y 都是自由变元D. x 是自由变元, y 都是约束变元7. 下列公式中 ( )为永真式 A. AB ABB. AB (AB)C. AB ABD. 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)
8、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(a)A(b)A(c)(B(a)B(b)B(b)10. 前提条件 的有效结论是( ) A. PB. PC. QD. Q06 任务_0004试卷总分:100 测试时间:0单项选择题 一、单项选择题(共 10 道试题,共 100 分。)1. 下列公式成立的为( ) A. PQ PQB. PQ PQC. QP PD. P(PQ)Q2. 命题公式(P Q)R 的析取范式是 ( ) A. (PQ)RB. (PQ)RC. (PQ)RD. (PQ)R3. 设 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)4. 下列公式 ( )为重言式 A. PQPQB. (Q(PQ) (Q(PQ)C. (P(QP)(P(PQ)D. (P(PQ) Q5. 表达式 中 的辖域是( )