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

论新时代国内逻辑学教学中的问题及对策程和祥，杨迎莹（西南政法大学行政法学院&监察法学院，重庆401120）摘要：随着改革开放的逐渐深入，自20世纪90年代开始，逻辑学的...

论经典命题逻辑公理系统L中的证明技巧程和祥，刘强（西南政法大学行政法学院＆监察法学院，重庆401120）摘要：在经典命题逻辑的学习中，公理系统L中的定理证明只能使用公理模式和推...