二值命题逻辑中逻辑推理的有效度
本文以公式真度概念为基础,给出了二值命题逻辑系统中公式由理论逻辑推出的有效度概念及计算方法,讨论了在基本逻辑运算下理论的有效结论问题以及同一理论的结论的相似问题.
作 者: WANG Ting-ming 作者单位: 刊 名: 山东农业大学学报(自然科学版) ISTIC PKU 英文刊名: JOURNAL OF SHANDONG AGRICULTURAL UNIVERSITY(NATURAL SCIENCE) 年,卷(期): 2008 39(3) 分类号: O141 关键词: 命题公式 主范式 真度 有效度 相似度