《 离散数学》期末练习四.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． （ ）在命题逻辑中，任何命题公式的取范式都是存在的，并且是唯一的。（）（ ）二、填空题给定命题公式（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