一阶系统KL中一组形式相近公式之间的关系  

THE RELATION AMONG SOME SIMILAR FORMULAS IN THE FORMAL DEDUCTIVE SYSTEM KL FOR PREDICATE CALCULUS

作　　者：齐玉霞[1] 周相泉[2] 刘庆松[2] 

机构地区：[1]聊城大学东昌学院,山东聊城252000 [2]聊城大学学报编辑部,山东聊城252059

出　　处：《山东师范大学学报（自然科学版）》2010年第3期29-31,共3页Journal of Shandong Normal University(Natural Science)

基　　金：山东省自然科学基金资助项目（Y2000A05）.

摘　　要：一阶语言是自然语言（特别的数学语言）的一种形式化体系，引入不同的连接词、量词、个体变元、谓词、个体常元、关系符号便有了不同的表达式．笔者讨论了一阶形式系统KL中一组形式相近公式（任意xi）A（xi），A（xi），（ xi）A（xf），A（t），A（ai）之间的关系．从而可以更方便从语义和语构两方面研究一阶语言．First- order language is one formal system of nature language （specially mathematic language）. The introduction of different connectives, quantifiers, individual variables, predicates, individual constants, and relations conforms to have a different expression. The relations among some similar formulas such as （ xi ）A （xi）, A （xi）, （ xi ） A （ xi ） ,A （ t）, A （ ai ） in the formal deductives system KL are discussed. The research of first - order language depends on semantics and syntactic could be done more easily.

关 键 词：一阶形式系统KL 逻辑有效公式 完备性 关系 

分 类 号：O141.1[理学—数学]