离散数学-07.pdfVIP

离散数学 Discrete Mathematics 宋牟平songmp@zju.edu.cn 玉泉校区行政楼325 第7章格和布尔代数 从逻辑的观点看，布尔代数是命题演算系统； 从抽象代数的观点看，布尔代数是一个代数系统； 从集合论的观点看，布尔代数是集合代数； 系 电 信 院 学 息 信 学 大 江 浙 从工程技术的观点看，布尔代数是开关代数（二值逻辑）。 布尔代数有两种方式定义：由偏序关系定义，由抽象代数定义。我们书 中是由偏序关系定义的。 7.1 偏序集 偏序集：在集合L上定义的偏序关系“≤”和集合L合称为偏序集，记 平 牟 宋 所 究 研 统 系 与 术 技 息 信 子 电 L;≤。 这类似于代数系统的定义,对于偏序集L;≤有下列性质： 对任意的 l ,l ,l ∈L，有 1 2 3 l1≤l1 自反 若 l ≤l ,l ≤l , 则 l =l 反对称 1 2 2 1 1 2 若 l ≤l ,l ≤l , 则 l ≤l 传递 1 2 2 3 1 3 定义7-1 下界：设l ,l ∈L ，若存在元素a ∈L ，满足a≤l 和a≤l ，则称a为l 和l 的下界。 1 2 1 2 1 2 系 电 信 院 学 息 信 学 大 江 浙 最大下界：glb=max{l 和l 的下界}，即设glb是l 和l 的下界，且对于任意的a ∈L,若a 1 2 1 2 是l 和l 的下界，则a≤glb 。 1 2 定义7-2 上界：设l ,l ∈L ，若存在元素a ∈L ，满足l ≤a和l ≤a，则称a为l 和l 的上界。 1 2 1 2 1 2 最小上界：lub=min{l 和l 的上界}，即设lub是l 和l 的上界，且对于任意的a ∈L,若a是 1 2 1 2 l 和l 的上界，则lub≤a 。