---

设A（x）：x是书，B（x）：x是数学书，则命题“不是所有书都是数学书”可符号化为（ ）．

单选题 (5 分) 5分
A.
┐("x)(A(x)→B(x))

B.
┐($x)(A(x)∧B(x))

C.
("x)(A(x)∧B(x))

D.
┐($x)(A(x)∧┐B(x))

---

出自：国家开放大学离散数学（本）

显示答案