量词对7种联结词的分配律——计算机自动推理的1个实例

Distributive Laws of the Quantifiers to 7 Connectives ──An Example of Computer Automated Reasoning

下载PDF

导出

摘要基于MapleⅤRelease 5.1平台 ,编制了一个通用程序LogicBager.选取 3 0个一元谓词公式 ,利用这个程序在计算机上自动产生了它们之间所有的等值关系与蕴含关系 ,从而得到了全称量词与存在量词对合取∧、析取∨、等值、蕴含→、析舍↑、合舍↓及排斥或的所有分配律 . A generic program called LogicBager base on Maple (V Release 5.1) software is implemented. As an application, all equivalence and implicative relations between 30 one-place predicate formulas are auto generated, and then all distributive laws of generality distributive laws  and existential quantifier  to conjunction ∧, inclusive disjunction ∨, equivalence , implication →, alternative denial ↑, conjunctive denial ↓ and exclusive disjunction  are obtained.

作者陈计

机构地区宁波大学理学院

出处《宁波大学学报（理工版）》 CAS 2001年第3期60-63,共4页 Journal of Ningbo University：Natural Science and Engineering Edition

关键词自动推理 Maple软件V RELEASE 5.1 谓词逻辑分配律 automated reasoning Maple Ⅴ Release 5.1 software predicate logic distributive law

分类号 TP181 [自动化与计算机技术—控制理论与控制工程]

引文网络
相关文献

参考文献17

1[1]Church Alonzzo. A note on the Entscheidungsproblem[J]. The Journa of Symblic Logic, 1936,1:40～41.
2[2]Turing Alan Mathison. On computable number, with an application to the Entscheidungsproblem[J]. Proceedings London Mathematical Society, Series 2,1937,42:230 ～ 265.
3[4]Gentzen Gerhard. Untersuchungen ber das logische Schliessen Ⅰ und Ⅱ [J]. Mathematishe Zeitschrift, 1934,39:176～210,405 ～431.
4[5]Kleene Stephen Cole.元数学导论(上、下册)[M]北京:科学出版社,1985.
5[6]Helbert David,Ackermann Wilhelm.数理逻辑基础[M].北京:科学出版社,1958.
6[7]Ackermann Wilhelm. Solvable Cases of the Decision Problem[M]. Amsterdam: North- Holland Publishing Company, 1954.
7[8]Dreben Burton S, Goldfarb Warren D. The Decision Problem: Solvable Classes of Quantificational Formulas[M]. Ontario:Addison-Wesley Publishing Company, 1979.
8[9]Lowenheim Leopold. Uber Moglichkeiten im Relativkalkül[ J ]. Mathematische Annalen, 1915,76: 447 ～ 470.
9[10]Bernays Paul, Schonfinkel Moses. Zum Entscheidungsproblem der mathematischen Logik [ J ] . Mathematische Annalen, 1928,90: 401 ～ 419.
10[11]Ramsey Frank Plumpton. The foundations of mathematies[J]. Proceedings London Mathematical Society, Series 2,1929,30: 338 ～ 384.

二级参考文献3

1陈计,单墫.一个角平分线不等式的推广[J]数学通讯,1995(11).
2陈计.一个新的三角形不等式链[J]中学数学,1993(02).
3陈计.两个三角形不等式链的加细[J].中学教研（数学版）,1993,0(11):15-17. 被引量：1

1孔祥庆.Maple软件中的积分问题[J].浙江经专学报,1998,10(4):46-46.
2幽默直通车[J].少年科普世界（快乐数学1-3年级版）,2010(9):24-25.
3张燕,张睿.基于描述逻辑方法的VSM语义检索模型[J].计算机工程与设计,2009,30(9):2319-2322.
4庞彦军,刘开第.计算约简的差别矩阵简化算法不成立[J].系统工程理论与实践,2004,24(2):142-144. 被引量：6
5李萍,王春红,杨秀荣.SQL中全称量词的实例解析[J].廊坊师范学院学报（自然科学版）,2013,13(2):53-54. 被引量：5
6郑先容.SQL语言中具有全称量词的查询问题[J].湖南城建高等专科学校学报,2000,19(2):47-48.
7王光明,魏长华.基于布尔函数的Rough集差别矩阵属性约简方法[J].计算机工程与应用,2005,41(11):160-162.
8朱广科.灵活应用分配律[J].中学生数理化（七年级数学）（人教版）,2014,0(7):40-40.
9张安玲.机器人避障问题的分析与计算[J].山西师范大学学报（自然科学版）,2013,27(3):48-52. 被引量：1
10王丽丽,方欢,方贤文.SQL语句中存在量词的深入剖析和应用探讨[J].廊坊师范学院学报（自然科学版）,2016,16(3):25-29. 被引量：1

宁波大学学报（理工版）

2001年第3期

浏览历史

内容加载中请稍等...

量词对7种联结词的分配律——计算机自动推理的1个实例

参考文献17

二级参考文献3

相关作者

相关机构

相关主题

浏览历史