离散数学-11 格与布尔代数

定义11.1 设<S, ≼>是偏序集，如果x,yS，{ x,y}都有最小上界和最大下界，则称S关于偏序≼作成一个格.

定义11.2设f 是含有格中元素以及符号 =,≼ ,≽ ,∨和∧的命题. 令 f*是将 f 中的≼替换成≽,≽替换成≼,∨替换成∧,∧替换成∨所得到的命题. 称 f* 为 f 的对偶命题.

格的对偶原理

设 f 是含有格中元素以及符号=,≼,≽,∨和∧等的命题. 若 f 对一切格为真, 则 f 的对偶命题 f*也对一切格为真.

定理11.1 设<L, ≼>是格, 则运算∨和∧适合交换律、结合律、幂等律和吸收律, 即

(1) a,b∈L 有a∨b = b∨a, a∧b = b∧a

(2) a,b,c∈L 有(a∨b)∨c = a∨(b∨c), (a∧b)∧c = a∧(b∧c)

(3) a∈L 有a∨a = a, a∧a = a

(4) a,b∈L 有a∨(a∧b) = a, a∧(a∨b) = a

定理11.2设L是格, 则