2007级本科《离散数学I》期末考试试题（A卷）学习资料.docVIP

第2页共2页

第1页共2页

2007级本科《离散数学I》试题（A）

一、简答题（本大题共18小题，每小题2分，共36分）

设集合A={a,{a},?}，求幂集合?(A)？

设命题公式的集合S={P,Q,P?P,P?1,P?Q,0?Q,Q?Q,?P?Q}，=是S上的公式等价关系，求S关于=的商集？

设整数集合上的关系R={(a,b)|a,b为整数且a和b互质}，则具有反自反性吗？具有反对称性吗？

设集合A={1,2,3,4}，是否存在一个A上的关系R，R既是等价关系又是部分序关系？若存在，请给出关系R。

是否存在集合A、B，满足B?A且|A|=|B|？若存在，请举例说明。

请给出命题公式G=(P??Q)?(?P?Q)的真值表。

请写出关于P、Q、R的极大项M4和极小项m5。

设命题公式G=(P?Q)?Q，H=(?P?Q)，请问G蕴涵H吗？

若解释I弄假命题公式P?(Q?R)，请给出命题公式(?P?Q)?(P?(Q??R))在解释I下的真值。

设谓词公式G=?x(P(x,a)??zQ(x,z))，D={1,2}，请给出一个弄假公式G的解释。

设G＝?xP(x)??xQ(x)，H＝?x(P(x)?Q(f(x)))，G蕴涵H吗？H蕴涵G吗？

设谓词公式G的前束范式为H，其Skolem范式为S，则G与H等价吗？H与S等价吗？

在有向图中一定有根