3 自然语言中量化命题的符号化