摘要:
研究了[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)14个分配性方程,它们在模糊集理论中的形式分别是I(r,T_1(t,s))=T_1(I(r,t),I(r,s)),I(r,S_1(t,s))=S_2(I(r,t),I(r,s)),I(T_1(p,q),r)=S_1(I(p,r),I(q,r)),I(S_1(p,q),r)=T_1(I(p,r),I(q,r)),其中P,q,r,s,t∈[0,1],T_1、T_2为任意三角模,S_1、S_2为任意三角余模,给出了I为QL-、D-蕴涵时满足分配性方程的充要条件.