| 命题演算的一种表述 |
| |
| 引用本文： | 殷德京. 命题演算的一种表述[J]. 湖北师范学院学报(自然科学版), 2000, 20(1): 32-34 |
| |
| 作者姓名： | 殷德京 |
| |
| 作者单位： | 湖北师范学院物理系,黄石,435002 |
| |
| 摘 要： | 给出命题演算公理系统构造的一种细致、对称的表述。这种表述方式，有助于理解形式系统化方法的统一性以及尽可能有的构造性。
|
| 关 键 词： | 命题演算 形式系统化 归纳定义 统一表述 |
| 文章编号： | 1009-2714(2000)01-0032-03 |
| 修稿时间： | 1999-09-10 |
A FORMULATION OF PROPOSITIONAL CALCULUS |
| |
| Yin Dejing. A FORMULATION OF PROPOSITIONAL CALCULUS[J]. Journal of Hubei Normal University(Natural Science), 2000, 20(1): 32-34 |
| |
| Authors: | Yin Dejing |
| |
| Abstract: | 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. |
| |
| Keywords: | Propositional calculus Formalization Inductive definition Unified formulation |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
