Predicate formal system based on 0-level universal AND operator and its soundness
基于零级泛与运算的谓词形式系统及其可靠性

对基于零级泛与运算的一阶谓词演算形式系统进行公理化。通过引入全称量词和存在量词，建立与命题形式系统ULh∈(0，1]相对应的一阶谓词形式系统ULh∈(0，1]，证明了其可靠性定理和演绎定理。从而得到所给形式系统中的定理均为重言式，保证了推理的有效性。