如果已知p一q,那么我们说p是q的?q是p的什么?如果己知什么?那么我们说p呈q的充要条件