定义:如果有事物情况A,则必然有事物情况B;如果有事物情况B不一定有事物情况A,A就是B的充分而不必要的条件,即充分不必要条件。
假设A是条件,B是结论
(1)由A可以推出B,由B可以推出A,则A是B的充要条件(A=B)
(2)由A可以推出B,由B不可以推出A,则A是B的充分不必要条件(A⊆B)
(3)由A不可以推出B,由B可以推出A,则A是B的必要不充分条件(B⊆A)
(4)由A不可以推出B,由B不可以推出A,则A是B的既不充分也不必要条件(A￠B且B￠A)