集合论1.A={,1}，B={{a}}求A的幂集、A×B、A∪B、A+B。 2.A={1,2,3,4,5}, R={(x,y)|x4.A={a,b,c},R= IA ∪{(a,b),(b,a)}，求a和b关于R的等价类。5.R是A上的等价关系，A...

习题五1.设个体域D={a,b,c}，在D中消去公式x(F(x)yG(y))的量词。甲乙用了不同的演算过程：甲的演算过程如下： x(F(x)yG(y))x(F(x)(G(a)G(b)G(c)))(F(a)(G(a)G(b)G(c)))...

第一章部分课后习题参考答案16 设p、q的真值为0；r、s的真值为1，求下列各命题公式的真值。（1）p∨(q∧r) 0∨(0∧1) 0 （2）（p↔r）∧(﹁q∨s) （0↔1）∧(1∨1) 0∧10. （3）（p∧q∧r）↔(p...

离散数学考试试题（A卷及答案）一、（10分）某项工作需要派A、B、C和D 4个人中的2个人去完成，按下面3个条件，有几种派法？如何派？(1)若A去，则C和D中要去1个人；(2)B和C不能都去；(3)...

《离散数学》图论部分习题1.已知无向图G有12条边，6个3度顶点，其余顶点的度数均小于3，问G至少有几个顶点？并画出满足条件的一个图形.（24-3*6）/2 +6=9 2.是否存在7阶无向...

离散数学习题三11、填充下面推理证明中没有写出的推理规则。 前提：pq,qr,rs,p 结论：s 证明：①p前提引入 ②pq前提引入③q（①②析取三段论） ④qr前提引入⑤r（③④析取三...

第4章图论综合练习一、单项选择题1．设L是n阶无向图G上的一条通路，则下面命题为假的是()．(A) L可以不是简单路径，而是基本路径(B) L可以既是简单路径,又是基本路径(C) ...

习题六格与布尔代数一、填空题1、设是偏序集,如果_________, 则称是(偏序)格.2、设〈B,∧,∨,′，0，1〉是布尔代数，对任意的a∈B,有a∨a′=____,a∧a′=______.3、一...

第十章部分课后习题参考答案4．判断下列集合对所给的二元运算是否封闭： （1） 整数集合Z和普通的减法运算。封闭,不满足交换律和结合律，无零元和单位元 （2） 非零整数集合普...

第六章部分课后习题参考答案5.确定下列命题是否为真：（1）真（2）假 （3）{}真（4）{}真 （5）｛a,b｝｛a,b,c,｛a,b,c｝｝真 （6）｛a,b｝｛a,b,c,｛a,b｝｝真 （7）｛a,b｝｛a,b,｛｛a,b｝｝｝真 （8）｛a,b｝｛a,b,｛｛a,b｝｝｝假6．设a,b,c各不相同，判断下...