二值命题逻辑中逻辑推理的有效度

摘要：

本文以公式真度概念为基础,给出了二值命题逻辑系统中公式由理论逻辑推出的有效度概念及计算方法,讨论了在基本逻辑运算下理论的有效结论问题以及同一理论的结论的相似问题.

关键词：命题公式、主范式、真度、有效度、相似度

所属期刊栏目：39

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

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

页数：共4页

页码：454-456,460