重庆市社会科学规划青年项目“假说检验的网状证据模型研究”(2016QNZX04) 西南政法大学研究生科研创新项目“白居易《百道判》的判词说理研究”(2017XZXS-032)论文

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