摘要
本文阐述了波兰逻辑学家塔斯基,关于形式语言中真句子的意义的重要组成部分T型等值式及其深远的意思。
In this paper, we expound an important form part-T-type aquivalent expression-of definition of real sentence in formal language fron A·Tarski-logician in poland, and its deeply meanings.
出处
《枣庄师专学报》
1990年第4期14-17,共4页
Journal of Zaozhuang Teachers' College
关键词
塔斯基
真句子
T型等值式
reel sentencb
T-type equivalnt expression
