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

来源 :计算机教育 | 被引量 : 0次 | 上传用户：jeeryf

【摘要】

：

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

【作者】

：

王文龙

【机构】

：

喀什师范学院信息工程技术系

【出处】

：

计算机教育

【发表日期】

：

2014年24期

【关键词】

：

命题逻辑等值演算推理符号化推理规则

【基金项目】

：

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

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

其他文献

子宫肉瘤病例分析及文献复习

资料患者,女性,69岁。绝经23年,下腹疼痛、腹胀2个月,便秘1月余。当地超声检查示:盆腔包块(大小13.6 cm×9.8 cm×9.4 cm)。转诊至本院再次行超声检查,示膀胱后方巨

期刊

子宫肉瘤超声

变转速齿轮箱复合故障的自适应时变滤波分析

复合故障诊断是机械故障诊断领域的一大难点。齿轮箱出现复合故障时,受传递路径、测点布置等影响,所拾取的复合故障振动信号中,各故障成分会呈现强弱不平衡,特别在变转速条件

期刊

自适应时变滤波频域滤波变转速齿轮箱复合故障

财经类专业中高职衔接人才培养新模式研究

近年来我国教育主管部门极力倡导和推广"3+2中高职衔接"办学模式,但是相关的中职学校与高职院校往往只是形式上合作办学,并未形成统一的人才培养方案和教学体系,合作形式松散

期刊

财经类专业中高职衔接人才培养新模式

延续护理在持续性非卧床腹膜透析(CAPD)患者临床应用中的效果

目的探讨延续护理在持续性非卧床腹膜透析(CAPD)患者临床应用中的效果。方法选取我院2017年1月至2018年1月收治的120例CAPD患者作为研究对象,按照单双号法分为对照组和试验组

期刊

持续性非卧床腹膜透析延续护理生活质量

宫颈癌组织抑癌基因P33ING1及P^53表达的临床意义

目的:探讨抑癌基因P33ING1在宫颈癌中表达的临床意义及其与P53相互关系. 方法:应用Envision免疫组化法检测宫颈癌50例,宫颈不典型增生15例患者P33ING1和P53基因蛋白的表达,并

期刊

宫颈肿瘤基因P^33ING1基因P^53cervix neoplasms genesP^33ING1 genes P^53

谈如何从生活现象中学习高中物理力学

在高中众多学科中高中的物理是非常重要的一门学科,而且物理也是难度较高的一门学科。高中物理中的历史有利于提高学生个人对物理的理解,而且也是提高物理成绩的重要部分。为

期刊

生活现象高中物理力学

Aβ引起大鼠海马自噬体异常及其轴突运输障碍

本文通过SD大鼠海马内给药,电镜观察,探讨Aβ和神经元自噬异常关系。在Aβ大鼠海马中,神经元旁和附近可见结构异常的突触终末内含有单层膜或双层膜包裹的囊泡状结构(囊泡体),

会议

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

其他学术论文