充要条件

参考答案： 有之必然，无之必不然。