华中科技大学软件学院 离散数学CH7－格和布尔代数.pptVIP

* 1．在下列各题后面的括号中键入 “Y” 或 “N” 来回答各题中相应的问题。 (1) 设 L; ?, ? 是一个五元素的分配格，问该格是有补格吗? （　　） (2) 设 L; ?, ? 是一个九元素的有补格，问该格是分配格吗？ （　　） (3) U = {a, b, c}， 2U; ?, ?, ? 是布尔代数吗？ （ ） (4) 上题的 2U; ?, ?, ? 的子代数是布尔代数吗？ （ ） N N Y Y 练习7-3 * 主要内容 格作为偏序集的定义。 格的性质：对偶原理，格中算律（交换、结合、等幂、吸收），保序性，分配不等式。? 格作为代数系统的定义。 子格的定义。 分配格的定义。 分配格的性质。 有界格的定义。 习题课 * 格中元素的补元及其性质（分配格中补元的唯一性）。 有补格的定义。 布尔代数的两个等价定义： 有补分配格； 有两个二元运算和一个一元运算并满足交换律、分配律、同一律和互补律的代数系统。 布尔代数的特殊性质：双重否定律和德 · 摩根律。 子布尔代数的定义及其判别。 布尔代数的性质。 * 能够判断给定偏序集是否构成格。 能够确定格中一个命题的对偶命题。 能够证明格中的等式和不等式。 了解格作为代数系统的等价定义。 能判别格的子集是否构成子格。 会判