命题逻辑在判断推理中的应用
王文龙; 1:喀什师范学院信息工程技术系 摘要(Abstract)：

以命题逻辑为基础,从等值演算、自然推理的方法出发,对判断推理问题进行分类并给出详细的分析和解答,将分析研究结果应用在教学实践中,提高命题逻辑的应用能力。

关键词(KeyWords)： 命题逻辑;;等值演算;;推理;;符号化;;推理规则

Abstract:

Keywords:

基金项目(Foundation): 新疆高校科研计划重点项目(XJEDU2014I039);;喀什师范学院重点课题((13)2456);;喀什师范学院教研教改重点项目(KJDZ1303;KJDZ1202)

作者(Author): 王文龙;

Email:


参考文献(References)： [1]徐小萍.命题逻辑演绎推理在日常生活中的应用[J].襄樊学院学报,2007,28(11):12-16.[2]屈婉玲,耿素云,张立昂.离散数学[M].北京:高等教育出版社,2008:1-51.[3]左孝凌,李为监,刘永才.离散数学[M].上海:上海科学技术文献出版社,2002:12-44.[4]梅家斌,何小亚,肖枝洪,等.离散数学[M].武汉:华中科技大学出版社,2004:10-33.[5]王树禾.离散数学引论[M].北京:中国科技大学出版社,2001:323-341.[6]乔维声.离散数学[M].西安:西安电子科技大学出版社,2004:1-35.


摘要:
扩展功能
本文信息
PDF全文请访问中国知网下载(70K)