二值命题逻辑中有限理论的α-结论
以公式真度概念为基础,给出了二值命题逻辑系统中有限理论的α-结论的判定条件,讨论了在基本逻辑运算下理论的α-结论问题以及同一理论的结论的相似度.
作 者： 王爱青 WANG Ting-ming WANG Ai-qing WANG Ting-ming 作者单位： 青岛理工大学理学院,青岛,266033 刊 名： 山东农业大学学报（自然科学版） ISTIC PKU 英文刊名： JOURNAL OF SHANDONG AGRICULTURAL UNIVERSITY(NATURAL SCIENCE) 年，卷(期)： 2008 39(3) 分类号： O141.3 关键词： 有限理论 真度 有效度 α-结论