若条件p能推出条件q 那么条件p就是条件q的充分条件
若条件q能推出条件p 那么条件q就是条件p的必要条件
若条件p能推出条件q且条件q也能推出条件p 那么条件p、q互为充要条件