形式演绎系统L~*的运算与弱演绎定理

在著名的形式演绎系统L 中引入一种新的运算 ,讨论了这种运算的性质,得到了形式演绎系统的弱演绎定理.     

甘岑后继式演算系统与其自然演绎系统的比较

《逻辑演绎研究》(“Untersuchungen über das Logische Schliessen”)是甘岑提交哥廷根大学的就职论文,文中甘岑提出了两种逻辑演算系统,即“自然演绎”和“后继式演算”系统。从自然演绎开始甘岑尝试构造一个接近数学实际推理的逻辑演算,而后针对自然演绎系统的不足进行了转化和改进,构造了后继式演算系统,并证明了该逻辑演算系统的合理性。甘岑的逻辑演绎思想在逻辑史上具有十分重要的地位,对现代逻辑和证明论的发展具有深远的影响。     

形式演绎系统L*的(○+)运算与弱演绎定理

在著名的形式演绎系统L*中引入一种新的运算(○+),讨论了这种运算的性质,得到了形式演绎系统的弱演绎定理.     

论归纳与演绎逻辑的融合

由于归纳与演绎逻辑具有不同的逻辑推理特征，二者长期以来一立处于一种分化的状态．然而，目前人工智能逻辑程序设计的研究正在改变这种状态，即在一种逻辑＝推理十控制的新框架内，归纳与演绎逻辑之间出现了一种融合的倾向。     

演绎逻辑与逻辑真理

演绎逻辑及其价值屡屡遭到错解与误视。虽然前提蕴涵结论,但演绎逻辑仍然具有"创新"功能。在形式结构上,逻辑真理表现为重言式,但重言式不等于同语反复,更不应该用它们来反对演绎逻辑。     

描述逻辑ALC的公理化方法研究

描述逻辑是一族知识表示语言,其以结构化、形式化方法表示特定应用领域的知识。描述逻辑的各语言背后的逻辑是什么,能否公理化等问题在描述逻辑的研究进程中迄今没有相关研究。本文首先通过描述逻辑ALC与一阶逻辑的一个可判定片段之间的关系试图揭示描述逻辑的本质。最后给出了描述逻辑ALC的公理化方法及其演绎定理的证明。     

谓词逻辑教学策略的优化

本文以谓词的导入、导出为例．探讨离散数学中谓词逻辑教学策略的优化。通过导入抽象概念的实际应用背景、强化概念的详细分析和解读、设计教学过程等．并且在教学过程中采用启发式教学和双语教学．对提高教学质量、实现培养抽象思维和逻辑推理能力的课程教学目的进行创新探索。     

基于谓词逻辑的Prolog程序设计

一阶谓词逻辑下的Horn逻辑是人工智能程序语言Prolog的理论基础,利用Prolog在计算机上可实现机械化,从而使自动化求解问题和定理证明具备可行性。本文从Horn逻辑和Prolog的基础理论出发,使用Horn子句、SLD-归结、搜索和回溯等原理讨论了如何在计算机中实现数学函数、定理证明等自动推理的一些应用。     

真实与自然的演绎

唱作才女的确是非常适合曲婉婷的称号l最近发了新专辑,接下来又会举行演唱会的她,用自己真实、自然的音乐征服了大家。     

试析在自然逻辑与不自然逻辑中对蕴涵的刻画

正如罗素认为整个逻辑都是建立在蕴涵理论基础之上一样,我们也肯定蕴涵是逻辑学最重要的概念,首先介绍不同的蕴涵定义,说明了实质蕴涵是对假言命题在真值意义上的抽象,而建立在实质蕴涵基础上的逻辑蕴涵,是以不自然的方式刻画逻辑学中最重要的"推出关系"或者"后承关系",从而引起种种误解。其任务就是要在区分这两种具有不同含义的蕴涵的基础上,进一步研究不自然逻辑中的蕴涵概念,澄清各种对蕴涵的误解。     

一个多值逻辑的一阶谓词系统

鞠实儿曾提出一个开放类三值命题逻辑系统,这一逻辑也可以推广到任意m值逻辑情形,成为一个联结词函数完全的逻辑.本文将对推广的命题逻辑系统L*建立一种一阶谓词系统,并证明其可靠性、完全性.     

基本命题逻辑BPL带标的矢列演算系统

构造基本命题逻辑BPL带标的矢列演算系统,该系统只有公理和逻辑规则,没有结构规则,结构规则被吸收在公理和逻辑规则中,并且所有的规则都是保持高度可逆的。证明弱化规则、收缩规则在中是保持高度可允许的,并证明切割消去定理,该系统具有弱子公式性质。     

对自然推理系统 PN 中假设前提销去规则(Hyp-)的理解

自然推理系统中假设前提销去规则是指在引入假设前提推导出结论的过程中,运用蕴涵引入规则构造一个蕴涵式,从而销去假设前提。根据充分条件假言命题为真的情况下前后件之间的关系,只要构造的蕴涵式的前后件都为真,或者前后件都为假,或者前件为假且后件为真,那么这个蕴涵式的逻辑值就是真的,这样就可以销去假设前提了。     

高等教育学科理论体系范畴的逻辑推演

高等教育学科理论体系的构建,其范畴的逻辑推演至关重要.高等教育学科理论体系范畴包括其逻辑起点--高深专门知识的教与学,中介概念一专业、高等教育、高等教育规律和高等教育原则,逻辑终点--高等教育目的及实现途径.本文认为找准方法和选准材料是构建高等教育学科理论体系的关键;＂吐故纳新＂是不断完善高等教育学科理论体系的重要前提.     

几何学的发展与平面坐标系的演绎

本文从几何学的发展出发,阐述了平面坐标和平面坐标系的演绎过程,比较了各种坐标系下坐标的不同表示方法,探索了不同几何学中,在不同坐标系下,不同坐标表示形式之间的相互关系.     

论经典命题逻辑矢列演算的保持高度收缩定理

在《结构证明论》中,给出保持高度收缩定理在经典命题逻辑矢列演算中的一个详细而完整的证明过程,得出保持高度收缩的推论并证明了该推论,指出保持高度收缩推论在证明切割规则的可容许性定理上有减少推导步骤的作用。     

一种基于机器学习的推理系统的设计与应用

通用推理和验证系统利用正则匹配算法并引入机器学习算法,实现了智能化形式推理和验证平台,为构建智能系统提供了基本推理模型.将该系统应用于特定领域是重要的应用目标.通过扩充领域推理规则,该平台能够自动检查复杂的应用领域推理过程的完善性和正确性,为特定领域的推理提供了重要的自动检查手段.     

逻辑演绎的缺失性品性与实践检验——基于演绎本性的分析

有两个为学者们所关注又一直未能彻底解决的相互联系的问题:一是逻辑演绎为何是必然的;二是演绎证明的结论为何必须接受实践检验。对一,通常将之归因于同义反复性。[1](P253-257)但是,若逻辑演绎只是同义反复,还有何意义?而且从推理实际看,也并非都是同义反复。如,“因为人都是     

模糊逻辑与自然语言中的语义模糊

自然语言和形式语言的一个重要区别,是自然语言具有语义模糊性。二值逻辑与三值逻辑对命题语义处理是不足的。以札德"模糊集合论"为理论基础的模糊语义分析为我们提供了一种描述模糊语词语义真值多样性和渐进性的全新观念和手段。