第五章格与布尔代数.pptVIP

证：先证R是N上的半序关系。 1） ? a∈N，由整除的性质知有a|a，故a∈N有(a,a)∈R，即R是自反的。 2）若有(a,b)∈R且(b,a)∈R，则有a|b且b|a，由整除的性质知有a=b，即R是反对称的。 3) 若有(a,b)∈R且(b,c)∈R，则有a|b且b|c，由整除的性质知有a|c，即R是传递的。 由半序关系的定义知R是N上的半序关系。 * 第五章 格与布尔代数 在上一章中介绍了几种代数系统，如半群，群，环，域等。在本章中将再介绍两种代数系统 — 格和布尔代数，关于格和布尔代数在计算机科学中的应用是众所周知的。 第一节 格 1.1 格的定义 1.2 格中的性质 1.3 分配格 1.4 有界格和有补格 第二节 布尔代数 § 1 格1.1 格的定义 在介绍格之前，先介绍两个代数系统中关于运算的性质。 定义1. 设Z ,*是代数系统， 是 上的二元运算， 1) 任取x∈Z，若有x*x=x，则称x是幂等元。 2) 若 ?x∈Z，x是幂等元，则称运算x满足幂等律。 定义2. 设Z，*，Δ是代数系统，*和Δ是Z上的两个二元运算，若x,y∈Z，有