必要条件的逻辑学中

定义：如果没有事物情况A，则必然没有事物情况B；如果有事物情况B就一定有事物情况A，A就是B的必要条件，应注意必要条件不是必要不充分条件的简称。

必要条件是逻辑学在研究假言命题及假言推理时引出的。

陈述某一事物情况是另一件事物情况的必要条件的假言命题叫做必要条件假言命题。必要条件假言命题的一般形式是：只有p，才q。符号为：p←q(读作“p逆蕴涵q”） 。例如“只有有作案动机，才会是案犯”是一个必要条件假言命题。

根据必要条件假言命题的逻辑性质进行的推理叫必要条件假言推理。