离散习题代数系统部分答案
离散数学期末试卷及部分答案 (2)

离散数学试题(A 卷及答案)一、证明题(10分)1)(⌝P ∧(⌝Q ∧R))∨(Q ∧R)∨(P ∧R)⇔R证明: 左端⇔(⌝P ∧⌝Q ∧R)∨((Q ∨P)∧R)⇔((⌝P ∧⌝Q)∧R))∨((Q ∨P)∧R)⇔(⌝(P ∨Q)∧R)∨((Q ∨P)∧R)⇔(⌝(P ∨Q)∨(Q ∨P))∧R ⇔(⌝(P ∨Q)∨(P ∨Q))∧R ⇔T ∧R(置换)⇔R2)∃x(A(x)→B(x))⇔ ∀xA(x)→∃xB(x)证明 :∃x(A(x)→B(x))⇔∃x(⌝A(x)∨B(x))⇔∃x ⌝A(x)∨∃xB(x)⇔⌝∀xA(x)∨∃xB(x)⇔∀xA(x)→∃xB(x) 二、求命题公式(P ∨(Q ∧R))→(P ∧Q ∧R)的主析取范式和主合取范式(10分)证明:(P ∨(Q ∧R))→(P ∧Q ∧R)⇔⌝(P ∨(Q ∧R))∨(P ∧Q ∧R))⇔(⌝P ∧(⌝Q ∨⌝R))∨(P ∧Q ∧R) ⇔(⌝P ∧⌝Q)∨(⌝P ∧⌝R))∨(P ∧Q ∧R)⇔(⌝P ∧⌝Q ∧R)∨(⌝P ∧⌝Q ∧⌝R)∨(⌝P ∧Q ∧⌝R))∨(⌝P ∧⌝Q ∧⌝R))∨(P ∧Q ∧R) ⇔m0∨m1∨m2∨m7 ⇔M3∨M4∨M5∨M6三、推理证明题(10分)1) C ∨D, (C ∨D)→ ⌝E, ⌝E →(A ∧⌝B), (A ∧⌝B)→(R ∨S)⇒R ∨S证明:(1) (C ∨D)→⌝E(2) ⌝E →(A ∧⌝B)(3) (C ∨D)→(A ∧⌝B) (4) (A ∧⌝B)→(R ∨S) (5) (C ∨D)→(R ∨S)(6) C ∨D(7) R ∨S2) ∀x(P(x)→Q(y)∧R(x)),∃xP(x)⇒Q(y)∧∃x(P(x)∧R(x))证明(1)∃xP(x) (2)P(a)(3)∀x(P(x)→Q(y)∧R(x)) (4)P(a)→Q(y)∧R(a) (5)Q(y)∧R(a) (6)Q(y) (7)R(a) (8)P(a) (9)P(a)∧R(a) (10)∃x(P(x)∧R(x)) (11)Q(y)∧∃x(P(x)∧R(x))四、设m 是一个取定的正整数,证明:在任取m +1个整数中,至少有两个整数,它们的差是m 的整数倍证明 设1a ,2a ,…,1+m a 为任取的m +1个整数,用m 去除它们所得余数只能是0,1,…,m -1,由抽屉原理可知,1a ,2a ,…,1+m a 这m +1个整数中至少存在两个数s a 和t a ,它们被m 除所得余数相同,因此s a 和t a 的差是m 的整数倍。
离散数学习题四参考答案

