二值命题逻辑中有限理论的α-结论

摘要：

以公式真度概念为基础,给出了二值命题逻辑系统中有限理论的α-结论的判定条件,讨论了在基本逻辑运算下理论的α-结论问题以及同一理论的结论的相似度.

关键词：有限理论、真度、有效度、α-结论

所属期刊栏目：39

分类号：O141.3(数理逻辑、数学基础)

资助基金：山东省2001年度重点攻关项目资助,项目号012010116

在线出版日期：2008-10-09（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：457-460