西南政法大学行政法学院&监察法学院论文

摘要：随着改革开放的逐渐深入，自20世纪90年代开始，逻辑学的教学形式和教学内容都陷入边缘化的困境。根据当前国内外趋势，对我国的逻辑学教学进行批判性审视，可以借助互联网+技术和...

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