在模糊逻辑系统L~*中,P∧Q是﹁(﹁P∨﹁Q)的简写,连接词∧与连接词﹁,∨,→的关系应由L~*中的公理体系决定。本文通过在L~*中增加适当公理使得连接词∧与﹁,∨,→具备所需的特殊关系,得到的主要结论是:在L~*中增加公理L~*9_b:(((A→C)∨(B→C))→(A∧B→C)),同时放弃约定"P∧Q是﹁(﹁P∨﹁Q)的简写",所得的系统L_0~*与L~*等价。
科研之友
微信
新浪微博
Facebook
分享链接
