离散数学模拟题及答案.docxVIP

-1 -1 -1 -1 -1 -1 一、 填空 ． 不 能 再 分 解 的 命 题 称 为 ____________， 至 少 包 含 一 个 联 结 词 的 命 题 称 为 ____________。 ． 一 个命题公式 A(P, Q, R)为 真的 所有真值指派是 000, 001, 010, 100， 则其主析 取 范式 是__________________，其主合取范式是_________________。 ．设 A={a,b,c}，B={b,c,d,e}，C={b,c}，则( A ??B )? ??C＝ ____________。 4．幂集 P(P(?)) ＝ ________________。 ． 设 A 为 任 意 集 合 ， 请 填 入 适 当 运 算 符 ， 使 式 子 A________A=?； A________A’=?成 立。 ． 设 A={0， 1， 2， 3， 6}， R={〈 x,y〉 |x≠y∧(x,y∈A)∧y≡x(mod 3)}， 则 D(R)=____________，R(R)=____________ 。 7． 称 集 合 S 是 给 定 非 空 集 合 A 的 覆 盖 ： 若 S={S 1， S 2， …， S n}， 其 中 S  i ?A， S i≠?， i=1， 2， …， n， 且______ _____； 进一 步若_____ _______，则 S 是集合 A 的划分。 ． 两 个 重 言 式 的 析 取 是 ____ ____式 ， 一 个 重 言 式 和 一 个 永 假 式 的 合 取 式 是 式。 ．公式 ┐(P∨Q) ←→(P∧Q)的主析取范式是 。 10. 已 知 Π={{a}{b,c}}是 A={a,b,c}的 一 个 划 分 ， 由 Π 决 定 的 A 上 的 一 个 等 价 关 系 是 。 二、 证明及求解 ．求命题公式（ P→Q）→（ Q∨P）的主析取范式。 ．推理证明题 1）?P∨Q，?Q∨R，R?S?P?S。 2) (?x)(P(x)?Q(y)∧R(x))，(?x)P(x)?Q(y)∧(?x)(P(x) ∧R(x)) 3． 设 A={0， 1， 2， 3}， R={〈 x,y〉 |x,y∈A∧(y=x+1∨y= （x=y+2）}。试求 R ?S?R。 x 2 )}， S={〈 x,y〉 |x,y∈A∧ ．证明：R 是传递的?R*R?R。 ．设 R 是 A 上的二元关系，S={a, b| 存在 c∈A，使a, c∈R，且c, b∈R}。证 明：若 R 是等价关系，则 S 也是等价关系。 ．若 f:A→B 和 g:B→C 是双射，则（g?f） =f ?g 。 ．符号化下列命题，并证明结论的有效性。 只 要 今 天 天 气 不 好 ， 就 一 定 有 考 生 不 能 提 前 进入考 场 ， 当 且 仅 当 所 有 考 生 提 前 进 入 考 场，考试才能准时进行。所以，如果考试准时进行，那么天气就好。 8．画出集合 S={1,2,3,4,5,6}在偏序关系“整除”下的哈斯图，并讨论： 1 1）写出 {1,2,3,4,5,6}的最大(小)元和极大(小)元； 2）分别写出{2,3,6}和{2,3,5}的上(下)界、上(下)确界。 9. 设 R 是 A={1,2,3,4,5}上 的 二 元 关 系 ， R={2,1,2,5,2,4,3,4,4,4,5,2}， 求 r(R)、s(R)和 t(R)， 并 作 出 它 们 及 R 的关系图。 2 参考答案 一、填空 1．原子命题；复合命题 2． m 0 ∨ m1 ∨ m 2 ∨ m4 ； M 3 ∧ M 5 ∧ M 6 ∧ M 7 ．{a,d,e} ．{??{?}} ．?；∩ ．{0，3，6}；{0，3，6} 7．S  1 ∪S  2 ∪…∪S  n ＝S； S  i ∩S  j ＝???≤ij≤n ．重言；永假 ． m 0 ∨ m1 10. {a,a,b,b,b,c,c,b,c,c} 二、证明及求解 1．解：(?p?q)?( ?q∨p)??(?p?q)∨(p∨?q) ??(p∨q)∨(p∨?q) ?(?p∧?q)∨(p∨?q) ?(?p∨p∨?q)∧(?q∨p∨?q) ?(p∨?q) ?M1 ?m0∨m2∨m3 2．1）证明： (1)P (2)?P∨Q (3)Q (4)?Q∨R (5)R R?S S P?S 2) 证明  附加前提 P T(1)(2)，I P T(3)(4)，I P T(5)(6)，I CP ?xP(x) P P(a) ES(1) 3 -1 -1-1-1-1 -1-1-1-1 -1-1 -1 -1 -1 -1 -1