定义11.1 设<S, ≼>是偏序集,如果x,yS,{ 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是格, 则