有下列四个数学命题,正确命题给予证明,错误命题举反例,