p能推导出q,q能推导出p,那么p是q的什么条件