命题逻辑的理想形式系统

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