形式逻辑是396逻辑中套路最强、提分最快的板块。而假言命题(如果……那么……)又是形式逻辑的重中之重。今天用一个核心规则帮你彻底掌握假言命题的推理，避免常见的逻辑错误。

一、核心规则：前推后，否后否前

“如果A，那么B”的逻辑形式是A→B(A推出B)。这个命题为真时，我们可以得到两个有效推理：

肯前推肯后：已知A成立，则B必然成立。例如：“如果下雨，那么地湿”，已知下雨了，可以推出地湿。

否后推否前：已知B不成立，则A必然不成立(即非B→非A)。例如：已知地没有湿，可以推出没有下雨。

这两个规则是所有假言推理的基础，必须做到条件反射。建议每天默写一遍这两个规则，直到不用思考就能写出来。

二、容易混淆的两个错误推理

否前不能否后：已知A不成立，不能推出B一定不成立。因为A只是B的充分条件，不是必要条件。例如：没有下雨，地也可能湿(洒水车、水管破裂等)。

肯后不能肯前：已知B成立，不能推出A一定成立。因为B可能由其他原因导致。例如：地湿了，不一定是因为下雨。

记住这两个“不能”，考试中很多干扰项就是围绕它们设计的。出题人经常在选项中设置“否前否后”或“肯后肯前”的错误推理，如果你能快速识别，就能排除大量干扰项。

三、充分条件与必要条件的转换

“只有B，才A”的逻辑形式是A→B(与“如果A那么B”等价)。也就是说，“只有B才A”可以改写为“如果A那么B”。掌握这个转换，就能把必要条件问题转化为充分条件问题，统一用“前推后”规则处理。例如：“只有年满18岁，才有投票权”等价于“如果有投票权，那么年满18岁”。

四、综合应用技巧

在做假言推理题时，建议将题干中的所有条件都用箭头符号表示出来。遇到多个假言命题串联时(如A→B，B→C)，可以推出A→C。再结合已知事实(肯前或否后)，就能快速推出结论。例如：A→B，B→C，已知非C，则可以推出非B，再推出非A。

形式逻辑重在熟练，每天做5道假言推理题，一周后你的反应速度会有明显提升。如果在形式逻辑上遇到困难，欢迎随时咨询启航考研，我们一起攻克!