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 06 任务_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
4、+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. (PQ)B.
5、 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. 设 P：我将
6、去打球，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 )中， （ ） A.
7、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)B(b)B.
8、(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）
9、：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. 表达式 中 的辖域是( ) A. P(x, y)B. P(x, y)Q(z)C. R(x, y)D. P(x, y)R(x, y)6. 命题公式（PQ）的合取范式是 ( ) A. （PQ）B. （PQ）（P Q）C. （PQ）D. （PQ）7. 下列等价公式成立的为( ) A. PP Q
10、QB. QPPQC. PQPQ D. PP Q8. 在谓词公式(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. 命题公式 PQ 的主合取范式是 ( ) A. (PQ)B. PQC. PQD. PQ2. 设个体域 D 是整数集合，则命题“x$y (xy = y)的真值是（ ） A. TB. F C. 不确定D. 以上说法都不是3. 命题公式 的析取范式是( ) A. B. C. D. 4. 设 P：我将去打球，Q：我有时间命题“我将去打球，仅当我有时间时”符号化为( ) A. B. C. D. 5. 设个体域为整数集，则公式“x$y(x+y=
12、0)的解释可为( )A. 存在一整数 x 有整数 y 满足 x+y=0B. 任一整数 x 对任意整数 y 满足 x+y=0C. 对任一整数 x 存在整数 y 满足 x+y=0D. 存在一整数 x 对任意整数 y 满足 x+y=06. 命题公式(P Q)R 的析取范式是 ( ) A. (PQ)RB. (PQ)RC. (PQ)RD. (PQ)R7. 下列公式成立的为( ) A. PQ PQB. PQ PQC. QP PD. P(PQ)Q8. 设个体域 D=a, b, c，那么谓词公式 消去量词后的等值式为 A. (A(a)A(b)A(c)(B(a)B(b)B(b)B. (A(a)A(b)A(c)(
13、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)9. 下列公式中 ( )为永真式 A. AB ABB. AB (AB)C. AB ABD. AB (AB)10. 下列等价公式成立的为( ) A. PP QQB. QPPQC. PQPQ D. PP Q06 任务_0006试卷总分：100 测试时间：0单项选择题 一、单项选择题（共 10 道试题，共 100 分。）1. 命题公式（PQ）的合取范式是 ( ) A. （PQ）B. （PQ）（P Q）C. （PQ）D. （PQ）2. 前提条件 的有效结论是 (
14、) A. PB. PC. QD. Q3. 表达式 中 的辖域是( ) A. P(x, y)B. P(x, y)Q(z)C. R(x, y)D. P(x, y)R(x, y)4. 命题公式 的析取范式是( ) A. B. C. D. 5. 下列公式 ( )为重言式 A. PQPQB. (Q(PQ) (Q(PQ)C. (P(QP)(P(PQ)D. (P(PQ) Q6. 下列公式中 ( )为永真式 A. AB ABB. AB (AB)C. AB ABD. AB (AB)7. 下列等价公式成立的为( ) A. PP QQB. QPPQC. PQPQ D. PP Q8. 设 P：我将去打球，Q：我有时间
15、命题“我将去打球，仅当我有时间时”符号化为( ) A. B. C. D. 9. 下列等价公式成立的为( ) A. PQPQB. P(QP) P(PQ)C. Q(PQ) Q(PQ)D. P(PQ) Q10. 设个体域 D 是整数集合，则命题“x$y (xy = y)的真值是（ ） A. TB. F C. 不确定D. 以上说法都不是06 任务_0007试卷总分：100 测试时间：0单项选择题 一、单项选择题（共 10 道试题，共 100 分。）1. 设个体域为整数集，则公式“x$y(x+y=0)的解释可为( )A. 存在一整数 x 有整数 y 满足 x+y=0B. 任一整数 x 对任意整数 y 满
16、足 x+y=0C. 对任一整数 x 存在整数 y 满足 x+y=0D. 存在一整数 x 对任意整数 y 满足 x+y=02. 命题公式 PQ 的主合取范式是 ( ) A. (PQ)B. PQC. PQD. PQ3. 设 P：我将去打球，Q：我有时间命题“我将去打球，仅当我有时间时”符号化为( ) A. B. C. D. 4. 命题公式（PQ）的合取范式是 ( ) A. （PQ）B. （PQ）（P Q）C. （PQ）D. （PQ）5. 命题公式(P Q)R 的析取范式是 ( ) A. (PQ)RB. (PQ)RC. (PQ)RD. (PQ)R6. 前提条件 的有效结论是 ( ) A. PB. P
17、C. QD. Q7. 下列公式成立的为( ) A. PQ PQB. PQ PQC. QP PD. P(PQ)Q8. 下列公式 ( )为重言式 A. PQPQB. (Q(PQ) (Q(PQ)C. (P(QP)(P(PQ)D. (P(PQ) Q9. 在谓词公式(x)( A(x)B(x) C(x，y )中， （ ） A. x，y 都是约束变元B. x，y 都是自由变元C. x 是约束变元， y 都是自由变元D. x 是自由变元， y 都是约束变元10. 命题公式 的析取范式是( ) A. B. C. D. 06 任务_0008试卷总分：100 测试时间：0单项选择题 一、单项选择题（共 10 道试题
18、，共 100 分。）1. 下列公式成立的为( ) A. PQ PQB. PQ PQC. QP PD. P(PQ)Q2. 表达式 中 的辖域是( ) A. P(x, y)B. P(x, y)Q(z)C. R(x, y)D. P(x, y)R(x, y)3. 命题公式(P Q)R 的析取范式是 ( ) A. (PQ)RB. (PQ)RC. (PQ)RD. (PQ)R4. 命题公式(P Q)Q 为( ) A. 矛盾式B. 可满足式C. 重言式D. 合取范式5. 设 P：我将去打球，Q：我有时间命题“我将去打球，仅当我有时间时”符号化为( ) A. B. C. D. 6. 设 A（x）：x 是人，B（
19、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)7. 下列公式中 ( )为永真式 A. AB ABB. AB (AB)C. AB ABD. AB (AB)8. 设个体域 D 是整数集合，则命题“x$y (xy = y)的真值是（ ） A. TB. F C. 不确定D. 以上说法都不是9. 在谓词公式(x)( A(x)B(x) C(x，y )中， （ ） A. x，y 都是约束变元B. x，y 都是自由变元C. x 是约束变元， y 都是自由变元D. x 是自由变元
20、， y 都是约束变元10. 命题公式 的析取范式是( ) A. B. C. D. 06 任务_0009试卷总分：100 测试时间：0单项选择题 一、单项选择题（共 10 道试题，共 100 分。）1. 设 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)2. 命题公式 的析取范式是( ) A. B. C. D. 3. 下列等价公式成立的为( ) A. PP QQB. QPPQC. PQPQ D. PP Q4. 设个体域为整数集，则公式“x$
21、y(x+y=0)的解释可为( )A. 存在一整数 x 有整数 y 满足 x+y=0B. 任一整数 x 对任意整数 y 满足 x+y=0C. 对任一整数 x 存在整数 y 满足 x+y=0D. 存在一整数 x 对任意整数 y 满足 x+y=05. 命题公式(P Q)Q 为( ) A. 矛盾式B. 可满足式C. 重言式D. 合取范式6. 命题公式（PQ）的合取范式是 ( ) A. （PQ）B. （PQ）（P Q）C. （PQ）D. （PQ）7. 命题公式 PQ 的主合取范式是 ( ) A. (PQ)B. PQC. PQD. PQ8. 命题公式(P Q)R 的析取范式是 ( ) A. (PQ)RB.
22、 (PQ)RC. (PQ)RD. (PQ)R9. 设 P：我将去打球，Q：我有时间命题“我将去打球，仅当我有时间时”符号化为( ) A. B. C. D. 10. 设 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)06 任务_0010试卷总分：100 测试时间：0单项选择题 一、单项选择题（共 10 道试题，共 100 分。）1. 命题公式 PQ 的主合取范式是 ( ) A. (PQ)B. PQC. PQD. PQ2.
23、设命题公式 G： ，则使公式 G 取真值为 1 的 P，Q，R 赋值分别是 ( ) A. 0, 0, 0B. 0, 0, 1C. 0, 1, 0D. 1, 0, 03. 设个体域为整数集，则公式“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=04. 前提条件 的有效结论是 ( ) A. PB. PC. QD. Q5. 设 P：我将去打球，Q：我有时间命题“我将去打球，仅当我有时间时”符号化为( ) A
24、. B. C. D. 6. 表达式 中 的辖域是( ) A. P(x, y)B. P(x, y)Q(z)C. R(x, y)D. P(x, y)R(x, y)7. 设个体域 D 是整数集合，则命题“x$y (xy = y)的真值是（ ） A. TB. F C. 不确定D. 以上说法都不是8. 下列公式成立的为( ) A. PQ PQB. PQ PQC. QP PD. P(PQ)Q9. 下列公式 ( )为重言式 A. PQPQB. (Q(PQ) (Q(PQ)C. (P(QP)(P(PQ)D. (P(PQ) Q10. 命题公式(P Q)Q 为( ) A. 矛盾式B. 可满足式C. 重言式D. 合取范式
