填空题
判定公式（（P→Q）∧（R→Q））↔（（P∨R）→Q）的类型（）。
仅可满足式
填空题 求∀x（P→Q（x））∨R（e）的真值（）。
填空题 计算Z6的所有理想（）。
填空题 关于格的命题P：a∧（b∨c），求P 的对偶命题P*=（）。
