sin45=1是命题那x平方+2x-1大于0是命题吗?sin45=1是命题吗?of course是哪个是啊?