已知命题P:任意x属于[1,2],1+2^x+a*4^x