|
|||||
|
|
| 论经典命题逻辑公理系统L中的证明技巧 | |
| 引用本文： | 程和祥,刘强.论经典命题逻辑公理系统L中的证明技巧[J].重庆理工大学学报(社会科学版),2019,33(3). |
| 作者姓名： | 程和祥 刘强 |
| 作者单位： | 西南政法大学 行政法学院 & 监察法学院,重庆,401120;西南政法大学 行政法学院 & 监察法学院,重庆,401120 |
| 基金项目： | 重庆市社会科学规划青年项目“假说检验的网状证据模型研究”;西南政法大学研究生科研创新项目“白居易《百道判》的判词说理研究” |
| 摘 要： | |
| 关 键 词： | 经典命题逻辑 公理系统L 消件法 换位法 演绎定理 构造性程序 |
| 本文献已被 万方数据 等数据库收录！ | |