离散数学复习题.docVIP

PAGE

PAGE4

离散数学复习资料

一、填空

命题“对于任意给定的正实数，都存在比它大的实数”令F(x)：x为实数，则命题的逻辑谓词公式为。

设p：王大力是100米冠军，q：王大力是500米冠军，在命题逻辑中，命题“王大力不但是100米冠军，而且是500米冠军”的符号化形式为。命题“存在一个人不但是100米冠军，而且是500米冠军”的符号化形式为____。

选择合适的论域和谓词表达集合A=“直角坐标系中，单位元（不包括单位圆周）的点集”则A=。

设P（x）：x是素数，E(x)：x是偶数，O(x)：x是奇数N(x,y)：x可以整数y。则谓词的自然语言是对于任意一个素数都存在一个奇数使该素数都能被整除。

设个体域是，谓词公式写成不含量词的形式是。

谓词的前束范式为。

命题公式的主合取范式为，其编码表示为。

设E为全集，，称为A的绝对补，记作～A，且～（～A）=，～E=，

～=。

设，则A-B=，A?B=，A×C=。

设考虑下列子集，，

，，，

则A的覆盖有，A的划分有。

设，，则，。

设A={1,2,2,4,3,3},B={1,3,2,4,4,2},则=，=。

A={1，2，3，4，5，6}，A上二元关系，则用列举法T=；T的关系图为，T具有性质。

偏序集的哈斯图为，则=。

设，定义A上的二元运算为普通乘法、除法和加法，则代数系统A,*中运算*关于运算具有封闭性。

A，B，C表示三个集合，文图中阴影部分的集合表达式为。

AB

AB

C

设图G=V，E，的邻接矩阵，则的入度=，的出度=，从到的长度为2的路径有条。

结点数n（）的简单连通平面图的边数为m，则m与n的关系为m=3n-6。

设f，g是自然数集N上的函数，则。

设I是整数集合，Z3是由模3的同余类组成的同余类集，在Z3上定义+3如下：，则+3的运算表为；Z+,+3是否构成群。

集合S={α，β，γ，δ}上的二元运算*为

*

α

β

γ

δ

α

δ

α

β

γ

β

α

β

γ

δ

γ

β

γ

γ

γ

δ

α

δ

γ

δ

那么，代数系统S,*中的幺元是，α的逆元是。

三、按要求解答

将谓词公式化为前束析取范式与前束合取范式。

用推理规则论证：如果今天是星期六，我们就要到颐和园或圆明园玩，如果颐和园游人太多，我们就不去颐和园玩。今天是星期六，颐和园游人太多，所以，我们去圆明园玩。

符号化语句：“有些人喜欢所有的花，但是人们不喜欢杂草，那么花不是杂草”。并推证其结论。

用推理规则论证：或者逻辑难学，或者有少数学生不喜欢它；如果数学容易学，那么逻辑并不难学。因此，如果许多学生喜欢逻辑，那么数学并不难学。

设有下列情况，用推理规则论证结论是否有效？（a）或者天晴，或者下雨。（b）如果天晴，我去看电影。（c）如果我去看电影，我就不看书。结论：如果我在看书则天在下雨。

符号化语句：“有些病人相信所有的医生，但是病人都不相信骗子，所以医生都不是骗子”。并推证其结论。

给定3个命题：P：北京比天津人口多；Q：2大于1；R：15是素数。求复合命题：的真值。

将化为与其等价的前束范式。

把公式转化为前束范式

求的主合取范式。

求(A?BùC)ù(?A?(?B?ùC))的主析取范式与主合取范式。

求(P∨Q)?R的主析取范式与主合取范式。

设命题A1，A2的真值为1，A3，A4真值为0，求命题

的真值。

求集合的并与交。

设X={1,2,3,4,5}，X上的关系R={1,1,1,2,2,4,3,5,4,2}，求R的传递闭包t(R)。

设集合上的关系。求的传递闭包。

在实数平面上，画出关系，并判定关系的特殊性质。

设X={a，b，c，d}，R是X上的二元关系,R={a，c，a，d，b，c，b，d，c，d}

设S={1,2,3,4,6,8,12,24}，“”为S上整除关系，问：（1）偏序集的哈斯图如何？（2）偏序集(1)画出R的关系图。(2)写出R的关系矩阵。(3)说明R的性质

A={a,b,c,d}，R={a,b,b,c,b,d,c,b}为A上的关