《电大离散数学作业答案06任务0007(7月20日).pdf》由会员分享,可在线阅读,更多相关《电大离散数学作业答案06任务0007(7月20日).pdf(3页珍藏版)》请在金锄头文库上搜索。
1、学 海 无 涯 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
2、) 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.