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

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

作　　者：陈计[1] 

机构地区：[1]宁波大学理学院,浙江宁波315211

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

摘　　要：基于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.

关 键 词：自动推理 Maple软件V RELEASE 5.1 谓词逻辑 分配律 

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