一、单项选择题(共 10 道试题,共 100 分。) 1. 命题公式P®Q的主合取范式是( ). A. (PÚQ)Ù(PÚØQ)Ù(ØPÚØQ) B. ØPÙQ C. ØPÚQ D. PÚØQ 2. 设命题公式G: ![]() A. 0, 0, 0 B. 0, 0, 1 C. 0, 1, 0 D. 1, 0, 0 3. 设个体域为整数集,则公式"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 4. 前提条件 ![]() A. P B. ØP C. Q D. ØQ 5. 设P:我将去打球,Q:我有时间.命题“我将去打球,仅当我有时间时”符号化为( ). A. ![]() 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 (x×y = y)的真值是( ). A. T B. F C. 不确定 D. 以上说法都不是 8. 下列公式成立的为( ). A. ØPÙØQ Û PÚQ B. P®ØQ Û ØP®Q C. Q®P Þ P D. ØPÙ(PÚQ)ÞQ 9. 下列公式 ( )为重言式. A. ØPÙØQ«PÚQ B. (Q®(PÚQ)) «(ØQÙ(PÚQ)) C. (P®(ØQ®P))«(ØP®(P®Q)) D. (ØPÚ(PÙQ)) «Q 10. 命题公式(PÚQ)®Q为( ) A. 矛盾式 B. 可满足式 C. 重言式 D. 合取范式 |
版权声明
声明:有的资源均来自网络转载,版权归原作者所有,如有侵犯到您的权益
请联系本站我们将配合处理!
上一篇 : 1009《离散数学》_07任务【参考答案】