问答题

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

答案：

你可能感兴趣的试题

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

答案：

【简答题】
用假设推理证明下面的定理：
∃x∃yP（x，y）⇒∃y∃xP（x，y）.

答案：