命题逻辑的理想形式系统

摘要：

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

关键词：命题逻辑、公理、推理规则、等值置换、能行性、可信性、理想形式系统

所属期刊栏目：21

分类号：G4(教育)

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

页数：共5页

页码：5-9