25.2 全称命题和存在命题的符号化