06 任务_0001 试卷总分:100 测试时间:0 单项选择题 一、单项选择题(共 10 道试题,共 100 分。) 1. 命题公式的析取范式是( ). A. B. C. D. 2. 设个体域为整数集,则公式"x$y(x+y=0)的解释可为( ). A. 存在一整数 x 有整数 y 满足 x+y=0 B. 任一整数 x对任意整数 y满足 x+y=0 C. 对任一整数 x存在整数 y满足 x+y=0 D. 存在一整数 x对任意整数 y满足 x+y=0 3. 下列公式成立的为( ). A. PQ PQ B. PQ PQ C. QP P D. P(PQ)Q 4. 下列公式中 ( )为永真式. A. AB AB B. AB (AB) C. AB AB D. AB (AB) 5. 设P:我将去打球,Q:我有时间.命题“我将去打球,仅当我有时间时”符号化为( ). A. B. C. D. 6. 命题公式(PQ)R的析取范式是 ( ) A. (PQ)R B. (PQ)R C. (PQ)R D. (PQ)R 7. 命题公式(PQ)的合取范式是 ( ). A. (PQ) B. (PQ)(PQ) C. (PQ) D. (PQ) 8. 设命题公式 G:,则使公式 G 取真值为 1 的 P,Q,R赋值分别是 ( ). A. 0 , 0 , 0 B. 0 , 0 , 1 C. 0 , 1 , 0 D. 1 , 0 , 0 9. 命题公式 PQ 的主合取范式是( ). A. (PQ) B. PQ C. PQ D. PQ 10. 下列等价公式成立的为( ). A. PP QQ B. QPPQ C. PQPQ 06 任务_0002 试卷总分:100 测试时间:0 单项选择题 一、单项选择题(共 10 道试题,共 100 分。) 1. 命题公式(PQ)Q 为( ) A. 矛盾式 B. 可满足式 C. 重言式 D. 合取范式 2. 设个体域为整数集,则公式"x$y(x+y=0)的解释可为( ). A. 存在一整数 x 有整数 y 满足 x+y=0 B. 任一整数 x对任意整数 y满足 x+y=0 C. 对任一整数 x存在整数 y满足 x+y=0 D. 存在一整数 x对任意整数 y满足 x+y=0 3. 命题公式的析取范式是( ). A. B. C. D. 4. 下列等价公式成立的为( ). A. PP QQ B. QPPQ C. PQPQ D. PP Q 5. 设命题公式 G:,则使公式 G 取真值为 1 的 P,Q,R 赋值分别是 ( ). A. 0 , 0 , 0 B. 0 , 0 , 1 ...