命题逻辑形式系统定理有限可判定性

本文证明了命题逻辑形式系统Ｌ中任一公式ａ在某个模型中的取值是有限步内可判定的，进而得出Ｌ中任一公式ａ是否恒真式是有限可判定的，最后证明了Ｌ的任一公式是否是Ｌ的定理是有限可判定的。