第四节 代数系统1 A={所有实数},ο: (a ,b ) a +2b =a οb这个代数运算是否满足结合律?解:(a οb)oc=(a +2b)oc=a+2b+2c ≠ao(b οc)=ao(b+2c)=a+2b+4c ,所以不满足结合律.2 A={1,2,3,…,100},找一个A ×A 到A 的映射。
解:o:aob=max{a,b},是一个从A ×A 到A 的映射。
3 A={a,b,c,d},由表a b c da abc db b d a cc c a b dd d c d b所给的代数运算是否满足交换律?是否有单位元?是否有零元?解:满足交换律,a 是单位元,没有零元?4 全体整数的集合对于普通减法来说是否构成一个群。
解:全体整数的集合对于普通减法来说不构成一个群,因为不满足结合律,即a-(b-c)≠(a-b)-c5 举一个有两个元的群的例子。
解:A={0,1},运算“*”的运算表为 * 0 10 0 11 1 0其中0是单位元,1的逆元为自身。
实际上运算“*”是模为2的同余加法运算。
6 设G 是整数集,对G 规定一个运算“о”a оb =a +b -2证明,(G ,о)是一个群。
证明:显然运算“o ”是封闭的。
(1)满足结合律:ao(boc)=ao(b+c-2)=a+b+c-4=(aob )oc=(a+b-2)oc(2)存在单位元“2”:2oa=2+a-2=a,ao2=a+2-2=a;(3) 存在逆元:ao(2-a)=(2-a)oa=a+2-a=2,即a 的逆元是2-a.所以(G ,о)是一个群。
7证明:一个有限群的每个元的阶都是有限的.证明:设有限群(G ,o )中|G|=n ,则任取一元素a ∈G ,显然na a a a ,,,321 中至少有两个表示同一个元素,(否则就不是有限群)设j i a a j i <=,,又I a a a a a i j i j i i ===---)()(11(其中I 是群的单位元),因此 a a oa a i j i j ==+--1)(,显然j-i+1为有限,所以a 的阶是有限的。
《离散数学》题库及标准答案

《离散数学》题库及标准答案《离散数学》题库及答案————————————————————————————————作者:————————————————————————————————日期:《离散数学》题库与答案一、选择或填空(数理逻辑部分)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条边。
《离散数学》复习题及答案

页眉内容《离散数学》试题及答案一、选择或填空(数理逻辑部分)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),(5),(6)4、公式∀x((A(x)→B(y,x))∧∃z C(y,z))→D(x)中,自由变元是( ),约束变元是( )。
答:x,y, x,z5、判断下列语句是不是命题。
若是,给出命题的真值。
( )(1)北京是中华人民共和国的首都。
(2) 陕西师大是一座工厂。
(3) 你喜欢唱歌吗? (4) 若7+8>18,则三角形有4条边。
(5) 前进! (6) 给我一杯水吧!答:(1)是,T (2)是,F (3)不是(4)是,T (5)不是(6)不是6、命题“存在一些人是大学生”的否定是( ),而命题“所有的人都是要死的”的否定是( )。
答:所有人都不是大学生,有些人不会死7、设P:我生病,Q:我去学校,则下列命题可符号化为( )。
(1) 只有在生病时,我才不去学校 (2) 若我生病,则我不去学校(3) 当且仅当我生病时,我才不去学校(4) 若我不生病,则我一定去学校答:(1)PP⌝P→⌝↔(4)QQ→⌝(2)QP⌝→(3)Q8、设个体域为整数集,则下列公式的意义是( )。
(1) ∀x∃y(x+y=0) (2) ∃y∀x(x+y=0)答:(1)对任一整数x存在整数 y满足x+y=0(2)存在整数y对任一整数x满足x+y=0 9、设全体域D是正整数集合,确定下列命题的真值:(1) ∀x∃y (xy=y) ( ) (2) ∃x∀y(x+y=y) ( )(3) ∃x∀y(x+y=x) ( ) (4) ∀x∃y(y=2x) ( )答:(1) F (2) F (3)F (4)T10、设谓词P(x):x是奇数,Q(x):x是偶数,谓词公式∃x(P(x)∨Q(x))在哪个个体域中为真?( )(1) 自然数(2) 实数 (3) 复数(4) (1)--(3)均成立答:(1)11、命题“2是偶数或-3是负数”的否定是()。
离散数学答案 第九章 特殊代数系统

