“除非a，否则b”：除非a发生，否则都是b发生。
“a，除非b”：多数条件下都是a发生，只有b发生的条件下a不发生。
“除非a，否则b”为肯定前件式，肯定前件，就要肯定后件；否定前件，不能否定后件。
“a，除非b”为否定后件式，肯定后件，不能肯定前件；否定后件，就要否定前件。
假言推理是根据假言命题的逻辑性质进行的推理，也称假言逻辑，分为充分条件假言推理，必要条件假言推理和充分必要条件假言推理三种。充分条件假言推理是根据充分条件假言命题的逻辑性质进行的推理。
充分条件假言推理有两条规则：
规则1：肯定前件，就要肯定后件；否定前件，不能否定后件。
规则2：肯定后件，不能肯定前件；否定后件，就要否定前件。
