§6.1 谓词与量词