月离散数学期末考试题附答案.docVIP

上 海 海 事 大 学 试 卷 2011 — 2012 学年第二学期期末考试 《 离散数学 》（A卷） 班级 学号 姓名 总分 题 目 得 分 阅卷人 注：P={1,2,3,….} 1.(6’)用题中所提供的变元将下面一段论述转化成命题公式，然后给出形式化证明。 如果天气干燥，那么我将去远足或游泳。我去游泳当且仅当天气暖和。所以，如果我没去远足，则天气是潮湿的或暖和的。(d, h, s, w) 2.(5’)判断下列两个谓词蕴含式的逻辑值。如果逻辑值为F，须举例予以说明【或者通过定义一个恰当的谓词说明，或者在一个小的论域上（如U={a,b}）通过给变元赋真值验证】。 (a)。 (b) 。 3.(6’)设A={1, 2, 3}，. (a) 求。 (b) 列出A的所有子集。 (c) 中哪些是无穷集合？ 4.(6’)从集合{1,2,3,…,1000}中随机取一个整数，该整数至少能被4,5或6中的一个整除的概率是多少。 5.(5’)整数集合Z上的关系R定义如下：(m,n)∈R当且仅当.判断R是否满足自反，反自反，对称，反对称和传递属性。R是否为等价关系？ 6.(5’) 设R1和R2是集合S到T上的关系，R3是集合T到U上的关系。证明： 7.