蕴涵式相关论文
形式概念分析（FCA）是基于概念和概念包含层理论的应用数学领域,它被认为是用数学推理去实现数据分析和知识表现的有效工具。在形式概......
本文在坚持语义构建论的基础上,从认知处理和逻辑运算的角度探讨词语的规则多义性和其语义演变、短语或跨层组合的词汇化、实词的......
本文运用当代逻辑语法的理论和方法,分析转折句的逻辑语法结构,提出给定任意命题p和q,转折句的逻辑结构不应记为合取式p∧q,而是一......
用实质蕴涵刻画推理,尽管它不具有内容相关性和独立性,造成了反直观的"怪论",但它概括了"如果,那么"这类联结词各种用法中的共性,......
假言判断的前后件是变项,它可以是正判断,也可以是负判断,不管是何种类型的判断,在进行逻辑演绎时,都应把它看作一个整体单位,而不......
常用的逻辑联结词，教学大纲中要求掌握“非”、“或”、“且”三种，本文再介绍另外两种，并结合一些实际的例子，有一种别开生面、耳目一......
为了引导学生全面的理解概念,正确的进行表述、推理和判断,全文对学生在数理逻辑命题符号化的学习中容易出错的几组概念进行了剖析......
<离散数学>是计算机科学中基础理论的核心课程.形象生动的举例,可以提高学生学习兴趣;在教学中突出思维方法、分析方法和推理方法......
Jrv类粗糙Vague区域关系的表示和推理技术是不确定区域关系研究领域的一个重要问题。为了提升空间数据库对不确定区域关系的推理能......
根据多数《离散数学》教材中二元关系传递性的定义来判定通常较为困难,介绍了两个与定义等价的判定：＂中途点＂判定法和＂蕴涵式＂判定法,分......
Jrv粗糙Vague区域关系是一类重要的不确定拓扑关系，在空间数据库、图形图像处理和空间数据挖掘等领域具有重要的作用。为了弥补已有......
在扩展的因果理论上,基于模型的实质诊断的刻画具有一般性,适用于已知每个部件的各种行为方式情形下的诊断.对于需逻辑推出的观测......
数学命题的证明步骤是由已知条件逐步推演形成的系统.我们完全可以把这些推演过程转化成为真值形式构成若干推理的前提,然后把这些......
