复件 1009电大《离散数学》网上形考作业06任务_0006答

1009【离散数学】网上形考作业06任务_0006答案

　　一、单项选择题（共 10 道试题，共 100 分。）
　　1. 命题公式(PuQ)?R的析取范式是 ( D )
　　A. ?(PuQ)uR
　　B. (PuQ)uR
　　C. (PuQ)uR
　　D. (?Pu?Q)uR
　　2. 下列公式 ( C )为重言式．
　　A. ?Pu?Q?PuQ
　　B. (Q?(PuQ)) ?(?Qu(PuQ))
　　C. (P?(?Q?P))?(?P?(P?Q))
　　D. (?Pu(PuQ)) ?Q
　　3. 下列公式成立的为( D)．
　　A. ?Pu?Q ? PuQ
　　B. P??Q ? ?P?Q
　　C. Q?P ==> P
　　D. ?Pu(PuQ)==>Q
　　4. 谓词公式是（ A ）．
　　A. 不可满足的
　　B. 可满足的
　　C. 有效的
　　D. 蕴含式
　　5. 设P：我将去打球，Q：我有时间．命题"我将去打球，仅当我有时间时"符号化为( B )．
　　A.
　　B.
　　C.
　　D.
　　6. 前提条件的有效结论是( D )．
　　A. P
　　B. ?P
　　C. Q
　　D. ?Q
　　7. 下列等价公式成立的为( A )．
　　A. ?PuP ??QuQ
　　B. ?Q?P?P?Q
　　C. PuQ?PuQ
　　D. ?PuP ?Q
　　8. 设个体域D={a, b, c}，那么谓词公式消去量词后的等值式为 A ．
　　A. (A(a)uA(b)uA(c))u(B(a)uB(b)uB(b))
　　B. (A(a)uA(b)uA(c))u(B(a)uB(b)uB(b))
　　C. (A(a)uA(b)uA(c))u(B(a)uB(b)uB(b))
　　D. (A(a)uA(b)uA(c))u(B(a)uB(b)uB(b))
　　9. 命题公式(PuQ)?Q为( )
　　A. 矛盾式
　　B. 可满足式
　　C. 重言式
　　D. 合取范式
　　10. 下列公式中 ( B )为永真式．
　　A. ?Au?B ? ?Au?B
　　B. ?Au?B ? ?(AuB)
　　C. ?Au?B ? AuB
　　D. ?Au?B ? ?(AuB)
　　











1