计算题 试证明在格式中对于任意元素a，b，c∈L，有：（a∧b）∨（b∧c）∨（c∧a）=（a∨b）∧（b∨c）∧（c∨a）时，格＜L，≤＞是分配格。

试证明在格中对任意元素a，b，c，有：（a∧b）∨（b∧c）∨（c∧a）≤（a∨b）∧（b∨c）∧（c∨a） 点击查看答案

证明下列推理是有效的： 前提：每个非文科一年级学生都有辅导员； 小王是一年级学生； 小王是理科生； 凡小王的辅导员都是理科生； 所有理科生都不是文科生。 结论：至少有一个不是文科生的铺导员。 点击查看答案