公式∀x（P（x）→Q（x，y））∨∃x（R（y，x）→S（x））的自由变元是（），约束变元是（）。

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

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