论文部分内容阅读
在模糊逻辑系统L^＊中,P∧Q是﹁（﹁P∨﹁Q）的简写,连接词∧与连接词﹁,∨,→的关系应由L^＊中的公理体系决定。本文通过在L^＊中增加适当公理使得连接词∧与﹁,∨,→具备所需的特殊关系,得到的主要结论是：在L^＊中增加公理L^＊9b：（（（A→C）∨（B→C））→（A∧B→C））,同时放弃约定＂P∧Q是﹁（﹁P∨﹁Q）的简写＂,所得的系统L0^＊与L^＊等价。