什么是必要条件的假言推理？

假言推理有三种逻辑形式：

一、充分条件的假言推理，前件是后件的充分条件，也就是说：如果前件断定的情况发生了，那么后件所断定的情况也必然发生，如果前件断定的情况没有发生，那么后件所断定的情况是否发生则不确定：
如果骄傲自满，那么就会退步。
他骄傲自满了。
所以他退步了。
在这个例子里，“骄傲自满”（前件）是“退步”（后件）的充分条件。

二、必要条件的假言推理，前件是后件的必要条件，即：如果前件断定的情况没有发生，那么后件所断定的情况也必然不会产生，如果前件断定的情况发生了，那么后件所断定的情况是否发生则不确定：
只有将理想付诸行动，才能实现它。
他没有将理想付诸行动。
所以他没有实现他的理想。
在这个例子里，“付诸行动”（前件）是“实现理想”（后件）的必要条件。

三、充分必要条件的假言推理，前件是后件的充分必要条件：如果前件断定的情况发生了，那么后件所断定的情况也必然发生，要是前件断定的情况没有发生，那么后件所断定的情况也必然不会发生：
一个数能被2整除，当且仅当它是一个偶数。
a.这个数能被2整除。 b.这个数不能被2整除。
所以它是一个偶数。 所以它不是一个偶数。
在这个例子里，“能被2整除”（前件）是“偶数”（后件）的充分必要条件。