计算机工程与应用 ›› 2010, Vol. 46 ›› Issue (4): 36-38.DOI: 10.3778/j.issn.1002-8331.2010.04.011
李伟才1,3,吴海翔2,覃 锋3,魏喜凤1
LI Wei-cai1,3,WU Hai-xiang2,QIN Feng3,WEI Xi-feng1
摘要: 研究了[r→(t∧s)]≡[(r→t)∧(r→s)],[r→(t∨s)]≡[(r→t)∨(r→s)],[(p∧q)→r]≡[(p→r)∨(q→r)],[(p∨q)→r]≡[(p→r)∧(q→r)]4个分配性方程,它们在模糊集理论中的形式分别是I(r,T1(t,s))=T2(I(r,t),I(r,s)),I(r,S1(t,s))=S2(I(r,t),I(r,s)),I(T1(p,q),r)=S1(I(p,r),I(q,r)),I(S1(p,q),r)=T1(I(p,r),I(q,r)),其中p,q,r,s,t∈[0,1],T1、T2为任意三角模,S1、S2为任意三角余模,给出了I为QL-、D-蕴涵时满足分配性方程的充要条件。
中图分类号: