电大离散数学作业答案06任务0007(2020年九月整理).doc

学 海 无 涯

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都是约束变元

1

）．

学 海 无 涯

10. 命题公式

的析取范式是( )．

A. B. C. D.

1