摘要
给出命题演算公理系统构造的一种细致、对称的表述。这种表述方式 ,有助于理解形式系统化方法的统一性以及尽可能有的构造性。
In this paper a meticulous and symmetrical formulation is given,which is used to structure propositional calculus axiom system.The formulation mode contribute to understanding that formalization have unity and as far as possible constructivity.
出处
《湖北师范学院学报（自然科学版）》
2000年第1期32-34,共3页
Journal of Hubei Normal University(Natural Science)
关键词
命题演算
形式系统化
归纳定义
统一表述
Propositional calculus Formalization Inductive definition Unified formulation
