学 海 无 涯 1 06 任务_0007 1. 设个体域为整数集，则公式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 2. 命题公式 PQ 的主合取范式是( ) A. (PQ)()() B. PQ C. PQ D. PQ 3. 设 P：我将去打球，Q：我有时间命题“我将去打球，仅当我有时间时”符 号化为( ) A. B. C. D. 4. 命题公式（PQ）的合取范式是 ( ) A. （PQ） B. （PQ）（PQ） C. （PQ） D. （PQ） 5. 命题公式(PQ)R 的析取范式是 ( ) 学 海 无 涯 2 A. (PQ)R B. (PQ)R C. (PQ)R D. (PQ)R 6. 前提条件的有效结论是( ) A. P B. P C. Q D. Q 7. 下列公式成立的为( ) A. PQ PQ B. PQ PQ C. QP P D. P(PQ)Q 8. 下列公式 ( )为重言式 A. PQPQ B. (Q(PQ) (Q(PQ) C. (P(QP)(P(PQ) D. (P(PQ) Q 9. 在谓词公式(x)(A(x)B(x)C(x，y)中， （ ） A. x，y 都是约束变元 B. x，y 都是自由变元 C. x 是约束变元，y 都是自由变元 D. x 是自由变元，y 都是约束变元 学 海 无 涯 3 10. 命题公式的析取范式是( ) A. B. C. D.