命题逻辑中几种常见的推理证明方法

数理逻辑是《离散数学》的难点之一．其主要原因是内容比较抽象且方法较独特，加之题型以知识较广的证明题居多．而命题逻辑又是数理逻辑的基础，熟练而灵活地掌握好命题逻辑中推理证明的方法既是学习命题逻辑的重点，又会为进一步学习谓词逻辑打下良好的基础．本文结合适当的例题总结了命题逻辑中几种常见的推理证明方法，以期在帮助学生掌握命题逻辑的推理证明方法的同时，又能对学生进行逻辑思维能力的训练，培养学生分析问题和解决问题的能力．     

推理小游戏

赫拉、海伦、香奈、曼秀4位女士参加一次聚会。①晚上8点,赫拉与她的丈夫已经到达,这时参加聚会的人数不到100人,正好分成5人一组交谈。②晚上9点,由于8点后只来了海伦和她的丈夫,人们已改为4人一组在进行交谈。③晚上10点,由于9点后只来了香奈和她的丈夫,人们已改为3人一组在进行交谈。④晚上11点,由于10点后只来了曼秀和她的丈夫,人们已     

行波：数学推理的元极导航

本书是《剑桥理论计算科学专论》丛书的第56卷。自从20世纪50年代起，自动化理论证明成为一个活跃的研究领域。在该领域中的研究人员开始着手处理类似人类的自动化推理。在20世纪60年代和70年代，人们对自动化理论证明的兴趣增加了，这是由于理论进展的驱动。例如归纳的开发以及对程序验证的兴趣增加。     

回溯推理的适用问题及发展方向

回溯推理逐渐为国内学界所关注,学界对其基本概念、特征、模式的研究已初成体系。回顾目前关于回溯推理的整体研究状况,从对现实案例的分析入手,探讨回溯推理在具体案件中的适用状况,提出实用主义进路应是回溯推理的发展方向。     

基于关联理论的英语阅读教学研究

为了检验关联理论的运用是否对阅读理解有一定的意义,作者通过定量的方法在两个基础相当的班级进行实验.作者发现:关联理论对学生阅读理解有积极的作用.     

国外定性仿真应用评述

概括介绍了国外定性仿真在各个领域内的应用情况，并从应用理论和方法、应用领域、应用效果、发展方向等多方面加以评述。     

突发事件情景应对案例库族谱设计

突发事件情景超越经验,应急行动又依赖于应对者的经验.应用案例推理是比较有效的学习历史经验的途径,有助于厘清突发事件应对情景的演变.面对多阶段、多目标、多主体的复杂灾情,单一领域的案例库系统难以满足应对需求,需构建跨领域的集成案例库.本文引入生物分类学方法与案例相似度概念,着重于案例库族谱设计,分别结合情景演化考虑事件链与情景相似度,阐述了案例族谱横向与纵向两个维度及其关系.基于这一架构理论,规划了深圳市突发事件应急案例库的族谱结构.     

n值Lukasiewicz命题逻辑系统中公式的矛盾度理论

在n值Lukasiewicz命题逻辑系统中运用公式的矛盾度概念,讨论了公式矛盾度的部分重要性质,给出了Lukasiewicz命题逻辑系统中的矛盾度并推理规则,进而讨论了矛盾度与推理规则之间的关系.     

证据网络模型及其推理算法

本文在证据理论与图模型研究的基础上,针对不确定性与关联性相结合的系统建模问题,提出并建立了证据网络模型,定义了证据网络的参数,总结了证据网络的建模特点;分析了证据网络模型的推理问题,建立了其推理策略和推理过程,推导出其正向推理算法和反向推理算法,并通过示例进行了计算验证;证据网络模型将为管理决策分析、系统工程管理等领域的问题分析和求解提供一种有效的技术方法支持.     

基于公差推理的零件聚类装夹规划方法研究

针对计算机辅助工艺设计中的装夹规划问题,提出一种面向制造特征的基于公差推理的装夹聚类规划方法.通过分析零件的制造过程,对加工单元进行定义,建立零件的装夹规划数学模型.随机生成装夹规划的初始解,计算加工单元之间的装夹相异度,通过进行反复迭代的聚类分析获取最少的装夹分组.基于公差的推理方法,获得加工单元的加工顺序约束关系,进行装夹的组间及组内排序,生成最优装夹规划方案.同时,基于CATIA设计平台实现了零件的装夹规划原型系统,通过实例对所提算法进行了验证.