计算题 试证明在格中对任意元素a，b，c，有：（a∧b）∨（b∧c）∨（c∧a）≤（a∨b）∧（b∨c）∧（c∨a）

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

用假设推理证明下面的定理： ∃x∃yP（x，y）⇒∃y∃xP（x，y）. 点击查看答案