06任务_0004答案.txt

售价：2 金币

下载：180 次

登录后购买

一、单项选择题（共 10 道试题，共 100 分。）

1. 下列公式成立的为( )．

A. ?P??Q ? P?Q

B. P??Q ? ?P?Q

C. Q?P ? P

D. ?P?(P?Q)?Q

2. 命题公式(P?Q)?R的析取范式是 ( )

A. ?(P?Q)?R

B. (P?Q)?R

C. (P?Q)?R

D. (?P??Q)?R

3. 设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))

4. 下列公式 ( )为重言式．

A. ?P??Q?P?Q

B. (Q?(P?Q)) ?(?Q?(P?Q))

C. (P?(?Q?P))?(?P?(P?Q))

D. (?P?(P?Q)) ?Q

5. 表达式 中 的辖域是( )．

A. P(x, y)

B. P(x, y)?Q(z)

C. R(x, y)

D. P(x, y)?R(x, y)

6. 命题公式（P?Q）的合取范式是 ( )．

A. （P?Q）

B. （P?Q）?（P?Q）

C. （P?Q）

D. ?（?P??Q）

7. 下列等价公式成立的为( )．

A. ?P?P ??Q?Q

B. ?Q?P?P?Q

C. P?Q?P?Q

D. ?P?P ?Q

8. 在谓词公式("x)(A(x)→B(x)?C(x，y))中，（ ）．

A. x，y都是约束变元

B. x，y都是自由变元

C. x是约束变元，y都是自由变元

D. x是自由变元，y都是约束变元

9. 命题公式(P?Q)?Q为( )

A. 矛盾式

B. 可满足式

C. 重言式

D. 合取范式

10. 设个体域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))

看看是什么样的