有符号“∀”,“∃”表示下列含有量词的命题