分享到:

命题逻辑公理系统内定理证明的技巧和方法研究

在逻辑系统中证明定理是学习数理逻辑的重要内容之一,命题逻辑公理系统的定理证明则是其中最基础的部分。但是,只能以公理模式和推理规则为工具的定理证明,对于初学者来说并非易事,其主要表现在不能有效地找到证明的起点。本文的目标并不是建立面向计算机的严格的机械化方法,而是探索面向初学者的实用性技巧和方法:一方面既能使证明的某些中间环节实现部分的机械化,以便于寻找证明的思路;另一方面又能使证明不失直观和简洁的特征,从而增强初学者的可读性,提高初学者的学习效率,优化数理逻辑的教学。研究命题逻辑公理系统定理证明的技巧和方法,还可以为定理机械化证明的理论和方法的创新提供必要的实践准备,从而促进定理机器证明的发展,因此具有重要的理论和现实意义。本文在深入研习前人成果和相关理论的基础上,首先,根据定理证明总是相对于某个具体的公理系统这一事实,从考察共性的角度出发,探索公理模式在定理证明中的特征,尤其着重探索公理模式在定理证明中所起的作用,并由此形成消  (本文共60页) 本文目录 | 阅读全文>>

《课堂内外(高考金刊)》2016年11期
课堂内外(高考金刊)

抽丝剥茧,直击立几命题逻辑

【选题意图】如何作出二面角的平面角,并能求出二面角的大小,是高中立体几何的重点,...  (本文共2页) 阅读全文>>

《逻辑学研究》2015年02期
逻辑学研究

论正规命题逻辑的析取性质(英文)

析取性质是一个逻辑的构造性特征的重要体现。严格蕴涵命题逻辑(正规命题逻辑)是正规模态逻辑的严格蕴涵片段。本文研...  (本文共11页) 阅读全文>>

《泰山学院学报》2013年06期
泰山学院学报

命题逻辑与数学证明方法(Ⅱ)

简单地讨论了命题逻辑,用命题逻辑全面地研究了推理格式和...  (本文共7页) 阅读全文>>

《电子世界》2013年19期
电子世界

命题逻辑的计算机实现

命题逻辑是逻辑学的基础,要实现逻辑学的计算机处理首先需要实现命题逻辑的计算机处理。由于每个命题公式都与一个由小项下标组成的集合相对应,这样实现命题逻辑的计算机实现就...  (本文共1页) 阅读全文>>

《高师理科学刊》2000年04期
高师理科学刊

连续命题逻辑及其应用(二)

给出了连续命题逻辑的基础 ,...  (本文共3页) 阅读全文>>