判断下列命题的真假,对真命题给出证明,对假命题举出反例