易位推理也叫逆否推理。

必要条件在任何时候都是不成立的。

判断题必要条件在任何时候都是不成立的。

必要条件的推理否定前件就要否定后件。

判断题必要条件的推理否定前件就要否定后件。

通常情况下，我们的推理要遵从结论从弱原则。

判断题通常情况下，我们的推理要遵从结论从弱原则。