充分必要条件假言推理是根据
充分必要条件假言命题的
逻辑性质进行的推理。
充分必要条件假言推理有两条规则：
规则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分别是以上充分必要条件假言推理的四个正确的推理式。