2007级离散数学试题B.doc

天津师范大学考试试卷 2008 —2009学年第一 学期期末考试试卷（B卷） 科目： 离散数学 学院： 管理学院 专业：07信管、物流 题号 一 二 三 四 五 六 七 八 总分 分数 一、 单项选择题:在每小题的备选答案中选出一个正确答案，并将正确答案的代码填在题干上的括号内。（每小题 分，本大题共 分） 得分 评卷人 1. 下列语句中哪个是真命题（ ） A. 我正在说谎； B. 如果1+2=3，那么雪是黑的； C. 如果1+2=5，那么雪是黑的； D. 严禁吸烟。 得分 2. 下面哪个命题公式是重言式（ ） A. （P→Q）∧（Q→P）； B. （P∧Q）→P； C. （┐P∨Q）∧┐（P∧┐Q）； D. ┐（P∨Q）。 得分 3. 下面那一个命题公式不是重言式（ ） A. Q→（P∨Q）； B. （P∧Q）→P； C. ┐（P∧┐Q）∧（┐P∨Q）； D. （P→Q）→（┐P∨Q）。 得分 4. 谓词公式()P(x) ∧() ┐P(y)是（ ） A. 有效的 B. 不可满足的 C. 可满足的 D. 可满足的 得分 5. 下列各式哪式不成立（ ） A. （）(P(x) ∨Q(x)) ()P(x) ∨(x)Q(x); B. （）(P(x) ∨Q(x)) ()P(x) ∨()Q(x); C. （）(P(x) ∧Q(x)) ()P(x) ∧()Q(x); D. （）(P(x) ∧Q ()P(x) ∧()Q. 得分 6. 下列式子中正确的有（ ）。 A. =0 B. ({} C. ({a,b} D. ( 得分 7. 设（A，(）是偏序集，则A（ ）。 A. 必有最大元和极大元 B. 不一定有最大元，肯定有极大元 C. 不一定有极大元，肯定有最大元 D. 不一定有最大元，也不一定有极大元 得分 8. 设A＝{1,2},B ={a,b,c},C ={c,d}, 则A×(B(C)= ( ) A. {1,c,2,c} B. {c,1,2,c} C. {c,1,c,2} D. {1,c,c,2} 得分 9. 设A={a,b,c}，B={1，2}，作f；A→B，则不同的函数个数为 （ ） A. 2+3个 B. C. 2×3个 D. 得分 10. 设N为自然数集(含0)，函数F：N→N×N,F(n)=n,n+1是( ) 满射，不是入射 入射，不是满射 双射 不是入射，不是满射 二、 填空题:（每空2分，本大题共20分） 得分 评卷人 1. 有n个命题变元可组成___________个不等价的命题公式。 得分 2. 全体小项的析取式必为 式。 得分 3. 公式 ()(P(x) →Q(x,y) ∨()R(y,z)) →s(x)中自由变元为 ，约束变元为 。 得分 4. 谓词公式()(P(x) →Q(x,y) ∨()R(y,z)) →S(x)的前束范式为 。 得分 5. 若集合A，|A|=n，则|A×P(A)|= . 得分 6. 若关系R是反对称的，当且在仅当关系矩阵中 ，在关系图上 . 得分 7. 设 A={1，2，3}上的关系R=={1,1,1,2,2,1,2,2,3,3, 则R满足 性， 不满足 性. 得分 8. 根据集合A上的等价关系R与划分之间的关系，推知A的一个划分可确定 . 得分 9. 设A={φ,{φ}},B={0,1},所有从A到B的双射函数是f1=________,f2=________。 10. 设，A上的关系，则_________。 得分 三、 计算题:（每小题 分，本大题共 分） 得分 评卷人 1. 试将下列公式化为主析取范式和主合取范式：