(2012•聊城一模)已知下列命题: