离散数学网上作业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是学生，则命题“不是所有人都是学生”可符号化

为（）．

A. (x)(A(x)∧B(x))

B. ⌝(x)(A(x)∧B(x))

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