真命题,证明 ：1式移项,x=-y,
代入2式左侧得：-y*y
因y*y大于等于0
所以-y*y小于等于0
所以真命题