【摘要】 以公式真度为基础,研究了二值命题逻辑系统中有限理论逻辑推出的结论类型和分别基于公式真度以及逻辑等价的分类问题,给出了分类定理以及同一理论结论的相似度的一个下界。更多还原

【Abstract】 Based on the notion of truth degrees of formulas,type of conclusions deduced by finite theories in two-valued proposi- tional logic is investigated.Classification of theories based on the truth degrees of formulas,respectively,based on logical equiva- lence is studied.Especially,a theorem about classification is obtained and the similarity relation between conclusions deduced by one theory is given.更多还原