逆否定理是什么

所谓逆否定理，即肯前必肯后，否后必否前，否前、肯后无必然结论。下面我们通过一个例子来详细说明一下。

例：如果一个人是河北人，那么他肯定是中国人。此句翻译成逻辑关系表达式为：河北人→中国人。逻辑关系表达式前后件的真假情况有四种，分别是：

①河北人→中国人；

②—河北人→？？？；

③中国人→？？？；

④—中国人→—河北人；

由①、④能够得到必然结论，可以总结为肯定的前件推出肯定的后件，否定的后件推出否定的前件。即简记为肯前必肯后，否后必否前。

再有②、③得不出必然结论，可以总结为否定的前件和肯定的后件都无必然结论，简记为否前、肯后无必然结论。