节点文献

谓词形式系统UL_hε[0.75,1]^-及其完备性

Predicate formal system UL_hε[0.75,1]^- and its completeness

推荐 CAJ下载
PDF下载
不支持迅雷等下载工具，请取消加速工具后下载。

【Author】 MA Ying-cang1,3,HE Hua-can2 1.School of Electronics and Information,Northwestern Polytechnical University,Xi’an 710072,China 2.School of Computer Science,Northwestern Polytechnical University,Xi’an 710072,China 3.School of Science,Xi’an Polytechnic University,Xi’an 710048,China

【机构】西北工业大学电子信息学院；西安工程大学理学院；西北工业大学计算机学院；

【摘要】主要解决基于一级泛与运算的一阶谓词演算形式系统"ULh-?[0.751]的完备性。通过引入全称量词和存在量词,建立与命题形式系统ULh-?[0.751]相对应的一阶谓词形式系统"ULh-?[0.751],证明其完备性定理。从而说明形式系统"ULh-?[0.751]的语义和语构是和谐的。更多还原

【Abstract】 The main aim of this paper is solving the completeness of first-order predicate calculus formal system UL_hε[0.75,1]^- based on first-level universal AND operator.By introducing the universal quantifier and existential quantifier,the predicate calculus formal deductive system UL_hε[0.75,1]^- based on 0-level universal AND operator according to propositional calculus formal deductive system UL_hε[0.75,1]^- of universal logic is built up,moreover,the completeness theorem of system is proved.So it shows that the semantic and syntactic of system UL_hε[0.75,1]^- are harmony.更多还原