论文部分内容阅读
Ｚａｄｅｎ的复合命题演算方法（简称ＣＲＩ方法）虽然已被广泛采纳并在应用上取得了很大成功，然而ＣＲＩ方法到今尚未有严格的理论基础，本文在一类模糊公式代数（Ｓ）上通过特殊的赋值方法的模糊取式（ＦｕｚｚｙＭｏｄｕｓＰｏｎｅｎｓ）与模糊拒取式（ＦｕｚｚｙＭｏｄｕｓＴｏｌｌｅｎｓ）建立了严格的逻辑基础，其中关于ＦＭＰ的一个结果不只是Ｚａｄｅｈ的ＣＲＩ方法相应结果的改进，而且也是首次把ＣＲＩ方法纳入了模糊逻辑