否后推否前的意思：从前面得到的推论可以证明后面的结论，后面的结论若是错误的，就得到前面推测错误，正确的结论证明前提，推论错误就得不到正确的结论。
“否后推否前”是必要条件假言命题的推理规则，而充分条件假言命题的推理规则是：肯前则肯后，否后则否前。根据规则，充分必要条件假言推理有四个正确的形式：肯定前件式、肯定后件式、否定前件式、否定后件式。
