离散数学试卷.docVIP

数理逻辑部分 选择、填空及判断 下列语句不是命题的（ A ）。 (A) 你打算考硕士研究生吗？ (B) 太阳系以外的星球上有生物。 (C) 离散数学是计算机系的一门必修课。 (D) 雪是黑色的。 命题公式P((P((P)的类型是（ A ） (A) 永真式 (B) 矛盾式 (C) 非永真式的可满足式 (D) 析取范式 A是重言式，那么A的否定式是( A ) A. 矛盾式 B. 重言式 C. 可满足式 D.不能确定 以下命题公式中，为永假式的是( C ) A. p→(p∨q∨r) B. (p→┐p)→┐p C. ┐(q→q)∧p D. ┐(q∨┐p)→(p∧┐p) 命题公式P→Q的成假赋值是( D ) A. 00,11 B. 00,01,11 C.10,11 D. 10 谓词公式中，变元x是 ( B ) A. 自由变元 B. 既是自由变元也是约束变元 C. 约束变元 D. 既不是自由变元也不是约束变元 命题公式P((Q((Q)的类型是( A )。 (A) 永真式 (B) 矛盾式 (C) 非永真式的可满足式 (D) 析取范式 设B不含变元x，等值于( A ) A. B. C. D.