“除非A,否則B”:除非A發(fā)生,否則都是B發(fā)生。
“A,除非B”:多數條件下都是A發(fā)生,只有B發(fā)生的條件下A不發(fā)生。
“除非A,否則B”為肯定前件式,肯定前件,就要肯定后件;否定前件,不能否定后件。
“A,除非B”為否定后件式,肯定后件,不能肯定前件;否定后件,就要否定前件。
假言推理是根據假言命題的邏輯性質進行的推理,也稱假言邏輯,分為充分條件假言推理,必要條件假言推理和充分必要條件假言推理三種。充分條件假言推理是根據充分條件假言命題的邏輯性質進行的推理。
充分條件假言推理有兩條規(guī)則:
規(guī)則1:肯定前件,就要肯定后件;否定前件,不能否定后件。
規(guī)則2:肯定后件,不能肯定前件;否定后件,就要否定前件。