计算题 证明：对任意集合A和B，ρ（A）∩ρ（B）=ρ（A∩B）。

公式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，∨，∧＞是模式格，下图所给出的格是模式格吗？证明你的结论。 点击查看答案