离散数学 第二章练习题案离散数学 第二章练习题答案.docVIP

选择题 1．下列四个公式正确的是 ① ② ③ ④ A.①③ B.①④ C.③④ D.②④ 2. 谓词公式中量词?x的辖域是( ) (A) (B) P(x) (C) (D) 3. 谓词公式的类型是（ ） (A) 永真式 (B) 矛盾式 (C) 非永真式的可满足式 (D) 蕴涵式 4. 设个体域为整数集，下列公式中其真值为1的是( ) (A) (B) (C) (D) 5. 设个体域，公式在中消去量词后应为 ( ) (A) (B) (C) (D) 6. 在谓词演算中，下列各式正确的是( ) (A) (B) (C) (D) 7.下列各式不正确的是( ) (A) (B) (C) (D) 8. 设I是如下一个解释：D＝{a,b}, 则在解释I下取真值为1的公式是( ). (A) ?x?yP(x,y) (B)?x?yP(x,y) (C)?xP(x,x) (D)?x?yP(x,y). 9. 设个体变元的论域都为自然数集合， ，则以下命题中（ ）是假命题. A．