问答题
证明在格中如果a≤b≤c,则a∨b=b∧c,(a∧b)∨(b∧c)=(a∨b)∧(a∨c).
【正确答案】
由a≤b得a∨b=b,又由b≤c得b∧c=b,所以有a∨b=b∧C.
因为(a∧b)∨(b∧c)=(a∧b)∨b=b,而由a∨b=b和a∨c=c,可得
(a∨b)∧(a∨c)=b∧c=b,所以有(a∧b)∨(b∧c)=(a∨b)∧(a∨c).
【答案解析】
提交答案
关闭