离散数学2016_2017_1a.pdfVIP

上上 海海 交交 通通 大大 学学 试试 卷（卷（ AA 卷）卷） （2016 至 2017 学年 第 1 学期 ） 班级号___ _______ 学号_____ _ _ 姓名 _ 课程名称 离散数学 成绩 一、选择题(30分,每题 2 分) 将答案填入下表. 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 1.下列联结词的集合中， ( )不是最小的完备的联结词集合. A {, } B {} C {, } D {, ,} 2. 设p q r 的真值为 0，则下面公式中真值为 1 的是（ ） A.p (q r ) B.q r  p C. q r D.p 3.下面的说法有 （）个是错误的 非永真的命题公式一定是永假的 两个非永真的命题公式的合取式是永假式 永真的命题公式与任意合式公式的合取仍然为永真式 在合式公式所组成的集合中，可满足的公式集合与永假式的集合为互补集合 A.1 B.2 C.3 D.4 4.下列公式与命题公式 P→ (Q→R)等值的公式有 （）个 P→ (¬R→¬Q), (P∧Q)→R, (P→Q)→R, Q→(P→R), R→(P→Q) A.2 B.3 C.4 D.5 A 卷 Page 1 of 8 一 二 三. 四. 五. 六. 七. 八. 总 我承诺，我将严 题号（分值） (30) (30) (7) (6) (6) (7) (7) (7) 分 格遵守考试纪律。 得分 承诺人： 批阅人(流水阅 卷教师签名处) 5.关于命题公式与真值表，下面说法正确的是（ ） A.给定命题公式，则在真值表的输入次序确定时，真值表一定是确定的 B.从真值表的成真指派（从 T 列写），可以写出命题公式的主合取范式 C.从真值表的成假指派（从 F 列写），可以写出命题公式的主析取范式 D.对于依赖于 n 个命题变元的命题公式，其可能的真值表有2n 种。 6.谓词公式∀x∃yR (x, y)在个体域A = {a, b}上与（）等值. A.R(a, a) ∧ R(a, b) ∧ R(b, a) ∧ R(b, b) B. R(a, a) ∨ R(a, b) ∨ R(b, a) ∨ R(b, b) C. (R(a, a) ∧ R(a, b)) ∨ (R(b, a) ∧ R(b, b)) D. (R(a, a) ∨ R(a, b)) ∧ (R(b, a) ∨ R(b, b)) 7.设 L(x)：x 是学生，J (x)：x 是老师，A(x,y)：x 喜欢 y，则命题“所有学生都喜欢某些老师”的逻辑符 号化为（ ） ( ) ( ) A.∀x (L x → A x, y ) ( ) ( ) B. ∀x (L x → ∃y (J (y) ∧ A x, y )) ( ) ( ) ( ) C. ∀x∃y (L x ∧ J y ∧ A x, y ) ( ) ( ) ( ) D. ∀x∃y (L x ∧ J y → A x, y ) 8.下列表达式正确的是（ ） A.∀x∀y (A (x) → B(y)) ⟺ ∃xA(x) → ∃yB (y) B. ∀x∀y (A (x) → B(y)) ⟺ ∀xA(x) → ∃yB (y) C. ∀x∀y (A (x) → B(y)) ⟺