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