论文部分内容阅读
理论的相对偏差是确定近似推理误差的逻辑度量之一，由于缺乏与理论特征相关联的真度表示，而导致其计算和应用上的不便．以公式真度为基础，给出了二值命题逻辑系统中有限理论相对偏差的真度表示式以及公式是有限理论的Ⅲ-型误差不大于e结论的判定条件，并证明了有限理论的Ⅰ，Ⅱ，Ⅲ-型误差不大于e的结论的等价性以及基于蕴涵真度的三种近似推理模式的等价性．