《重庆理工大学学报(社会科学)》2019年第3期论文

摘要：在经典命题逻辑的学习中，公理系统L中的定理证明只能使用公理模式和推理规则，对于初学者而言，常常显得强人所难，主要表现为找不到证明的突破口。事实上，可以从两个方向出发：一方...