【摘要】 本文从语构理论入手,在经典二值命题逻辑系统中给出公式的语构真度的概念,从两个不同的角度给出语构真度的等价刻画.给出语构真度的实例,说明原来在语义下的真度是语构真度,并且由语构真度诱导的相似度和伪距离具有语义下相似度和伪距离的基本性质.给出τ-相容理论的概念,指出τ-相容理论和相容理论的内在关系.更多还原

【Abstract】 From the syntactical point of view,the concept of the syntactic truth degree of formulas is proposed in two-valued propositional logic system.Two equivalent depiction theorems about syntactic truth degree are introduced.Examples of syntactic truth degree illustrate that the original truth degree from semantics is a special syntactic truth degree.It is pointed out that the similarity degree and pseudo-metric induced by syntactic truth degree possess respectively the basic properties of similarity degree and pseudo-metric from semantics.The concept of τ-consistent theory is given.Then the intrinsic relation between τ-consistent and consistent theory is pointed out.更多还原