《电大离散数学作业答案06任务0005.doc》由会员分享,可在线阅读,更多相关《电大离散数学作业答案06任务0005.doc(7页珍藏版)》请在taowenge.com淘文阁网|工程机械CAD图纸|机械工程制图|CAD装配图下载|SolidWorks_CaTia_CAD_UG_PROE_设计图分享下载上搜索。
1、Four short words sum up what has lifted most successful individuals above the crowd: a little bit more.-author-date电大离散数学作业答案06任务000506任务_000506任务_00051.命题公式PQ的主合取范式是() A. (PQ)(PQ)(PQ)B. PQC. PQD. PQ2.设个体域D是整数集合,则命题x$y (xy = y)的真值是( ) A. TB. F C. 不确定D. 以上说法都不是3.命题公式的析取范式是( ) A. B. C. D. 4.设P:我将去打球,Q
2、:我有时间命题“我将去打球,仅当我有时间时”符号化为( ) A. B. C. D. 5.设个体域为整数集,则公式x$y(x+y=0)的解释可为( )A. 存在一整数x有整数y满足x+y=0 B. 任一整数x对任意整数y满足x+y=0C. 对任一整数x存在整数y满足x+y=0D. 存在一整数x对任意整数y满足x+y=06.命题公式(PQ)R的析取范式是 ( ) A. (PQ)RB. (PQ)RC. (PQ)RD. (PQ)R7.下列公式成立的为( ) A. PQ PQB. PQ PQC. QP PD. P(PQ)Q8.设个体域D=a, b, c,那么谓词公式消去量词后的等值式为 A. (A(a)A(b)A(c)(B(a)B(b)B(b)B. (A(a)A(b)A(c)(B(a)B(b)B(b)C. (A(a)A(b)A(c)(B(a)B(b)B(b)D. (A(a)A(b)A(c)(B(a)B(b)B(b)9.下列公式中 ( )为永真式 A. AB ABB. AB (AB)C. AB ABD. AB (AB)10.下列等价公式成立的为( ) A. PP QQB. QPPQC. PQPQ D. PP Q-