针对Fuzzy推理中提出的“过半可信”原则,证明了[RG]蕴涵算子满足这一原则,并讨论了[RG]蕴涵算子下FMP模型的新型反向三I支持算法,新型[α-]反向三I支持算法,新型[α-]反向三I约束算法的计算公式,且给予证明。