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

定义11.1 设<S, ≼>是偏序集，如果x,yS，{x,y}都有最小上界和最大下界，则称S关于偏序≼作成一个格. 定义11.2设f 是含有格中元素以及符号 =,≼ ,≽ ,∨和∧的命题. 令 f*是将 f 中的≼替换成≽,≽替换成≼,∨替换成∧,∧替换成∨所得到的命题. 称 f* 为 f 的对偶命题. 格的对偶原理 设 f 是含有格中元素以及符号=,≼,≽,∨和∧等的命题. 若 f 对一切格

>>阅读原文<<