離散數學-11 格與布爾代數

定義11.1 設<S, ≼>是偏序集，如果x,yS，{x,y}都有最小上界和最大下界，則稱S關於偏序≼作成一個格. 定義11.2設f 是含有格中元素以及符號 =,≼ ,≽ ,∨和∧的命題. 令 f*是將 f 中的≼替換成≽,≽替換成≼,∨替換成∧,∧替換成∨所得到的命題. 稱 f* 爲 f 的對偶命題. 格的對偶原理 設 f 是含有格中元素以及符號=,≼,≽,∨和∧等的命題. 若 f 對一切格

>>阅读原文<<