| 命题公式集F(S)的基于R0-算子的16类分划 |
| |
| 引用本文： | 韩诚,王国俊.命题公式集F(S)的基于R0-算子的16类分划[J].数学研究及应用,2005,25(3):553-558. |
| |
| 作者姓名： | 韩诚 王国俊 |
| |
| 作者单位： | 陕西师范大学数学研究所,陕西,西安,710062;盐城师范学院数学系,江苏,盐城,224001;陕西师范大学数学研究所,陕西,西安,710062 |
| |
| 基金项目： | 国家自然科学基金(90207015). |
| |
| 摘 要： | 利用R0-蕴涵算子对命题公式集F(S)进行分类,得出了F(S)的一个16类分划,并证明了这种分类关于非运算是同余分类.最后讨论了各类关于MP运算与HS运算的封闭性.
|
| 关 键 词： | 分划 R0-算子 确定集 K-公式集 封闭类 |
| 文章编号： | 1000-341X(2005)03-0553-06 |
| 收稿时间： | 1/6/2003 12:00:00 AM |
| 修稿时间： | 2003年1月6日 |
A Sixteen-Classification Partition of Propositional Formula Set F(S) Based on R0-Operator |
| |
| HAN Cheng and WANG Guo-jun.A Sixteen-Classification Partition of Propositional Formula Set F(S) Based on R0-Operator[J].Journal of Mathematical Research with Applications,2005,25(3):553-558. |
| |
| Authors: | HAN Cheng and WANG Guo-jun |
| |
| Institution: | Inst. of Math.; Shaanxi Normal University; Xi'an; China; Dept. of Math.; Yancheng Teachers College; Jiangsu; China;Inst. of Math.; Shaanxi Normal University; Xi'an; China |
| |
| 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全文 |
