已知a0且a不等于1设命题p