假言推理

---

是前提中有一个是假言判断，另一个是性质判断，结论是性质判断的推理。也称为假言三段论。根据假言判断有充分条件、必要条件和充分必要条件三种，假言推理相应的也有三种。

充分条件假言推理是前提中有一个是充分条件假言判断的假言推理。例如；

如果不深入实际，那就不能了解实际情况，

某领导不深入实际，

所以，某领导不能了解实际情况。

根据充分条件假言判断中，前件对后件的关系是：有之必然，无之未必然；后件对前件的关系是：无之必不然，有之未必然。因此，这种推理有两条规则：
❶ 肯定前件就要肯定后件，否定后件就要否定前件；
❷ 否定前件不能否定后件，肯定后件不能肯定前件。根据规则，充分条件假言推理有两个正确的形式：

❶ 肯定前件式：

p→q

p

所以，q

❷ 否定后件式：

必要条件假言推理是前提中有一个是必要条件假言判断的假言推理。例如：

只有合理密植，农作物才能增产，

这块地的农作物没有合理密植，

所以，这块地的农作物不能增产。

根据必要条件假言判断中，前件对后件的关系是：无之必不然，有之未必然；后件对前件的关系是：有之必然，无之未必然。因此，这种推理有两条规则：
❶ 否定前件就要否定后件，肯定后件就要肯定前件；
❷ 肯定前件不能肯定后件，否定后件不能否定前件。根据规则，必要条件假言推理有两个正确的形式：

❶ 否定前件式：

❷ 肯定后件式：

p←q

q

所以，p

充分必要条件假言推理是前提中有一个是充分必要条件假言判断的假言推理。例如：

当且仅当一个数能被2整除，它就是偶数，

某数能被2整除，

所以，某数是偶数。

根据充分必要条件假言判断中，前件对后件、后件对前件的关系都是：有之必然，无之必不然。因此，这种推理有两条规则：
❶ 肯定前件就要肯定后件，否定后件就要否定前件；
❷ 否定前件就要否定后件，肯定后件就要肯定前件。根据规则，充分必要条件假言推理有四个正确的形式，即充分条件假言推理和必要条件假言推理的正确式。