离散数学中与量词有关的推理规则

发布时间：2018-05-31 02:22

  本文选题：谓词逻辑 + 逻辑系统　； 参考：《北京航空航天大学学报》2000年04期

【摘要】：清楚地叙述了自然推理系统中的存在量词消去规则和全称量词引入规则满足的条件 ,而这些条件在许多离散数学教科书中叙述得相当含糊 .与某些教科书中存在量词消去规则只能用于无自由变元的公式不同 ,按照本文给出的条件 ,存在量词消去规则也可以用于有自由变元的公式 ,因而增强了系统的推理能力 .引进了解释之间和赋值之间关于公式集的等价性 ,从而证明了系统是可靠的 ,即一个证明中的结论是其前提的逻辑推论
[Abstract]:The existence quantifier elimination rules in natural inference system and the conditions satisfied by introducing rules into full name quantifiers are clearly described. These conditions are rather vague in many discrete mathematics textbooks. Different from the formula in some textbooks in which quantifier elimination rules can only be used in the absence of free arguments, according to the conditions given in this paper, the existential quantifier elimination rules can also be used for formulas with free variables. Therefore, the reasoning ability of the system is enhanced. In this paper, we introduce the equivalence of the set of formulas between explanations and assignments, and prove that the system is reliable, that is, the logical inference that the conclusion in a proof is its premise.
【作者单位】： 北京航空航天大学计算机科学与工程系
【分类号】：O141

【相似文献】

相关期刊论文 前10条

1 周广田;杨丰;;离散数学教学实践的探索[J];信息技术;2010年07期

2 谭维奇;;关于《离散数学》教材内容的对比分析与思考[J];安庆师范学院学报(自然科学版);2007年04期

3 黄震;;《离散数学》课程在计算机学科中的作用及其应用[J];赤峰学院学报(自然科学版);2011年05期

4 苏丽红;;浅谈多媒体教学在《离散数学》教学中的优势[J];科技咨询导报;2007年07期

5 车飞;;离散数学与人工智能的关系[J];吉林教育;2008年01期

6 潘冠宇;;《离散数学》课程教学探讨[J];数学学习与研究;2009年13期

7 赵鹏起;曹万昌;李晓霞;;浅谈《离散数学》教学改革与创新[J];中国科教创新导刊;2011年10期

8 吴陈;模块覆盖与相容聚类的关系[J];华东船舶工业学院学报;1995年01期

9 傅彦;;重视精品课程建设,培养高素质人才——国家精品课程“离散数学”建设经验谈[J];计算机教育;2008年09期

10 邓春燕;黄星寿;任贤;;计算机专业的离散数学教学探讨[J];电脑知识与技术;2010年10期

相关会议论文 前7条

1 黄贤珍;张春元;高峰修;;“离散数学”课程教学改革探索与实践[A];中国电子教育学会高教分会2010年论文集[C];2010年

2 冯平;马智刚;;离散数学在电气与信息工程中的应用[A];电工理论与新技术2004年学术研讨会论文集[C];2004年

3 刘增良;;知识的因素表示[A];中国科学技术协会首届青年学术年会论文集（工科分册·上册）[C];1992年

4 张冠军;姜豪;;离散数学课程中的群论教学经验点滴[A];数学·物理·力学·高新技术研究进展——1998（7）卷——中国数学力学物理学高新技术交叉研究会第7届学术研讨会论文集[C];1998年

5 任伟;赵俊阁;王志锋;;变抽象为直观:“形式语言与自动机”教学中的图论方法[A];2009年中国高校通信类院系学术研讨会论文集[C];2009年

6 章忠志;周水庚;;网络建模[A];第五届全国复杂网络学术会议论文（摘要）汇集[C];2009年

7 于筑国;郑淑丽;刘欣;;关于《离散数学》知识点练习测试器的设计思想(英文)[A];全国第21届计算机技术与应用学术会议（CACIS·2010）暨全国第2届安全关键技术与应用学术会议论文集[C];2010年

相关重要报纸文章 前1条

1 葛海峡;我国首家离散数学与理论计算机科学研究中心在福大成立[N];福建科技报;2002年

相关博士学位论文 前2条

1 赵永强;图的限制染色及其相关问题的研究[D];河北师范大学;2005年

2 王坤;正交阵列的嵌套问题研究[D];苏州大学;2013年

相关硕士学位论文 前10条

1 常瑶芝;L～*谓词逻辑与R_0代数性质新探[D];陕西师范大学;2003年

2 秦晓燕;关于PI证明的若干注记以及逻辑公式的真度理论[D];陕西师范大学;2005年

3 孙舒莹;五圈对轮的Ramsey数[D];南京大学;2012年

4 朱俊杰;超图的奇圈横贯和偶边着色[D];新疆师范大学;2008年

5 赵燕;组合数学中的Hopf方法[D];曲阜师范大学;2005年

6 林启忠;超图中的C-圈[D];新疆师范大学;2006年

7 唐宇轩;超图的谱[D];新疆师范大学;2007年

8 王旭培;几类超图谱的研究[D];新疆师范大学;2008年

9 李士荣;关于Jes'manowicz猜想[D];重庆师范大学;2008年

10 凌焕章;几类标号图问题的研究[D];哈尔滨工程大学;2008年

，

本文编号：1957915