Predicate formal system based on 0 level universal AND operator and its soundness
The main aim of this paper is the axiomatization for 0 order predicate calculus formal system based on 0 level universal and operator.By introducing the universal quantifier and existential quantifier,built up 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,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.