2009-离散数学 考试.docVIP

《 离散数学》期末练习 一、判断题1. 实数集合是有限集合。（ ） 2. (PQ)→R与 (P→R)(Q→R)等价。 （ ）3. 如果关系R是对称的，那么r(R)也是对称的。（ ） 4. (x)(P(x)→Q(x)) (x)P(x)→(x)Q(x)。 （ ） 5. A上的恒等关系既是A上的关系也是A上的偏序关系。（）6. 7. 一个关系可以：既不满足性，也不满足反性。（ ） 。（ ）9．(x) (y) P (x, y) (y)(x)P(x,y)。 （ ）在命题逻辑中，任何命题公式的取范式都是存在的，并且是唯一的。（）（ ）。（ ）二、填空题给定命题公式（PQ）→R，该公式在联接词集合{, →}中的形式为__________，在联接词集合{,∧}中的形式为__________在公式（）（P（z）→Q（x，z））（z）R（x，z）中，的辖域是___________________，z的辖域是__________________。设R为非空集合A上的二元关系，如果R具有自反性、___________、__________则称R为A上的一个关系。设p：，q：，则命题“只要，那么”可符号化为_____________，其真值是________。设x＝{1，3，5，，，}，R是x上的整除关系，则R是x上的偏序，其最大元是___________，极小元是_________。前提，，的结论是（ ）设F（x）表示x是，G（x）表示y是，H（x，y）表示x比y快，命题“某些比所有慢”的符号化公式是设＝{Φ}，＝P（P（）），以下不正确的式子是（ ）设，则（ ）A．设个体域D＝{2，，}，F（x）：x≤3，G（x）：x5，消去公式x（F（x）yG（y））中的量词，并讨论其真值。 设A＝{a，b，c}，求A上所有等价关系。 设为一个偏序集，其中，A={1，2，3，4，6，9，24，54}是A上的整除关系。 　　（1）画出的哈斯图； 　　（）求B={4,6,9}的最小上界和最大下界。 证明下面关于集合A和B的命题是相互等价的。(a) AB (b) A∪B＝B (c) A∩B＝A用等值演算法求公式┌（p→q）→（p→q）的主取范式。 所有的班干部都很有。是个学生并且是个班干部。因此有些学生很有。请用谓词逻辑中的推理理论证明上述推理。（个体域：所有人的集合）1. (┑P→Q)→R; ┑（P∧┑Q）R）．P（z）→Q（x，z），R（x，z） ．对称性，传递性（或传递性，对称性） ． p→q，真．，1 （共分）x（F（x）yG（y））（F（1）yG（y））（F（2）yG（y））（F（4）yG（y））（F（20）yG（y））F（1）F（2）F（4）F（20）yG（y）F（1）F（2）F（4）F（20）G（）G（）G（）G（）．（1）哈斯图 （2）．证明：通过证明(a) (b) (c) (a)来说明它们是等价的。 （1）首先证明 (a) (b) 已知A B，A的每个元素都是B中的元素，从集合运算的定义知 A∪B＝{x|xA或xB}＝{x|xB}＝B （2）再证明 (b) (c) 已知AB＝B，等式两边同时与A求交仍然相等。 A∩B ＝A∩（AB） ＝（AΦ）∩（AB） ＝A（Φ∩B） ＝AΦ ＝A （3）最后证明 (c) (a) 已知A∩B＝A，x∈A x∈A∩B x∈A ∧x∈B x∈B ，故A B。 ．原式 （（p→q））（p→q） （p→q）（p→q） （p→q） p∨q ）M2 （p∧（q））（q（p））（p）（p∧q）（p∧┑q） 证明：设 H（x）：x是F（x）：x有S（x）：x是学生 c：李前提：（x）（H（x）→F（x）），S（c）H（c） 结论：（x）（S（x）F（x）） 构造推理证明如下： （1）（x）（H（x）→F（x）） P（前提引入） （2）H（c）→F（c） US（1） （3）S（c）H（c） P（前提引入） （4）H（c） T（3）I （）F（c） T（4）（2）I （6）S（c） T（3）I （7）S（c）F（c） T（5）（6）I （8）（x）（S（x）F（x）） EG（7） 3 1 2 4 24 54 9 3 6