简答题 谓词公式∀x（P（x）→∃xQ（x））的前束范式是什么？

设集合A={a，b，c}，集合A上所有分划所构成的集合为P（A），你能否适当定义P（A）上一个偏序关系≤，使得＜P（A）；≤＞成为一个格？ 点击查看答案

设a和b是格＜L；≤＞中的两个元素，试证明当且仅当a，b不可比时，a∧b＜a，a∧b＜b。 点击查看答案