06任务_0008
1.
下列公式成立的为( )．
A. ?P??Q ? P?Q B. P??Q ? ?P?Q C. Q?P ? P D. ?P?(P?Q)?Q 2.
表达式中的辖域是( )．
A. P(x, y) B. P(x, y)?Q(z) C. R(x, y) D. P(x, y)?R(x, y) 3.
命题公式(P?Q)?R的析取范式是 ( )
A. ?(P?Q)?R B. (P?Q)?R C. (P?Q)?R D. (?P??Q)?R
4. 命题公式(P?Q)?Q为( ) A. 矛盾式 B. 可满足式 C. 重言式 D. 合取范式 5.
设P：我将去打球，Q：我有时间．命题“我将去打球，仅当我有时间时”符号化为( )．
A. B.
C. D. 6.
设A（x）：x是人，B（x）：x是教师，则命题“有人是教师”可符号化为（ ）． A. ?(
x)(A(x)??B(x))
B. (?x)(A(x)?B(x)) C. ?(?x)(A(x)?B(x)) D. (x)(A(x)?B(x))
7.
下列公式中 ( )为永真式．
A. ?A??B ? ?A??B B. ?A??B ? ?(A?B) C. ?A??B ? A?B D. ?A??B ? ?(A?B)
8. 设个体域D是整数集合，则命题\×y = y)的真值是（ A. T
B. F C. 不确定
D. 以上说法都不是 9.
在谓词公式(?x)(A(x)→B(x)?C(x，y))中，（ ）．
A. x，y都是约束变元 B. x，y都是自由变元
C. x是约束变元，y都是自由变元 D. x是自由变元，y都是约束变元 10. 命题公式
的析取范式是( )．
A.
． ）B. C. D.
电大离散数学作业答案06任务0008
