充分必要条件

记录一下经常忘记

假设A是条件，B是结论，设C、D分别为A、B所描述对象的集合，则有下列定义和推论：
（1）由A可以推出B，由B可以推出A，则A是B的充分必要条件（此时）；
（2）由A可以推出B，由B不可以推出A，则A是B的充分不必要条件（此时）；
（3）由A不可以推出B，由B可以推出A，则A是B的必要不充分条件（此时）；
（4）由A不可以推出B，由B不可以推出A，则A是B的既不充分也不必要条件（此时）