针对王国俊教授提出的系统中的蕴涵算子给出FMP问题的三I算法、反向三I算法计算公式和FMT问题的三I算法、反向三I算法计算公式,并在此基础上提出了一定条件下的双向三I算法。