离散数学 第二章练习习题答案.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. 设个体变元