证明这个命题是真命题还是假命题.要详细的已知和求证的步骤,证明的具体过程就不用了.