可判定性

能否给出一个可行方法，完成对任意公式的判定类型（类型、等价）问题

命题公式都是可判定的