逻辑关系的一种。如果没有甲,必然没有乙,那么甲就是乙的必要条件。
如果没有A,则必然没有B;如果有A而未必有B,则A就是B的必要条件,记作B→A,读作“B蕴涵于A”。数学上简单来说就是如果由结果B能推导出条件A,我们就说A是B的必要条件。