So if P is true it follows Q is true, but notice that there is another valid form of inference which is also connected with implication and it is called Modus tollens. 以此类推,如果P是真的,那么Q也是真的,还有一个有效的推论方式与暗示有关,即否定后件推理。
The authors prove that the two classes of algorithms hold the continuity properties in the cases of fuzzy modus ponens and fuzzy modus tollens. 证明了在模糊假言推理和模糊拒取式推理情形,这两类算法都拥有连续性。
To approximate reasoning on IFL, mathematical formulas of inference compositional operations on generalized modus ponens, modus tollens, and hypothetical syllogism are derived. 针对直觉模糊近似推理,给出了推广的取式推理、拒式推理及假言推理等的合成运算公式。