否后必否前什么定律？

肯前肯后否后否前口诀是“肯前肯后，否后否前，否前肯后得不出确定性结论”，是做翻译推理题的重要规则。意思是从前面得到的推论可以证明后面结论，后面结论错误得到前面推测错误，正确的结论证明前提，推论错误得不到正确的结论。

充分条件假言推理有两条规则：规则1：肯定前件，就要肯定后件；否定前件，不能否定后件。例如：1、如果谁骄傲自满，那么他就要落后；小张骄傲自满，所以，小张必定要落后。2、如果谁得了肺炎，他就一定要发烧；小李没发烧，所以，小李没患肺炎。例1和例2都是充分条件假言推理，前者是肯定前件式；后者是否定后件式。这两个推理都符合推理规则，所以，都是正确的。

规则2：肯定后件，不能肯定前件；否定后件，就要否定前件。例如：3、如果降落的物体不受外力的影响，那么，它不会改变降落的方向；这个物体受到了外力的影响，所以，它会改变降落的方向。4、如果赵某是走私犯，那么，他应受法律制裁；经查明，赵某确实受到了法律制裁，所以，赵某是走私犯。例3和例4都是不正确的充分条件假言推理，因为例3违反了“否定前件，不能否定后件”的规则；例4违反了“肯定后件，不能肯定前件”的规则。

什么叫必要条件推理？

必要条件是数学中的一种关系形式。如果没有a，则必然没有b；如果有a而未必有b，则a就是b的必要条件，记作b→a，读作“b含于a”。数学上简单来说就是如果由结果b能推导出条件a，我们就说a是b的必要条件。

定义

如果没有事物情况a，则必然没有事物情况b，也就是说如果有事物情况b则一定有事物情况a，那么a就是b的必要条件。从逻辑学上看，b能推导出a，a就是b的必要条件，等价于b是a的充分条件。