否後推否前的意思：從前面得到的推論可以證明後面的結論，後面的結論若是錯誤的，就得到前面推測錯誤，正確的結論證明前提，推論錯誤就得不到正確的結論。“否後推否前”是必要條件假言命題的推理規則，而充分條件假言命題的推理規則是：肯前則肯後，否後則否前。根據規則，充分必要條件假言推理有四個正確的形式：肯定前件式、肯定後件式、否定前件式、否定後件式。
