节点文献
亚模糊命题与重言式
Sub-Fuzzy Formulas and Tautologies
【摘要】 引入了亚模糊命题的概念。在Gaines-Rescher的蕴涵算子下,证明了简单亚析取式A是重言式的必要条件为A包含环公式为其子公式。
【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.
【关键词】 Gaines-Rescher的蕴涵算子;
亚模糊命题;
重言式;
【Key words】 the implication operator of Gaines-Rescher; sub-fuzzy formulas; tautologies;
【Key words】 the implication operator of Gaines-Rescher; sub-fuzzy formulas; tautologies;
【基金】 江西省自然科学基金资助项目(0411038)
- 【文献出处】 南昌大学学报(理科版) ,Journal of Nanchang University(Natural Science) , 编辑部邮箱 ,2006年01期
- 【分类号】O159
- 【下载频次】39