充分必要條件假言推理
充分必要條件假言推理是根據充分必要條件假言命題的邏輯性質進行的推理。
充分必要條件假言推理有兩條規則：
規則1：肯定前件，就要肯定後件；肯定後件，就要肯定前件。
規則2：否定前件，就要否定後件；否定後件，就要否定前件。
根據規則，充分必要條件假言推理有四個正確的形式：
（1）肯定前件式
p若且唯若q
p
___________
所以，q
（2）肯定後件式
p若且唯若q
q
___________
所以，p
（3）否定前件式
p若且唯若q
非p
___________
所以，非q
（4）否定後件式
p若且唯若q
非q
___________
所以，非p
例如：
1. 一個數是偶數若且唯若它能被2整除；這個數是偶數，所以，這個數能被2整除。
2. 一個數是偶數若且唯若它能被2整除；這個數能被2整除，所以，這個數是偶數。
3. 一個數是偶數若且唯若它能被2整除；這個數不是偶數，所以，這個數不能被2整除。
4. 一個數是偶數若且唯若它能被2整除；這個數不能被2整除，所以，這個數不是偶數。
例1到例4分別是以上充分必要條件假言推理的四個正確的推理式。
