命题逻辑的理想形式系统

• 作者: 杨冠平
• 来源期刊: 武警工程学院学报
• 关键词: 命题逻辑 公理 推理规则 等值置换 能行性 可信性 理想形式系统
• 年，卷（期）: 2005,（4）
• 所属期刊栏目: 基础·应用
• 页码范围: 5-9
• 页数: 5页
• 语种: 中文

摘要

以双否律、交换律、结合律、分配律和吸真律为公理,仅用等值置换作推理规则,建立了命题逻辑形式系统E.给出了内定理证明的普遍能行方法和十个基本定理的形式证明.提出理想形式不仅仅公理应具有一致性、独立性、完备性,而且推理规则应具有保真性、可信性、能行性.论证了E是理想形式系统.