论文部分内容阅读
泛逻辑是在研究柔性世界逻辑规律时发现的一个新的连续值的逻辑体系,它通过引入广义相关性和广义自相关性刻画命题之间的相互关系.本文主要解决基于零级泛与运算的一阶谓词演算形式系统ULh∈(0,1]的完备性.通过引入全称量词和存在量词,建立与命题形式系统ULh∈(0,1]相对应的一阶谓词形式系统ULh∈(0,1],并证明其完备性定理.从而得到系统ULh∈(0,1]的语义和语构是和谐的.
Pan-logic is a new logical system of continuous values found in the study of the laws of the soft world. It describes the interrelationship between the propositions by introducing generalized relativity and generalized autocorrelation. The completeness of the first-order predicate calculus formal system ÜULh∈ (0,1]. By introducing the full quantifier and existential quantifier, the first-order predicate formal system ULh∈ (0,1) corresponding to the propositional formal system ULh ∈ (0,1] 0,1], and prove its completeness theorem, so that the semantics and structure of the system ULh ∈ (0,1] are harmonious.