p:a>b.q:2^a>2^b.p是q的什么条件?