必要条件

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