p:a=0,q:ab=0 条件p是结论q的什么条件