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

• 来源期刊: 山东农业大学学报（自然科学版）
• 学科: 数学
• 关键词: 命题公式 主范式 真度 有效度 相似度
• 年，卷（期）: 2008,（3）
• 页码范围: 454-456,460
• 页数: 4页
• 分类号: O141
• 字数: 2736字
• 语种: 中文

摘要

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