| 命题公式集F(S)的基于R0-算子的16类分划 |
| |
| 引用本文： | 韩诚,王国俊.命题公式集F(S)的基于R0-算子的16类分划[J].数学研究与评论,2005,25(3). |
| |
| 作者姓名： | 韩诚 王国俊 |
| |
| 作者单位： | 1. 陕西师范大学数学研究所,陕西,西安,710062;盐城师范学院数学系,江苏,盐城,224001
2. 陕西师范大学数学研究所,陕西,西安,710062 |
| |
| 基金项目： | 国家自然科学基金(90207015)． |
| |
| 摘 要： | 利用R0-蕴涵算子对命题公式集F(S)进行分类,得出了F(S)的—个16类分划,并证明了这种分类关于非运算是同余分类.最后讨论了各类关于MP运算与HS运算的封闭性.
|
| 关 键 词： | 分划 R0-算子 确定集 K-公式集 封闭类 |
A Sixteen-Classification Partition of Propositional Formula Set F(S) Based on R0-Operator |
| |
| HAN Cheng,WANG Guo-jun.A Sixteen-Classification Partition of Propositional Formula Set F(S) Based on R0-Operator[J].Journal of Mathematical Research and Exposition,2005,25(3). |
| |
| Authors: | HAN Cheng WANG Guo-jun |
| |
| Abstract: | 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. |
| |
| Keywords: | partition R0-operator validation set K-formula class closed class |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
| 点击此处可从《数学研究与评论》浏览原始摘要信息 |
| 点击此处可从《数学研究与评论》下载免费的PDF全文 |
|
