不同蕴涵算子下的三I算法

对三Ｉ算法作了进一步的推广，详细讨论了在Ｌｕｋａｓｉｅｗｉｃｚ涵蕴算子，Ｇｏｅｄｅｌ蕴涵算子和Ｇａｉｎｅｓ－Ｒｅｓｃｈｅｒ蕴涵算子之下的ＦＭＰ规则以及相应的三Ｉ算法的表达形式，同时给出了三Ｉ算法为Ｐ－还原的充分条件。