离散数学考试模拟试题及详细参考答案共四套.docVIP

离散模拟答案1 1命题符号化（共6小题，每小题3分，共计18分） 用命题逻辑把下列命题符号化 假如上午不下雨，我去看电影，否则就在家里读书或看报。 我今天进城，除非下雨。 仅当你走，我将留下。 用谓词逻辑把下列命题符号化 有些实数不是有理数 对于所有非零实数x，总存在y使得xy=1。 f 是从A到B的函数当且仅当对于每个a∈A存在唯一的b∈B，使得f(a)=b. 简答题（共6道题，共32分） 求命题公式(P→(Q→R))?(R→(Q→P))的主析取范式、主合取范式，并写出所有成真赋值。（5分） 设个体域为{1,2,3}，求下列命题的真值（4分） ?x?y(x+y=4) ?y?x (x+y=4) 求?x(F(x)→G(x))→(?xF(x)→?xG(x))的前束范式。（4分） 判断下面命题的真假，并说明原因。（每小题2分，共4分） （A?B）－C=(A-B) ?(A-C) 若f是从集合A到集合B的入射函数，则|A|≤|B| 设A是有穷集，|A|=5，问（每小题2分，共4分） A上有多少种不同的等价关系？ 从A到A的不同双射函数有多少个？ 设有偏序集A,≤，其哈斯图如图1，求子集B={b,d,e}的最小元，最大元、极大元、极小元、上界集合、下界集合、上确界、下确界，(5分) f g d e b c a a 图1