来自唐柏的问题
是证明在格中对于任意元素a,b,c,d,有(a∧b)∨(c∧d)≤(a∨c)∧(b∨d)
是证明在格中对于任意元素a,b,c,d,有
(a∧b)∨(c∧d)≤(a∨c)∧(b∨d)
1回答
2020-07-31 20:59
是证明在格中对于任意元素a,b,c,d,有(a∧b)∨(c∧d)≤(a∨c)∧(b∨d)
是证明在格中对于任意元素a,b,c,d,有
(a∧b)∨(c∧d)≤(a∨c)∧(b∨d)
证明因为a∧b是a,b的最大下界,a∨c是a,c的最小上界,故得a∧b≤a,a≤a∨c,再由关系≤的传递性得a∧b≤a∨c因为c∧d是c,d的最大下界,a∨c是a,c的最小上界,故得c∧d≤c,c≤a∨c,再由关系≤的传递性得c∧d≤a∨c...