| 命题逻辑系统L*的有效集 |
| |
| 引用本文： | 任芳,王国俊.命题逻辑系统L*的有效集[J].模糊系统与数学,2006,20(2):13-17. |
| |
| 作者姓名： | 任芳 王国俊 |
| |
| 作者单位： | 陕西师范大学,数学研究所,陕西,西安,710062 |
| |
| 基金项目： | 国家自然科学基金资助项目(10471083) |
| |
| 摘 要： | 针对命题逻辑系统L*,以及增加一元联结词△后的系统L*△,研究了该逻辑系统有效集的特征,进而以有效集为工具得到公式集F(S)的一类分划,即可将L*与L*△中的公式集F(S)分别分为16和20个等价类;最后给出了L*中对M P规则封闭的有效集的特征。
|
| 关 键 词： | L*系统 真值函数 有效集 MP规则 |
| 文章编号： | 1001-7402（2006）02-0013-05 |
| 收稿时间： | 2005-04-16 |
| 修稿时间： | 2005年4月16日 |
The Validation Set of L* System |
| |
| REN Fang,WANG Guo-jun.The Validation Set of L* System[J].Fuzzy Systems and Mathematics,2006,20(2):13-17. |
| |
| Authors: | REN Fang WANG Guo-jun |
| |
| Abstract: | |
| |
| Keywords: | L~* System Truth Function Vlidation Set MP Rule |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