第九章 特殊的代数系统习题9.11.解 ⑴是半群。
显然,二元运算“ ”在N 上是封闭的, 所以,>< ,N 是一个代数系统, 另一方面,,,,N c b a ∈∀有(){}{}c b a c b a c b a ,,max ,max == ,而(){}{}c b a c b a c b a ,,m ax ,m ax == ,因此,()()c b a c b a =,所以,运算“ ”满足结合律的,故>< ,N 是半群;⑵是半群。
显然,二元运算“ ”在N 上是封闭的, 所以,>< ,N 是一个代数系统, 另一方面,N c b a ∈∀,,,有()c c b c b a == ,而()c c a c b a == ,则()()c b a c b a =,所以,运算“ ”满足结合律,故><,N 是半群;⑶是半群。
显然,二元运算“ ”在N 上是封闭的, 所以,>< ,N 是一个代数系统, 另一方面,N c b a ∈∀,,,有()abc c ab c ab c b a 4)2(2)2(=== ,()()abc bc a bc a c b a 422)2(=== ,即()()c b a c b a = ,所以,运算“ ”满足结合律,故>< ,N 是半群。
⑷不是半群。
虽然,二元运算“ ”在N 上是封闭的,即>< ,N 是一个代数系统,但是 对于5,3,6,因为,()4635635635=--=-= ,而2635635)63(5=--=-= ,即())63(5635 ≠,所以,运算“ ”不满足结合律,故>< ,N 不是半群。
2.解 ⑴正确。
因为,运算显然封闭。
⑵正确。
abc bc ac ab c b a c ab b a c b a ++++++=++= )()(, bc ac ab c b a bc c b a c b a +++++=++=)()( ,即是()()c b a c b a =,所以︒满足结合律。
离散数学章节练习4

离散数学章节练习4K E Y(总5页)-CAL-FENGHAI.-(YICAI)-Company One1-CAL-本页仅作为文档封面,使用请直接删除离散数学 章节练习 4范围:代数系统一、单项选择题 1. <G,*>是群,则对* ( A ) A 、有单位元,可结合 B 、满足结合律、交换律 C 、有单位元、可交换 D 、有逆元、可交换2. 设N 和Z 分别表示自然数和整数集合,则对减法运算封闭的是 ( B )A 、NB 、{x ÷2|x ∈Z}C 、{x|x ∈N 且x 是素数}D 、{2x+1| x ∈Z }3. 设Z 为整数集,A 为集合,A 的幂集为P(A),+、-、/为数的加、减、除运算,∩为集合的交运算,下列系统中是群的代数系统的有 ( B ) A.〈Z ,+,÷〉 B.〈Z ,÷〉 C.〈Z ,-,÷〉 D.〈P(A),⋂〉 4. 设S={0,1},*为普通乘法,则< S , * >是 ( B ) A 、半群,但不是独异点; B 、只是独异点,但不是群; C 、群; D 、环,但不是群。
5. 设f 是由群<G,☆>到群<G ',*>的同态映射,则ker (f)是 ( B ) A 、G '的子群 B 、G 的子群 C 、包含G ' D 、包含G 6. 在整数集Z 上,下列哪种运算不是封闭的 ( C ) A + B - C ÷ D X 7. 设S={0,1},*为普通乘法,则< S , * >是 ( B )A 、半群,但不是独异点;B 、只是独异点,但不是群;C 、群;D 、环,但不是群。
8. 设R 是实数集合,“⨯”为普通乘法,则代数系统<R ,×> 是( A )。
A .群; B .环; C .半群 D.都不是 9. 设︒是集合S 上的二元运算,如果集合S 中的某元素eL,对∀x ∈S 都有 eL ︒x=x ,则称eL 为 ( C ) A 、右单位元 B 、右零元 C 、左单位元 D 、左零元 10. <Z,+> 整数集上的加法系统中0是 ( A ) A 单位元 B 逆元 C 零元 D 陪集 11. 若V=<S,︒>是半群,则它具有下列那些性质 ( A ) A 、封闭性、结合性 B 、封闭性、交换性 C 、有单位元 D 、有零元 二、判断题 1.若半群<S,*>含有零元,则称为独异点。
离散数学习题集(十五套含答案)

离散数学试题与答案试卷一一、填空20% (每小题2分)1.设}7|{)},5()(|{<∈=<∈=+xExxBxNxxA且且(+=⋃BA{0,1,2,3,4,6} 。
2.A,B,C表示三个集合,文图中阴影部分的集合表达式为。
3R,S的真值为1,则)()))(((SRPRQP⌝∨→⌝∧→∨⌝的真值= 1 。
4.公式PRSRP⌝∨∧∨∧)()(的主合取范式为)()(RSPRSP∨⌝∨⌝∧∨∨⌝。
5.若解释I的论域D仅包含一个元素,则)()(xxPxxP∀→∃在I下真值为1 。
6.设A={1,2,3,4},A上关系图为则R2 = {<a.b>,<a,c>,<a,d>,<b,d>,<c,d> 。
7.设A={a,b,c,d},其上偏序关系R的哈斯图为则R= {<a.b>,<a,c>,<a,d>,<b,d>,<c,d>} I A。
8.图的补图为9.设A={a,b,c,d} ,A上二元运算如下:那么代数系统<A,*>的幺元是 a ,有逆元的元素为a , b , c ,d,它们的逆元分别为 a , d , c , d 。
10.下图所示的偏序集中,是格的为 c 。
二、选择20% (每小题2分)1、下列是真命题的有(CD)A.}}{{}{aa⊆;B.}}{,{}}{{ΦΦ∈Φ;C.}},{{ΦΦ∈Φ;D.}}{{}{Φ∈Φ。
2、下列集合中相等的有(BC )A.{4,3}Φ⋃;B.{Φ,3,4};C.{4,Φ,3,3};D.{3,4}。
3、设A={1,2,3},则A上的二元关系有( C )个。
A.23 ;B.32 ;C.332⨯;D.223⨯。
4、设R,S是集合A上的关系,则下列说法正确的是(A )A.若R,S 是自反的,则SR 是自反的;B.若R,S 是反自反的,则SR 是反自反的;C .若R ,S 是对称的, 则S R是对称的;D .若R ,S 是传递的, 则S R 是传递的。
离散数学-第三部分代数结构练习题答案(课件模板)

《离散数学》第三部分----代数结构一、选择或填空1、设A={2,4,6},A上的二元运算*定义为:a*b=max{a,b},则在独异点<A,*>中,单位元是( ),零元是( )。
答:2,62、设A={3,6,9},A上的二元运算*定义为:a*b=min{a,b},则在独异点<A,*>中,单位元是( ),零元是( );答:9,33、设〈G,*〉是一个群,则(1) 若a,b,x∈G,a*x=b,则x=( );(2) 若a,b,x∈G,a*x=a*b,则x=( )。
答:(1)a*-1 b (2)b4、设a是12阶群的生成元,则a2是( )阶元素,a3是( )阶元素。
答:6,45、代数系统<G,*>是一个群,则G的等幂元是( )。
答:单位元6、设a是10阶群的生成元,则a4是( )阶元素,a3是( )阶元素。
答:5,107、群<G,*>的等幂元是( ),有( )个。
答:单位元,18、素数阶群一定是( )群, 它的生成元是( )。
答:循环群,任一非单位元9、设〈G,*〉是一个群,a,b,c∈G,则(1) 若c*a=b,则c=( );(2) 若c*a=b*a,则c=( )。
答:(1)b1-*a(2) b10、<H,,*>是<G,,*>的子群的充分必要条件是( )。
答:<H,,*>是群或∀ a,b ∈G,a*b∈H,a-1∈H 或∀ a,b ∈G,a*b-1∈H 11、群<A,*>的等幂元有( )个,是( ),零元有( )个。
答:1,单位元,012、在一个群〈G,*〉中,若G中的元素a的阶是k,则a-1的阶是( )。
答:k13、在自然数集N上,下列哪种运算是可结合的?()(1) a*b=a-b (2) a*b=max{a,b} (3) a*b=a+2b (4) a*b=|a-b| 答:(2)14、任意一个具有2个或以上元的半群,它()。
- 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。
离散习题代数系统部分答案1(共3
页)
--本页仅作为文档封面,使用时请直接删除即可--
--内页可以根据需求调整合适字体及大小--
《离散数学》代数系统
1.以下集合和运算是否构成代数系统如果构成,说明该系统是否满足结合律、交换律求
出该运算的幺元、零元和所有可逆元素的逆元.
1)P(B)关于对称差运算⊕,其中P(B)为幂集.
构成代数系统;满足结合律、交换律;幺元φ;无零元;逆元为自身。
2)A={a,b,c},*运算如下表所示:
构成代数系统;满足结合律、交换律;无幺元;无逆元;零元b.
2.设集合A={a,b},那么(1)在A上可以定义多少不同的二元运算(2)在A上可以定
义多少不同的具有交换律的二元运算
24个不同的二元运算;23个不同的具有交换律的二元运算
3.设A={1,2},B是A上的等价关系的集合.
1)列出B的元素.2元集合上只有2种划分,因此只有2个等价关系,即B={I A,E A}
2)给出代数系统V=<B,∩>的运算表.
3)求出V的幺元、零元和所有可逆元素的逆元.
幺元E A、零元I A;只有E A可逆,其逆元为E A.
4)说明V是否为半群、独异点和群
V是为半群、独异点,不是群
4.设A={a,b,c},构造A上的二元运算*,使得a*b=c,c*b=b,且*运算满足幂等律、交换
律.
1)给出关于*运算的一个运算表.
其中表中位置可以是a、b、c。
2)*运算是否满足结合律,为什么
不满足结合律;a*(b*b)=c ≠(a*b)*b=b
5.设<R,*>是一个代数系统。
*是R上的一个二元运算,使得对于R(实数集合)中的任意元素a,b都有a*b=a+b+a·b(·和+为数集上的乘法和加法).
证明::<R,*> 是独异点.
6.如果<S,*>是半群,且*是可交换的.
证明:如果S中有元素a,b,使得a*a=a和b*b=b,则(a*b)*(a*b)=a*b.
(a*b)*(a*b)
= a*(b*a)*b 结合律
= a*( a*b)*b 交换律
= (a* a)*(b*b)
= a*b.
7.设<G,·,–1,e>是一个群,则a,b,c∈S。
试证明:群G中具有消去律,即成立: 如果
a·b=a·c ,b·a=c·a 那么b=c. (见课件)
8.设<G,*>是群,a∈G .
现定义一种新的二元运算⊙:x⊙y=x*a*y,x,y∈G .
证明:<G,⊙>也是群 .
证明:显然⊙是G上的一个二元运算。
∀x,y,z∈G,(x⊙y)⊙z=(x⊙y)*a*z=(x*a*y)*a*z=x*a*(y*a*z)= x*a*(y⊙z)= x⊙(y⊙z).故运算⊙满足结合律.
∀x∈G,x⊙a-1=x*a*a-1=x*e=x,a-1⊙x=a-1*a*x=e*x=x,故a-1是幺元.
∀x∈G,x⊙(a-1*x-1* a-1)=x*a*(a-1*x-1* a-1)= x*e*(x-1* a-1)= a-1.
(a-1*x-1* a-1)⊙x= (a-1*x-1* a-1)*a*x=(a-1*x-1)*e*x = a-1.
故a-1*x-1* a-1是x关于⊙的逆元.
综上所述<G , ⊙>是群.
9.试写出模6加法群<Z6,+6>的每个子群及其相应的左陪集.
<Z6,+6>的运算表如下所示:
<Z6,+6>的子群:<{0},+6>、<{0,3},+6>、<{0,2,4},+6>和<Z6,+6>.
10.设A={1,2,5,10,11,22,55,110}.
1)A关于整除关系是否构成偏序集构成偏序集
2)如果构成偏序集合,画出其对应的哈斯图.
3)如果构成偏序集,该偏序集合构成哪种格 (分配格、有界格、有补格、布尔格).
分配格、有界格、有补格、布尔格。