离散数学命题符号化?将下列命题符号化?