作业帮 > 数学 > 作业

试证明在格中,若a∧b∧c=a∨b∨c,则a=b=c

来源:学生作业帮 编辑:作业帮 分类:数学作业 时间:2024/05/17 08:37:54
试证明在格中,若a∧b∧c=a∨b∨c,则a=b=c
试证明在格中,若a∧b∧c=a∨b∨c,则a=b=c
反证法:
若a != b;
则存在e 属于a ,且e不属于b
所以e 不属于a^b;
所以e 不属于a^b^c;
.
因为e属于a,所以e属于aVbVc;
a∧b∧c=a∨b∨c;矛盾!因此a = b;
考虑abc的对称性,a = b = c;
再问: 但是a,b,c都是元素啊。e怎么属于?求问
再答: 等式两边同时^a 得:a^a^b^c = a^(aVbVc) => a^b^c = a^(aVbVc)
=>a^b^c = (a^(aVb)) V(a^c) = a V(a^c) = a;
同理a^b^c = b = c;
所以a=b=c