电大离散数学作业答案06任务0005..docVIP

06任务_0005 1.??命题公式P?Q的主合取范式是(???)． A. (PúQ)ù(Pú?Q)ù(?Pú?Q) B. ?PùQ C. ?PúQ D. Pú?Q 2.??设个体域D是整数集合，则命题x$y (x×y = y)的真值是（?? ）． A. T B. F??????????????????? C. 不确定 D. 以上说法都不是 3.??命题公式的析取范式是( )． A. B. C. D. 4.??设P：我将去打球，Q：我有时间．命题“我将去打球，仅当我有时间时”符号化为( )． A. B. C. D. 5.??设个体域为整数集，则公式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 6.??命题公式(PúQ)?R的析取范式是 ( ) A. ?(PúQ)úR B. (PùQ)úR C. (PúQ)úR D. (?Pù?Q)úR 7.??下列公式成立的为( )． A. ?Pù?Q ? PúQ B. P??Q ? ?P?Q C. Q?P T P D. ?Pù(PúQ)TQ 8.??设个体域D={a, b, c}，那么谓词公式消去量