用符号“ ”与“ ”表示含有量词的命题