First, the notion of fake residue pair is introduced and the united forms of FMP Triple I method based a sort of implication operator or implication operators with parameter is given.

• 摘要首先提出了伪伴随对的概念，基于此给出了基于一类蕴涵算子或带参数的蕴涵算子的FMP三I算法的统一形式；