语句函项论文

塔斯基关于类演算语言的真句子定义
论文摘要本文的主要内容是:首先把塔斯基定义类演算语言真句子的过程系统化,并对其中的一些问题进行探讨;然后,证明这个真句子定义具有恰当性所要求的性质;最后,针对类演算语言,在不同...