离散数学试卷与答案22
2022年离散数学考试试题AB卷及答案
离散数学考试试题(A卷及答案)一、证明题(10分)1) (P∧Q∧A→C)∧(A→P∨Q∨C)⇔ (A∧(P↔Q))→C。
P<->Q=(p->Q)合取(Q->p)证明: (P∧Q∧A→C)∧(A→P∨Q∨C)⇔(⌝P∨⌝Q∨⌝A∨C)∧(⌝A∨P∨Q∨C)⇔((⌝P∨⌝Q∨⌝A)∧(⌝A∨P∨Q))∨C反用分派律⇔⌝((P∧Q∧A)∨(A∧⌝P∧⌝Q))∨C⇔⌝( A∧((P∧Q)∨(⌝P∧⌝Q)))∨C再反用分派律⇔⌝( A∧(P↔Q))∨C⇔(A∧(P↔Q))→C2) ⌝(P↑Q)⇔⌝P↓⌝Q。
证明:⌝(P↑Q)⇔⌝(⌝(P∧Q))⇔⌝(⌝P∨⌝Q))⇔⌝P↓⌝Q。
二、分别用真值表法和公式法求(P→(Q∨R))∧(⌝P∨(Q↔R))旳主析取范式与主合取范式,并写出其相应旳成真赋值和成假赋值(15分)。
主析取范式与析取范式旳区别:主析取范式里每个括号里都必须有所有旳变元。
主析取范式可由析取范式经等值演算法算得。
证明:公式法:由于(P→(Q∨R))∧(⌝P∨(Q↔R))⇔(⌝P∨Q∨R)∧(⌝P∨(Q∧R)∨(⌝Q∧⌝R))⇔(⌝P∨Q∨R)∧(((⌝P∨Q)∧(⌝P∨R))∨(⌝Q∧⌝R))分派律⇔(⌝P∨Q∨R)∧(⌝P∨Q∨⌝Q)∧(⌝P∨Q∨⌝R)∧(⌝P∨R∨⌝Q)∧(⌝P ∨R∨⌝R)⇔(⌝P∨Q∨R)∧(⌝P∨Q∨⌝R)∧(⌝P∨⌝Q∨R)⇔4M∧5M使(非P析取Q析取R)为0所赋真值,即100,二进制M∧6为4⇔0m∨1m∨2m∨3m∨7m因此,公式(P→(Q∨R))∧(⌝P∨(Q↔R))为可满足式,其相应旳成真赋值为000、001、010、011、111:成假赋值为:100、101、110。
真值表法:P Q R Q↔R P→(Q∨R)⌝P∨(Q↔R) (P→(Q∨R))∧(⌝P∨(Q↔R))0 0 0 0 0 1 0 1 00 1 11 0 0 1 0 1 1 1 0 1 1 1 1111111111111111111111由真值表可知,公式(P→(Q∨R))∧(⌝P∨(Q↔R))为可满足式,其相应旳成真赋值为000、001、010、011、111:成假赋值为:100、101、110。
2022年7月离散数学试题(附答案)
2022年7月离散数学试题(附答案)课程代码:02324一、单项选择题(本大题共15小题,每小题1分,共15分)在每小题列出的四个备选项中只有一个是符合题目要求的,请将其代码填写在题后的括号内。
错选、多选或未选均无分。
1.设P:他聪明,Q:他用功,命题“他虽聪明但不用功”的符号化正确的是(A.P∧QB.P∧QC.P→QD.P∨Q2.下面联结词运算不可交换的是()A.∧B.→C.∨D.3.下列命题公式不是重言式的是()A.Q→(P∨Q)B.(P∧Q)→PC.(P∧Q)∧(P∨Q)D.(P→Q)(P∨Q)4.下列等价式不正确的是()A.某(P(某)Q(某))某P(某)某Q(某)B.某(P(某)Q(某))某P(某)某Q(某)C.某(P(某)Q(某))某P(某)某Q(某)D.某(P(某)Q)某P(某)Q 5.设A(某):某是人,B(某):某犯错误,命题“没有不犯错误的人”符号化为(A.某(A(某)B(某))B.某(A(某)B(某))C.某(A(某)B(某))D.某(A(某)B(某))6.设M={某|f1(某)=0},N={某|f2(某)=0},则方程f1(某)·f2(某)=0的解为()A.M∩NB.M∪NC.MND.M-N))7.设A-B=,则有()A.B=B.B≠C.AB8.A,B是集合,P(A),P(B)为其幂集,且A∩B=,则P(A)∩P(B)为()A.B.{}D.{,{}}D.ABC.{{}}9.设集合A={1,2,3,,10},下列定义的运算关于集合A是不封闭的是()A.某某y=ma某{某,y}B.某某y=min{某,y}C.某某y=GCD{某,y},即某,y的最大公约数D.某某y=LCM{某,y},即某,y的最小公倍数10.设H,K是群(G,)的子群,下面代数系统是(G,)的子群的是()A.(H∩K,)B.(H∪K,)C.(K-H,)D.(H-K,)11.设A={1,2,3,4,5},B={6,7,8,9,10},以下关系是从A 到B的入射函数的是()A.f={<1,8>,<3,9>,<4,10>,<2,6>,<5,7>}B.f={<1,7>,<2,6>,<4,8> ,<1,9>,<5,10>}C.f={<1,6>,<2,7>,<4,9>,<3,8>}D.f={<1,10>,<5,9>,< 3,6>,<4,6>,<2,8>}12.设简单图G所有结点的度数之和为12,则G一定有()A.3条边B.4条边C.5条边D.6条边13.下列不一定是树的是()A.无回路的连通图B.有n个结点,n-1条边的连通图C.每对结点之间都有通路的图D.连通但删去一条边则不连通的图214.下面关于关系R的传递闭包t(R)的描述最确切的是()A.t(R)是包含R的二元关系B.t(R)是包含R的最小传递关系C.t(R)是包含R 的一个传递关系D.t(R)是任何包含R的传递关系15.欧拉回路是()A.路径B.迹C.既是初级回路也是迹D.既非初级回路也非迹二、填空题(本大题共10小题,每小题2分,共20分)请在每小题的空格中填上正确答案。
离散数学考试题及详细参考答案
离散数学考试题(后附详细答案)一、命题符号化(共6小题,每小题3分,共计18分)1. 用命题逻辑把下列命题符号化a) 假如上午不下雨,我去看电影,否则就在家里读书或看报。
b) 我今天进城,除非下雨。
c) 仅当你走,我将留下。
2. 用谓词逻辑把下列命题符号化a) 有些实数不是有理数b) 对于所有非零实数x,总存在y使得xy=1。
c) f是从A到B的函数当且仅当对于每个a€ A存在唯一的b € B ,使得f(a)=b.二、简答题(共6道题,共32分)1. 求命题公式(P T(Q T R)).r(R T(Q T P))的主析取范式、主合取范式,并写出所有成真赋值。
(5分)2. 设个体域为{1,2,3},求下列命题的真值(4分)a) -x y(x+y=4)b) y -x (x+y=4)3. 求-x(F(x) T G(x)) T ( xF(x) T-I X G(X))的前束范式。
(4 分)4. 判断下面命题的真假,并说明原因。
(每小题2分,共4分)a) (A _.B)—C=(A-B) (A-C)b) 若f是从集合A到集合B的入射函数,则|A| < |B|5. 设A是有穷集,|A|=5,问(每小题2分,共4分)a) A上有多少种不同的等价关系?b) 从A到A的不同双射函数有多少个?6. 设有偏序集<A, < >,其哈斯图如图1,求子集B={b,d,e}的最小元,最大元、极大元、极小元、上界集合、下界集合、上确界、下确界,(5分)7. 已知有限集S={a1,a2,…,a n},N为自然数集合,R为实数集合,求下列集合的基数K IS;P(S);N,N ;P(N);R,R X R,{o,1}(写出即可)(6 分)三、证明题(共3小题,共计40分)1. 使用构造性证明,证明下面推理的有效性。
(每小题5分,共10分)a) A T (B A C),(E T—F) T—C, B T (A A ~S)二B T Eb) -x(P(x) T—Q(x)), -x(Q(x) V R(x)) , x—R(x)二x~P(x)2. 设R1是A上的等价关系,R2是B上的等价关系,A工._且B =_,关系R满足:<<X1,y1>,<X2,y2>>€ R,当且仅当< x 1, X2> € R1 且<y 1,y2> € R2。
(完整版)离散数学题目及答案
数理逻辑习题判断题1.任何命题公式存在惟一的特异析取范式 ( √ ) 2. 公式)(q p p →⌝→是永真式 ( √ ) 3.命题公式p q p →∧)(是永真式 ( √ ) 4.命题公式r q p ∧⌝∧的成真赋值为010 ( × ) 5.))(()(B x A x B x xA →∃=→∀ ( √ )6.命题“如果1+2=3,则雪是黑的”是真命题 ( × ) 7.p q p p =∧∨)( ( √ )8.))()((x G x F x →∀是永真式 ( × ) 9.“我正在撒谎”是命题 ( × ) 10. )()(x xG x xF ∃→∀是永真式( √ )11.命题“如果1+2=0,则雪是黑的”是假命题 ( × ) 12.p q p p =∨∧)( ( √ )13.))()((x G x F x →∀是永假式 ( × )14.每个命题公式都有唯一的特异(主)合取范式 ( √ ) 15.若雪是黑色的:p ,则q →p 公式是永真式 ( √ ) 16.每个逻辑公式都有唯一的前束范式 ( × ) 17.q →p 公式的特异(主)析取式为q p ∨⌝ ( × ) 18.命题公式 )(r q p →∨⌝的成假赋值是110 ( √ ) 19.一阶逻辑公式)),()((y x G x F x →∀是闭式( × )单项选择题1. 下述不是命题的是( A )A.花儿真美啊! B.明天是阴天。
C.2是偶数。
D.铅球是方的。
2.谓词公式(∀y)(∀x)(P(x)→R(x,y))∧∃yQ(x,y)中变元y (B)A.是自由变元但不是约束变元B.是约束变元但不是自由变元C.既是自由变元又是约束变元D.既不是自由变元又不是约束变元3.下列命题公式为重言式的是( A )A.p→ (p∨q)B.(p∨┐p)→qC.q∧┐q D.p→┐q4.下列语句中不是..命题的只有(A )A.花儿为什么这样红?B.2+2=0C.飞碟来自地球外的星球。
《离散数学》题库及标准答案
《离散数学》题库及标准答案《离散数学》题库及答案————————————————————————————————作者:————————————————————————————————日期:《离散数学》题库与答案一、选择或填空(数理逻辑部分)1、下列哪些公式为永真蕴含式?( )(1)?Q=>Q→P (2)?Q=>P→Q (3)P=>P→Q (4)?P∧(P∨Q)=>?P答:在第三章里面有公式(1)是附加律,(4)可以由第二章的蕴含等值式求出(注意与吸收律区别)2、下列公式中哪些是永真式?( )(1)(┐P∧Q)→(Q→?R) (2)P→(Q→Q) (3)(P∧Q)→P (4)P→(P∨Q)答:(2),(3),(4)可用蕴含等值式证明3、设有下列公式,请问哪几个是永真蕴涵式?( )(1)P=>P∧Q (2) P∧Q=>P (3) P∧Q=>P∨Q(4)P∧(P→Q)=>Q (5) ?(P→Q)=>P (6) ?P∧(P∨Q)=>?P答:(2)是第三章的化简律,(3)类似附加律,(4)是假言推理,(3),(5),(6)都可以用蕴含等值式来证明出是永真蕴含式4、公式?x((A(x)→B(y,x))∧?z C(y,z))→D(x)中,自由变元是( ),约束变元是( )。
答:x,y, x,z(考察定义在公式?x A和?x A中,称x为指导变元,A为量词的辖域。
在?x A和?x A的辖域中,x的所有出现都称为约束出现,即称x为约束变元,A中不是约束出现的其他变项则称为自由变元。
于是A(x)、B(y,x)和?z C(y,z)中y为自由变元,x和z为约束变元,在D(x)中x为自由变元)5、判断下列语句是不是命题。
若是,给出命题的真值。
( )(1)北京是中华人民共和国的首都。
(2) 陕西师大是一座工厂。
(3) 你喜欢唱歌吗? (4) 若7+8>18,则三角形有4条边。
离散数学试卷及答案
离散数学试题与答案试卷一一、填空 20% (每小题2分)1.设 }7|{)},5()(|{<∈=<∈=+x E x x B x N x x A 且且(N :自然数集,E + 正偶数) 则 =⋃B A 。
2.A ,B ,C 表示三个集合,文图中阴影部分的集合表达式为 。
3.设P ,Q 的真值为0,R ,S 的真值为1,则)()))(((S R P R Q P ⌝∨→⌝∧→∨⌝的真值= 。
4.公式P R S R P ⌝∨∧∨∧)()(的主合取范式为 。
5.若解释I 的论域D 仅包含一个元素,则 )()(x xP x xP ∀→∃ 在I 下真值为 。
6.设A={1,2,3,4},A 上关系图为则 R 2 = 。
7.设A={a ,b ,c ,d},其上偏序关系R 的哈斯图为则 R= 。
8.图的补图为 。
9.设A={a ,b ,c ,d} ,A 上二元运算如下:A BC* a b c d a b c da b c d b c d a c d a b d a b c那么代数系统<A ,*>的幺元是 ,有逆元的元素为 ,它们的逆元分别为 。
10.下图所示的偏序集中,是格的为 。
二、选择 20% (每小题 2分)1、下列是真命题的有( ) A . }}{{}{a a ⊆;B .}}{,{}}{{ΦΦ∈Φ;C . }},{{ΦΦ∈Φ;D . }}{{}{Φ∈Φ。
2、下列集合中相等的有( )A .{4,3}Φ⋃;B .{Φ,3,4};C .{4,Φ,3,3};D . {3,4}。
3、设A={1,2,3},则A 上的二元关系有( )个。
A . 23 ; B . 32 ; C . 332⨯; D . 223⨯。
4、设R ,S 是集合A 上的关系,则下列说法正确的是( ) A .若R ,S 是自反的, 则S R 是自反的; B .若R ,S 是反自反的, 则S R 是反自反的; C .若R ,S 是对称的, 则S R 是对称的; D .若R ,S 是传递的, 则S R 是传递的。
专升本《离散数学》_试卷_答案
专升本《离散数学》一、(共75题,共150分)1. 集合,则()(2分)A.B.C.D.标准答案:B2. 集合,则下列哪个不是的元素()(2分)A.B.C.D.标准答案:B3. 设,在条件且下与()集合相等。
(2分)A.或B.或C.,或D.,或标准答案:C 4. 集合上的关系,则是()(2分)A.自反的B.对称的C.传递且对称的D.反自反且传递的标准答案:B5. 集合,下列不是到的关系的是()(2分)A.B.C.D.标准答案:A6. ,表示求两数的最小公倍数的运算(表示整数集合),对于运算的零元是()(2分)A.B.C.D.不存在标准答案:D7. 下面各集合都是的子集,()集合在普通加法运算下是封闭的。
(2分)A.B.C.D.标准答案:A8. 设集合,“”为整除关系,则代数系统()(2分)A.是域B.是格,不是布尔代数C.是布尔代数D.不是代数系统标准答案:C9. 在()中,补元是唯一的。
(2分)A.有界格B.有补格C.分配格D.有补分配格。
标准答案:D10. 下列语句中,真命题的是( ) (2分)A.请把门关上B.是素数C.D.太阳从西边升起标准答案:B11. 是自然数集,是小于等于关系,则是()。
(2分)A.有界格B.有补格C.分配格D.有补分配格标准答案:C12. 下列函数中,()是双射(2分)A.B.(除以的余数)C.D.标准答案:D13. 设为集合,,在上有()种不同的关系。
(2分)A.B.C.D.标准答案:D14. 设是个结点、条边和个面的连通平面图,则等于()。
(2分)A.B.C.D.标准答案:A15. 对于独异点,则下列说法正确的是()(2分)A.不一定有单位元B.满足交换律C.一定是半群D.独异点就是群标准答案:C16. 群中,当()时,该群一定是循环群。
(2分)A.B.C.D.标准答案:B17. 设,为普通乘法,则是()(2分)A.代数系统B.半群C.群D.都不是标准答案:D18. 下列各图哪个一定是树()(2分)A.有个结点,条边的连通图B.每对结点之间都有路的图C.有个结点,条边的图D.以上说法都不正确标准答案:A19. 在如下各图中是欧拉图的是()(2分)A.B.C.D.标准答案:B20. 下列等价关系正确的是()(2分)A.B.C.D.标准答案:B21. 下列哪些关系是对称关系()(2分)A.B.C.D.标准答案:A,D22. 的合取范式为()(2分)A.B.C.D.标准答案:B,D23. 关于复合运算,下列说法正确的是()(2分)A.置换的复合不一定是置换B.置换在复合运算下是封闭的C.可数集的无限子集仍是可数集D.以上说法都正确标准答案:B,C24. 为命题,则下述公式中是重言式为()(2分)A.B.C.D.标准答案:B,D25. 令我上街;我去书店看看;我很累则命题“如果我上街,我就去书店看看,除非我很累”可以符号化为()(2分)A.B.C.D.标准答案:A,D26. 若集合,则()(2分)A.且B.但C.但D.且标准答案:A27. 在()下有。
离散数学考试题及答案
离散数学考试题及答案一、选择题(每题5分,共20分)1. 下列哪个选项不是离散数学的研究对象?A. 图论B. 组合数学C. 微积分D. 逻辑学答案:C2. 在逻辑学中,下列哪个命题是真命题?A. 如果今天是周一,那么明天是周二。
B. 如果今天是周一,那么明天是周三。
C. 如果今天是周一,那么明天是周四。
D. 如果今天是周一,那么明天是周五。
答案:A3. 在集合论中,下列哪个符号表示集合的并集?A. ∩B. ∪C. ⊆D. ⊂答案:B4. 在图论中,下列哪个术语描述的是图中的顶点集合?A. 边B. 路径C. 子图D. 顶点答案:D二、填空题(每题5分,共20分)1. 如果一个集合A包含5个元素,那么它的子集个数是______。
答案:322. 在逻辑学中,如果命题P和命题Q都是真命题,那么复合命题“P且Q”的真值是______。
答案:真3. 在图论中,如果一个图的顶点数为n,那么它的最大边数是______。
答案:n(n-1)/24. 如果一个二叉树的深度为3,那么它最多包含______个节点。
答案:7三、简答题(每题10分,共30分)1. 请简述什么是图的连通性,并给出一个例子。
答案:图的连通性是指在图中任意两个顶点之间都存在一条路径。
例如,在一个完全图K3中,任意两个顶点之间都可以通过一条边直接连接,因此它是连通的。
2. 解释什么是逻辑蕴含,并给出一个例子。
答案:逻辑蕴含是指如果一个命题P为真,则另一个命题Q也必须为真。
例如,命题P:“如果今天是周一”,命题Q:“明天是周二”。
如果今天是周一,那么根据逻辑蕴含,明天必须是周二。
3. 请描述什么是二叉搜索树,并给出它的一个性质。
答案:二叉搜索树是一种特殊的二叉树,其中每个节点的左子树只包含小于当前节点的数,右子树只包含大于当前节点的数。
它的一个性质是中序遍历可以得到一个有序序列。
四、计算题(每题15分,共30分)1. 给定一个集合A={1, 2, 3, 4, 5},请计算它的幂集,并列出所有元素。
离散数学试题及答案
离散数学试题及答案一、选择题(每题2分,共20分)1. 在集合论中,下列哪个选项不是集合的运算?A. 并集B. 交集C. 差集D. 乘法2. 命题逻辑中,下列哪个命题是真命题?A. (P ∧ ¬P) → QB. (P ∨ Q) ∧ ¬(P ∧ Q)C. P → (Q → P)D. (P → Q) ∧ (Q → R) → (P → R)3. 函数f: A → B,如果f是单射,那么下列哪个选项是正确的?A. A中不同的元素在B中可能有相同的像B. B中每个元素都有原像C. A中不同的元素在B中有不同的像D. B中不同的元素在A中有不同的原像4. 在图论中,下列哪个选项不是图的基本术语?A. 顶点B. 边C. 邻接D. 矩阵5. 组合数学中,从n个不同元素中取出k个元素的组合数记作C(n, k),下列哪个选项是错误的?A. C(n, k) = C(n, n-k)B. C(n, 0) = 1C. C(n, 1) = nD. C(n, k) = C(k, n)6. 关系R是A×B上的二元关系,下列哪个选项不是关系R的性质?A. 自反性B. 对称性C. 传递性D. 可数性7. 在命题逻辑中,下列哪个命题等价于P ∨ (Q ∧ R)?A. (P ∨ Q) ∧ (P ∨ R)B. (P ∧ Q) ∨ (P ∧ R)C. (P ∨ Q) ∨ RD. (P ∨ Q) ∧ R8. 集合{1, 2, 3}的幂集含有多少个元素?A. 3B. 6C. 8D. 99. 在图论中,下列哪个选项不是树的性质?A. 无环B. 至少有两个顶点C. 任意两个顶点都由唯一路径连接D. 至少有一个环10. 在集合论中,下列哪个选项是正确的?A. 空集是任何集合的子集B. 任何集合都是其自身的超集C. 空集是任何非空集合的真子集D. 空集是其自身的并集二、简答题(每题10分,共30分)11. 简述命题逻辑中的德摩根定律,并给出一个例子。
离散数学试卷及答案
一、单项选择题(本大题共15小题,每小题1分,共15分)在每小题列出的四个选项中只有一个选项是符合题目要求的,请将正确选项前的字母填在题后的括号内。
1.一个连通的无向图G,如果它的所有结点的度数都是偶数,那么它具有一条( )A.汉密尔顿回路B.欧拉回路C.汉密尔顿通路D.初级回路2.设G是连通简单平面图,G中有11个顶点5个面,则G中的边是( )A.10B.12C.16D.143.在布尔代数L中,表达式(a∧b)∨(a∧b∧c)∨(b∧c)的等价式是( )A.b∧(a∨c)B.(a∧b)∨(a’∧b)C.(a∨b)∧(a∨b∨c)∧(b∨c)D.(b∨c)∧(a∨c)4.设i是虚数,·是复数乘法运算,则G=<{1,-1,i,-i},·>是群,下列是G的子群是( )A.<{1},·>B.〈{-1},·〉C.〈{i},·〉D.〈{-i},·〉5.设Z为整数集,A为集合,A的幂集为P(A),+、-、/为数的加、减、除运算,∩为集合的交运算,下列系统中是代数系统的有( )A.〈Z,+,/〉B.〈Z,/〉C.〈Z,-,/〉D.〈P(A),∩〉6.下列各代数系统中不含有零元素的是( )A.〈Q,*〉Q是全体有理数集,*是数的乘法运算B.〈Mn(R),*〉,Mn(R)是全体n阶实矩阵集合,*是矩阵乘法运算C.〈Z, 〉,Z是整数集, 定义为x xy=xy,∀x,y∈ZD.〈Z,+〉,Z是整数集,+是数的加法运算7.设A={1,2,3},A上二元关系R的关系图如下:R具有的性质是A.自反性B.对称性C.传递性D.反自反性8.设A={a,b,c},A上二元关系R={〈a,a〉,〈b,b〉,〈a,c〉},则关系R的对称闭包S(R)是( )A.R∪I AB.RC.R∪{〈c,a〉}D.R∩I A9.设X={a,b,c},Ix是X上恒等关系,要使Ix∪{〈a,b〉,〈b,c〉,〈c,a〉,〈b,a〉}∪R为X上的等价关系,R应取( )A.{〈c,a〉,〈a,c〉}B.{〈c,b〉,〈b,a〉}C.{〈c,a〉,〈b,a〉}D.{〈a,c〉,〈c,b〉}10.下列式子正确的是( )A. ∅∈∅B.∅⊆∅C.{∅}⊆∅D.{∅}∈∅11.设解释R如下:论域D为实数集,a=0,f(x,y)=x-y,A(x,y):x<y.下列公式在R下为真的是( )A.( ∀x)( ∀y)( ∀z)(A(x,y))→A(f(x,z),f(y,z))B.( ∀x)A(f(a,x),a)C.(∀x)(∀y)(A(f(x,y),x))D.(∀x)(∀y)(A(x,y)→A(f(x,a),a))12.设B是不含变元x的公式,谓词公式(∀x)(A(x)→B)等价于( )A.(∃x)A(x)→BB.(∀x)A(x)→BC.A(x)→BD.(∀x)A(x)→(∀x)B13.谓词公式(∀x)(P(x,y))→(∃z)Q(x,z)∧(∀y)R(x,y)中变元x( )A.是自由变元但不是约束变元B.既不是自由变元又不是约束变元C.既是自由变元又是约束变元D.是约束变元但不是自由变元14.若P:他聪明;Q:他用功;则“他虽聪明,但不用功”,可符号化为( )A.P∨QB.P∧┐QC.P→┐QD.P∨┐Q15.以下命题公式中,为永假式的是( )A.p→(p∨q∨r)B.(p→┐p)→┐pC.┐(q→q)∧pD.┐(q∨┐p)→(p∧┐p)二、填空题(每空1分,共20分)16.在一棵根树中,仅有一个结点的入度为______,称为树根,其余结点的入度均为______。
(完整word版)离散数学试卷及答案(22)
一、单项选择题:(每小题1分,本大题共15分)1.设A={1,2,3,4,5},下面( )集合等于A 。
A 、{1,2,3,4,5,6};B 、}25{2≤x x x 是整数且;C 、}5{≤x x x 是正整数且;D 、}5{≤x x x 是正有理数且。
2.设A={{1,2,3},{4,5},{6,7,8}},下列各式中( )是错的。
A 、A ⊆Φ;B 、{6,7,8}∈A ;C 、{{4,5}}⊂A ;D 、{1,2,3}⊂A 。
3.六阶群的子群的阶数可以是( )。
A 、1,2,5;B 、2,4;C 、3,6,7;D 、2,3 。
4.设B A S ⨯⊆,下列各式中( )是正确的。
A 、 domS ⊆B ; B 、domS ⊆A ;C 、ranS ⊆A ;D 、domS ⋃ ranS = S 。
5.设集合Φ≠X ,则空关系X Φ不具备的性质是( )。
A 、自反性;B 、反自反性;C 、对称性;D 、传递性。
6.下列函数中,( )是入射函数。
A 、世界上每个人与其年龄的序偶集;B 、、世界上每个人与其性别的序偶集;B 、 一个作者的专著与其作者的序偶集; D 、每个国家与其国旗的序偶集。
7.><,*G 是群,则对*( )。
A 、满足结合律、交换律;B 、有单位元,可结合;C 、有单位元、可交换;D 、每元有逆元,有零元。
8.下面( )哈斯图所描述的偏序关系构成分配格。
9.下列( )中的运算符都是可交换的。
A 、→∨∧,,;B 、↔→,;C 、⨯⋂⋃,,;D 、∧∨, 。
10.设G 是n 个结点、m 条边和r 个面的连通平面图,则m 等于( )。
A 、n+r-2 ;B 、n-r+2 ;C 、n-r-2 ;D 、n+r+2 。
11.n 个结点的无向完全图n K 的边数为( )。
A 、)1(+n n ;B 、2)1(+n n ;C 、)1(-n n ;D 、2)1(-n n 。
12.下列图中( )是根树。
离散数学考试题及答案
离散数学考试题及答案一、选择题(每题2分,共20分)1. 在集合论中,下列哪个符号表示属于关系?A. ∈B. ∉C. ⊆D. ∩答案:A2. 对于命题逻辑,下列哪个是真值表的表示方法?A. 真值表B. 逻辑图C. 布尔代数D. 集合论答案:A3. 以下哪个是图论中的基本单位?A. 点B. 线C. 面D. 体答案:A4. 函数f(x) = x^2 + 3x + 2在x=-1处的值是:A. 0C. 4D. 6答案:C5. 在关系数据库中,以下哪个操作用于删除表中的记录?A. SELECTB. INSERTC. UPDATED. DELETE答案:D6. 以下哪个是离散数学中的归纳法证明方法?A. 直接证明法B. 反证法C. 归纳法D. 构造性证明法答案:C7. 在逻辑中,以下哪个是析取命题?A. P ∧ QB. P ∨ QC. ¬PD. P → Q答案:B8. 以下哪个是图的遍历算法?B. BFSC. Dijkstra算法D. Floyd算法答案:B9. 在集合{1, 2, 3}上,以下哪个是幂集?A. {∅, {1}}B. {1, 2}C. {1, 2, 3}D. 所有选项答案:D10. 以下哪个是递归算法的特点?A. 不能自我调用B. 必须有一个终止条件C. 必须有一个基本情况D. 所有选项答案:D二、填空题(每空2分,共20分)1. 在离散数学中,_________ 表示一个命题的否定。
答案:¬P2. 如果集合A和集合B的交集为空集,那么A和B被称为_________。
答案:不相交3. 一个函数f: A → B是_________,如果对于集合B中的每个元素b,集合A中至少有一个元素a与之对应。
答案:满射4. 在图论中,一个没有环的连通图被称为_________。
答案:树5. 一个命题逻辑公式是_________,如果它在所有可能的真值分配下都是真的。
答案:重言式6. 一个关系R在集合A上是_________,如果对于A中的任意两个元素a和b,如果(a, b)属于R,则(b, a)也属于R。
离散数学参考答案
1.(单选题)A.明年“五一”是晴天。
B.这朵花多好看呀!。
C.这个男孩真勇敢啊! D.明天下午有会吗?答题: A. B. C. D. (已提交)参考答案:A问题解析:2.(单选题) 在上面句子中,是命题的是( )A.1+101=110 B.中国人民是伟大的。
C.这朵花多好看呀! D.计算机机房有空位吗?答题: A. B. C. D. (已提交)参考答案:B问题解析:3.(单选题) 在上面句子中,是命题的是( )A.如果天气好,那么我去散步。
B.天气多好呀!C.x=3。
D.明天下午有会吗?答题: A. B. C. D. (已提交)参考答案:A问题解析:4.(单选题) 在上面句子中( )是命题下面的命题不是简单命题的是( )A.3 是素数或4 是素数B.2018 年元旦下大雪C.刘宏与魏新是同学 D.圆的面积等于半径的平方与π之积答题: A. B. C. D. (已提交)参考答案:A问题解析:5.(单选题) 下面的表述与众不一致的一个是( )A.P :广州是一个大城市 B.ØP :广州是一个不大的城市C.ØP :广州是一个很不小的城市 D.ØP :广州不是一个大城市答题: A. B. C. D. (已提交)参考答案:C问题解析:6.(单选题) 设,P:他聪明;Q:他用功。
在命题逻辑中,命题:“他既聪明又用功。
”可符号化为:()A.PÙQ B.P®QC.PÚØQ D.PÙØQ答题: A. B. C. D. (已提交)参考答案:A问题解析:7.(单选题) 设:P :刘平聪明。
Q:刘平用功。
在命题逻辑中,命题:“刘平不但聪明,而且用功”可符号化为:()A.PÙQ B.ØPÚQC.PÚØQ D.PÙØQ答题: A. B. C. D. (已提交)参考答案:A问题解析:8.(单选题)设:P:他聪明;Q:他用功。
离散数学试题及答案
离散数学试题及答案一、选择题1. 下列哪个是由离散数学的基本概念组成的?A. 集合论和函数论B. 图论和逻辑C. 运算符和关系D. 全数论和数论答案:B2. 下列哪个是离散数学的一个应用领域?A. 数据结构和算法分析B. 微积分和线性代数C. 概率论和统计学D. 数值分析和微分方程答案:A3. 集合A={1, 2, 3},集合B={2, 3, 4},则A交B的结果是:A. {1, 2, 3, 4}B. {2, 3}C. {2}D. {1}答案:B4. 下列哪个是对于集合的补集运算的正确描述?A. A∪A' = ∅B. A∩A' = ∅C. A - A' = AD. A'∩B' = (A∪B)'答案:B5. 若命题p为真,命题q为假,则命题p→q的真值为:A. 真B. 假C. 不确定D. 无法确定答案:B二、填空题1. 对于命题“如果x是偶数,则x能被2整除”,其逆命题为________________。
答案:如果x不能被2整除,则x不是偶数。
2. 在一个完全图中,如果有12条边,则这个图有__________个顶点。
答案:6个顶点。
3. 设集合A={1, 2, 3, 4},则A的幂集的元素个数是__________。
答案:2^4=16个元素。
4. 设关系R={(-1, 0), (0, 1), (1, 0)},则R的逆关系是__________。
答案:R^(-1)={(0, -1), (1, 0), (0, 1)}。
5. 若集合A={1, 2, 3},集合B={2, 3, 4},则A的笛卡尔积B是__________。
答案:A×B={(1, 2), (1, 3), (1, 4), (2, 2), (2, 3), (2, 4), (3, 2), (3, 3), (3, 4)}。
三、计算题1. 求集合A={1, 2, 3}和集合B={2, 3, 4}的并集。
离散数学考试试题及答案
离散数学考试试题及答案一、单项选择题(每题5分,共20分)1. 在离散数学中,以下哪个概念不是布尔代数的基本元素?A. 逻辑与B. 逻辑或C. 逻辑非D. 逻辑异或答案:D2. 下列哪个命题不是命题逻辑中的命题?A. 所有学生都是勤奋的B. 有些学生是勤奋的C. 学生是勤奋的D. 勤奋的学生答案:D3. 在集合论中,以下哪个符号表示集合的并集?A. ∩B. ∪C. ⊆D. ⊂答案:B4. 以下哪个图不是无向图?A. 简单图B. 完全图C. 有向图D. 多重图答案:C二、填空题(每题5分,共20分)1. 如果一个命题的逆否命题为真,则原命题的________为真。
答案:逆命题2. 在图论中,如果一个图的任意两个顶点都由一条边连接,则称这个图为________图。
答案:完全3. 一个集合的幂集是指包含该集合的所有________的集合。
答案:子集4. 如果一个函数的定义域和值域都是有限集合,那么这个函数被称为________函数。
答案:有限三、简答题(每题10分,共30分)1. 请简述什么是图的欧拉路径。
答案:欧拉路径是一条通过图中每条边恰好一次的路径。
2. 解释什么是二元关系,并给出一个例子。
答案:二元关系是指定义在两个集合之间的关系,它将第一个集合中的元素与第二个集合中的元素联系起来。
例如,小于关系就是一个二元关系。
3. 请说明什么是递归函数,并给出一个简单的例子。
答案:递归函数是一种通过自身定义来计算函数值的函数。
例如,阶乘函数就是一个递归函数,定义为:n! = n * (n-1)!,其中n! = 1当n=0时。
四、计算题(每题10分,共30分)1. 计算以下逻辑表达式:(P ∧ Q) ∨ ¬R答案:首先计算P ∧ Q,然后计算¬R,最后计算两者的逻辑或。
2. 给定集合A = {1, 2, 3},B = {2, 3, 4},求A ∪ B。
答案:A ∪ B = {1, 2, 3, 4}3. 已知函数f(x) = 2x + 3,求f(5)。
2022年年月全国自考离散数学试题试卷真题及答案
全国4月高等教育自学考试一、单选题(本大题共15小题,每题1分,共15分)1.下列命题公式为重言式旳是()A.p→(p∨q) B.(p∨┐p)→q C.q∧┐q D.p→┐q2.下列语句中不是..命题旳只有()A.这个语句是假旳。
B.1+1=1.0C.飞碟来自地球外旳星球。
D.凡石头都可练成金。
3.设p:我很累,q:我去学习,命题:“除非我很累,否则我就去学习”旳符号化对旳旳是()A.┐p∧q B.┐p→q C.┐p→┐q D.p→┐q4.下列等价式对旳旳是()A.┐))()(x)(∀∃y∀∀⇔)(A(x(Ax∃)⇔y∃┐A B.AxC.┐)AxxxBB)(x⇔∧∀(∀∨Ax∀x(xx∃⇔∀┐A D.)A(x)(()()()))()(5.在公式)yxzyPQ∀∃中变元y是()P∧→x∃y)(()))(y(,(z))(,(A.自由变元B.约束变元C.既是自由变元,又是约束变元D.既不是自由变元,又不是约束变元6.设A={1,2,3},A上二元关系S={<1,1>,<1,2>,<3,2>,<3,3>},则S是()A.自反关系B.反自反关系C.对称关系D.传递关系7.设集合X为人旳全体,在X上定义关系R、S为R={<a,b|a,b∈X∧a是b旳爸爸},S={<a,b>|a,b ∈X∧a是b旳妈妈},那么关系{<a,b>|a,b∈x∧a是b旳祖母}旳体现式为()A.R S B.R-1 S C.S R D.R S-18.设A是正整数集,R={(x,y)|x,y∈A∧x+3y=12},则R∩({2,3,4,6}×{2,3,4,6})=()A.O/B.{<3,3>}C.{<3,3>,<6,2>}D.{<3,3>,<6,2>,<9,1>}9.下列式子不对旳旳是()A.(A-B)-C=(A-C)-B B.(A-B)-C=A-(B∪C)C.(A-B)-C=(A-C)-(B-C) D.A-(B∪C)=(A-B)∪C10.下列命题对旳旳是()A.{l,2}⊆{{1,2},{l,2,3},1}B.{1,2}⊆{1,{l,2},{l,2,3},2}C.{1,2}⊆{{1},{2},{1,2}}D.{1,2}∈{1,2,{2},{l,2,3}}11.在下列代数系统中,不是环旳只有()A.<Z,+,*),其中Z为整数集,+,*分别为整数加法和乘法。
2022年离散数学综合练习及答案
北京科技大学远程教育学院《离散数学》综合练习(一)参照答案数理逻辑一、判断下列句子与否是命题,若是命题判断真值,并将其符号化。
1、今每天气真好!解:不是命题。
2、王华和张民是同窗。
解:是命题。
真值视实际状况而定。
p:王华和张民是同窗。
3、我一边吃饭,一边看电视。
解:是命题。
真值视实际状况而定。
p:我吃饭。
q:我看电视。
p∧q 4、没有不呼吸旳人。
解:是命题。
真值为1。
M(x):x是人。
F(x):x呼吸。
∀x(M(x)→F(x))二、求命题公式旳真值表和成真赋值、成假赋值。
qp→∧→∧rp)]([(r)解:成真赋值:000,001,010,011,101,111;成假赋值100,110三、用真值表、等值演算两种措施鉴别公式类型。
1、r→][()∧p→qq解:rq q p r q q q p r q q p rq q p r q q p r q q p ∨⌝∧⌝∨⇔∨⌝∨⌝∧⌝∨⇔∨⌝∨⌝∧⇔∨⌝∨∨⌝⌝⇔∨∧∨⌝⌝⇔→∧→])[()]()[()()(])[(])[(可满足式2、))((p q p q ∧∨⌝⌝∨ 解:))((p q p q A ∧∨⌝⌝∨=1)()()())((⇔∨⌝∨∨⌝⌝⇔⌝∨∨⌝⌝∨⇔∧∨⌝⌝∨q p q p p q p q p q p q永真式四、求命题公式旳主析取范式和成真赋值、成假赋值。
)(r q p →→ 解:∑=→→),,,,,,7543210()(r q p 成真赋值:000,001,010,011,100,101,111;成假赋值110 五、解释I 如下:D 是实数集,特定元素a =0;特定函数f (x ,y )=x -y ;特定谓词F(x,y):x<y。
在解释I下鉴别公式真、假。
1、)])(([xyxfFyx,,⌝∀∀解:)]) [()])(([)]([)])(([xyxyxxyxyxxyxFyxxyxfFyx≥-∀∀⇔<-⌝∀∀⇔-⌝∀∀⇔⌝∀∀,,,真值为假2、)]()([)({zyfzxfFyxFzyx,,,,→∀∀∀解:)]()()[()]}()([)({zyzxyxzyxzyfzxfFyxFzyx-<-→<∀∀∀⇔→∀∀∀,,,,真值为真六、1、求前束范式)()(yxyGxxF,∀→⌝∃解:)]()([)()()()()()(ytGxFyxytyGxxFyxyGxxFyxyGxxF,,,,∨∀∃⇔∀∨∃⇔∀∨∃⇔∀→⌝∃2、证明:BxxABxAx→∀⇔→∃)())((证明:BxxABxxABxAxBxAxBxAx→∀⇔∨⌝∀⇔∨⌝∃⇔∨⌝∃⇔→∃)()()())(())((七、写出下面推理旳证明,规定写出前提、结论,并注明推理规则。
- 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。
一、单项选择题:(每小题1分,本大题共15分)1.设A={1,2,3,4,5},下面( )集合等于A 。
A 、{1,2,3,4,5,6};B 、}25{2≤x x x 是整数且;C 、}5{≤x x x 是正整数且;D 、}5{≤x x x 是正有理数且。
2.设A={{1,2,3},{4,5},{6,7,8}},下列各式中( )是错的。
A 、A ⊆Φ;B 、{6,7,8}∈A ;C 、{{4,5}}⊂A ;D 、{1,2,3}⊂A 。
3.六阶群的子群的阶数可以是( )。
A 、1,2,5;B 、2,4;C 、3,6,7;D 、2,3 。
4.设B A S ⨯⊆,下列各式中( )是正确的。
A 、 domS ⊆B ; B 、domS ⊆A ;C 、ranS ⊆A ;D 、domS ⋃ ranS = S 。
5.设集合Φ≠X ,则空关系X Φ不具备的性质是( )。
A 、自反性;B 、反自反性;C 、对称性;D 、传递性。
6.下列函数中,( )是入射函数。
A 、世界上每个人与其年龄的序偶集;B 、、世界上每个人与其性别的序偶集;B 、 一个作者的专著与其作者的序偶集; D 、每个国家与其国旗的序偶集。
7.><,*G 是群,则对*( )。
A 、满足结合律、交换律;B 、有单位元,可结合;C 、有单位元、可交换;D 、每元有逆元,有零元。
8.下面( )哈斯图所描述的偏序关系构成分配格。
9.下列( )中的运算符都是可交换的。
A 、→∨∧,,;B 、↔→,;C 、⨯⋂⋃,,;D 、∧∨, 。
10.设G 是n 个结点、m 条边和r 个面的连通平面图,则m 等于( )。
A 、n+r-2 ;B 、n-r+2 ;C 、n-r-2 ;D 、n+r+2 。
11.n 个结点的无向完全图n K 的边数为( )。
A 、)1(+n n ;B 、2)1(+n n ;C 、)1(-n n ;D 、2)1(-n n 。
12.下列图中( )是根树。
A 、>><><><=<},,,,,{},,,,{1d c b a a a d c b a G ;B 、>><><><=<},,,,,{},,,,{2d c d b b a d c b a G ;C 、>><><><=<},,,,,{},,,,{3a c d a b a d c b a G ;D 、>><><><=<},,,,,{},,,,{4d d c a b a d c b a G 。
13.设P :2×2=5,Q :雪是黑的,R :2×4=8,S :太阳从东方升起,下列( )命题的真值为真。
A 、R Q P ∧→ ;B 、S P R ∧→ ;C 、R Q S ∧→ ;D 、)()(S Q R P ∧∨∧。
14.下面( )命题公式是重言式。
A 、R Q P ∨→ ;B 、)()(Q P R P →∧∨ ;C 、)()(R Q Q P ∨↔∨ ;D 、))()(())((R P Q P R Q P →→→→→→。
15.设L(x):x 是演员,J(x):x 是老师,A(x , y):x 钦佩y ,命题“所有演员都钦佩某些老师”符号化为( )。
A 、)),()((y x A x L x →∀;B 、))),()(()((y x A y J y x L x ∧∃→∀ ;C 、)),()()((y x A y J x L y x ∧∧∃∀;D 、)),()()((y x A y J x L y x →∧∃∀ 。
二、填空题:(每空1分,本大题共15分)1.设}2,121{Z x x x x M ∈≤≤=整除,被,}3,121{Z x x x x N ∈≤≤=整除,被, 则 =⋂N M ,=-N M 。
2.在一个有n 个元素的集合上,可以有 种不同的关系,有 种不同的函数。
3.若关系R 是反对称的,当且仅当关系矩阵中 ,在关系图上 。
4.设f g 是一个复合函数,若g 和f 都是满射,则f g 为 ,若g 和f 都是入射,则f g 是 。
5.三阶群有 个(不同构),其运算表为 。
6.设图G = < V ,E >,},,,{4321v v v v V =的邻接矩阵⎪⎪⎪⎪⎪⎭⎫ ⎝⎛=0001001111011010A ,则1v 的入度 )(d e g 1v -= ,4v 的出度)(deg 4v += ,从2v 到4v 的长度为2的路有 条。
7.命题公式)))(((R Q Q P P A →⌝∧→⌝∨⇔的主合取范式为 ,其编码表示为 。
三、判断改正题:判断下列各题是否正确,正确的划“√”,错误的划“×”,并加以改正。
(每小题2分,本大题共20分)1.A ,B ,C 为任意集合,若C A B A ⋃=⋃,则B = C 。
( )2.设R 是实数集,R 上的关系},,2,{R y x y x y x f ∈<-><=,R 是相容关系。
( )3.设< A ,≤ >是偏序集,A B ⊆,则B 的极大元B b ∈且唯一。
( )4.谓词公式)()()(y yR x xQ x xP ∃∨∀→∃的前束范式是))()()((y R z Q x P y z x ∨→∃∀∀。
( )5.在代数系统< S , *> 中,若一个元素的逆元是唯一的,其运算*必是可结合的。
( )6.每一个有限整环一定是域,反之也对。
( )7.有割点的连通图可能是哈密尔顿图。
( )8.)()())()((x xB x xA x B x A x ∀∧∀⇔∧∀。
( )9.无多重边的图是简单图。
( )10.设>∨∧<,,A 是布尔代数,则>∨∧<,,A 一定为有补分配格。
( )四、简答题:(每小题5分,本大题共20分)1.设1R 和2R 是A 上的任意二元关系,如果1R 和2R 是自反的,21R R 是否也是自反的,为什么?如果1R 和2R 是对称的,21R R 是对称的吗?2.如图给出的赋权图表示六个城市f e d c b a ,,,,,及架起城市间直接通讯线路的预测造价。
试给出一个设计方案使得各城市间能够通讯且总造价最小,并计算出最小总造价。
3.设S = R - {-1}(R 为实数集),ab b a b a ++=*。
(1)说明>*<,S 是否构成群; (2)在S 中解方程732=**x 。
4.将公式)()((R P R Q P ∧→∧∨)划为只含有联结词∧⌝,的等价公式。
五、证明题:(共30分)1.设}9,,3,2,1{ =A ,在A A ⨯上定义关系R d c b a R >>∈<><<,,,:当且仅当c b d a +=+,证明R 是A A ⨯上的等价关系,并求出?]5,2[=><R2.用CP 规则证明)(C B A ∧→,C F E ⌝→⌝→)(,)(S A B ⌝∧→ E B →。
3.将下列命题形式化,并证明结论的有效性:所有有理数都是实数,某些有理数是整数。
因此,某些实数是整数。
5.证明:若T 是有n 个结点的完全二叉树,则T 有21+n 片叶子。
一、单项选择题:二、填空题:1.{6,12};{2,4,8,10}。
2.22n ;nn 。
3.以主对角线为对称的元素不能同时为1;两个不同结点间的定向弧线,不可能成对出现。
4.满射;入射。
5.1;6.3;1;1。
7.)()(R Q P R Q P ⌝∨∨∧∨∨;001000M M ∧ 。
三、判断改正题:1.× 若C A B A ⋃=⋃,则不一定C B =。
2.√ 。
3.× B 的极大元B b ∈但可以不唯一。
4.√ 。
5.× 运算*不一定可结合 。
6.× 有限整环一定是域,但反之不成立。
7.× 有割点的连通图不可能是汉密尔顿图。
8.√ 。
9.× 无多重边和自环的图是简单图。
10.√ 。
四、简答题:1.解:若21,R R 是自反的,则21R R 也是自反的。
因为21,,R R A a ∈∀自反,21,,,R a a R a a >∈<>∈<∴,从而 21,R R a a >∈<,即21R R 也是自反的。
若21,R R 是对称的,但21R R 不一定是对称的。
如:A = {a , b , c},},,,{1><><=a b b a R ,},,,{2><><=b c c b R ,则21,R R 是对称的,但},{21><=c a R R 不是对称的。
2.要设计一个方案使各城市间能够通讯且总造价最小,即要求该图连通、无回路、边权之和最小的子图即最小生成树,由避圈法或破圈法可得:其最小生成树为:其树权即最小造价为:1+2+3+5+7=18。
3.解:(1)1)S ab b a b a S b a ∈++=*∈∀易证,,即运算*是封闭的。
2)S c b a ∈∀,,,)()()(abc bc ac ab c b a c ab b a c ab b a c ab b a c b a ++++++=++++++=*++=** 而,)()()()(abc ac ab bc c b a bc c b a bc c b a bc c b a c b a ++++++=++++++=++*=** )()(c b a c b a **=**∴,即*可结合。
3)设S 关于*有幺元e ,则a e a a e S a =*=*∈∀,。
而 0,==++=*=*∴e a ea e a a e e a 。
4)S a ∈∀ 设有逆元1-a 。
则e a a aa =*=*--11, 即 011=++--aa a a ,aa a +-=-∴11,即 S 中任意元都有逆元,综上得出,>*<,S 构成群。
(2)由7111266323232=+=++++++=**x x x x x x ,31-=∴x 。
4.解:原式)()()())((R P R Q P R P R Q P ∧∨⌝∨⌝∧⌝⇔∧∨∧∨⌝⇔))()((R P R Q P ∧⌝∧∧⌝∧⌝⌝⌝⇔。
五、证明题:1.证明:1),,,,,,,R b a b a a b b a A A b a >>∈<><<∴+=+⨯>∈<∀ 即R 自反。