写出下列语句的命题符号形式