离散数学网上作业06任务_0037答案

离散数学网上作业06任务_0037答案

1. 设C(x)：x是国家级运动员，G(x)：x是健壮的，则命题“没有一个国家级运动

员不是健壮的”可符号化为 ( )．

A. B. C. D.

2. 下列等价公式成立的为( )． A. PP QQ B. QPPQ C. PQPQ D. PP Q 3. 设命题公式

G：，则使公式G取真值为1的P，Q，R赋值分别是

( )．

A. 0, 0, 0 B. 0, 0, 1 C. 0, 1, 0 D. 1, 0, 0 4. 下列公式中

( )为永真式．

A. AB  AB B. AB  (AB) C. AB  AB D. AB  (AB) 5. 谓词公式

是（ ）．

A.

不可满足的

B. 可满足的 C. 有效的 D. 蕴含式

6. 命题公式(PQ)Q为( ) A. 矛盾式 B. 可满足式 C. 重言式 D. 合取范式

7. 命题公式（PQ）的合取范式是 A. （PQ）

B. （PQ）（PQ） C. （PQ） D. （PQ） 8. 设

( )． A（x）：x是人，B（x）：x是学生，则命题“不是所有人都是学生”可符号化为（ ）． x)(A(x)B(x)) x)(A(x)B(x))

A. (B. (

C. (x)(A(x)B(x)) D. (

x)(A(x)B(x))

的有效结论是( )．

9. 前提条件A. P B. P

C. Q D. Q

10. 下列等价公式成立的为( A. PQPQ

B. P(QP) P(PQ) C. Q(PQ) Q(PQ) D. P(PQ) Q

)．