Lm4c算法相关硕士博士期刊学术论文

本文将提出一个基于Lm4c的意图后承判定算法,即输入任何命题公式φ、ψ,判断φ→ψ在Lm4c中是否成立.在变元较多的情况下,完全根......