命题逻辑在判断推理中的应用

发布时间：2018-06-07 04:46

  本文选题：命题逻辑 + 等值演算　； 参考：《计算机教育》2014年24期

【摘要】：以命题逻辑为基础,从等值演算、自然推理的方法出发,对判断推理问题进行分类并给出详细的分析和解答,将分析研究结果应用在教学实践中,提高命题逻辑的应用能力。
[Abstract]:On the basis of propositional logic, starting from the method of equivalent calculus and natural reasoning, this paper classifies and gives detailed analysis and solution to the problem of judgment reasoning, and applies the results of analysis and research to teaching practice to improve the ability of application of propositional logic.
【作者单位】： 喀什师范学院信息工程技术系;
【基金】：新疆高校科研计划重点项目(XJEDU2014I039) 喀什师范学院重点课题((13)2456) 喀什师范学院教研教改重点项目(KJDZ1303;KJDZ1202)
【分类号】：O141-4;G642

【参考文献】

相关期刊论文 前1条

1 徐小萍;;命题逻辑演绎推理在日常生活中的应用[J];襄樊学院学报;2007年11期

【共引文献】

相关期刊论文 前10条

1 李大林;陈一帆;蔡润;;多性状群体信息熵混杂递增链与混杂指数的应用[J];安徽农业科学;2008年13期

2 张涛;;提高离散数学课程学习兴趣的教学改革探讨[J];安徽工业大学学报(社会科学版);2012年01期

3 高吉;;在ArcGIS矢量图中搜寻最短路径的实现[J];北京测绘;2009年02期

4 刘宏岚;高庆狮;杨炳儒;;多值逻辑中的命题相关性与逻辑运算研究[J];北京科技大学学报;2007年S2期

5 刘宏岚;高庆狮;杨炳儒;;概率逻辑中的命题相关性与逻辑运算[J];北京科技大学学报;2008年09期

6 王郁昕;互逆主义逻辑基础[J];北京联合大学学报(自然科学版);2005年02期

7 薛朝奎;;“构造法”在图论中的应用——关于存在性的证明[J];毕节学院学报(综合版);2006年04期

8 夏春梅;;高校教学任务安排模型的研究及应用[J];保山师专学报;2009年05期

9 徐秀花;程晓锦;;基于B/S的离散数学网络考试系统的设计[J];北京印刷学院学报;2011年06期

10 王文良;命题逻辑的序结构[J];江西师范大学学报(自然科学版);2004年03期

相关会议论文 前4条

1 朱琳;;声纳系统设计与调试中图论方法研究[A];2011'中国西部声学学术交流会论文集[C];2011年

2 孙兆豪;李昂;刘坤起;解建军;;论代数、逻辑和智能系统之间的对应关系[A];逻辑学及其应用研究——第四届全国逻辑系统、智能科学与信息科学学术会议论文集[C];2008年

3 邢双云;许景科;;离散数学课程教学实践与探讨[A];第九届沈阳科学学术年会论文集[C];2012年

4 邢双云;许景科;;离散数学课程教学实践与探讨[A];第九届沈阳科学学术年会论文集（教育科学与边缘科学分册）[C];2012年

相关博士学位论文 前10条

1 王旭东;基于图论的智能电网最优孤岛划分模型和算法[D];天津大学;2011年

2 刘君;融合计算智能的蛋白质结构预测研究[D];重庆大学;2011年

3 廖世龙;面向大规模定制的柔性细胞生产系统及其重构研究[D];重庆大学;2011年

4 贺锦鹏;基于图论的彩色纹理图像分割技术研究[D];哈尔滨工程大学;2011年

5 刘海涛;多智能体机器人系统中的若干通信技术研究[D];哈尔滨工业大学;2007年

6 栾加芹;五运六气理论探讨与新思考[D];广州中医药大学;2009年

7 王开西;NGN业务体系结构中的过载控制研究[D];北京邮电大学;2008年

8 谢s，

本文编号：1989851