填空题 公式的类型为（）。

问答题 说明＜R，≤＞是否构成格。

填空题 缩小量词的辖域，（）。