【摘要】 泛逻辑是在研究柔性世界逻辑规律时发现的一个新的连续值的逻辑体系,它通过引入广义相关性和广义自相关性刻画命题之间的相互关系.本文主要解决基于零级泛与运算的一阶谓词演算形式系统ULh∈(0,1]的完备性.通过引入全称量词和存在量词,建立与命题形式系统ULh∈(0,1]相对应的一阶谓词形式系统ULh∈(0,1],并证明其完备性定理.从而得到系统ULh∈(0,1]的语义和语构是和谐的.更多还原

【Abstract】 Universal logic is a new continuous-valued logic system in studying flexible world′s logical rule,which uses generalized correlation and generalized autocorrelation to describe the relationship between propositions.The main aim of this paper is solving the completeness of first-order predicate calculus formal system ULh∈(0,1] based on 0-level universal and operator.By introducing the universal quantifier and existential quantifier,the predicate calculus formal deductive system ULh∈(0,1] based on 0-level universal and operator according to propositional calculus formal deductive system ULh∈(0,1] of universal logic is built up,moreover,the completeness theorem of system ULh∈(0,1] are proved.So it shows that the semantic and syntactic of system ULh∈(0,1] are harmony.更多还原