《离散数学》期末考试试题(2008-2009学年度第一学期A).pdfVIP

武汉大学国际软件学院2008-2009 学年第一学期期末考试试卷 课程名称：《离散数学》（A 卷） 专业：软件工程（二）/ 空间信息与数字技术 层次：本科 年级：2008/2007 姓名： 学号： 成绩： 一、填空题 （本大题共10个空，每空2分，共20分） 1、公式P →(P ∨Q ∨R ) 的真值为 。 2 、¬∃∀x yF (x , y ) 的前束范式为 。 3、 ∀x (A(x) ∨B(x)) ⇔∀x A(x) ∨∀x B(x) 是 （填正确或不正确）。 4 、公式¬¬( P ∧Q ) ∨¬R 为假的解释为 。 5、设U {1, 2, L,12 }, A {1, 3, 5, 7, 9,11 }, B {2, 3, 5, 7,11 }, C {2, 3, 6,12 }, D {2, 4, 8 }, 则C −( A UB) ，C ×D 。 6、设A 中有n （n 0 ）个元素，则A 上有