研究I(x,n(x))=n(x),其中I为由连续三角模T、连续三角余模S和强否定n生成的D-蕴涵,即I(x,y)=S(T(n(x),n(y)),y),给出了满足I(x,α≈(z))=n(0)的充要条件。
In thispaper,we explore the D-implications of satisfying I(x,n(x))=n(x),where D-implication is generated by a continuous t-norm T, acontinuous t-conorm S and a strong negation n, i.e. l(x,y) = S(T(n(x) ,n(y)) ,y), and propose the sufficient andnecessary conditions of the I(x,n(x)) = n(x) which is satisfied.