如何判断一个命题的真假？

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

一、充分条件的假言推理，前件是后件的充分条件，也就是说：如果前件断定的情况发生了，那么后件所断定的情况也必然发生，如果前件断定的情况没有发生，那么后件所断定的情况是否发生则不确定：

如果骄傲自满，那么就会退步。

他骄傲自满了。

所以他退步了。

在这个例子里，“骄傲自满”（前件）是“退步”（后件）的充分条件。

二、必要条件的假言推理，前件是后件的必要条件，即：如果前件断定的情况没有发生，那么后件所断定的情况也必然不会产生，如果前件断定的情况发生了，那么后件所断定的情况是否发生则不确定：

只有将理想付诸行动，才能实现它。

他没有将理想付诸行动。

所以他没有实现他的理想。

在这个例子里，“付诸行动”（前件）是“实现理想”（后件）的必要条件。

三、充分必要条件的假言推理，前件是后件的充分必要条件：如果前件断定的情况发生了，那么后件所断定的情况也必然发生，要是前件断定的情况没有发生，那么后件所断定的情况也必然不会发生：

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

a.这个数能被2整除。b.这个数不能被2整除。

所以它是一个偶数。 所以它不是一个偶数。

在这个例子里，“能被2整除”（前件）是“偶数”（后件）的充分必要条件。