p仅当q为什么可以写成“p->q”?