谓词形式系统VULh[0.75,1]及其可靠性

计算机科学 ›› 2011, Vol. 38 ›› Issue (5): 178-180.

谓词形式系统VULh[0.75,1]及其可靠性

马盈仓,何华灿

(西北工业大学电子信息学院西安710072);(西安工程大学理学院西安710048);(西北工业大学计算机学院西安710072)

出版日期:2018-11-16 发布日期:2018-11-16
基金资助:
本文受国家自然科学基金(60273087,60575034),陕西省教育厅专项科研计划项目(2010JK567)，西北工业大学基础研究基金(W018101)资助。

Predicate Formal System VULh[0.75,1]and its Soundness

MA Ying-cang,HE Hua-can

Online:2018-11-16 Published:2018-11-16

摘要/Abstract

摘要： 对基于一级泛与运算的一阶谓词演算形式系统VULh[0.75,1]-进行公理化。通过引入全称量词和存在量词，建立与命题形式系统VULh[0.75,1]相对应的一阶谓词形式系统VULh[0.75,1],并证明该系统的可靠性定理及演绎定理。

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

Abstract: The aim of this paper is the axiomatization for first order predicate calculus formal system VULh[0.75,1] based on first-level universal AND operator. 13y introducing the universal quantifier and existential quantifier, the predi- cute calculus formal deductive system VULh[0.75,1], based on 1-level universal AND operator according to propositional calculus formal deductive system VULh[0.75,1] of universal logic was built up, moreover, the soundness and deduction the- orems of system VULh[0.75,1], a were proved.

Key words: Universal logic, Predicate calculus formal system, Universal and operator

马盈仓,何华灿. 谓词形式系统VULh[0.75,1]及其可靠性[J]. 计算机科学, 2011, 38(5): 178-180. https://doi.org/

MA Ying-cang,HE Hua-can. Predicate Formal System VULh[0.75,1]and its Soundness[J]. Computer Science, 2011, 38(5): 178-180. https://doi.org/

参考文献

Metrics

Viewed

Full text

Abstract

Cited

Shared

Discussed