爱华网假言推理是根据假言命题的逻辑性质进行的推理。分为充分条件假言推理，必要条件假言推理和充分必要条件假言推理三种。规则1：肯定前件，就要肯定后件；肯定后件，就要肯定前件。规则2：否定前件，就要否定后件；否定后件，就要否定前件。例1到例4分别是以上充分必要条件假言推理的四个正确的推理式。
演绎推理_假言推理 -充分必要条件假言推理
充分必要条件假言推理是根据充分必要条件假言命题的逻辑性质进行的推理。
充分必要条件假言推理有两条规则：
规则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分别是以上充分必要条件假言推理的四个正确的推理式。
