一 寸 光 阴 不 可 轻
06任务_0007
1.
设个体域为整数集，则公式\的解释可为( )．
A. 存在一整数x有整数y满足x+y=0
B. 任一整数x对任意整数y满足x+y=0 C. 对任一整数x存在整数y满足x+y=0 D.
存在一整数x对任意整数y满足x+y=0
2. 命题公式P→Q的主合取范式是( )． A. (P?Q)?(????)?(?????) B. ?P?Q C. ?P?Q D. P??Q 3.
设P：我将去打球，Q：我有时间．命题“我将去打球，仅当我有时间时”符号化为( )．
A. B. C. D. 4.
命题公式（P?Q）的合取范式是 ( )．
A. （P?Q）
B. （P?Q）?（P?Q） C. （P?Q） D. ?（?P??Q） 5.
命题公式(P?Q)→R的析取范式是 ( )
1
一 寸 光 阴 不 可 轻
A. ?(P?Q)?R B. (P?Q)?R C. (P?Q)?R D. (?P??Q)?R 6. 前提条件的有效结论是( )．
A. P B. ?P C. Q D. ?Q 7.
下列公式成立的为( )．
A. ?P??Q ? P?Q B. P→?Q ? ?P→Q C. Q→P ? P D. ?P?(P?Q)?Q 8.
下列公式 ( )为重言式．
A. ?P??Q?P?Q
B. (Q→(P?Q)) ?(?Q?(P?Q)) C. (P→(?Q→P))?(?P→(P→Q)) D. (?P?(P?Q)) ?Q 9.
在谓词公式(?x)(A(x)→B(x)?C(x，y))中，（ A. x，y都是约束变元 B. x，y都是自由变元
C. x是约束变元，y都是自由变元 D. x是自由变元，y都是约束变元
2
）．
一 寸 光 阴 不 可 轻
10. 命题公式
的析取范式是( )．
A. B. C. D.
3
电大离散数学作业答案06任务0007.pdf
