吉林大学2005软件学院离散数学I试题(A).docVIP

第 2 页 共 2 页 第 1 页 共 2 页 吉林大学软件学院 2005级本科《离散数学I》试题（A） 一、简答题（本大题共20小题，每小题2分，共40分） 设集合A={?}，则幂集合?(?(A))的基数是多少？ 设命题公式的集合S={P，Q，P?Q，P?Q}，?是S上的公式蕴涵关系，则部分序集(S, ?)中的最大元和最小元是什么？ 设集合A={a, b}，请给出集合A上所有的等价关系。 设R是集合A={1,2,3}上的二元关系，R={(1,1),(2,3),(3,1)}，问R满足反自反性吗？R满足反对称性吗？ 是否存在集合A，使得A与?(A)等势？若存在，请举例说明。 命题公式(P?(?P?Q))?Q是恒真公式吗？若不是，请给出一个弄假G的解释。 写出关于3个原子P、Q、R的极小项m3。 若短语恒假，则该短语中一定包含互补对吗？若子句中包含互补对，则该子句一定恒真吗？ 对于包含4个不同原子的恒假公式，其主析取范式共包含多少个极小项？ 蕴含式?xP(x)??xP(x)一定成立吗？ 设G＝?xP(x)??xQ(x)，H＝?x(P(x)?Q(x))，个体域D={a，b}，请给弄假公式G，但满足H的一个解释。 有向树中所有点都只发出一条弧吗？有向树一定强连通吗？ 没有孤立点的Euler图一定是强连通的吗？其中的Euler路一定经过图中每个点吗？ 若有限树T中共有m(m?2)个度为1