7格与布尔代数
- 格式:pdf
- 大小:642.24 KB
- 文档页数:72
离散数学习题解答习题五(第五章 格与布尔代数)1.设〈L ,≼〉是半序集,≼是L 上的整除关系。
问当L 取下列集合时,〈L ,≼〉是否是格。
a) L={1,2,3,4,6,12} b) L={1,2,3,4,6,8,12} c) L={1,2,3,4,5,6,8,9,10}[解] a) 〈L ,≼〉是格,因为L 中任两个元素都有上、下确界。
b) 〈L ,≼〉不是格。
因为L 中存在着两个元素没有上确界。
例如:812=LUB{8,12}不存在。
c) 〈L ,≼〉不是格。
因为L 中存在着两个元素没有上确界。
16312486312411倒例如:46=LUB{4,6}不存在。
2.设A ,B 是两个集合,f 是从A 到B 的映射。
证明:〈S ,⊆〉是〈2B,⊆〉的子格。
其中S={y|y=f (x),x ∈2A}[证] 对于任何B 1∈S ,存在着A 1∈2A,使B 1=f (A 1),由于f(A 1)={y|y ∈B ∧(x)(x ∈A 1∧f (x)=y)}⊆B 所以B 1∈2B,故此S ⊆2B;又B 0=f (A)∈S (因为A ∈2A),所以S 非空;对于任何B 1,B 2∈S ,存在着A 1,A 2∈2A,使得B 1=f (A 1),B 2=f (A 2),从而 L ∪B{B 1,B 2}=B 1∪B 2=f (A 1)f (A 2)=f (A 1∪A 2) (习题三的8的1)) 由于A 1∪A 2⊆A ,即A 1∪A 2∈2A,因此f (A 1∪A 2)∈S ,即上确界L ∪B{B 1,B 2}存在。
对于任何B 1,B 2∈S ,定义A 1=f –1(B 1)={x|x ∈A ∧f (x)∈B 1},A 2=f -1(B 2)={x|x ∈A ∧f (x)∈B 2},则A 1,A 2∈2A,且显然B 1=f (A 1),B 2=f (A 2),于是GLB{B 1,B 2}=B 1∩B 2=f (A 1)∩f (A 2) ⊇f (A 1∩A 2) (习题三的8的2))又若y ∈B 1∩B 2,则y ∈B ,且y ∈B 2。
第一章命题逻辑命题与逻辑联结词1.判断下列语句是否是命题,不是划“×”,是划“√”,且指出它的真值.(1)所有的素数都是奇数. ( ) 其真值( )(2)明天有离散数学课吗? ( ) 其真值( )(3)326+>. ( ) 其真值( )(4)实践出真知. ( ) 其真值( )(5)这朵花真好看呀! ( ) 其真值( )(6)5x=. ( ) 其真值( )(7)太阳系外有宇宙人. ( ) 其真值( )2.将下列命题符号化.(1)如果天下雨,那么我不去图书馆.(2)若地球上没有水和空气,则人类无法生存.(3)我们不能既划船又跑步.(4)大雁北回,春天来了.3.将下列复合命题分解成若干个原子命题,并找出适当的联结词.(1)天下雨,那么我不去图书馆.(2)若地球上没有水和空气,则人类无法生存.命题公式1. 判断下列各式是否是命题公式,不是的划“×”,是的划“√”.(1)(Q R∧S). ( )(2)((R(Q R)(P Q)). ( )(3) (P∨QR)S. ( )(4)((P Q)(Q P)). ( )2.写出五个常用命题联结词的真值表.真值表与等价公式1.指出下列命题的成真赋值与成假赋值.(1)(P∨Q).(2)P(Q P).2.构造真值表,判断下列公式的类型.(1)(P∧Q)∧(P∨Q).(2) P→(P∧┑Q))∨R.3.用等值演算法验证下列各等价式.(1) ((P→Q)∧(Q→R))→(P→R) T.(2)P(Q∧R)(P Q)∧(P R).(3)(P∨Q)∨(P∧Q)P.蕴涵式及其他联结词1.试证明下列各式为重言式.(1)(P Q)∧(Q R)(P R).(2) (P→Q)→Q⇒P∨Q.(3)(P Q)⇒P Q.2.将下列公式化成与之等价且仅含{┑,∨}中联结词的公式.(1) (P∨Q)∧┑P(2) (P→(Q∨┑R))∧(┑P∧Q)3.证明{,∧}是最小全功能联结词组.4.设A、B、C为任意的三个命题公式,试问下面的结论是否正确?(1)若A∧C B∧C,则A B.(2)若A B,则A B.(3)若A C B C,则A B.对偶与范式1.试给出下列命题公式的对偶式.(1)T∨(P∧Q).(2)(P∧Q)∧(P∨Q).2.试求下列各公式的主析取范式和主合取范式.(1) (P→(Q∧R))∧(┑P→(┑Q→R)).(2)((P Q)∧Q)∨R.(3)(P(Q∨R))∧(P∨(Q R)).3.试用将公式化为主范式的方法,证明下列各等价式.(1) (┑P∨Q)∧(P→R)⇔P→(Q∧R)(2) ┑(P↔Q)⇔(P∧┑Q)∨(┑P∧Q)推理理论1.试用推理规则,论证下列各式.(1) ┑(P∧┑Q),┑Q∨R,┑R⇒┑P(2) P∨Q,Q→R,P→S,┑S⇒R∧(P∨Q)(3) ┑P∨Q,┑Q∨R,R→S⇒P→S(4) P∨Q,P→R,Q→S⇒R∨S第二章谓词逻辑词的概念与表示1.用谓词表达写出下列命题.(1)高斯是数学家,但不是文学家.(2)小王既是运动员也是大学生.(3)张宁和李强都是三好学生.(4)若是x奇数,则2x不是奇数.命题函数与量词1.用谓词表达式写出下列命题.(1)每个计算机系的学生都学离散数学.(2)直线A平行于直线B当且仅当直线A不相交于直线B.(3)不存在既是奇数又是偶数的自然数.(4)没有运动员不是强壮的.(5)有些有理数是实数但不是整数.(6)所有学生都钦佩某些教师.谓词公式与变元的约束1.利用谓词公式翻译下列命题. (1)没有一个奇数是偶数.(2)一个整数是奇数,如果它的平方是奇数.2. 设个体域为自然数集N ,令P(x):x 是素数;E(x):x 是偶数; O(x):x 是奇数;D(x ,y):x 整除y .将下列各式译成汉语. (1)x(E(x)∧D(x ,6)). (2)x(O(x)y(P(x)D(x ,y))).3.指出下列表达示中的自由变元和约束变元,并指明量词的辖域. (1)()()(,)()()x F x Q x y xP x R x ∀∧→∃∨. (2)x(P(x ,y)∨Q(z))∧y(R(x ,y)zQ(z)).4.设个体域为A ={a ,b ,c},消去公式xP(x)∧xQ(x)中的量词.谓词演算的等价式与蕴含式1.试证下列等价式或蕴涵式,其中A(x),B(x)表示含x自由变量的公式,A,B 表示不含变量x(不论是自由的还是约束的)的公式.(1)(∀x A(x)→B)⇔(∃x(A(x)→B)).(2)(∃x A(x)→B)⇔∀x(A(x)→B).2.试将下列公式化成等价的前束范式.(1)∃x((┑∃yP(x,y))→(∃zQ(z)→R(x))).(2)x(F(x)G(x))(xF(x)xG(x)).谓词演算的推理理论1.证明下列推理.(1)所有有理数都是实数,某些有理数是整数。
代数系统简介一、代数系统的基本概念代数系统,也称为代数结构或代数系统,是数学中一个重要的概念,它由集合和定义在这个集合上的运算组成。
代数系统是代数学的基本研究对象,也是泛代数、抽象代数、代数学等领域中重要的研究对象。
代数系统通常由两个部分组成:一个是非空元素集合,称为代数系统的论域或标量域;另一个是定义在论域上的运算,这些运算需满足一定的性质或公理。
根据所涉及的运算不同,代数系统可分为不同类型,如群、环、域、格等。
代数系统的概念来源于对数学中不同分支中抽象概念的概括和总结,其研究范围包括数学中不同领域的许多分支。
例如,集合论、抽象代数、泛代数、拓扑学等都是研究代数系统的重要领域。
二、代数系统的分类根据所涉及的运算和性质的不同,代数系统有多种分类方式。
以下是其中几种常见的分类方式:1.根据所涉及的运算的性质,可以将代数系统分为有交换律和结合律的代数系统(如群、环、域)和没有交换律和结合律的代数系统(如格、布尔代数)。
2.根据运算是否涉及单位元和逆元,可以将代数系统分为有单位元的代数系统和无单位元的代数系统。
前者如群、环、域等,后者如格等。
3.根据所涉及的元素是否具有可交换性,可以将代数系统分为可交换的代数系统和不可交换的代数系统。
前者如交换群等,后者如李群等。
4.根据所涉及的元素是否具有无限性,可以将代数系统分为有限代数系统和无限代数系统。
前者如有限群等,后者如无限群等。
此外,还可以根据其他性质和特征对代数系统进行分类。
通过不同的分类方式,我们可以更好地了解和研究不同类型代数系统的特性和性质。
三、代数系统的性质代数系统的性质是指代数系统中元素之间通过运算所表现出来的关系和性质。
以下是几个常见的代数系统的性质:1.封闭性:如果对于代数系统中的任意两个元素x和y,它们的运算结果仍属于该集合,则称该运算满足封闭性。
封闭性是代数系统中一个重要的性质,它保证了运算结果的元素仍属于该系统。
2.结合律:如果对于代数系统中的任意三个元素x、y和z,有(x·y)·z=x·(y·z),则称该运算满足结合律。
第五章布尔代数布尔代数最初是作为对逻辑思维法则的研究出现的。
英国哲学家George Boole于1847年的论文“逻辑之数学分析”及“思维法则之研究”中引入了布尔代数。
本世纪30年代C.E. Shannon发表了“继电器和开关电路的符号分析”一文,为布尔代数在工艺技术中的应用开创了道路。
50年代苏联科学家把布尔代数发展成为接点网络实用中的通用理论,从而使布尔代数成为计算机科学中的重要基础理论。
从逻辑上讲,布尔代数是一个命题演算系统;从抽象代数观点讲,布尔代数是一个代数系统;从集合的观点讲,它是一个集合代数;从工程技术的观点讲,布尔代数是电路代数,电子线路的设计离不开它;5.1 布尔代数的基本定义和性质定义5.1.1给定一个具有三个运算的代数结构<S,⊕,⊙,′>,其中,⊕,⊙是S上的二元运算,′是S上的一元运算,0,1∈S。
若对于 x,y,z∈S(1) x⊕y=y⊕x,x⊙y=y⊙x (交换律)(2)x⊕(y⊕z)=(x⊕y)⊕z,x⊙(y⊙z)=(x⊙y)⊙z(结合律)(3)x⊕(y⊙z)=(x⊕y)⊙(x⊕z),x⊙(y⊕z)=(x⊙y)⊕(x⊙z)(分配律)(4)x⊕0=x,x⊙1=x (同一律)(5)x⊕x′=1,x⊙x′=0(有补律)则称<S,⊕,⊙,′>称为布尔代数(Boolean Algebra),⊕,⊙,′分别称为它的并(布尔和),交(布尔积)和补运算,0和1分别称为它的零元和么元。
一个布尔代数通常记为<S,⊕,⊙,′,0,1>。
例5.1.1二值(元)布尔代数<B,⊕,⊙,′,0,1>,其中B={0,1}1⊕1=1⊕0=0⊕1=1,0⊕0=0,1=0′1⊙1=1,1⊙0=0⊙1=0⊙0=0,0=1′例5.1.2集合代数<P(A),∪,∩,′,Φ,A>例5.1.3*命题代数定理5.1.1在一个布尔代数中,0和1 都是唯一的;定理5.1.2在一个布尔代数中,任一元素的补元是唯一的;证明(利用同一律,有补律和分配律)定理5.1.3在一个布尔代数中<S,⊕,⊙,′0,1>中,则对∀x∈S,(x′) ′=x定理5.1.4条件同上,则0′=1,1′=0;定理5.1.5条件同上,则对∀x∈S,x⊕x=x,x⊙x=x(幂等律)证明(利用同一律,有补律和分配律)定理5.1.6条件同上,则对∀x∈S,x⊕1=1,x⊙0=0(零一律)证明(同定理5.1.5)定理5.1.7条件同上,则对∀x,y∈S,x⊕(x⊙y)=x,x⊙(x⊕y)=x(吸收律)证明(同定理5.1.5)定理5.1.8条件同上,则对∀x,y∈S,(x⊙y)′=x′⊕y′,(x⊕y) ′=x′⊙y′(De morgan律)证明(同定理5.1.5)定理5.1.9条件同上,若对x,y,z∈S,x⊙y=x⊙z,x⊕y=x⊕z,则y=z (消去律)证明(利用集合中类似证明方法)定理5.1.10 条件同上,则对∀x,y∈S,x⊙y=x⇔x⊕y=y证明(利用吸收律)对偶原理: 在布尔代数<S,⊕,⊙,′,0,1>中,若P是某个已经得到证明的定理,将定理中的条件和结论(1)⊕与⊙互换; (2) 0与1 互换则由此而得的新定理仍然成立;5.2 格定理5.2.1设<S,⊕,⊙,′,0,1>为一个布尔代数,则集合≤={<x,y>| x⊙y=x∧x∈S∧y∈S}称为S上的偏序关系。