| 亚模糊命题与重言式 |
| |
| 引用本文： | 杨晓斌,马新生.亚模糊命题与重言式[J].南昌大学学报(理科版),2006,30(1):14-16. |
| |
| 作者姓名： | 杨晓斌 马新生 |
| |
| 作者单位： | 1. 上海财经大学,应用数学系,上海,200433
2. 南昌大学,数学系,江西,南昌,330047 |
| |
| 摘 要： | 引入了亚模糊命题的概念。在Gaines-Rescher的蕴涵算子下，证明了简单亚析取式A是重言式的必要条件为A包含环公式为其子公式。
|
| 关 键 词： | Gaines-Rescher的蕴涵算子 亚模糊命题 重言式 |
| 文章编号： | 1006-0464（2006）01-0014-03 |
| 收稿时间： | 2005-04-03 |
| 修稿时间： | 2005年4月3日 |
Sub-Fuzzy Formulas and Tautologies |
| |
| YANG Xiao-bin,MA Xin-sheng.Sub-Fuzzy Formulas and Tautologies[J].Journal of Nanchang University(Natural Science),2006,30(1):14-16. |
| |
| Authors: | YANG Xiao-bin MA Xin-sheng |
| |
| Institution: | 1. Department of Applied Mathematics, Shanghai University of Finance and Economics, Shanghai 200433, China ; 2. Department of Mathematics, Nanchang University, Nanchang 330047, China |
| |
| Abstract: | The concept of sub - fuzzy formulas was introduced. Based on the implication operator of Gaines - Rescher,it proved that if the simple sub -fuzzy formula A is a tautology then it must contain a cycle formula as its sub formula. |
| |
| Keywords: | the implication operator of Gaines - Rescher sub - fuzzy formulas tautologies |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
