问答题证明¬（p∧¬q）∧（¬q∨r）∧¬r→¬p是重言式
填空题判定公式（（P→Q）∧（R→Q））↔（（P∨R）→Q）的类型（）。
填空题求∀x（P→Q（x））∨R（e）的真值（）。
填空题计算Z6的所有理想（）。
填空题关于格的命题P：a∧（b∨c），求P 的对偶命题P*=（）。
