命题公式合法性的判定