模态性质命题传统逻辑方阵的建立

摘要：

通过建立模态性质命题:模态A、模态E、模态I、模态O命题间的5个逻辑方阵,以及将模态单称命题:模态单称肯定命题(a)和模态单程否定命题(e)引入模态性质命题逻辑方阵,能够有效地涵盖模态性质命题推理的56个有效式,以及关于模态单称命题与模态A、模态E、模态I、模态O命题之间推理的48个有效式,从而有利于用传统逻辑的方法掌握繁多的模态性质命题间的关系及推理.

关键词：模态性质命题、逻辑方阵

所属期刊栏目：13

分类号：B812.3(逻辑学(论理学))

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

页数：共3页

页码：303-305