设有两个命题P:不等式x^2+mx+25>0的解集为R.Q:函数F(x)=-(7-2m)^x 是减函数