命题逻辑在判断推理中的应用 |
| |
作者姓名: | 王文龙 |
| |
作者单位: | 喀什师范学院信息工程技术系,新疆喀什844008 |
| |
基金项目: | 新疆高校科研计划重点项目(XJEDU2014I039); 喀什师范学院重点课题((13)2456); 喀什师范学院教研教改重点项目(KJDZ1303;KJDZ1202) |
| |
摘 要: | 以命题逻辑为基础,从等值演算、自然推理的方法出发,对判断推理问题进行分类并给出详细的分析和解答,将分析研究结果应用在教学实践中,提高命题逻辑的应用能力。
|
关 键 词: | 命题逻辑 等值演算 推理 符号化 推理规则 |
本文献已被 CNKI 维普 等数据库收录! |
|