基于零级泛与运算的谓词形式系统及其可靠性  

Predicate formal system based on 0-level universal AND operator and its soundness

作　　者：马盈仓[1,2] 何华灿[3] 

机构地区：[1]西北工业大学电子信息学院,西安710072 [2]西安工程大学理学院,西安710048 [3]西北工业大学计算机学院,西安710072

出　　处：《计算机应用研究》2011年第1期84-86,101,共4页Application Research of Computers

基　　金：国家自然科学基金资助项目(60273087;60575034);陕西省教育厅专项科研计划资助项目(2010JK567);西北工业大学基础研究基金资助项目(W018101)

摘　　要：对基于零级泛与运算的一阶谓词演算形式系统进行公理化。通过引入全称量词和存在量词,建立与命题形式系统ULh∈(0,1]相对应的一阶谓词形式系统ULh∈(0,1],证明了其可靠性定理和演绎定理。从而得到所给形式系统中的定理均为重言式,保证了推理的有效性。The main aim of this paper is the axiomatization for O-order predicate calculus formal system based on O-level uni- versal and operator. By introducing the universal quantifier and existential quantifier, built up the predicate calculus formal de- ductive systemULh∈（0.1） based on O-level universal AND operator according to propositional calculus formal deductive system ULh∈（0.1） of universal logic, moreover,proved the soundness and deduction theorems of system ULh∈（0.1）So the theorems of given system are tautologies and the validity of reasoning are ensured.

关 键 词：泛逻辑 谓词演算形式系统 泛与运算 

分 类 号：TP18[自动化与计算机技术—控制理论与控制工程]