摘要
一阶语言是自然语言（特别的数学语言）的一种形式化体系，引入不同的连接词、量词、个体变元、谓词、个体常元、关系符号便有了不同的表达式．笔者讨论了一阶形式系统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.
出处
《山东师范大学学报（自然科学版）》
CAS
2010年第3期29-31,共3页
Journal of Shandong Normal University(Natural Science)
基金
山东省自然科学基金资助项目（Y2000A05）.
关键词
一阶形式系统KL
逻辑有效公式
完备性
关系
first - order formal system KL
logically efficient formula
completeness
relation
