韩诚,王国俊.命题公式集F(S)的基于R0-算子的16类分划[J].数学研究及应用,2005,25(3):553~558 |
命题公式集F(S)的基于R0-算子的16类分划 |
A Sixteen-Classification Partition of Propositional Formula Set F(S) Based on R0-Operator |
投稿时间:2003-01-06 |
DOI:10.3770/j.issn:1000-341X.2005.03.027 |
中文关键词: 分划 R0-算子 确定集 K-公式集 封闭类 |
英文关键词:partition R0-operator validation set K-formula class closed class. |
基金项目:国家自然科学基金(90207015). |
|
摘要点击次数: 3337 |
全文下载次数: 1276 |
中文摘要: |
利用R0-蕴涵算子对命题公式集F(S)进行分类,得出了F(S)的一个16类分划,并证明了这种分类关于非运算是同余分类.最后讨论了各类关于MP运算与HS运算的封闭性. |
英文摘要: |
The propositional formula set F(S) is classified into sixteen classifications by using R0 implication operator, and it is proved that this partition about negation is congruent. Moreover, we discuss whether each classification in F(S) is closed under modus ponens and hypothetical syllogism. |
查看全文 查看/发表评论 下载PDF阅读器 |
|
|
|