论文部分内容阅读
主要解决基于一级泛与运算的一阶谓词演算形式系统ULh^-∈[0.75,1]的完备性。通过引入全称量词和存在量词，建立与命题形式系统比ULh^-∈[0.75,1]相对应的一阶谓词形式系统ULh^-∈[0.75,1]，证明其完备性定理。从而说明形式系统ULh^-∈[0.75,1]的语义和语构是和谐的。