简答题

设＜L，∨，∧＞是一个格，如果对于所有的a，b，c∈L，有：（a≤b）⇒（a∨（b∧c））≤（b∧（a∨c））则称＜L，∨，∧＞是模式格，下图所给出的格是模式格吗？证明你的结论。

写出下列集合的表达式： （a）所有一元一次实系数方程的解组成的集合； （b）x6-1在实数域中的因式集； （c）在直角坐标系中单位圆内的点集； （d）极坐标系中单位圆外的点集； （e）能被5整除的整数集。 点击查看答案

设＜L，∨，∧＞是格，试证明对于所有的a，b，c∈L，则有：（a≤b）（a∨（b∧c））≤（b∧（a∨c））。 点击查看答案